| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | Safe-Inferred |
Data.Bifoldable
Description
Documentation
class Bifoldable p whereSource
Methods
bifold :: Monoid m => p m m -> mSource
bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> p a b -> mSource
bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> p a b -> cSource
bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> p a b -> cSource
Instances
| Bifoldable Either | |
| Bifoldable (,) | |
| Bifoldable Const | |
| Bifoldable ((,,) x) | |
| Bifoldable (Tagged *) | |
| Foldable f => Bifoldable (Clown f) | |
| Bifoldable p => Bifoldable (Flip p) | |
| Foldable g => Bifoldable (Joker g) | |
| Bifoldable p => Bifoldable (WrappedBifunctor p) | |
| Bifoldable ((,,,) x y) | |
| (Bifoldable f, Bifoldable g) => Bifoldable (Product f g) | |
| Bifoldable ((,,,,) x y z) |
bifoldr' :: Bifoldable t => (a -> c -> c) -> (b -> c -> c) -> c -> t a b -> cSource
bifoldrM :: (Bifoldable t, Monad m) => (a -> c -> m c) -> (b -> c -> m c) -> c -> t a b -> m cSource
bifoldl' :: Bifoldable t => (a -> b -> a) -> (a -> c -> a) -> a -> t b c -> aSource
bifoldlM :: (Bifoldable t, Monad m) => (a -> b -> m a) -> (a -> c -> m a) -> a -> t b c -> m aSource
bitraverse_ :: (Bifoldable t, Applicative f) => (a -> f c) -> (b -> f d) -> t a b -> f ()Source
bifor_ :: (Bifoldable t, Applicative f) => t a b -> (a -> f c) -> (b -> f d) -> f ()Source
bimapM_ :: (Bifoldable t, Monad m) => (a -> m c) -> (b -> m d) -> t a b -> m ()Source
biforM_ :: (Bifoldable t, Monad m) => t a b -> (a -> m c) -> (b -> m d) -> m ()Source
bisequenceA_ :: (Bifoldable t, Applicative f) => t (f a) (f b) -> f ()Source
bisequence_ :: (Bifoldable t, Monad m) => t (m a) (m b) -> m ()Source
biList :: Bifoldable t => t a a -> [a]Source
biconcat :: Bifoldable t => t [a] [a] -> [a]Source
biconcatMap :: Bifoldable t => (a -> [c]) -> (b -> [c]) -> t a b -> [c]Source