| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Config.Lens
Description
Optics for compatibility with the lens package
- key :: Applicative f => Text -> (Value a -> f (Value a)) -> Value a -> f (Value a)
- text :: Applicative f => (Text -> f Text) -> Value a -> f (Value a)
- number :: Applicative f => (Integer -> f Integer) -> Value a -> f (Value a)
- atom :: Applicative f => (Atom -> f Atom) -> Value a -> f (Value a)
- list :: Applicative f => ([Value a] -> f [Value a]) -> Value a -> f (Value a)
- values :: Applicative f => (Value a -> f (Value a)) -> Value a -> f (Value a)
- sections :: Applicative f => ([Section a] -> f [Section a]) -> Value a -> f (Value a)
- ann :: Functor f => (a -> f a) -> Value a -> f (Value a)
- valuePlate :: Applicative f => (Value a -> f (Value a)) -> Value a -> f (Value a)
Documentation
Arguments
| :: Applicative f | |
| => Text | section name |
| -> (Value a -> f (Value a)) | |
| -> Value a | |
| -> f (Value a) |
Apply a function to the subsections of the given value when
that value is a Sections and the subsection name matches the
given section name
text :: Applicative f => (Text -> f Text) -> Value a -> f (Value a) Source #
Apply a function to the Text contained inside the given
Value when it is a Text.
atom :: Applicative f => (Atom -> f Atom) -> Value a -> f (Value a) Source #
Apply a function to the Text contained inside the given
Value when it is a Text. This traversal is only valid
if the output atom is a valid atom!
valuePlate :: Applicative f => (Value a -> f (Value a)) -> Value a -> f (Value a) Source #
Apply a function to any of the immediate values in a list or a sections list. This is intended to be used with Control.Lens.Plated.