core/org.atnos.eff/EvalEffect

EvalEffect

trait EvalEffect extends EvalTypes with EvalCreation with EvalInterpretation

Effect for delayed computations

Effect for delayed computations

uses cats.Eval as a supporting data structure

Companion
object
trait EvalTypes
class Object
trait Matchable
class Any
object EvalEffect
object all

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])(m: Aux[[A] =>> Eval[A], R, U]): Eff[U, Either[Throwable, A]]
Inherited from
EvalInterpretation
def defer[R, A](eff: => Eval[Eff[R, A]])(`evidence$3`: _eval[R]): Eff[R, A]
Inherited from
EvalCreation
def delay[R, A](a: => A)(`evidence$2`: _eval[R]): Eff[R, A]
Inherited from
EvalCreation
def now[R, A](a: A)(`evidence$1`: _eval[R]): Eff[R, A]
Inherited from
EvalCreation
def runEval[R, U, A](effect: Eff[R, A])(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