scalaz-core/scalaz/IsomorphismChoice

IsomorphismChoice

trait IsomorphismChoice[F[_, _], G[_, _]] extends Choice[F] with IsomorphismCategory[F, G]
trait Choice[F]
trait Category[F]
trait Compose[F]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

trait CategoryLaw
Inherited from
Category
trait ComposeLaw
Inherited from
Compose

Value members

Concrete methods

override
def choice[A, B, C](f: => F[A, C], g: => F[B, C]): F[A \/ B, C]
Definition Classes

Inherited methods

def categoryLaw: CategoryLaw
Inherited from
Category
def codiagonal[A]: F[A \/ A, A]
Inherited from
Choice
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 empty: PlusEmpty[F]

monoid, but universally quantified.

monoid, but universally quantified.

Inherited from
Category
override
def id[A]: F[A, A]
Definition Classes
Inherited from
IsomorphismCategory
def iso: IsoBifunctor[F, G]
Inherited from
IsomorphismCompose
def monoid[A]: Monoid[F[A, A]]

The endomorphism monoid, where zero=id and append=compose.

The endomorphism monoid, where zero=id and append=compose.

Inherited from
Category
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 categorySyntax: CategorySyntax[F]
Inherited from
Category
val choiceSyntax: ChoiceSyntax[F]
Inherited from
Choice
val composeSyntax: ComposeSyntax[F]
Inherited from
Compose

Implicits

Implicits

implicit
def G: Choice[G]