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

Function application, eg. f x

Fields of App

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

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

Infix operator expression eg. f >> g

Fields of 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>)

Record field projection, eg. value.field

Array(Array<'ast, Id>)

Array construction

Record

Record construction

Fields of 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

Tuple construction

Fields of Tuple

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

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 of 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>>)

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

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

This method tests for !=.

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

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

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>