Data.Semigroup.Traversable

Documentation

class (Foldable1 t, Traversable t) => Traversable1 t where

Minimal complete definition

traverse1 | sequence1

Methods

traverse1 :: Apply f => (a -> f b) -> t a -> f (t b)

sequence1 :: Apply f => t (f b) -> f (t b)

Instances

Traversable1 Identity

Traversable1 Tree

Traversable1 NonEmpty

Traversable1 ((,) a)

Traversable1 f => Traversable1 (IdentityT f)

Traversable1 f => Traversable1 (Reverse f)

Traversable1 f => Traversable1 (Backwards f)

Traversable1 f => Traversable1 (Lift f)

Bitraversable1 p => Traversable1 (Join * p)

(Traversable1 f, Traversable1 g) => Traversable1 (Sum f g)

(Traversable1 f, Traversable1 g) => Traversable1 (Product f g)

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

Traversable1 g => Traversable1 (Joker * * g a)

foldMap1Default :: (Traversable1 f, Semigroup m) => (a -> m) -> f a -> m