Struct EffectSystem 

pub struct EffectSystem {
    pub name: String,
    pub effect_types: Vec<String>,
    pub is_algebraic: bool,
    pub monad_based: bool,
}

Fields

name: String

effect_types: Vec<String>

is_algebraic: bool

monad_based: bool

Implementations

impl EffectSystem

pub fn algebraic_effects() -> Self

pub fn monad_transformers() -> Self

pub fn add_effect(&mut self, eff: &str)

pub fn effect_handling_description(&self) -> String

pub fn free_monad_presentation(&self) -> String

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.