scalaz-core/scalaz/Ran

Ran

object Ran
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def adjointToRan[F[_], G[_], A](f: F[A])(implicit A: Adjunction[F, G]): Ran[G, Id, A]
def composedAdjointToRan[F[_], G[_], H[_], A](h: H[F[A]])(implicit A: Adjunction[F, G], H: Functor[H]): Ran[G, H, A]
def fromRan[G[_], H[_], K[_], B](k: K[G[B]])(s: NaturalTransformation[K, [_] =>> Ran[G, H, _$14]]): H[B]

toRan and fromRan witness an adjunction from Compose[G,_,_] to Ran[G,_,_].

toRan and fromRan witness an adjunction from Compose[G,_,_] to Ran[G,_,_].

def gran[G[_], H[_], A](r: Ran[G, H, G[A]]): H[A]

This is the natural transformation that defines a right Kan extension.

This is the natural transformation that defines a right Kan extension.

def ranToAdjoint[F[_], G[_], A](r: Ran[G, Id, A])(implicit A: Adjunction[F, G]): F[A]
def toRan[G[_], H[_], K[_] : Functor, B](k: K[B])(s: NaturalTransformation[[α] =>> K[G[α]], H]): Ran[G, H, B]

The universal property of a right Kan extension. The functor Ran[G,H,_] and the natural transformation gran[G,H,_] are couniversal in the sense that for any functor K and a natural transformation s from K[G[_]] to H, a unique natural transformation toRan exists from K to Ran[G,H,_] such that for all k, gran(toRan(k)) = s(k).

The universal property of a right Kan extension. The functor Ran[G,H,_] and the natural transformation gran[G,H,_] are couniversal in the sense that for any functor K and a natural transformation s from K[G[_]] to H, a unique natural transformation toRan exists from K to Ran[G,H,_] such that for all k, gran(toRan(k)) = s(k).

Implicits

Implicits

implicit
def ranFunctor[G[_], H[_]]: Functor[[_] =>> Ran[G, H, _$6]]