root/scalaz/IsomorphismAssociative

IsomorphismAssociative

trait IsomorphismAssociative[F[_, _], G[_, _]] extends Associative[F]
trait Associative[F]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

trait AssociativeLaw
Inherited from
Associative

Value members

Abstract methods

def iso: IsoBifunctor[F, G]

Concrete methods

override
def reassociateLeft[A, B, C](f: F[A, F[B, C]]): F[F[A, B], C]
Definition Classes
override
def reassociateRight[A, B, C](f: F[F[A, B], C]): F[A, F[B, C]]
Definition Classes

Inherited methods

def reassociateIso[A, B, C]: IsoSet[F[F[A, B], C], F[A, F[B, C]]]
Inherited from
Associative

Inherited fields

Implicits

Implicits

implicit
def G: Associative[G] & Bifunctor[G]