scalaz-core/scalaz/IsomorphismSplit

IsomorphismSplit

trait IsomorphismSplit[F[_, _], G[_, _]] extends Split[F] with IsomorphismCompose[F, G]
trait Split[F]
trait Compose[F]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

trait ComposeLaw
Inherited from
Compose

Value members

Concrete methods

override
def split[A, B, C, D](f: F[A, B], g: F[C, D]): F[(A, C), (B, D)]
Definition Classes

Inherited methods

override
def compose[A, B, C](f: F[B, C], g: F[A, B]): F[A, C]
Definition Classes
Inherited from
IsomorphismCompose
def composeLaw: ComposeLaw
Inherited from
Compose
def iso: IsoBifunctor[F, G]
Inherited from
IsomorphismCompose
def plus: Plus[F]

semigroup, but universally quantified.

semigroup, but universally quantified.

Inherited from
Compose
def semigroup[A]: Semigroup[F[A, A]]

The endomorphism semigroup, where append=compose.

The endomorphism semigroup, where append=compose.

Inherited from
Compose

Inherited fields

val composeSyntax: ComposeSyntax[F]
Inherited from
Compose
val splitSyntax: SplitSyntax[F]
Inherited from
Split

Implicits

Implicits

implicit
def G: Split[G]