Enum StructPatternNode

pub enum StructPatternNode {
    Ignore,
    Literal(Value),
    Bind(BindId),
    Slice {
        tuple: bool,
        all: Option<BindId>,
        binds: Box<[StructPatternNode]>,
    },
    SlicePrefix {
        all: Option<BindId>,
        prefix: Box<[StructPatternNode]>,
        tail: Option<BindId>,
    },
    SliceSuffix {
        all: Option<BindId>,
        head: Option<BindId>,
        suffix: Box<[StructPatternNode]>,
    },
    Struct {
        all: Option<BindId>,
        binds: Box<[(ArcStr, usize, StructPatternNode)]>,
    },
    Variant {
        tag: ArcStr,
        all: Option<BindId>,
        binds: Box<[StructPatternNode]>,
    },
}

Variants

Ignore

Literal(Value)

Bind(BindId)

Slice

Fields

tuple: bool

all: Option<BindId>

binds: Box<[StructPatternNode]>

SlicePrefix

Fields

all: Option<BindId>

prefix: Box<[StructPatternNode]>

tail: Option<BindId>

SliceSuffix

Fields

all: Option<BindId>

head: Option<BindId>

suffix: Box<[StructPatternNode]>

Struct

Fields

all: Option<BindId>

binds: Box<[(ArcStr, usize, StructPatternNode)]>

Variant

Fields

tag: ArcStr

all: Option<BindId>

binds: Box<[StructPatternNode]>

Implementations

impl StructPatternNode

pub fn compile<C: Ctx, E: UserEvent>( ctx: &mut ExecCtx<C, E>, type_predicate: &Type<NoRefs>, spec: &StructurePattern, scope: &ModPath, ) -> Result<Self>

pub fn ids<'a>(&'a self, f: &mut (dyn FnMut(BindId) + 'a))

pub fn bind<F: FnMut(BindId, Value)>(&self, v: &Value, f: &mut F)

pub fn unbind<F: FnMut(BindId)>(&self, f: &mut F)

pub fn is_match(&self, v: &Value) -> bool

pub fn is_refutable(&self) -> bool

Trait Implementations

impl Debug for StructPatternNode

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

Formats the value using the given formatter.