Enum gluon_base::ast::Expr

pub enum Expr<'ast, Id> {
    Ident(TypedIdent<Id>),
    Literal(Literal),
    App {
        func: &'ast mut SpannedExpr<'ast, Id>,
        implicit_args: &'ast mut [SpannedExpr<'ast, Id>],
        args: &'ast mut [SpannedExpr<'ast, Id>],
    },
    Lambda(Lambda<'ast, Id>),
    IfElse(&'ast mut SpannedExpr<'ast, Id>, &'ast mut SpannedExpr<'ast, Id>, &'ast mut SpannedExpr<'ast, Id>),
    Match(&'ast mut SpannedExpr<'ast, Id>, &'ast mut [Alternative<'ast, Id>]),
    Infix {
        lhs: &'ast mut SpannedExpr<'ast, Id>,
        op: SpannedIdent<Id>,
        rhs: &'ast mut SpannedExpr<'ast, Id>,
        implicit_args: &'ast mut [SpannedExpr<'ast, Id>],
    },
    Projection(&'ast mut SpannedExpr<'ast, Id>, Id, ArcType<Id>),
    Array(Array<'ast, Id>),
    Record {
        typ: ArcType<Id>,
        types: &'ast mut [ExprField<'ast, Id, ArcType<Id>>],
        exprs: &'ast mut [ExprField<'ast, Id, SpannedExpr<'ast, Id>>],
        base: Option<&'ast mut SpannedExpr<'ast, Id>>,
    },
    Tuple {
        typ: ArcType<Id>,
        elems: &'ast mut [SpannedExpr<'ast, Id>],
    },
    LetBindings(ValueBindings<'ast, Id>, &'ast mut SpannedExpr<'ast, Id>),
    TypeBindings(&'ast mut [TypeBinding<'ast, Id>], &'ast mut SpannedExpr<'ast, Id>),
    Block(&'ast mut [SpannedExpr<'ast, Id>]),
    Do(&'ast mut Do<'ast, Id>),
    MacroExpansion {
        original: &'ast mut SpannedExpr<'ast, Id>,
        replacement: &'ast mut SpannedExpr<'ast, Id>,
    },
    Annotated(&'ast mut SpannedExpr<'ast, Id>, ArcType<Id>),
    Error(Option<ArcType<Id>>),
}

The representation of gluon’s expression syntax

Variants

Ident(TypedIdent<Id>)

Identifiers

Literal(Literal)

Literal values

App

Fields

func: &'ast mut SpannedExpr<'ast, Id>

implicit_args: &'ast mut [SpannedExpr<'ast, Id>]

args: &'ast mut [SpannedExpr<'ast, Id>]

Function application, eg. f x

Lambda(Lambda<'ast, Id>)

Lambda abstraction, eg. \x y -> x * y

IfElse(&'ast mut SpannedExpr<'ast, Id>, &'ast mut SpannedExpr<'ast, Id>, &'ast mut SpannedExpr<'ast, Id>)

If-then-else conditional

Match(&'ast mut SpannedExpr<'ast, Id>, &'ast mut [Alternative<'ast, Id>])

Pattern match expression

Infix

Fields

lhs: &'ast mut SpannedExpr<'ast, Id>

op: SpannedIdent<Id>

rhs: &'ast mut SpannedExpr<'ast, Id>

implicit_args: &'ast mut [SpannedExpr<'ast, Id>]

Infix operator expression eg. f >> g

Projection(&'ast mut SpannedExpr<'ast, Id>, Id, ArcType<Id>)

Record field projection, eg. value.field

Array(Array<'ast, Id>)

Array construction

Record

Fields

typ: ArcType<Id>

types: &'ast mut [ExprField<'ast, Id, ArcType<Id>>]

exprs: &'ast mut [ExprField<'ast, Id, SpannedExpr<'ast, Id>>]

base: Option<&'ast mut SpannedExpr<'ast, Id>>

Record construction

Tuple

Fields

typ: ArcType<Id>

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

Tuple construction

LetBindings(ValueBindings<'ast, Id>, &'ast mut SpannedExpr<'ast, Id>)

Declare a series of value bindings

TypeBindings(&'ast mut [TypeBinding<'ast, Id>], &'ast mut SpannedExpr<'ast, Id>)

Declare a series of type aliases

Block(&'ast mut [SpannedExpr<'ast, Id>])

A group of sequenced expressions

Do(&'ast mut Do<'ast, Id>)

MacroExpansion

Fields

original: &'ast mut SpannedExpr<'ast, Id>

replacement: &'ast mut SpannedExpr<'ast, Id>

Annotated(&'ast mut SpannedExpr<'ast, Id>, ArcType<Id>)

Error(Option<ArcType<Id>>)

Tuple Fields

0: Option<ArcType<Id>>

Provides a hint of what type the expression would have, if any

An invalid expression

Implementations

impl<'ast, Id> Expr<'ast, Id>

pub fn rec_let_bindings( arena: ArenaRef<'_, 'ast, Id>, binds: impl IntoIterator<Item = ValueBinding<'ast, Id>>, expr: SpannedExpr<'ast, Id> ) -> Self

pub fn annotated<'a>( arena: ArenaRef<'_, 'ast, Id>, expr: SpannedExpr<'ast, Id>, typ: ArcType<Id> ) -> SpannedExpr<'ast, Id>

where Id: From<&'a str> + Clone,

pub fn let_binding( arena: ArenaRef<'_, 'ast, Id>, bind: ValueBinding<'ast, Id>, expr: SpannedExpr<'ast, Id> ) -> Self

pub fn kind(&self) -> &'static str

impl<'ast, Id> Expr<'ast, Id>

pub fn app( arena: ArenaRef<'_, 'ast, Id>, func: SpannedExpr<'ast, Id>, args: impl IntoIterator<Item = SpannedExpr<'ast, Id>> ) -> Self

pub fn field_iter<'a>( &'a self ) -> impl Iterator<Item = Either<&'a ExprField<'_, Id, ArcType<Id>>, &'a ExprField<'_, Id, SpannedExpr<'ast, Id>>>> + 'a

Trait Implementations

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

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

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

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

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

Formats the value using the given formatter.

impl<'ast, Id> Default for Expr<'ast, Id>

fn default() -> Self

Returns the “default value” for a type.

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

fn eq(&self, other: &Expr<'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 Expr<'_, 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 Expr<'ast, Id>

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

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