Control.ConstraintKinds.Traversable

Documentation

class (Functor t, Foldable t) => Traversable t where

Associated Types

type TraversableConstraint t x :: Constraint

Methods

traverse :: (TraversableConstraint t a, TraversableConstraint t b, FunctorConstraint t (f b), FunctorConstraint t a, Applicative f) => (a -> f b) -> t a -> f (t b)

sequenceA :: (TraversableConstraint t a, TraversableConstraint t b, TraversableConstraint t (f a), FunctorConstraint t (f a), Applicative f) => t (f a) -> f (t a)

mapM :: (TraversableConstraint t a, TraversableConstraint t b, FunctorConstraint t a, Monad m) => (a -> m b) -> t a -> m (t b)

sequence :: (TraversableConstraint t a, TraversableConstraint t b, TraversableConstraint t (m a), FunctorConstraint t (m a), Monad m) => t (m a) -> m (t a)

Instances

Traversable []

Traversable Vector

Traversable Vector