Enum gluon_base::ast::Pattern

pub enum Pattern<Id> {
    Constructor(TypedIdent<Id>, Vec<TypedIdent<Id>>),
    Record {
        typ: ArcType<Id>,
        types: Vec<(Id, Option<Id>)>,
        fields: Vec<(Id, Option<Id>)>,
    },
    Ident(TypedIdent<Id>),
}

Variants

Constructor(TypedIdent<Id>, Vec<TypedIdent<Id>>)Record

Fields

typ: ArcType<Id>
types: Vec<(Id, Option<Id>)>
fields: Vec<(Id, Option<Id>)>

Ident(TypedIdent<Id>)

Trait Implementations

impl<Id: Clone> Clone for Pattern<Id>

fn clone(&self) -> Pattern<Id>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Id: PartialEq> PartialEq for Pattern<Id>

fn eq(&self, __arg_0: &Pattern<Id>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Pattern<Id>) -> bool

This method tests for !=.

impl<Id: Debug> Debug for Pattern<Id>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Typed for Pattern<Symbol>

type Ident = Symbol

fn env_type_of(&self, env: &TypeEnv) -> ArcType