SimpleH.Traversable

Documentation

module SimpleH.Applicative

module SimpleH.Foldable

class Foldable t => Traversable t where

Methods

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

Instances

Traversable []

Traversable Tree

Traversable Interleave

Traversable OrdList

Traversable ZipTree

Traversable ZipList

Traversable (Either a)

Traversable ((,) c)

Traversable m => Traversable (ListT m)

Traversable (Future t)

Traversable (Event t)

(Traversable f, Traversable g) => Traversable (Compose f g)

Traversable m => Traversable (EitherT e m)

Traversable m => Traversable (WriterT w m)

Traversable m => Traversable (RWST Void w Void m)

class Functor t => Contravariant t where

Methods

collect :: Functor f => f (t a) -> t (f a)

Instances

Contravariant Id

Contravariant ((->) a)

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

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

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

flip :: (Functor f, Contravariant t) => f (t a) -> t (f a)