Impure

case class Impure[R, X, A](union: Union[R, X], continuation: Arrs[R, X, A], last: Last[R]) extends Eff[R, A]

Impure is an effect (encoded as one possibility among other effects, a Union) and a continuation providing the next Eff value.

This essentially models a flatMap operation with the current effect and the monadic function to apply to a value once the effect is interpreted

One effect can always be executed last, just for side-effects

trait Serializable

trait Product

trait Equals

trait Eff[R, A]

class Object

trait Matchable

class Any

Value members

add one last action to be executed after any computation chained to this Eff value