Data.Semigroup.Traversable.Class

Documentation

class (Bifoldable1 t, Bitraversable t) => Bitraversable1 t where

Minimal complete definition

bitraverse1 | bisequence1

Methods

bitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> t a c -> f (t b d)

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

Instances

Bitraversable1 Either

Bitraversable1 (,)

Bitraversable1 Const

Bitraversable1 Arg

Bitraversable1 ((,,) x)

Bitraversable1 p => Bitraversable1 (WrappedBifunctor p)

Traversable1 g => Bitraversable1 (Joker g)

Bitraversable1 p => Bitraversable1 (Flip p)

Traversable1 f => Bitraversable1 (Clown f)

Bitraversable1 (Tagged *)

Bitraversable1 ((,,,) x y)

(Traversable1 f, Bitraversable1 p) => Bitraversable1 (Tannen f p)

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

Bitraversable1 ((,,,,) x y z)

(Bitraversable1 p, Traversable1 f, Traversable1 g) => Bitraversable1 (Biff p f g)

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)

Bitraversable1 p => Traversable1 (Join p)

Traversable1 f => Traversable1 (IdentityT f)

Traversable1 f => Traversable1 (Reverse f)

Traversable1 f => Traversable1 (Backwards f)

Traversable1 f => Traversable1 (Lift f)

Traversable1 g => Traversable1 (Joker g a)

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

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

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

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