Trait

scalaz

IsomorphismBifoldable

Related Doc: package scalaz

Permalink

trait IsomorphismBifoldable[F[_, _], G[_, _]] extends Bifoldable[F]

Source
Isomorphism.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IsomorphismBifoldable
  2. Bifoldable
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait BifoldableLaw extends AnyRef

    Permalink
    Definition Classes
    Bifoldable

Abstract Value Members

  1. implicit abstract def G: Bifoldable[G]

    Permalink
  2. abstract def biNaturalTrans: ~~>[F, G]

    Permalink
    Attributes
    protected[this]

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. final def bifoldL[A, B, C](fa: F[A, B], z: C)(f: (C) ⇒ (A) ⇒ C)(g: (C) ⇒ (B) ⇒ C): C

    Permalink

    Curried version of bifoldLeft

    Curried version of bifoldLeft

    Definition Classes
    Bifoldable
  6. final def bifoldLeft[A, B, C](fa: F[A, B], z: C)(f: (C, A) ⇒ C)(g: (C, B) ⇒ C): C

    Permalink

    bifoldRight, but defined to run in the opposite direction.

    bifoldRight, but defined to run in the opposite direction.

    Definition Classes
    IsomorphismBifoldableBifoldable
  7. final def bifoldMap[A, B, M](fab: F[A, B])(f: (A) ⇒ M)(g: (B) ⇒ M)(implicit arg0: Monoid[M]): M

    Permalink

    Accumulate As and Bs

    Accumulate As and Bs

    Definition Classes
    IsomorphismBifoldableBifoldable
  8. def bifoldMap1[A, B, M](fa: F[A, B])(f: (A) ⇒ M)(g: (B) ⇒ M)(implicit F: Semigroup[M]): Option[M]

    Permalink
    Definition Classes
    Bifoldable
  9. final def bifoldR[A, B, C](fa: F[A, B], z: ⇒ C)(f: (A) ⇒ (⇒ C) ⇒ C)(g: (B) ⇒ (⇒ C) ⇒ C): C

    Permalink

    Curried version of bifoldRight

    Curried version of bifoldRight

    Definition Classes
    Bifoldable
  10. final def bifoldRight[A, B, C](fab: F[A, B], z: ⇒ C)(f: (A, ⇒ C) ⇒ C)(g: (B, ⇒ C) ⇒ C): C

    Permalink

    Accumulate to C starting at the "right".

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

    Definition Classes
    IsomorphismBifoldableBifoldable
  11. def bifoldableLaw: BifoldableLaw

    Permalink
    Definition Classes
    Bifoldable
  12. val bifoldableSyntax: BifoldableSyntax[F]

    Permalink
    Definition Classes
    Bifoldable
  13. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  14. def compose[G[_, _]](implicit G0: Bifoldable[G]): Bifoldable[[α, β]F[G[α, β], G[α, β]]]

    Permalink

    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

    Definition Classes
    Bifoldable
  15. def embed[G[_], H[_]](implicit G0: Foldable[G], H0: Foldable[H]): Bifoldable[[α, β]F[G[α], H[β]]]

    Permalink

    Embed one Foldable at each side of this Bifoldable

    Embed one Foldable at each side of this Bifoldable

    Definition Classes
    Bifoldable
  16. def embedLeft[G[_]](implicit G0: Foldable[G]): Bifoldable[[α, β]F[G[α], β]]

    Permalink

    Embed one Foldable to the left of this Bifoldable .

    Embed one Foldable to the left of this Bifoldable .

    Definition Classes
    Bifoldable
  17. def embedRight[H[_]](implicit H0: Foldable[H]): Bifoldable[[α, β]F[α, H[β]]]

    Permalink

    Embed one Foldable to the right of this Bifoldable .

    Embed one Foldable to the right of this Bifoldable .

    Definition Classes
    Bifoldable
  18. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  19. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  20. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  21. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  22. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  23. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  24. def leftFoldable[X]: Foldable[[α$0$]F[α$0$, X]]

    Permalink

    Extract the Foldable on the first parameter.

    Extract the Foldable on the first parameter.

    Definition Classes
    Bifoldable
  25. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  26. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  27. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  28. def product[G[_, _]](implicit G0: Bifoldable[G]): Bifoldable[[α, β](F[α, β], G[α, β])]

    Permalink

    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

    Definition Classes
    Bifoldable
  29. def rightFoldable[X]: Foldable[[β$1$]F[X, β$1$]]

    Permalink

    Extract the Foldable on the second parameter.

    Extract the Foldable on the second parameter.

    Definition Classes
    Bifoldable
  30. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  31. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  32. def uFoldable: Foldable[[α]F[α, α]]

    Permalink

    Unify the foldable over both params.

    Unify the foldable over both params.

    Definition Classes
    Bifoldable
  33. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Bifoldable[F]

Inherited from AnyRef

Inherited from Any

Ungrouped