core/org.atnos.eff/interpret

interpret

object interpret extends Interpret with Batch
trait Batch
trait Interpret
class Object
trait Matchable
class Any

Type members

Inherited types

type of[F[_], G[_]] = { type l = [A] =>> F[G[A]]; }
Inherited from
Interpret

Value members

Inherited methods

def augment[R, T[_], O[_], A](eff: Eff[R, A])(w: Augment[T, O])(implicit memberT: MemberInOut[T, R], memberO: MemberIn[O, R]): Eff[R, A]

Interpret the effect T with a side-effect O (see the write method below)

Interpret the effect T with a side-effect O (see the write method below)

Inherited from
Interpret
def batch[R, T[_], A](eff: Eff[R, A])(implicit batchable: Batchable[T], m: MemberInOut[T, R]): Eff[R, A]
Inherited from
Batch
def intercept[R, T[_], A, B](e: Eff[R, A])(interpreter: Interpreter[T, R, A, B])(implicit m: MemberInOut[T, R]): Eff[R, B]
Inherited from
Interpret
def interceptNat[R, T[_], A](effect: Eff[R, A])(nat: FunctionK[T, T])(implicit m: MemberInOut[T, R]): Eff[R, A]

Intercept the values for one effect and transform them into other values for the same effect

Intercept the values for one effect and transform them into other values for the same effect

Inherited from
Interpret
def interceptNatM[R, M[_], F[_], A](effect: Eff[R, A], nat: FunctionK[M, <none>])(implicit m: MemberInOut[M, R], FT: Traverse[F], FM: Monad[F]): Eff[R, F[A]]

Intercept the values for one effect, emitting new values for the same effect inside a monad which is interleaved in

Intercept the values for one effect, emitting new values for the same effect inside a monad which is interleaved in

Inherited from
Interpret
def interpretUnsafe[R, U, T[_], A](effect: Eff[R, A])(sideEffect: SideEffect[T])(implicit m: Aux[T, R, U]): Eff[U, A]

interpret an effect by running side-effects

interpret an effect by running side-effects

Inherited from
Interpret
def recurse[R, U, T[_], A, B](e: Eff[R, A])(recurser: Recurser[T, U, A, B])(implicit m: Aux[T, R, U]): Eff[U, B]

Interpret an effect with a Recurser

Interpret an effect with a Recurser

Inherited from
Interpret
def runInterpreter[R, U, T[_], A, B](e: Eff[R, A])(interpreter: Interpreter[T, U, A, B])(implicit m: Aux[T, R, U]): Eff[U, B]
Inherited from
Interpret
def trace[R, T[_], A](eff: Eff[R, A])(implicit memberT: MemberInOut[T, R], memberW: MemberInOut[[_] =>> Writer[T[_], _$26], R]): Eff[R, A]

For a single effect T log every value of that effect

For a single effect T log every value of that effect

Inherited from
Interpret
def transform[SR, BR, U1, U2, TS[_], TB[_], A](effect: Eff[SR, A], nat: FunctionK[TS, TB])(implicit sr: Aux[TS, SR, U1], br: Aux[TB, BR, U2], into: IntoPoly[U1, U2]): Eff[BR, A]

transform an effect into another one using a natural transformation, leaving the rest of the stack untouched

transform an effect into another one using a natural transformation, leaving the rest of the stack untouched

Inherited from
Interpret
def translate[R, U, T[_], A](effect: Eff[R, A])(tr: Translate[T, U])(implicit m: Aux[T, R, U]): Eff[U, A]

Translate one effect of the stack into some of the other effects in the stack

Translate one effect of the stack into some of the other effects in the stack

Inherited from
Interpret
def translateInto[R, T[_], U, A](effect: Eff[R, A])(tr: Translate[T, U])(implicit t: MemberInOut[T, R], into: IntoPoly[R, U]): Eff[U, A]

Translate one effect of the stack into other effects in a larger stack

Translate one effect of the stack into other effects in a larger stack

Inherited from
Interpret
def translateNat[R, U, T[_], A](effects: Eff[R, A])(nat: FunctionK[T, [_] =>> Eff[U, _$8]])(implicit m: Aux[T, R, U]): Eff[U, A]

Translate one effect of the stack into some of the other effects in the stack Using a natural transformation

Translate one effect of the stack into some of the other effects in the stack Using a natural transformation

Inherited from
Interpret
def write[R, T[_], O, A](eff: Eff[R, A])(w: Write[T, O])(implicit memberT: MemberInOut[T, R], memberW: MemberIn[[_] =>> Writer[O, _$22], R]): Eff[R, A]

For each effect T add some "log statements" O using the Writer effect

For each effect T add some "log statements" O using the Writer effect

Inherited from
Interpret