Modulegeneric-lens-2.3.0.0Haskell2010

Data.Generics.Internal.VL.Lens

Internal lens helpers. Only exported for Haddock

typetype Lens' s a = Lens s s a a

Type alias for lens

typetype Lens s t a b = forall (f :: Type -> Type). Functor f => (a -> f b) -> s -> f t

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

value(^.) :: s -> ((a -> Const a a) -> s -> Const a s) -> a

Getting

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

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

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

valuelens2lensvl :: ALens a b i s t -> Lens s t a b

valueravel :: (ALens a b i a b -> ALens a b i s t) -> Lens s t a b

valuelens :: (s -> a) -> (s -> b -> t) -> Lens s t a b