Data.Generics.Internal.VL.Lens

Internal lens helpers. Only exported for Haddock

Documentation

type Lens' s a = Lens s s a a

Type alias for lens

type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t

view :: ((a -> Const a a) -> s -> Const a s) -> s -> a

(^.) :: s -> ((a -> Const a a) -> s -> Const a s) -> a infixl 8

Getting

(.~) :: ((a -> Identity b) -> s -> Identity t) -> b -> s -> t infixr 4

set :: Lens s t a b -> b -> s -> t

over :: ((a -> Identity b) -> s -> Identity t) -> (a -> b) -> s -> t

lens2lensvl :: ALens a b s t -> Lens s t a b

ravel :: (ALens a b a b -> ALens a b s t) -> Lens s t a b

lens :: (s -> a) -> ((s, b) -> t) -> Lens s t a b