base-compat-batteries-0.13.1: base-compat with extra batteries
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Bifoldable1.Compat

Documentation

class Bifoldable t => Bifoldable1 (t :: Type -> Type -> Type) where #

Minimal complete definition

bifoldMap1

Methods

bifold1 :: Semigroup m => t m m -> m #

bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> t a b -> m #

Instances

Instances details
Bifoldable1 Either 
Instance details

Defined in Data.Bifoldable1

Methods

bifold1 :: Semigroup m => Either m m -> m #

bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> Either a b -> m #

Bifoldable1 Arg 
Instance details

Defined in Data.Bifoldable1

Methods

bifold1 :: Semigroup m => Arg m m -> m #

bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> Arg a b -> m #

Bifoldable1 (,) 
Instance details

Defined in Data.Bifoldable1

Methods

bifold1 :: Semigroup m => (m, m) -> m #

bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> (a, b) -> m #

Bifoldable1 (Const :: Type -> Type -> Type) 
Instance details

Defined in Data.Bifoldable1

Methods

bifold1 :: Semigroup m => Const m m -> m #

bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> Const a b -> m #

Bifoldable1 ((,,) x) 
Instance details

Defined in Data.Bifoldable1

Methods

bifold1 :: Semigroup m => (x, m, m) -> m #

bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> (x, a, b) -> m #

Bifoldable1 ((,,,) x y) 
Instance details

Defined in Data.Bifoldable1

Methods

bifold1 :: Semigroup m => (x, y, m, m) -> m #

bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> (x, y, a, b) -> m #

Bifoldable1 ((,,,,) x y z) 
Instance details

Defined in Data.Bifoldable1

Methods

bifold1 :: Semigroup m => (x, y, z, m, m) -> m #

bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> (x, y, z, a, b) -> m #