Documentation

traverseM :: (Traversable t, Applicative f, Monad m) => (v -> m (f v')) -> t v -> m (f (t v')) Source #

traverseM_ :: (Traversable t, Applicative f, Monad m) => (v -> m (f ())) -> t v -> m (f ()) Source #