Language.Symantic.Compiling.Module

Class ModuleFor

class ModuleFor src ss s

importModules

Type Modules

data Modules src ss

unionModules

unionModulesUnchecked

Type Error_Module

data Error_Module

Type Module

type Module src ss

moduleEmpty

moduleWhere

Type ModuleFixy

type ModuleFixy src ss fixy

Type Tokenizer

data Tokenizer src ss fixy

Type AST_Term

type AST_Term src ss

Type Token_Term

data Token_Term src ss

Type NameTe

data NameTe

Class ModulesInj

type ModulesInj src ss

modulesInj

Class ModulesInjR

class ModulesInjR src ss rs

Type DefTerm

data DefTerm src ss

lookupDefTerm

deleteDefTerm

deleteDefTermInfix

deleteDefTermPrefix

deleteDefTermPostix

insertDefTerm

insertTermVT

insertFixity