Enum EffectRow 

pub enum EffectRow {
    Closed(EffectSet),
    Open {
        effects: EffectSet,
        tail: String,
    },
}

An effect row for row polymorphism.

This allows functions to be polymorphic in their effects.

Variants

Closed(EffectSet)

A closed row with specific effects

Open

An open row with effects and a tail variable

Fields

effects: EffectSet

tail: String

Implementations

impl EffectRow

pub fn closed(effects: EffectSet) -> Self

Create a closed row from an effect set.

pub fn open(effects: EffectSet, tail: impl Into<String>) -> Self

Create an open row with a tail variable.

pub fn pure() -> Self

Create a pure closed row.

pub fn has(&self, effect: Effect) -> bool

Check if this row contains an effect.

pub fn free_variables(&self) -> Vec<String>

Get the free tail variables.

pub fn substitute(&self, var: &str, row: &EffectRow) -> EffectRow

Substitute a tail variable with an effect row.

Trait Implementations

impl Clone for EffectRow

fn clone(&self) -> EffectRow

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectRow

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

Formats the value using the given formatter.

impl Display for EffectRow

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

Formats the value using the given formatter.

impl PartialEq for EffectRow

fn eq(&self, other: &EffectRow) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for EffectRow

impl StructuralPartialEq for EffectRow