bifunctors-4.1.0.1: Bifunctors

Portability | portable
Stability | provisional
Maintainer | Edward Kmett <ekmett@gmail.com>
Safe Haskell | Safe-Inferred

Data.Bifoldable

Description

# Documentation

class Bifoldable p where Source

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

biany :: Bifoldable t => (a -> Bool) -> (b -> Bool) -> t a b -> Bool Source

biall :: Bifoldable t => (a -> Bool) -> (b -> Bool) -> t a b -> Bool Source