specs2-common/org.specs2.control.eff/EffInterpretation

EffInterpretation

object EffInterpretation extends EffInterpretation
Companion:
class
class Object
trait Matchable
class Any

Value members

Inherited methods

def detach[M[_] : Monad, A](eff: Eff[Fx1[M], A]): M[A]

peel-off the only present effect

peel-off the only present effect

Inherited from:
EffInterpretation
def detachA[M[_], A](eff: Eff[Fx1[M], A])(implicit monad: Monad[M], applicative: Applicative[M]): M[A]

peel-off the only present effect, using an Applicative instance where possible

peel-off the only present effect, using an Applicative instance where possible

Inherited from:
EffInterpretation
def effInto[R, U, A](e: Eff[R, A])(implicit f: IntoPoly[R, U]): Eff[U, A]

An Eff[R, A] value can be transformed into an Eff[U, A] value provided that all the effects in R are also in U

An Eff[R, A] value can be transformed into an Eff[U, A] value provided that all the effects in R are also in U

Inherited from:
EffInterpretation
def run[A](eff: Eff[NoFx, A]): A

base runner for an Eff value having no effects at all

base runner for an Eff value having no effects at all

This runner can only return the value in Pure because it doesn't known how to interpret the effects in Impure

Inherited from:
EffInterpretation
def runPure[R, A](eff: Eff[R, A]): Option[A]

get the pure value if there is no effect

get the pure value if there is no effect

Inherited from:
EffInterpretation