core/org.atnos.eff/EvalInterpretation

EvalInterpretation

trait EvalInterpretation extends EvalTypes
Companion
object
trait EvalTypes
class Object
trait Matchable
class Any
object EvalEffect
object all
object eval

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

Concrete methods

def attemptEval[R, U, A](effect: Eff[R, A])(implicit m: Aux[[A] =>> Eval[A], R, U]): Eff[U, Either[Throwable, A]]
def runEval[R, U, A](effect: Eff[R, A])(implicit m: Aux[[A] =>> Eval[A], R, U]): Eff[U, A]

Implicits

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]