Type Alias UntypedModule

pub type UntypedModule = Module<(), UntypedDefinition>;

Aliased Type

pub struct UntypedModule {
    pub name: String,
    pub docs: Vec<String>,
    pub type_info: (),
    pub definitions: Vec<Definition<(), UntypedArg, UntypedExpr, ()>>,
    pub lines: LineNumbers,
    pub kind: ModuleKind,
}

Fields

name: String

docs: Vec<String>

type_info: ()

definitions: Vec<Definition<(), UntypedArg, UntypedExpr, ()>>

lines: LineNumbers

kind: ModuleKind

Implementations

impl UntypedModule

pub fn dependencies(&self, env_modules: &[String]) -> Vec<String>

impl UntypedModule

pub fn infer( self, id_gen: &IdGenerator, kind: ModuleKind, package: &str, modules: &HashMap<String, TypeInfo>, tracing: Tracing, warnings: &mut Vec<Warning>, env: Option<&str>, ) -> Result<TypedModule, Error>