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
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