Struct Definition 

pub struct Definition {
    pub name: Name,
    pub typ: Type,
    pub check: bool,
    pub args: Vec<Name>,
    pub body: Stmt,
    pub source: Source,
}

Fields

name: Name

typ: Type

check: bool

args: Vec<Name>

body: Stmt

source: Source

Implementations

impl Definition

pub fn gen_map_get(&mut self)

Generates a map from Stmt to Substitutions for each definition in the program. Iterates over all definitions in the program and applies gen_map_get to their bodies. It replaces Expr::MapGet expressions with variable accesses, introducing new variables as necessary to hold intermediate results from map accesses.

impl Definition

pub fn order_kwargs(&mut self, book: &ParseBook) -> Result<(), String>

Traverses the program’s definitions and adjusts the order of keyword arguments in call/constructor expressions to match the order specified in the function or constructor definition.

impl Definition

pub fn to_fun(self) -> Result<Definition, Diagnostics>

Trait Implementations

impl Clone for Definition

fn clone(&self) -> Definition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Definition

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

Formats the value using the given formatter.