Copyright | (C) 2011-2015 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
Documentation
class (Bifoldable1 t, Bitraversable t) => Bitraversable1 t where
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)
Bitraversable1 Either | |
Bitraversable1 (,) | |
Bitraversable1 Const | |
Bitraversable1 Arg | |
Bitraversable1 ((,,) x) | |
Bitraversable1 (Tagged *) | |
Bitraversable1 ((,,,) x y) | |
Bitraversable1 ((,,,,) x y z) | |
Bitraversable1 p => Bitraversable1 (WrappedBifunctor * * p) | |
Traversable1 g => Bitraversable1 (Joker * * g) | |
Bitraversable1 p => Bitraversable1 (Flip * * p) | |
Traversable1 f => Bitraversable1 (Clown * * f) | |
(Bitraversable1 f, Bitraversable1 g) => Bitraversable1 (Product * * f g) | |
(Traversable1 f, Bitraversable1 p) => Bitraversable1 (Tannen * * * f p) | |
(Bitraversable1 p, Traversable1 f, Traversable1 g) => Bitraversable1 (Biff * * * * p f g) |
class (Foldable1 t, Traversable t) => Traversable1 t where
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) |