core/org.atnos.eff/interpret

interpret

object interpret extends Interpret with Batch
Source:
package.scala
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
Source:
Interpret.scala

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
Source:
Interpret.scala
def batch[R, T[_], A](eff: Eff[R, A])(implicit batchable: Batchable[T], m: MemberInOut[T, R]): Eff[R, A]
Inherited from:
Batch
Source:
Batch.scala
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
Source:
Interpret.scala
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
Source:
Interpret.scala
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
Source:
Interpret.scala
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
Source:
Interpret.scala
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
Source:
Interpret.scala
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
Source:
Interpret.scala
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
Source:
Interpret.scala
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
Source:
Interpret.scala
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
Source:
Interpret.scala
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
Source:
Interpret.scala
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
Source:
Interpret.scala
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
Source:
Interpret.scala