Papa.Prelude.Core.Data.Traversable

Documentation

mapM :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)

sequence :: (Traversable t, Applicative f) => t (f a) -> f (t a)