Accumulate to C
starting at the "right".
Accumulate to C
starting at the "right". f
and g
may be
interleaved.
Curried version of bifoldLeft
Curried version of bifoldLeft
bifoldRight
, but defined to run in the opposite direction.
bifoldRight
, but defined to run in the opposite direction.
Accumulate A
s and B
s
Accumulate A
s and B
s
Curried version of bifoldRight
Curried version of bifoldRight
The composition of Bifoldables F
and G
, [x,y]F[G[x,y],G[x,y]]
, is a Bifoldable
The composition of Bifoldables F
and G
, [x,y]F[G[x,y],G[x,y]]
, is a Bifoldable
Embed one Foldable at each side of this Bifoldable
Embed one Foldable at each side of this Bifoldable
Embed one Foldable to the left of this Bifoldable .
Embed one Foldable to the left of this Bifoldable .
Embed one Foldable to the right of this Bifoldable .
Embed one Foldable to the right of this Bifoldable .
Extract the Foldable on the first parameter.
Extract the Foldable on the first parameter.
The product of Bifoldables F
and G
, [x,y](F[x,y], G[x,y])
, is a Bifoldable
The product of Bifoldables F
and G
, [x,y](F[x,y], G[x,y])
, is a Bifoldable
Extract the Foldable on the second parameter.
Extract the Foldable on the second parameter.
Unify the foldable over both params.
Unify the foldable over both params.
Template trait to define
Bifoldable
in terms ofbifoldR