Enum ExprKind

pub enum ExprKind {
    Constant(Value),
    Module {
        name: ArcStr,
        export: bool,
        value: ModuleKind,
    },
    Do {
        exprs: Arc<[Expr]>,
    },
    Use {
        name: ModPath,
    },
    Bind(Arc<Bind>),
    Ref {
        name: ModPath,
    },
    Connect {
        name: ModPath,
        value: Arc<Expr>,
    },
    StringInterpolate {
        args: Arc<[Expr]>,
    },
    StructRef {
        source: Arc<Expr>,
        field: ArcStr,
    },
    TupleRef {
        source: Arc<Expr>,
        field: usize,
    },
    ArrayRef {
        source: Arc<Expr>,
        i: Arc<Expr>,
    },
    ArraySlice {
        source: Arc<Expr>,
        start: Option<Arc<Expr>>,
        end: Option<Arc<Expr>>,
    },
    StructWith {
        source: Arc<Expr>,
        replace: Arc<[(ArcStr, Expr)]>,
    },
    Lambda(Arc<Lambda>),
    TypeDef {
        name: ArcStr,
        params: Arc<[(TVar, Option<Type>)]>,
        typ: Type,
    },
    TypeCast {
        expr: Arc<Expr>,
        typ: Type,
    },
    Apply {
        args: Arc<[(Option<ArcStr>, Expr)]>,
        function: Arc<Expr>,
    },
    Any {
        args: Arc<[Expr]>,
    },
    Array {
        args: Arc<[Expr]>,
    },
    Tuple {
        args: Arc<[Expr]>,
    },
    Variant {
        tag: ArcStr,
        args: Arc<[Expr]>,
    },
    Struct {
        args: Arc<[(ArcStr, Expr)]>,
    },
    Select {
        arg: Arc<Expr>,
        arms: Arc<[(Pattern, Expr)]>,
    },
    Qop(Arc<Expr>),
    ByRef(Arc<Expr>),
    Deref(Arc<Expr>),
    Eq {
        lhs: Arc<Expr>,
        rhs: Arc<Expr>,
    },
    Ne {
        lhs: Arc<Expr>,
        rhs: Arc<Expr>,
    },
    Lt {
        lhs: Arc<Expr>,
        rhs: Arc<Expr>,
    },
    Gt {
        lhs: Arc<Expr>,
        rhs: Arc<Expr>,
    },
    Lte {
        lhs: Arc<Expr>,
        rhs: Arc<Expr>,
    },
    Gte {
        lhs: Arc<Expr>,
        rhs: Arc<Expr>,
    },
    And {
        lhs: Arc<Expr>,
        rhs: Arc<Expr>,
    },
    Or {
        lhs: Arc<Expr>,
        rhs: Arc<Expr>,
    },
    Not {
        expr: Arc<Expr>,
    },
    Add {
        lhs: Arc<Expr>,
        rhs: Arc<Expr>,
    },
    Sub {
        lhs: Arc<Expr>,
        rhs: Arc<Expr>,
    },
    Mul {
        lhs: Arc<Expr>,
        rhs: Arc<Expr>,
    },
    Div {
        lhs: Arc<Expr>,
        rhs: Arc<Expr>,
    },
}

Variants

Constant(Value)

Module

Fields

name: ArcStr

export: bool

value: ModuleKind

Do

Fields

exprs: Arc<[Expr]>

Use

Fields

name: ModPath

Bind(Arc<Bind>)

Ref

Fields

name: ModPath

Connect

Fields

name: ModPath

value: Arc<Expr>

StringInterpolate

Fields

args: Arc<[Expr]>

StructRef

Fields

source: Arc<Expr>

field: ArcStr

TupleRef

Fields

source: Arc<Expr>

field: usize

ArrayRef

Fields

source: Arc<Expr>

i: Arc<Expr>

ArraySlice

Fields

source: Arc<Expr>

start: Option<Arc<Expr>>

end: Option<Arc<Expr>>

StructWith

Fields

source: Arc<Expr>

replace: Arc<[(ArcStr, Expr)]>

Lambda(Arc<Lambda>)

TypeDef

Fields

name: ArcStr

params: Arc<[(TVar, Option<Type>)]>

typ: Type

TypeCast

Fields

expr: Arc<Expr>

typ: Type

Apply

Fields

args: Arc<[(Option<ArcStr>, Expr)]>

function: Arc<Expr>

Any

Fields

args: Arc<[Expr]>

Array

Fields

args: Arc<[Expr]>

Tuple

Fields

args: Arc<[Expr]>

Variant

Fields

tag: ArcStr

args: Arc<[Expr]>

Struct

Fields

args: Arc<[(ArcStr, Expr)]>

Select

Fields

arg: Arc<Expr>

arms: Arc<[(Pattern, Expr)]>

Qop(Arc<Expr>)

ByRef(Arc<Expr>)

Deref(Arc<Expr>)

Eq

Fields

lhs: Arc<Expr>

rhs: Arc<Expr>

Ne

Fields

lhs: Arc<Expr>

rhs: Arc<Expr>

Lt

Fields

lhs: Arc<Expr>

rhs: Arc<Expr>

Gt

Fields

lhs: Arc<Expr>

rhs: Arc<Expr>

Lte

Fields

lhs: Arc<Expr>

rhs: Arc<Expr>

Gte

Fields

lhs: Arc<Expr>

rhs: Arc<Expr>

And

Fields

lhs: Arc<Expr>

rhs: Arc<Expr>

Or

Fields

lhs: Arc<Expr>

rhs: Arc<Expr>

Not

Fields

expr: Arc<Expr>

Add

Fields

lhs: Arc<Expr>

rhs: Arc<Expr>

Sub

Fields

lhs: Arc<Expr>

rhs: Arc<Expr>

Mul

Fields

lhs: Arc<Expr>

rhs: Arc<Expr>

Div

Fields

lhs: Arc<Expr>

rhs: Arc<Expr>

Implementations

impl ExprKind

pub fn to_expr(self, pos: SourcePosition) -> Expr

pub fn to_expr_nopos(self) -> Expr

does not provide any position information or comment

pub fn to_string_pretty(&self, col_limit: usize) -> String

Trait Implementations

impl Clone for ExprKind

fn clone(&self) -> ExprKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExprKind

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

Formats the value using the given formatter.

impl Display for ExprKind

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

Formats the value using the given formatter.

impl PartialEq for ExprKind

fn eq(&self, other: &ExprKind) -> 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 PartialOrd for ExprKind

fn partial_cmp(&self, other: &ExprKind) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for ExprKind