Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | None |
Documentation
class (Bifoldable1 t, Bitraversable t) => Bitraversable1 t whereSource
bitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> t a c -> f (t b d)Source
bisequence1 :: Apply f => t (f a) (f b) -> f (t a b)Source
Bitraversable1 Either | |
Bitraversable1 (,) | |
Bitraversable1 Const | |
(Bifoldable1 ((,,) x), Bitraversable ((,,) x)) => Bitraversable1 ((,,) x) | |
Bitraversable1 (Tagged *) | |
(Bifoldable1 (Clown f), Bitraversable (Clown f), Traversable1 f) => Bitraversable1 (Clown f) | |
(Bifoldable1 (Flip p), Bitraversable (Flip p), Bitraversable1 p) => Bitraversable1 (Flip p) | |
(Bifoldable1 (Joker g), Bitraversable (Joker g), Traversable1 g) => Bitraversable1 (Joker g) | |
(Bifoldable1 (WrappedBifunctor p), Bitraversable (WrappedBifunctor p), Bitraversable1 p) => Bitraversable1 (WrappedBifunctor p) | |
(Bifoldable1 ((,,,) x y), Bitraversable ((,,,) x y)) => Bitraversable1 ((,,,) x y) | |
(Bifoldable1 ((,,,,) x y z), Bitraversable ((,,,,) x y z)) => Bitraversable1 ((,,,,) x y z) |
bifoldMap1Default :: (Bitraversable1 t, Semigroup m) => (a -> m) -> (b -> m) -> t a b -> mSource