Safe Haskell | None |
---|
Documentation
class (Functor t, Foldable t) => Traversable t whereSource
type TraversableConstraint t x :: ConstraintSource
traverse :: (TraversableConstraint t a, TraversableConstraint t b, FunctorConstraint t (f b), FunctorConstraint t a, Applicative f) => (a -> f b) -> t a -> f (t b)Source
sequenceA :: (TraversableConstraint t a, TraversableConstraint t b, TraversableConstraint t (f a), FunctorConstraint t (f a), Applicative f) => t (f a) -> f (t a)Source
mapM :: (TraversableConstraint t a, TraversableConstraint t b, FunctorConstraint t a, Monad m) => (a -> m b) -> t a -> m (t b)Source
sequence :: (TraversableConstraint t a, TraversableConstraint t b, TraversableConstraint t (m a), FunctorConstraint t (m a), Monad m) => t (m a) -> m (t a)Source