Documentation

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

type Traversal s t a b = forall f. Applicative f => (a -> f b) -> s -> f t #

type Lens' s a = forall f. Functor f => (a -> f a) -> s -> f s #

type Traversal' s a = forall f. Applicative f => (a -> f a) -> s -> f s #

type Getting r s a = (a -> Const r a) -> s -> Const r s #

type Setting s t a b = (a -> Identity b) -> s -> Identity t #

view :: Getting a s a -> s -> a #

over :: Setting s t a b -> (a -> b) -> s -> t #

set :: Setting s t a b -> b -> s -> t #