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 As and Bs
Accumulate As and Bs
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
Bifoldablein terms ofbifoldR