Struct LetBindingExt 

pub struct LetBindingExt {
    pub name: String,
    pub ty: Option<String>,
    pub value: String,
    pub body: String,
}

A let-binding surface expression.

Fields

name: String

Variable name

ty: Option<String>

Optional type annotation

value: String

The value expression (as string)

body: String

The body expression (as string)

Implementations

impl LetBindingExt

pub fn new(name: &str, value: &str, body: &str) -> Self

Create a new let binding.

pub fn with_ty(self, ty: &str) -> Self

Add a type annotation.

pub fn format(&self) -> String

Format as “let name : ty := value; body” or “let name := value; body”.

Trait Implementations

impl Clone for LetBindingExt

fn clone(&self) -> LetBindingExt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LetBindingExt

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

Formats the value using the given formatter.