ConstraintKinds-0.0.1.2: Repackages standard type classes with the ConstraintKinds extension

Safe HaskellNone

Control.ConstraintKinds.Traversable

Documentation

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

Associated Types

type TraversableConstraint t x :: ConstraintSource

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)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