core/org.atnos.eff/eval

eval

object eval extends EvalCreation with EvalInterpretation
trait EvalTypes
class Object
trait Matchable
class Any

Type members

Inherited types

type _Eval[R] = Member[[A] =>> Eval[A], R]
Inherited from
EvalTypes
type _eval[R] = MemberIn[[A] =>> Eval[A], R]
Inherited from
EvalTypes

Value members

Inherited methods

def attemptEval[R, U, A](effect: Eff[R, A])(implicit m: Aux[[A] =>> Eval[A], R, U]): Eff[U, Either[Throwable, A]]
Inherited from
EvalInterpretation
def defer[R, A](eff: => Eval[Eff[R, A]])(implicit evidence$3: _eval[R]): Eff[R, A]
Inherited from
EvalCreation
def delay[R, A](a: => A)(implicit evidence$2: _eval[R]): Eff[R, A]
Inherited from
EvalCreation
def now[R, A](a: A)(implicit evidence$1: _eval[R]): Eff[R, A]
Inherited from
EvalCreation
def runEval[R, U, A](effect: Eff[R, A])(implicit m: Aux[[A] =>> Eval[A], R, U]): Eff[U, A]
Inherited from
EvalInterpretation

Implicits

Inherited implicits

final implicit val monadErrorEval: MonadError[[A] =>> Eval[A], Throwable]

the monad error instance for Eval is useful for using detach on Eff[Fx1[Eval], A]

the monad error instance for Eval is useful for using detach on Eff[Fx1[Eval], A]

Inherited from
EvalInterpretation