scalaz-core/scalaz/Bifoldable

Bifoldable

trait Bifoldable[F[_, _]]

A type giving rise to two unrelated scalaz.Foldables.

Companion
object
class Object
trait Matchable
class Any
trait FromBifoldMap[F]
trait FromBifoldr[F]
trait Bitraverse[F]

Type members

Classlikes

trait BifoldableLaw

Value members

Abstract methods

def bifoldMap[A, B, M](fa: F[A, B])(f: A => M)(g: B => M)(implicit F: Monoid[M]): M

Accumulate As and Bs

Accumulate As and Bs

def bifoldRight[A, B, C](fa: F[A, B], z: => C)(f: (A, => C) => C)(g: (B, => C) => C): C

Accumulate to C starting at the "right". f and g may be interleaved.

Accumulate to C starting at the "right". f and g may be interleaved.

Concrete methods

final
def bifoldL[A, B, C](fa: F[A, B], z: C)(f: C => A => C)(g: C => B => C): C

Curried version of bifoldLeft

Curried version of bifoldLeft

def bifoldLeft[A, B, C](fa: F[A, B], z: C)(f: (C, A) => C)(g: (C, B) => C): C

bifoldRight, but defined to run in the opposite direction.

bifoldRight, but defined to run in the opposite direction.

def bifoldMap1[A, B, M](fa: F[A, B])(f: A => M)(g: B => M)(implicit F: Semigroup[M]): Option[M]
final
def bifoldR[A, B, C](fa: F[A, B], z: => C)(f: A => (=> C) => C)(g: B => (=> C) => C): C

Curried version of bifoldRight

Curried version of bifoldRight

def compose[G[_, _]](implicit G0: Bifoldable[G]): Bifoldable[[α, β] =>> F[G[α, β], G[α, β]]]

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

def embed[G[_], H[_]](implicit G0: Foldable[G], H0: Foldable[H]): Bifoldable[[α, β] =>> F[G[α], H[β]]]

Embed one Foldable at each side of this Bifoldable

Embed one Foldable at each side of this Bifoldable

def embedLeft[G[_]](implicit G0: Foldable[G]): Bifoldable[[α, β] =>> F[G[α], β]]

Embed one Foldable to the left of this Bifoldable .

Embed one Foldable to the left of this Bifoldable .

def embedRight[H[_]](implicit H0: Foldable[H]): Bifoldable[[α, β] =>> F[α, H[β]]]

Embed one Foldable to the right of this Bifoldable .

Embed one Foldable to the right of this Bifoldable .

def leftFoldable[X]: Foldable[F]

Extract the Foldable on the first parameter.

Extract the Foldable on the first parameter.

def product[G[_, _]](implicit G0: Bifoldable[G]): Bifoldable[[α, β] =>> (F[α, β], G[α, β])]

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

def rightFoldable[X]: Foldable[[_] =>> F[X, _$8]]

Extract the Foldable on the second parameter.

Extract the Foldable on the second parameter.

def uFoldable: Foldable[F]

Unify the foldable over both params.

Unify the foldable over both params.

Concrete fields