Struct EffectHandler 

pub struct EffectHandler {
    pub effect: String,
    pub handler_fn: String,
}

An effect handler that eliminates a specific effect.

Fields

effect: String

The name of the handled effect.

handler_fn: String

A description of the handler function.

Implementations

impl EffectHandler

pub fn new(effect: impl Into<String>, handler_fn: impl Into<String>) -> Self

Create a new EffectHandler.

pub fn deep_handler(&self) -> String

A deep handler recursively handles all operations and sub-computations.

pub fn shallow_handler(&self) -> String

A shallow handler handles only the first operation encountered.

pub fn effect_elimination(&self) -> String

Handling eliminates the effect from the effect row.