Skip to main content

Expr

daml_parser::ast

Enum Expr

pub enum Expr {
Show 17 variants    Var {
        qualifier: Option<String>,
        name: String,
        pos: Pos,
        span: Span,
    },
    Con {
        qualifier: Option<String>,
        name: String,
        pos: Pos,
        span: Span,
    },
    Lit {
        kind: LitKind,
        text: String,
        pos: Pos,
        span: Span,
    },
    App {
        func: Box<Self>,
        args: Vec<Self>,
        pos: Pos,
        span: Span,
    },
    BinOp {
        op: String,
        lhs: Box<Self>,
        rhs: Box<Self>,
        pos: Pos,
        span: Span,
    },
    Neg {
        expr: Box<Self>,
        pos: Pos,
        span: Span,
    },
    Lambda {
        params: Vec<Pat>,
        body: Box<Self>,
        pos: Pos,
        span: Span,
    },
    If {
        cond: Box<Self>,
        then_branch: Box<Self>,
        else_branch: Box<Self>,
        pos: Pos,
        span: Span,
    },
    Case {
        scrutinee: Box<Self>,
        alts: Vec<Alt>,
        pos: Pos,
        span: Span,
    },
    Do {
        stmts: Vec<DoStmt>,
        pos: Pos,
        span: Span,
    },
    LetIn {
        bindings: Vec<Binding>,
        body: Box<Self>,
        pos: Pos,
        span: Span,
    },
    Record {
        base: Box<Self>,
        fields: Vec<FieldAssign>,
        pos: Pos,
        span: Span,
    },
    Tuple {
        items: Vec<Self>,
        pos: Pos,
        span: Span,
    },
    List {
        items: Vec<Self>,
        pos: Pos,
        span: Span,
    },
    Try {
        body: Box<Self>,
        handlers: Vec<Alt>,
        pos: Pos,
        span: Span,
    },
    Section {
        op: String,
        operand: Option<Box<Self>>,
        left: bool,
        pos: Pos,
        span: Span,
    },
    Error {
        raw: String,
        pos: Pos,
        span: Span,
    },
}

Variants§

Var

Lowercase variable reference, possibly qualified.

Fields

§qualifier: Option<String>

§name: String

§pos: Pos

§span: Span

Con

Constructor / data-constructor reference, possibly qualified.

Fields

§qualifier: Option<String>

§name: String

§pos: Pos

§span: Span

Lit

Fields

§kind: LitKind

§text: String

§pos: Pos

§span: Span

App

Application, flattened: f a b c is one App with three args.

Fields

§func: Box<Self>

§args: Vec<Self>

§pos: Pos

§span: Span

BinOp

Binary operator application with source-level operator text.

Fields

§op: String

§lhs: Box<Self>

§rhs: Box<Self>

§pos: Pos

§span: Span

Neg

Unary negation.

Fields

§expr: Box<Self>

§pos: Pos

§span: Span

Lambda

Fields

§params: Vec<Pat>

§body: Box<Self>

§pos: Pos

§span: Span

If

Fields

§cond: Box<Self>

§then_branch: Box<Self>

§else_branch: Box<Self>

§pos: Pos

§span: Span

Case

Fields

§scrutinee: Box<Self>

§alts: Vec<Alt>

§pos: Pos

§span: Span

Do

Fields

§stmts: Vec<DoStmt>

§pos: Pos

§span: Span

LetIn

Fields

§bindings: Vec<Binding>

§body: Box<Self>

§pos: Pos

§span: Span

Record

base with f = e, ... — record construction when base is a Con, record update otherwise.

Fields

§base: Box<Self>

§fields: Vec<FieldAssign>

§pos: Pos

§span: Span

Tuple

Fields

§items: Vec<Self>

§pos: Pos

§span: Span

List

Fields

§items: Vec<Self>

§pos: Pos

§span: Span

Try

try <body> catch <alts>

Fields

§body: Box<Self>

§handlers: Vec<Alt>

§pos: Pos

§span: Span

Section

Right operator section like (+ 1) / left section (1 +).

Fields

§op: String

§operand: Option<Box<Self>>

§left: bool

§pos: Pos

§span: Span

Error

Expression the parser could not understand; raw text preserved so a parse failure degrades to the shim’s behavior instead of dying.

Fields

§raw: String

§pos: Pos

§span: Span

Implementations§

impl Expr

pub const fn pos(&self) -> Pos

pub const fn span(&self) -> Span

Byte span covering the whole expression.

pub fn render(&self) -> String

Render back to compact source-like text (raw-field compatibility).

pub fn app_head(&self) -> &Self

The head of an application spine: for Foo.exercise cid X, the Foo.exercise Var. For non-apps, the expression itself.

pub fn app_args(&self) -> &[Self]

Application arguments, empty for non-apps.

pub fn head_is(&self, name: &str) -> bool

Is the head an unqualified variable with this exact name?

Trait Implementations§

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

impl Debug for Expr

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

impl Freeze for Expr

impl RefUnwindSafe for Expr

impl Send for Expr

impl Sync for Expr

impl Unpin for Expr

impl UnsafeUnpin for Expr

impl UnwindSafe for Expr

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.