interpret

Helper trait for computations which might produce several M[X] in a stack of effects and which need to keep some state around

This is typically the case for Writer or State which need to keep some state S after each evaluation Evaluating the effect M[X] might use the previous S value as shown in the apply method

Finally when the Eff[R, A] returns an A, this one can be combined with the last state value to produce a B

INTERPRET IN THE SAME STACK

simpler version of intercept where the pure value is just mapped to another type

intercept an effect and interpret it in the same stack. This method is stack-safe

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

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

interpret the effect M in the R stack

simpler version of interpret where the pure value is just mapped to another type

generalization of interpret and interpretState

This method contains a loop which is stack-safe

interpret the effect M in the M |: R stack, keeping track of some state

simpler version of interpret1 where the pure value is just mapped to another type

generalization of interpret

This method contains a loop which is stack-safe

interpret an effect by running side-effects

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

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

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

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