scalaz/scalaz/Codensity

Codensity

object Codensity extends CodensityInstances
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def pureCodensity[F[_], A](a: => A): Codensity[F, A]
def rep[F[_], A](f: F[A])(implicit F: Monad[F]): Codensity[F, A]

Implicits

Implicits

implicit
def codensityMonadPlus[F[_]](implicit F: ApplicativePlus[F]): MonadPlus[[_] =>> Codensity[F, _$5]]

Supposing we have the guarantees of consistency between scalaz.Applicative and scalaz.PlusEmpty for F, the scalaz.MonadPlus laws should hold.

Supposing we have the guarantees of consistency between scalaz.Applicative and scalaz.PlusEmpty for F, the scalaz.MonadPlus laws should hold.

implicit
val codensityTrans: MonadTrans[[F[_], A] =>> Codensity[F, A]]

Inherited implicits

implicit
def codensityMonad[F[_]]: Monad[[_] =>> Codensity[F, _$10]]
Inherited from
CodensityInstances