scalaz/scalaz/IsomorphismCompose

IsomorphismCompose

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

Type members

Inherited classlikes

trait ComposeLaw
Inherited from
Compose

Value members

Abstract methods

def iso: IsoBifunctor[F, G]

Concrete methods

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

Inherited methods

def composeLaw: ComposeLaw
Inherited from
Compose
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

Implicits

Implicits

implicit
def G: Compose[G]