CpsMonadContextInclusion

cps.CpsMonadContextInclusion
See theCpsMonadContextInclusion companion object
trait CpsMonadContextInclusion[F[_], G[_]]

Typeclass for inclusion of one monad context into another. If this inclusion exists, that we can call direct context encoding method over G[_] in F[_].

Attributes

Companion
object
Source
CpsMonadContextInclusion.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def apply[T](fctx: CpsTryMonadContext[F])(fun: CpsTryMonadContext[G] => G[T]): F[T]

Attributes

Source
CpsMonadContextInclusion.scala