Moduleoptics-core-0.4.2Haskell2010

Optics.Operators

Defines some infix operators for optics operations. This is a deliberately small collection.

If you like operators, you may also wish to import Optics.State.Operators from the optics-extra package.

value(^.) :: Is k A_Getter => s -> Optic' k is s a -> a

Flipped infix version of view.

value(^..) :: Is k A_Fold => s -> Optic' k is s a -> [a]

Flipped infix version of toListOf.

value(^?) :: Is k An_AffineFold => s -> Optic' k is s a -> Maybe a

Flipped infix version of preview.

value(#) :: Is k A_Review => Optic' k is t b -> b -> t

Infix version of review.

value(%~) :: Is k A_Setter => Optic k is s t a b -> (a -> b) -> s -> t

Infix version of over.

value(%!~) :: Is k A_Setter => Optic k is s t a b -> (a -> b) -> s -> t

Infix version of over'.

value(.~) :: Is k A_Setter => Optic k is s t a b -> b -> s -> t

Infix version of set.

value(!~) :: Is k A_Setter => Optic k is s t a b -> b -> s -> t

Infix version of set'.

value(?~) :: Is k A_Setter => Optic k is s t a (Maybe b) -> b -> s -> t

Set the target of a Setter to Just a value.

o ?~ b ≡ set o (Just b)

Example1 expression

>>> Nothing & equality ?~ 'x'Just 'x'

Example1 expression

>>> Map.empty & at 3 ?~ 'x'fromList [(3,'x')]

value(?!~) :: Is k A_Setter => Optic k is s t a (Maybe b) -> b -> s -> t

Strict version of (?~).