Adjunction

Companion
class
class Object
trait Matchable
class Any

Type members

Types

type -|[F[_], G[_]] = Adjunction[F, G]

Value members

Concrete methods

def apply[F[_], G[_]](implicit A: Adjunction[F, G]): Adjunction[F, G]

Implicits

Inherited implicits

implicit
def compositeAdjunction[F[_], P[_], G[_], Q[_]](implicit A1: Adjunction[F, G], A2: Adjunction[P, Q]): Adjunction[[α] =>> P[F[α]], [α] =>> G[Q[α]]]
Inherited from
AdjunctionInstances
implicit
def curryUncurryAdjunction[S]: Adjunction[[_] =>> (S, _$15), [_] =>> S => _$16]
Inherited from
AdjunctionInstances
implicit
val f0Adjunction: Adjunction[Function0, Function0]
Inherited from
AdjunctionInstances
implicit
val f0IdAdjunction: Adjunction[Function0, Id]
Inherited from
AdjunctionInstances
implicit
val idF0Adjunction: Adjunction[Id, Function0]
Inherited from
AdjunctionInstances
implicit
def writerReaderAdjunction[E]: Adjunction[[_] =>> Writer[E, _$19], [_] =>> Reader[E, _$20]]
Inherited from
AdjunctionInstances