Documentation

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

type Setter s a = (a -> Identity a) -> s -> Identity s Source #

set :: Setter s a -> a -> s -> s Source #

over :: Setter s a -> (a -> a) -> s -> s Source #

type Prism' s a = forall p f. (Choice p, Applicative f) => p a (f a) -> p s (f s) Source #

prism' :: forall s a. (a -> s) -> (s -> Maybe a) -> Prism' s a Source #

preview :: Prism' s a -> s -> Maybe a Source #

review :: Prism' s a -> a -> s Source #

(^?) :: s -> Prism' s a -> Maybe a infixl 8 Source #