Struct TypeAnnotation 

pub struct TypeAnnotation {
    pub expr: String,
    pub ty: String,
}

A type annotation node for the AST.

Fields

expr: String

The expression being annotated

ty: String

The type annotation

Implementations

impl TypeAnnotation

pub fn new(expr: &str, ty: &str) -> Self

Create a new type annotation.

pub fn format(&self) -> String

Format as “(expr : ty)”.

Trait Implementations

impl Clone for TypeAnnotation

fn clone(&self) -> TypeAnnotation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeAnnotation

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

Formats the value using the given formatter.