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

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

Fields of Record

typ: ArcType<Id>fields: &'ast mut [PatternField<'ast, Id>]implicit_import: Option<Spanned<Id, BytePos>>

Tuple

Tuple pattern, eg: (x, y)

Fields of Tuple

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

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>,
    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: Eq> Eq for Pattern<'ast, Id>

impl<'ast, Id: PartialEq> PartialEq<Pattern<'ast, Id>> 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: &Pattern<'ast, Id>) -> bool

This method tests for !=.

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

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

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>