Documentation

getter :: (forall f. Functor f => (a -> f a) -> s -> f s) -> s -> a Source

setter :: (forall f. Functor f => (a -> f a) -> s -> f s) -> s -> a -> s Source

lens :: Functor f => (s -> a) -> (s -> a -> s) -> (a -> f a) -> s -> f s Source

type Lens a s = Functor f => (a -> f a) -> s -> f s Source