Struct EffectSystem 

pub struct EffectSystem {
    pub effect_name: String,
    pub operations: Vec<(String, String)>,
    pub handler_type: String,
}

Algebraic effect system.

Fields

effect_name: String

operations: Vec<(String, String)>

handler_type: String

Implementations

impl EffectSystem

pub fn state(state_type: &str) -> Self

State effect.

pub fn exception(exc_type: &str) -> Self

Exception effect.

pub fn num_ops(&self) -> usize

Number of operations.

Trait Implementations

impl Clone for EffectSystem

fn clone(&self) -> EffectSystem

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for EffectSystem

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.