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)
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
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
interpret an effect by running side-effects
interpret an effect by running side-effects
Interpret an effect with a Recurser
Interpret an effect with a Recurser
For a single effect T log every value of that effect
For a single effect T log every value of that effect
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
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
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
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
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