scalaz-core/scalaz/Category

Category

trait Category[=>:[_, _]] extends Compose[=>:]

scalaz.Compose with identity.

See also
Companion
object
trait Compose[=>:]
class Object
trait Matchable
class Any
trait Arrow[=>:]
trait Choice[=>:]

Type members

Classlikes

trait CategoryLaw extends ComposeLaw

Inherited classlikes

trait ComposeLaw
Inherited from
Compose

Value members

Abstract methods

def id[A]: A =>: A

The left and right identity over compose.

The left and right identity over compose.

Concrete methods

def empty: PlusEmpty[=>:]

monoid, but universally quantified.

monoid, but universally quantified.

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 methods

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 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 composeSyntax: ComposeSyntax[=>:]
Inherited from
Compose