Struct EffectSet 

pub struct EffectSet {
    pub concrete: BTreeSet<EffectKind>,
    pub var: Option<u32>,
}

Fields

concrete: BTreeSet<EffectKind>

var: Option<u32>

Implementations

impl EffectSet

pub fn empty() -> Self

pub fn singleton(s: impl Into<String>) -> Self

Backwards-compatible constructor — produces a bare [name] effect. New code that wants parameterized effects builds an EffectKind directly and inserts it into concrete, or uses EffectSet::singleton_arg.

pub fn singleton_arg(name: impl Into<String>, arg: impl Into<String>) -> Self

Parameterized singleton, e.g. [net("wttr.in")].

pub fn open_var(id: u32) -> Self

An open effect set: just a row variable, no concrete lower bound. Used by stdlib HOF signatures (list.map, list.filter, list.fold, option.map, result.map, result.and_then).

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

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

self is a subset of other iff every entry in self is subsumed by some entry in other. Per #207 this honors bare-wildcard absorption: {[mcp(ocpp)]} ⊆ {[mcp]} holds.

pub fn extend(&mut self, other: &EffectSet)

pub fn is_open(&self) -> bool

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 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