Struct FieldPattern 

pub struct FieldPattern {
    pub matched_id: LocIdent,
    pub annotation: TypeAnnotation,
    pub default: Option<RichTerm>,
    pub pattern: Pattern,
    pub pos: TermPos,
}

A field pattern inside a record pattern. Every field can be annotated with a type, contracts or with a default value.

Fields

matched_id: LocIdent

The name of the matched field. For example, in {..., foo = {bar, baz}, ...}, the matched identifier is foo.

annotation: TypeAnnotation

Type and contract annotations of this field.

default: Option<RichTerm>

Potentital default value, set with the ? value syntax.

pattern: Pattern

The pattern on the right-hand side of the =. A pattern like {foo, bar}, without the = sign, is parsed as {foo=foo, bar=bar}. In this case, pattern.data will be PatternData::Any.

pos: TermPos

Trait Implementations

impl Clone for FieldPattern

fn clone(&self) -> FieldPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FieldPattern

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

Formats the value using the given formatter.

impl<'ast> FromAst<FieldPattern<'ast>> for FieldPattern

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

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

fn from_mainline(alloc: &'ast AstAlloc, field_pat: &FieldPattern) -> Self

impl PartialEq for FieldPattern

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