Calligraphy.Util.Lens
type Traversal s t a b = forall m. Applicative m => (a -> m b) -> s -> m t Source #
type Traversal' s a = Traversal s s a a Source #
over :: Traversal s t a b -> (a -> b) -> s -> t Source #
forT_ :: Applicative m => Traversal s t a b -> s -> (a -> m ()) -> m () Source #