Documentation

type Setter s t a b = (a -> b) -> s -> t Source #

type Setter' s a = Setter s s a a Source #

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

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

sets :: (forall p. Profunctor p => p a b -> p s t) -> Setter s t a b Source #

setter :: (s -> a) -> (b -> t) -> Setter s t a b Source #

mapped :: Functor f => Setter (f a) (f b) a b Source #

(%~) :: Setter s t a b -> (a -> b) -> s -> t infixr 4 Source #

(.~) :: Setter s t a b -> b -> s -> t infixr 4 Source #