Algebra.Traversable

Documentation

module Algebra.Applicative

module Algebra.Foldable

class Functor t => Traversable t where

Methods

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

Instances

Traversable []

Traversable Maybe

Traversable Tree

Traversable Interleave

Traversable OrdList

Traversable (Either a)

Traversable ((,) c)

Eq k => Traversable (Map k)

Traversable f => Traversable (Zip f)

Traversable m => Traversable (MaybeT m)

Traversable m => Traversable (TreeT m)

Traversable m => Traversable (ListT m)

(Traversable f, Traversable g) => Traversable (:++: f g)

(Traversable f, Traversable g) => Traversable (:**: f g)

(Traversable f, Traversable g) => Traversable (:.: f g)

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

Traversable m => Traversable (WriterT w m)

Traversable m => Traversable (EitherT e 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)

Contravariant f => Contravariant (Kleisli f a)

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

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

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

doTimes :: Applicative f => Int -> f a -> f [a]

converted :: (Unit f, Unit g, Foldable f, Foldable g, Monoid (f a), Monoid (g b)) => Iso (f a) (f b) (g a) (g b)

folded :: (Unit f', Foldable f, Monoid m) => Iso m m' (f m) (f' m')