Documentation

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 #