trait IsomorphismBifoldable[F[_, _], G[_, _]] extends Bifoldable[F]
- Alphabetic
- By Inheritance
- IsomorphismBifoldable
- Bifoldable
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
trait
BifoldableLaw extends AnyRef
- Definition Classes
- Bifoldable
Abstract Value Members
- implicit abstract def G: Bifoldable[G]
-
abstract
def
biNaturalTrans: ~~>[F, G]
- Attributes
- protected[this]
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
Curried version of
bifoldLeft
- Definition Classes
- Bifoldable
-
final
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.- Definition Classes
- IsomorphismBifoldable → Bifoldable
-
final
def
bifoldMap[A, B, M](fab: F[A, B])(f: (A) ⇒ M)(g: (B) ⇒ M)(implicit arg0: Monoid[M]): M
Accumulate
A
s andB
sAccumulate
A
s andB
s- Definition Classes
- IsomorphismBifoldable → Bifoldable
-
def
bifoldMap1[A, B, M](fa: F[A, B])(f: (A) ⇒ M)(g: (B) ⇒ M)(implicit F: Semigroup[M]): Option[M]
- Definition Classes
- 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
- Definition Classes
- Bifoldable
-
final
def
bifoldRight[A, B, C](fab: 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.- Definition Classes
- IsomorphismBifoldable → Bifoldable
-
def
bifoldableLaw: BifoldableLaw
- Definition Classes
- Bifoldable
-
val
bifoldableSyntax: BifoldableSyntax[F]
- Definition Classes
- Bifoldable
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @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 BifoldableThe composition of Bifoldables
F
andG
,[x,y]F[G[x,y],G[x,y]]
, is a Bifoldable- Definition Classes
- 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
- Definition Classes
- 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 .
- Definition Classes
- 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 .
- Definition Classes
- Bifoldable
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- 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.
Extract the Foldable on the first parameter.
- Definition Classes
- Bifoldable
-
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 BifoldableThe product of Bifoldables
F
andG
,[x,y](F[x,y], G[x,y])
, is a Bifoldable- Definition Classes
- Bifoldable
-
def
rightFoldable[X]: Foldable[[β$1$]F[X, β$1$]]
Extract the Foldable on the second parameter.
Extract the Foldable on the second parameter.
- Definition Classes
- Bifoldable
-
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.
Unify the foldable over both params.
- Definition Classes
- Bifoldable
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()