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 |
- class Bifoldable t => Bifoldable1 t where
- bitraverse1_ :: (Bifoldable1 t, Apply f) => (a -> f b) -> (c -> f d) -> t a c -> f ()
- bifor1_ :: (Bifoldable1 t, Apply f) => t a c -> (a -> f b) -> (c -> f d) -> f ()
- bisequenceA1_ :: (Bifoldable1 t, Apply f) => t (f a) (f b) -> f ()
- bifoldMapDefault1 :: (Bifoldable1 t, Monoid m) => (a -> m) -> (b -> m) -> t a b -> m
Documentation
class Bifoldable t => Bifoldable1 t where #
bifold1 :: Semigroup m => t m m -> m #
bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> t a b -> m #
Bifoldable1 Either # | |
Bifoldable1 (,) # | |
Bifoldable1 Arg # | |
Bifoldable1 ((,,) x) # | |
Bifoldable1 (Const *) # | |
Bifoldable1 (Tagged *) # | |
Bifoldable1 ((,,,) x y) # | |
Bifoldable1 ((,,,,) x y z) # | |
Bifoldable1 p => Bifoldable1 (WrappedBifunctor * * p) # | |
Foldable1 g => Bifoldable1 (Joker * * g) # | |
Bifoldable1 p => Bifoldable1 (Flip * * p) # | |
Foldable1 f => Bifoldable1 (Clown * * f) # | |
(Bifoldable1 f, Bifoldable1 g) => Bifoldable1 (Product * * f g) # | |
(Foldable1 f, Bifoldable1 p) => Bifoldable1 (Tannen * * * f p) # | |
(Bifoldable1 p, Foldable1 f, Foldable1 g) => Bifoldable1 (Biff * * * * p f g) # | |
bitraverse1_ :: (Bifoldable1 t, Apply f) => (a -> f b) -> (c -> f d) -> t a c -> f () #
bifor1_ :: (Bifoldable1 t, Apply f) => t a c -> (a -> f b) -> (c -> f d) -> f () #
bisequenceA1_ :: (Bifoldable1 t, Apply f) => t (f a) (f b) -> f () #
bifoldMapDefault1 :: (Bifoldable1 t, Monoid m) => (a -> m) -> (b -> m) -> t a b -> m #
Usable default for foldMap, but only if you define bifoldMap1 yourself