Copyright | Edward Kmett Oleg Grenrus |
---|---|
License | BSD-3-Clause |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
class Bifoldable t => Bifoldable1 (t :: Type -> Type -> Type) where Source #
bifold1 :: Semigroup m => t m m -> m Source #
bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> t a b -> m Source #
Instances
Bifoldable1 Either Source # | |
Bifoldable1 Arg Source # | |
Bifoldable1 (,) Source # | |
Defined in Data.Bifoldable1 | |
Bifoldable1 (Const :: Type -> Type -> Type) Source # | |
Bifoldable1 ((,,) x) Source # | |
Defined in Data.Bifoldable1 | |
Bifoldable1 ((,,,) x y) Source # | |
Defined in Data.Bifoldable1 | |
Bifoldable1 ((,,,,) x y z) Source # | |
Defined in Data.Bifoldable1 |