Struct EffRow 

pub struct EffRow { /* private fields */ }

An effect row: an ordered (but usually treated as a set) collection of effect signatures.

Implementations

impl EffRow

pub fn empty() -> Self

Create the empty effect row (pure).

pub fn extend(&self, eff: impl Into<String>) -> Self

Extend this row with one more effect.

pub fn contains(&self, eff: &str) -> bool

Check if this row contains the given effect.

pub fn lacks(&self, eff: &str) -> bool

Check if this row lacks the given effect.

pub fn is_subset_of(&self, other: &EffRow) -> bool

Check if this row is a subset of another.

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

Compute the union of two rows.

pub fn effect_names(&self) -> &[String]

Return the list of effect names.

pub fn is_pure(&self) -> bool

True if the row is empty (pure computation).

Trait Implementations

impl Clone for EffRow

fn clone(&self) -> EffRow

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffRow

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

Formats the value using the given formatter.

impl Default for EffRow

fn default() -> EffRow

Returns the “default value” for a type.