Struct EffectRow 

pub struct EffectRow {
    pub effects: Vec<String>,
}

A row of effects present in a computation type.

Fields

effects: Vec<String>

The list of effects in this row.

Implementations

impl EffectRow

pub fn new(effects: Vec<String>) -> Self

Create a new EffectRow.

pub fn is_empty(&self) -> bool

The empty effect row — pure computations.

pub fn union(&self, other: &EffectRow) -> EffectRow

The union of two effect rows.

pub fn subtract(&self, effect: &str) -> EffectRow

Remove an effect from the row (effect elimination).