Enum gluon_base::ast::Expr

pub enum Expr<Id> {
    Ident(TypedIdent<Id>),
    Literal(Literal),
    App {
        func: Box<SpannedExpr<Id>>,
        implicit_args: Vec<SpannedExpr<Id>>,
        args: Vec<SpannedExpr<Id>>,
    },
    Lambda(Lambda<Id>),
    IfElse(Box<SpannedExpr<Id>>, Box<SpannedExpr<Id>>, Box<SpannedExpr<Id>>),
    Match(Box<SpannedExpr<Id>>, Vec<Alternative<Id>>),
    Infix {
        lhs: Box<SpannedExpr<Id>>,
        op: SpannedIdent<Id>,
        rhs: Box<SpannedExpr<Id>>,
        implicit_args: Vec<SpannedExpr<Id>>,
    },
    Projection(Box<SpannedExpr<Id>>, Id, ArcType<Id>),
    Array(Array<Id>),
    Record {
        typ: ArcType<Id>,
        types: Vec<ExprField<Id, ArcType<Id>>>,
        exprs: Vec<ExprField<Id, SpannedExpr<Id>>>,
        base: Option<Box<SpannedExpr<Id>>>,
    },
    Tuple {
        typ: ArcType<Id>,
        elems: Vec<SpannedExpr<Id>>,
    },
    LetBindings(Vec<ValueBinding<Id>>, Box<SpannedExpr<Id>>),
    TypeBindings(Vec<TypeBinding<Id>>, Box<SpannedExpr<Id>>),
    Block(Vec<SpannedExpr<Id>>),
    Do(Do<Id>),
    MacroExpansion {
        original: Box<SpannedExpr<Id>>,
        replacement: Box<SpannedExpr<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: Box<SpannedExpr<Id>>
implicit_args: Vec<SpannedExpr<Id>>
args: Vec<SpannedExpr<Id>>

Lambda(Lambda<Id>)

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

IfElse(Box<SpannedExpr<Id>>, Box<SpannedExpr<Id>>, Box<SpannedExpr<Id>>)

If-then-else conditional

Match(Box<SpannedExpr<Id>>, Vec<Alternative<Id>>)

Pattern match expression

Infix

Infix operator expression eg. f >> g

Fields of Infix

lhs: Box<SpannedExpr<Id>>
op: SpannedIdent<Id>
rhs: Box<SpannedExpr<Id>>
implicit_args: Vec<SpannedExpr<Id>>

Projection(Box<SpannedExpr<Id>>, Id, ArcType<Id>)

Record field projection, eg. value.field

Array(Array<Id>)

Array construction

Record

Record construction

Fields of Record

typ: ArcType<Id>
types: Vec<ExprField<Id, ArcType<Id>>>
exprs: Vec<ExprField<Id, SpannedExpr<Id>>>
base: Option<Box<SpannedExpr<Id>>>

Tuple

Tuple construction

Fields of Tuple

typ: ArcType<Id>
elems: Vec<SpannedExpr<Id>>

LetBindings(Vec<ValueBinding<Id>>, Box<SpannedExpr<Id>>)

Declare a series of value bindings

TypeBindings(Vec<TypeBinding<Id>>, Box<SpannedExpr<Id>>)

Declare a series of type aliases

Block(Vec<SpannedExpr<Id>>)

A group of sequenced expressions

Do(Do<Id>)MacroExpansion

Fields of MacroExpansion

original: Box<SpannedExpr<Id>>
replacement: Box<SpannedExpr<Id>>

Error(Option<ArcType<Id>>)

An invalid expression

Methods

impl<Id> Expr<Id>

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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

Trait Implementations

impl<Id: Clone> Clone for Expr<Id>

fn clone(&self) -> Expr<Id>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Id: PartialEq> PartialEq for Expr<Id>

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

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

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

This method tests for !=.

impl<Id: Debug> Debug for Expr<Id>

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

Formats the value using the given formatter.

impl Typed for Expr<Symbol>

type Ident = Symbol

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

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