Papa.Base.Implement.Data.Traversable

Documentation

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

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

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