Enum Effect 

pub enum Effect<E, A> {
    Pure(A),
    Perform(E, Box<dyn FnOnce(()) -> Effect<E, A>>),
}

A simple algebraic effect: a computation that may perform an effect.

Variants

Pure(A)

Pure result (no effect)

Perform(E, Box<dyn FnOnce(()) -> Effect<E, A>>)

Effectful operation with continuation

Implementations

impl<E: 'static, A: 'static> Effect<E, A>

pub fn pure(a: A) -> Self

Lift a pure value.

pub fn handle(self, handler: &dyn Fn(E)) -> A

where A: Default,

Handle all effects, collapsing to a pure value.