root/scalaz/Ran

Ran

trait Ran[G[_], H[_], A]

The right Kan extension of H along G

Companion
object
class Object
trait Matchable
class Any
Ran[G, H, A]

Value members

Abstract methods

def apply[B](f: A => G[B]): H[B]

Concrete methods

def map[B](f: A => B): Ran[G, H, B]
def toAdjoint[F[_]](implicit A: Adjunction[F, G]): H[F[A]]