scalaz/scalaz/IsomorphismCategory

IsomorphismCategory

trait IsomorphismCategory[F[_, _], G[_, _]] extends Category[F] with IsomorphismCompose[F, G]
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 id[A]: F[A, A]
Definition Classes

Inherited methods

def categoryLaw: CategoryLaw
Inherited from
Category
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
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 composeSyntax: ComposeSyntax[F]
Inherited from
Compose

Implicits

Implicits

implicit
def G: Category[G]