Enum PatternData 

pub enum PatternData {
    Wildcard,
    Any(LocIdent),
    Record(RecordPattern),
    Array(ArrayPattern),
    Enum(EnumPattern),
    Constant(ConstantPattern),
    Or(OrPattern),
}

Variants

Wildcard

A wildcard pattern, matching any value. As opposed to any, this pattern doesn’t bind any variable.

Any(LocIdent)

A simple pattern consisting of an identifier. Match anything and bind the result to the corresponding identifier.

Record(RecordPattern)

A record pattern as in { a = { b, c } }

Array(ArrayPattern)

An array pattern as in [a, b, c]

Enum(EnumPattern)

An enum pattern as in 'Foo x or 'Foo

Constant(ConstantPattern)

A constant pattern as in 42 or true.

Or(OrPattern)

A sequence of alternative patterns as in 'Foo _ or 'Bar _ or 'Baz _.

Trait Implementations

impl Clone for PatternData

fn clone(&self) -> PatternData

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl CompilePart for PatternData

fn compile_part(&self, value_id: LocIdent, bindings_id: LocIdent) -> RichTerm

Compile part of a broader pattern to a Nickel expression with two free variables (which is equivalent to a function of two arguments):

impl Debug for PatternData

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

Formats the value using the given formatter.

impl Display for PatternData

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

Formats the value using the given formatter.

impl<'ast> FromAst<ArrayPattern<'ast>> for PatternData

fn from_ast(array_pat: &ArrayPattern<'ast>) -> Self

impl<'ast> FromAst<ConstantPattern<'ast>> for PatternData

fn from_ast(pattern: &ConstantPattern<'ast>) -> Self

impl<'ast> FromAst<EnumPattern<'ast>> for PatternData

fn from_ast(enum_pat: &EnumPattern<'ast>) -> Self

impl<'ast> FromAst<OrPattern<'ast>> for PatternData

fn from_ast(pattern: &OrPattern<'ast>) -> Self

impl<'ast> FromAst<PatternData<'ast>> for PatternData

fn from_ast(ast: &PatternData<'ast>) -> Self

impl<'ast> FromAst<RecordPattern<'ast>> for PatternData

fn from_ast(record_pat: &RecordPattern<'ast>) -> Self

impl<'ast> FromMainline<'ast, PatternData> for PatternData<'ast>

fn from_mainline(alloc: &'ast AstAlloc, data: &PatternData) -> Self

impl PartialEq for PatternData

fn eq(&self, other: &PatternData) -> 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<'a> Pretty<'a, Allocator> for &PatternData

fn pretty(self, allocator: &'a Allocator) -> DocBuilder<'a, Allocator>

Converts self into a document

impl StructuralPartialEq for PatternData