Struct ParseBook 

pub struct ParseBook {
    pub fun_defs: IndexMap<Name, Definition>,
    pub imp_defs: IndexMap<Name, Definition>,
    pub hvm_defs: HvmDefinitions,
    pub adts: Adts,
    pub ctrs: Constructors,
    pub import_ctx: ImportCtx,
    pub source: Name,
}

Intermediate representation of a program.

Fields

fun_defs: IndexMap<Name, Definition>

The functional function definitions.

imp_defs: IndexMap<Name, Definition>

The imperative function definitions.

hvm_defs: HvmDefinitions

HVM native function definitions.

adts: Adts

The algebraic datatypes defined by the program

ctrs: Constructors

To which type does each constructor belong to.

import_ctx: ImportCtx

Imported packages to be loaded in the program

source: Name

File path that the book was loaded from.

Implementations

impl ParseBook

pub fn builtins() -> Self

impl ParseBook

pub fn contains_def(&self, name: &Name) -> bool

pub fn contains_builtin_def(&self, name: &Name) -> Option<bool>

impl ParseBook

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

impl ParseBook

pub fn load_imports( self, loader: impl PackageLoader, diag_config: DiagnosticsConfig, ) -> Result<Book, Diagnostics>

Loads and applies imports recursively to a ParseBook, transforming definitions and ADTs to a canonical name, and adding use binds so that names are accessible by their alias.

Details

The process involves:

1. Loading imports recursively using the provided loader.
2. Transforming definitions and ADTs with naming transformations.
3. Adding binds for aliases and old names in their respective definitions.
4. Converting the ParseBook into its functional form.
5. Perform any necessary post-processing.

impl ParseBook

Helper functions

pub fn top_level_names(&self) -> impl Iterator<Item = &Name>

Trait Implementations

impl Clone for ParseBook

fn clone(&self) -> ParseBook

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ParseBook

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

Formats the value using the given formatter.

impl Default for ParseBook

fn default() -> ParseBook

Returns the “default value” for a type.