Struct Effect 

pub struct Effect {
    pub name: String,
    pub operations: Vec<String>,
}

An algebraic effect with a name and a list of operations.

Fields

name: String

The name of the effect.

operations: Vec<String>

The operation names of this effect.

Implementations

impl Effect

pub fn new(name: impl Into<String>, operations: Vec<String>) -> Self

Create a new Effect.

pub fn is_algebraic(&self) -> bool

Every algebraic effect is algebraic in the sense of Plotkin and Power.

pub fn free_monad(&self) -> String

The free monad generated by the functor of operations.