Enum gluon_vm::core::Expr

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

Variants

Const(Literal, Span<BytePos>)

Ident(TypedIdent<Symbol>, Span<BytePos>)

Call(CExpr<'a>, &'a [Expr<'a>])

Data(TypedIdent<Symbol>, &'a [Expr<'a>], BytePos)

Let(&'a LetBinding<'a>, CExpr<'a>)

Match(CExpr<'a>, &'a [Alternative<'a>])

Cast(CExpr<'a>, ArcType)

Implementations

impl<'a> Expr<'a>

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

Trait Implementations

impl<'a> ArenaAllocatable<'a> for Expr<'a>

fn alloc_into(self, allocator: &'a Allocator<'a>) -> &'a Self

fn alloc_iter_into( iter: impl IntoIterator<Item = Self>, allocator: &'a Allocator<'a> ) -> &'a [Self]

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 Default for &'static Expr<'static>

fn default() -> Self

Returns the “default value” for a type.

impl<'a> Default for Expr<'a>

fn default() -> Self

Returns the “default value” for a type.

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

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

Formats the value using the given formatter.

impl<'l, 'g, C> From<&'l Expr<'l>> for Binding<Reduced<CExpr<'l>, Global<CoreExpr>>, C>

fn from(expr: CExpr<'l>) -> Self

Converts to this type from the input type.

impl<'l> From<&'l Expr<'l>> for Reduced<CExpr<'l>, Global<CoreExpr>>

fn from(expr: CExpr<'l>) -> Self

Converts to this type from the input type.

impl<'a> PartialEq 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: &Rhs) -> bool

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

impl<'a, 'b, P> Produce<'a, 'b, P, Expr<'b>> for CExpr<'a>

where P: ExprProducer<'a, 'b>,

fn produce_with(input: &'b Expr<'b>, producer: &mut P) -> Self

impl<'a, 'b, P> Produce<'a, 'b, P, Expr<'b>> for Expr<'a>

where P: ExprProducer<'a, 'b>,

fn produce_with(input: &'b Expr<'b>, producer: &mut P) -> Self

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

impl<'a> StructuralPartialEq for Expr<'a>