Struct EffectDecl 

pub struct EffectDecl {
    pub visibility: Visibility,
    pub name: Ident,
    pub operations: Vec<EffectOperation>,
    pub span: Span,
}

Algebraic effect declaration: effect IO { fn read() -> String; fn write(s: String); }

Declares a set of operations that a function may perform. Inspired by Koka, OCaml 5, and Scala 3 capabilities.

Fields

visibility: Visibility

name: Ident

operations: Vec<EffectOperation>

span: Span

Trait Implementations

impl Clone for EffectDecl

fn clone(&self) -> EffectDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectDecl

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

Formats the value using the given formatter.

impl PartialEq for EffectDecl

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