Packages

•  package root

  Definition Classes

  root

•  package org

  Definition Classes

  root

•  package specs2

  Definition Classes

  org

•  package control

  Definition Classes

  specs2

•  package eff

  Definition Classes

  control

•  trait Interpret extends AnyRef

  Support methods to create an interpreter (or "effect handlers") for a given Eff[M |: R, A].

  Support methods to create an interpreter (or "effect handlers") for a given Eff[M |: R, A]. The aim being to "consume" just that effect and produce a value of type B with possibly other effects: Eff[R, B]

  Those methods guarantee a stack-safe behaviour when running on a large list of effects (in a list.traverseU(f) for example).

  There are 3 different types of supported interpreters:

  1. interpret + Recurse

  This interpreter is used to handle effects which either return a value X from M[X] or stops with Eff[R, B] See an example of such an interpreter in Eval where we just evaluate a computation X for each Eval[X].

  2. interpretState + StateRecurse

  This interpreter is used to handle effects which either return a value X from M[X] or stops with Eff[R, B]

  3. interpretLoop + Loop

  The most generic kind of interpreter where we can even recurse in the case of Pure(a) (See ListEffect for such a use)

  Definition Classes

  eff

• Loop
• Recurse
• StateRecurse

org.specs2.control.eff.Interpret

Recurse 