Proton.Setter

Documentation

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

type Setter' s a = Setter s s a a

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

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

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

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

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

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

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