Enum gluon_vm::core::Pattern

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

Variants

Constructor(TypedIdent<Symbol>, Vec<TypedIdent<Symbol>>)

Record

Fields

typ: ArcType

fields: Vec<(TypedIdent<Symbol>, Option<Symbol>)>

Ident(TypedIdent<Symbol>)

Literal(Literal)

Trait Implementations

impl Clone for Pattern

fn clone(&self) -> Pattern

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Pattern

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

Formats the value using the given formatter.

impl Default for Pattern

fn default() -> Self

Returns the “default value” for a type.

impl Display for Pattern

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

Formats the value using the given formatter.

impl PartialEq for Pattern

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

type Ident = Symbol

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

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

impl StructuralPartialEq for Pattern