Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Bifoldable1.Compat
Documentation
class Bifoldable t => Bifoldable1 (t :: Type -> Type -> Type) where #
Minimal complete definition
Methods
bifold1 :: Semigroup m => t m m -> m #
bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> t a b -> m #
Instances
Bifoldable1 Either | |
Defined in Data.Bifoldable1 | |
Bifoldable1 Arg | |
Defined in Data.Bifoldable1 | |
Bifoldable1 (,) | |
Defined in Data.Bifoldable1 | |
Bifoldable1 (Const :: Type -> Type -> Type) | |
Defined in Data.Bifoldable1 | |
Bifoldable1 ((,,) x) | |
Defined in Data.Bifoldable1 | |
Bifoldable1 ((,,,) x y) | |
Defined in Data.Bifoldable1 | |
Bifoldable1 ((,,,,) x y z) | |
Defined in Data.Bifoldable1 |