Enum PatternKind 

pub enum PatternKind {
    Integer(BigInt),
    Bool(bool),
    Name {
        name: Loc<NameID>,
        pre_declared: bool,
    },
    Tuple(Vec<Loc<Pattern>>),
    Array(Vec<Loc<Pattern>>),
    Type(Loc<NameID>, Vec<PatternArgument>),
}

Variants

Integer(BigInt)

Bool(bool)

Name

Fields

name: Loc<NameID>

pre_declared: bool

Tuple(Vec<Loc<Pattern>>)

Array(Vec<Loc<Pattern>>)

Type(Loc<NameID>, Vec<PatternArgument>)

Instantiation of an entity. While the argument contains information about argument names, for codegen purposes, the arguments must be ordered in the target order. I.e. they should all act as positioanl arguments

Implementations

impl PatternKind

pub fn name(name: Loc<NameID>) -> Self

pub fn integer(val: i32) -> Self

impl PatternKind

pub fn with_id(self, id: ExprID) -> Pattern

pub fn idless(self) -> Pattern

Trait Implementations

impl Clone for PatternKind

fn clone(&self) -> PatternKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PatternKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PatternKind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for PatternKind

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

Formats the value using the given formatter.

impl PartialEq for PatternKind

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for PatternKind