Data.Semigroup.Bitraversable

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 (Tagged *)

Traversable1 f => Bitraversable1 (Clown f)

Bitraversable1 p => Bitraversable1 (Flip p)

Traversable1 g => Bitraversable1 (Joker g)

Bitraversable1 p => Bitraversable1 (WrappedBifunctor p)

Bitraversable1 ((,,,) x y)

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

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

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

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

bifoldMap1Default :: (Bitraversable1 t, Semigroup m) => (a -> m) -> (b -> m) -> t a b -> m