Enum gluon_base::ast::Pattern

pub enum Pattern<'ast, Id> {
    As(Spanned<Id, BytePos>, &'ast mut SpannedPattern<'ast, Id>),
    Constructor(TypedIdent<Id>, &'ast mut [SpannedPattern<'ast, Id>]),
    Ident(TypedIdent<Id>),
    Record {
        typ: ArcType<Id>,
        fields: &'ast mut [PatternField<'ast, Id>],
        implicit_import: Option<Spanned<Id, BytePos>>,
    },
    Tuple {
        typ: ArcType<Id>,
        elems: &'ast mut [SpannedPattern<'ast, Id>],
    },
    Literal(Literal),
    Error,
}

Variants

As(Spanned<Id, BytePos>, &'ast mut SpannedPattern<'ast, Id>)

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

Constructor(TypedIdent<Id>, &'ast mut [SpannedPattern<'ast, Id>])

Constructor pattern, eg. Cons x xs

Ident(TypedIdent<Id>)

Ident pattern, eg: x

Record

Fields

typ: ArcType<Id>

fields: &'ast mut [PatternField<'ast, Id>]

implicit_import: Option<Spanned<Id, BytePos>>

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

Tuple

Fields

typ: ArcType<Id>

elems: &'ast mut [SpannedPattern<'ast, Id>]

Tuple pattern, eg: (x, y)

Literal(Literal)

A literal pattern

Error

An invalid pattern

Trait Implementations

impl<'ast, Id> AstClone<'ast, Id> for Pattern<'ast, Id>

where Id: AstClone<'ast, Id> + Clone,

fn ast_clone(&self, arena: ArenaRef<'_, 'ast, Id>) -> Self

impl<'ast, Id: Debug> Debug for Pattern<'ast, Id>

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

Formats the value using the given formatter.

impl<Id> Default for Pattern<'_, Id>

fn default() -> Self

Returns the “default value” for a type.

impl<'ast, Id: PartialEq> PartialEq for Pattern<'ast, Id>

fn eq(&self, other: &Pattern<'ast, Id>) -> bool

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Typed for Pattern<'_, Symbol>

type Ident = Symbol

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

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

impl<'ast, Id: Eq> Eq for Pattern<'ast, Id>

impl<'ast, Id> StructuralEq for Pattern<'ast, Id>

impl<'ast, Id> StructuralPartialEq for Pattern<'ast, Id>