Enum HaskellExpr 

pub enum HaskellExpr {
    Lit(HaskellLit),
    Var(String),
    App(Box<HaskellExpr>, Vec<HaskellExpr>),
    Lambda(Vec<HaskellPattern>, Box<HaskellExpr>),
    Let(String, Box<HaskellExpr>, Box<HaskellExpr>),
    Where(Box<HaskellExpr>, Vec<HaskellFunction>),
    If(Box<HaskellExpr>, Box<HaskellExpr>, Box<HaskellExpr>),
    Case(Box<HaskellExpr>, Vec<HaskellCaseAlt>),
    Do(Vec<HaskellDoStmt>),
    ListComp(Box<HaskellExpr>, Vec<HsListQual>),
    Tuple(Vec<HaskellExpr>),
    List(Vec<HaskellExpr>),
    Neg(Box<HaskellExpr>),
    InfixApp(Box<HaskellExpr>, String, Box<HaskellExpr>),
    Operator(String),
    TypeAnnotation(Box<HaskellExpr>, HaskellType),
}

Haskell expression AST.

Variants

Lit(HaskellLit)

Literal value

Var(String)

Variable or constructor reference: foo, Just, (:)

App(Box<HaskellExpr>, Vec<HaskellExpr>)

Function application: f x y

Lambda(Vec<HaskellPattern>, Box<HaskellExpr>)

Lambda: \x y -> body

Let(String, Box<HaskellExpr>, Box<HaskellExpr>)

Let expression: let x = e1 in e2

Where(Box<HaskellExpr>, Vec<HaskellFunction>)

Where clause as an expression wrapper

If(Box<HaskellExpr>, Box<HaskellExpr>, Box<HaskellExpr>)

If-then-else: if c then t else e

Case(Box<HaskellExpr>, Vec<HaskellCaseAlt>)

Case expression

Do(Vec<HaskellDoStmt>)

Do notation block

ListComp(Box<HaskellExpr>, Vec<HsListQual>)

List comprehension: [ body | quals ]

Tuple(Vec<HaskellExpr>)

Tuple: (a, b, c)

List(Vec<HaskellExpr>)

List: [a, b, c]

Neg(Box<HaskellExpr>)

Arithmetic negation: negate x

InfixApp(Box<HaskellExpr>, String, Box<HaskellExpr>)

Infix application: x op y or x + y

Operator(String)

Operator section / raw operator reference: (+), map

TypeAnnotation(Box<HaskellExpr>, HaskellType)

Type annotation: expr :: Type

Trait Implementations

impl Clone for HaskellExpr

fn clone(&self) -> HaskellExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HaskellExpr

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

Formats the value using the given formatter.

impl Display for HaskellExpr

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

Formats the value using the given formatter.

impl PartialEq for HaskellExpr

fn eq(&self, other: &HaskellExpr) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

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

impl StructuralPartialEq for HaskellExpr