Struct EffectSet 

pub struct EffectSet { /* private fields */ }

A set of computational effects.

Implementations

impl EffectSet

pub fn new() -> Self

Create an empty (pure) effect set.

pub fn pure() -> Self

Create a pure effect set (alias for new).

pub fn all() -> Self

Create an effect set with all effects.

pub fn singleton(effect: Effect) -> Self

Create an effect set from a single effect.

pub fn with(self, effect: Effect) -> Self

Add an effect to the set.

pub fn insert(&mut self, effect: Effect)

Add an effect to the set (mutable).

pub fn remove(&mut self, effect: &Effect)

Remove an effect from the set.

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

Check if the set contains an effect.

pub fn is_pure(&self) -> bool

Check if the set is pure (no effects).

pub fn is_total(&self) -> bool

Check if the computation is total (no divergence or exceptions).

pub fn is_deterministic(&self) -> bool

Check if the computation is deterministic.

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

Get the union of two effect sets.

pub fn intersection(&self, other: &EffectSet) -> EffectSet

Get the intersection of two effect sets.

pub fn difference(&self, other: &EffectSet) -> EffectSet

Get the difference of two effect sets (effects in self but not in other).

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

Check if this set is a subset of another.

pub fn len(&self) -> usize

Get the number of effects.

pub fn is_empty(&self) -> bool

Check if the set is empty.

pub fn iter(&self) -> impl Iterator<Item = &Effect>

Iterate over the effects.

pub fn to_vec(&self) -> Vec<Effect>

Get the effects as a vector.

pub fn expand_implications(&mut self)

Expand implied effects.

For example, if FileSystem is present, IO is also added.

Trait Implementations

impl Clone for EffectSet

fn clone(&self) -> EffectSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectSet

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

Formats the value using the given formatter.

impl Default for EffectSet

fn default() -> EffectSet

Returns the “default value” for a type.

impl Display for EffectSet

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

Formats the value using the given formatter.

impl PartialEq for EffectSet

fn eq(&self, other: &EffectSet) -> 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 EffectSet

impl StructuralPartialEq for EffectSet