Data.Bicotraversable

Documentation

class Bifunctor f => Bicotraversable f where

Methods

bicollect :: Functor g => (a -> f b c) -> g a -> f (g b) (g c)

bicosequence :: Functor g => g (f a b) -> f (g a) (g b)

bicotraverse :: Functor g => (g a -> b) -> (g c -> d) -> g (f a c) -> f b d

Instances

Bicotraversable (,)

Methods

bicollect :: Functor g => (a -> (b, c)) -> g a -> (g b, g c)

bicosequence :: Functor g => g (a, b) -> (g a, g b)

bicotraverse :: Functor g => (g a -> b) -> (g c -> d) -> g (a, c) -> (b, d)

Bicotraversable (Const *)

Methods

bicollect :: Functor g => (a -> Const * b c) -> g a -> Const * (g b) (g c)

bicosequence :: Functor g => g (Const * a b) -> Const * (g a) (g b)

bicotraverse :: Functor g => (g a -> b) -> (g c -> d) -> g (Const * a c) -> Const * b d

(Cotraversable f, Bicotraversable s) => Bicotraversable (Tannen * * * f s)

Methods

bicollect :: Functor g => (a -> Tannen * * * f s b c) -> g a -> Tannen * * * f s (g b) (g c)

bicosequence :: Functor g => g (Tannen * * * f s a b) -> Tannen * * * f s (g a) (g b)

bicotraverse :: Functor g => (g a -> b) -> (g c -> d) -> g (Tannen * * * f s a c) -> Tannen * * * f s b d

(Bicotraversable s, Cotraversable f, Cotraversable g) => Bicotraversable (Biff * * * * s f g)

Methods

bicollect :: Functor g => (a -> Biff * * * * s f g b c) -> g a -> Biff * * * * s f g (g b) (g c)

bicosequence :: Functor g => g (Biff * * * * s f g a b) -> Biff * * * * s f g (g a) (g b)

bicotraverse :: Functor g => (g a -> b) -> (g c -> d) -> g (Biff * * * * s f g a c) -> Biff * * * * s f g b d