Documentation

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

type Lens' s a = Lens s s a a Source #

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

get :: Getting a s a -> s -> a Source #

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

makeLens :: (s -> a) -> (s -> b -> t) -> Lens s t a b Source #