trait Bifoldable[F[_, _]] extends AnyRef
A type giving rise to two unrelated scalaz.Foldables.
- Self Type
- Bifoldable[F]
- Source
- Bifoldable.scala
- Alphabetic
- By Inheritance
- Bifoldable
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- trait BifoldableLaw extends AnyRef
Abstract Value Members
- abstract def bifoldMap[A, B, M](fa: F[A, B])(f: (A) => M)(g: (B) => M)(implicit F: Monoid[M]): M
Accumulate
A
s andB
s - abstract 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".Accumulate to
C
starting at the "right".f
andg
may be interleaved.
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- 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
- 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. - 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
- def bifoldableLaw: BifoldableLaw
- val bifoldableSyntax: BifoldableSyntax[F]
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def compose[G[_, _]](implicit G0: Bifoldable[G]): Bifoldable[[α, β]F[G[α, β], G[α, β]]]
The composition of Bifoldables
F
andG
,[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
- def embedLeft[G[_]](implicit G0: Foldable[G]): Bifoldable[[α, β]F[G[α], β]]
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 .
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def leftFoldable[X]: Foldable[[α$0$]F[α$0$, X]]
Extract the Foldable on the first parameter.
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def product[G[_, _]](implicit G0: Bifoldable[G]): Bifoldable[[α, β](F[α, β], G[α, β])]
The product of Bifoldables
F
andG
,[x,y](F[x,y], G[x,y])
, is a Bifoldable - def rightFoldable[X]: Foldable[[β$1$]F[X, β$1$]]
Extract the Foldable on the second parameter.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def uFoldable: Foldable[[α]F[α, α]]
Unify the foldable over both params.
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()