Type Alias TypedModule

pub type TypedModule = Module<TypeInfo, TypedDefinition>;

Aliased Type

pub struct TypedModule {
    pub name: String,
    pub docs: Vec<String>,
    pub type_info: TypeInfo,
    pub definitions: Vec<Definition<Rc<Type>, TypedArg, TypedExpr, String>>,
    pub lines: LineNumbers,
    pub kind: ModuleKind,
}

Fields

name: String

docs: Vec<String>

type_info: TypeInfo

definitions: Vec<Definition<Rc<Type>, TypedArg, TypedExpr, String>>

lines: LineNumbers

kind: ModuleKind

Implementations

impl TypedModule

pub fn find_node(&self, byte_index: usize) -> Option<Located<'_>>

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

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

pub fn validate_module_name(&self) -> Result<(), Error>

pub fn register_definitions( &self, functions: &mut IndexMap<FunctionAccessKey, TypedFunction>, constants: &mut IndexMap<FunctionAccessKey, TypedExpr>, data_types: &mut IndexMap<DataTypeKey, TypedDataType>, )