root/scalaz/IsomorphismBifoldable

IsomorphismBifoldable

trait IsomorphismBifoldable[F[_, _], G[_, _]] extends Bifoldable[F]
trait Bifoldable[F]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

trait BifoldableLaw
Inherited from
Bifoldable

Value members

Concrete methods

override
def bifoldLeft[A, B, C](fa: F[A, B], z: C)(f: (C, A) => C)(g: (C, B) => C): C
Definition Classes
override
def bifoldMap[A, B, M : Monoid](fab: F[A, B])(f: A => M)(g: B => M): M
Definition Classes
override
def bifoldRight[A, B, C](fab: F[A, B], z: => C)(f: (A, => C) => C)(g: (B, => C) => C): C
Definition Classes

Inherited 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

Inherited from
Bifoldable
def bifoldMap1[A, B, M](fa: F[A, B])(f: A => M)(g: B => M)(implicit F: Semigroup[M]): Option[M]
Inherited from
Bifoldable
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

Inherited from
Bifoldable
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

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

Inherited from
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 .

Inherited from
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 .

Inherited from
Bifoldable
def leftFoldable[X]: Foldable[F]

Extract the Foldable on the first parameter.

Extract the Foldable on the first parameter.

Inherited from
Bifoldable
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

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

Extract the Foldable on the second parameter.

Extract the Foldable on the second parameter.

Inherited from
Bifoldable
def uFoldable: Foldable[F]

Unify the foldable over both params.

Unify the foldable over both params.

Inherited from
Bifoldable

Inherited fields

Implicits

Implicits

implicit
def G: Bifoldable[G]