Enum gluon_vm::core::Expr

pub enum Expr<'a> {
    Const(Literal, Span<BytePos>),
    Ident(TypedIdent<Symbol>, Span<BytePos>),
    Call(&'a Expr<'a>, &'a [Expr<'a>]),
    Data(TypedIdent<Symbol>, &'a [Expr<'a>], BytePos),
    Let(LetBinding<'a>, &'a Expr<'a>),
    Match(&'a Expr<'a>, &'a [Alternative<'a>]),
}

Variants

Const(Literal, Span<BytePos>)Ident(TypedIdent<Symbol>, Span<BytePos>)Call(&'a Expr<'a>, &'a [Expr<'a>])Data(TypedIdent<Symbol>, &'a [Expr<'a>], BytePos)Let(LetBinding<'a>, &'a Expr<'a>)Match(&'a Expr<'a>, &'a [Alternative<'a>])

Methods

impl<'a> Expr<'a>

pub fn span(&self) -> Span<BytePos>

Trait Implementations

impl<'a> PartialEq<Expr<'a>> for Expr<'a>

fn eq(&self, other: &Expr<'a>) -> bool

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

fn ne(&self, other: &Expr<'a>) -> bool

This method tests for !=.

impl<'a> Clone for Expr<'a>

fn clone(&self) -> Expr<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Expr<'a>

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

Formats the value using the given formatter.

impl<'a> Display for Expr<'a>

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

Formats the value using the given formatter.

impl<'a> Typed for Expr<'a>

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<Symbol>>
) -> ArcType<Self::Ident>