Enum gluon_base::ast::Pattern

pub enum Pattern<Id> {
    As(Id, Box<SpannedPattern<Id>>),
    Constructor(TypedIdent<Id>, Vec<SpannedPattern<Id>>),
    Ident(TypedIdent<Id>),
    Record {
        typ: ArcType<Id>,
        types: Vec<PatternField<Id, Id>>,
        fields: Vec<PatternField<Id, SpannedPattern<Id>>>,
        implicit_import: Option<Spanned<Id, BytePos>>,
    },
    Tuple {
        typ: ArcType<Id>,
        elems: Vec<SpannedPattern<Id>>,
    },
    Literal(Literal),
    Error,
}

Variants

As(Id, Box<SpannedPattern<Id>>)

An as-pattern, eg. option @ { monoid, functor }

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

Constructor pattern, eg. Cons x xs

Ident(TypedIdent<Id>)

Ident pattern, eg: x

Record

Record pattern, eg. { x, y = foo }

Fields of Record

typ: ArcType<Id>
types: Vec<PatternField<Id, Id>>
fields: Vec<PatternField<Id, SpannedPattern<Id>>>
implicit_import: Option<Spanned<Id, BytePos>>

Tuple

Tuple pattern, eg: (x, y)

Fields of Tuple

typ: ArcType<Id>
elems: Vec<SpannedPattern<Id>>

Literal(Literal)

A literal pattern

Error

An invalid pattern

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, other: &Pattern<Id>) -> bool

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

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

This method tests for !=.

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

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

Formats the value using the given formatter.

impl Typed for Pattern<Symbol>

type Ident = Symbol

fn try_type_of(&self, env: &TypeEnv) -> Result<ArcType, String>

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