scalaz-core/scalaz/Codensity

Codensity

abstract
class Codensity[F[_], A]
Companion
object
class Object
trait Matchable
class Any
Codensity[F, A]

Value members

Abstract methods

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

Concrete methods

def flatMap[B](k: A => Codensity[F, B]): Codensity[F, B]
def improve(implicit F: Applicative[F]): F[A]
def map[B](k: A => B): Codensity[F, B]
def toRan: Ran[F, F, A]

Codensity[F,_] is a right Kan extension of F along itself.

Codensity[F,_] is a right Kan extension of F along itself.