scalaz-core/scalaz/AdjunctionInstances

AdjunctionInstances

sealed abstract
class AdjunctionInstances
class Object
trait Matchable
class Any
object Adjunction

Implicits

Implicits

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