Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class Bifunctor f => Bicotraversable f where Source #
bicollect :: Functor g => (a -> f b c) -> g a -> f (g b) (g c) Source #
bicosequence :: Functor g => g (f a b) -> f (g a) (g b) Source #
bicotraverse :: Functor g => (g a -> b) -> (g c -> d) -> g (f a c) -> f b d Source #
Bicotraversable (,) Source # | |
Bicotraversable (Const *) Source # | |
(Cotraversable f, Bicotraversable s) => Bicotraversable (Tannen * * * f s) Source # | |
(Bicotraversable s, Cotraversable f, Cotraversable g) => Bicotraversable (Biff * * * * s f g) Source # | |