scalaz-core/scalaz/Choice

Choice

trait Choice[=>:[_, _]] extends Category[=>:]
Companion
object
trait Category[=>:]
trait Compose[=>:]
class Object
trait Matchable
class Any
Choice[=>:]

Type members

Inherited classlikes

trait CategoryLaw
Inherited from
Category
trait ComposeLaw
Inherited from
Compose

Value members

Abstract methods

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

Concrete methods

def codiagonal[A]: A \/ A =>: A

Inherited methods

def categoryLaw: CategoryLaw
Inherited from
Category
def compose[A, B, C](f: B =>: C, g: A =>: B): A =>: C

Associative =>: binary operator.

Associative =>: binary operator.

Inherited from
Compose
def composeLaw: ComposeLaw
Inherited from
Compose
def empty: PlusEmpty[=>:]

monoid, but universally quantified.

monoid, but universally quantified.

Inherited from
Category
def id[A]: A =>: A

The left and right identity over compose.

The left and right identity over compose.

Inherited from
Category
def monoid[A]: Monoid[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[=>:]

semigroup, but universally quantified.

semigroup, but universally quantified.

Inherited from
Compose
def semigroup[A]: Semigroup[A =>: A]

The endomorphism semigroup, where append=compose.

The endomorphism semigroup, where append=compose.

Inherited from
Compose

Concrete fields

Inherited fields

val categorySyntax: CategorySyntax[=>:]
Inherited from
Category
val composeSyntax: ComposeSyntax[=>:]
Inherited from
Compose