Language.Symantic.Compiling.Module

Type Mod

data Mod a

Type PathMod

type PathMod

Type NameMod

data NameMod

Class ModuleFor

class ModuleFor src ss s

Type Imports

data Imports

type FilterImports

importQualifiedAs

Type Modules

data Modules src ss

unionModules

unionModulesUnchecked

Type Error_Module

data Error_Module

Type Module

data Module src ss

module_fixity

moduleEmpty

moduleWhere

Type ModuleFixy

type ModuleFixy src ss fixy

Type Tokenizer

data Tokenizer fixy src ss

Type Token_Term

data Token_Term src ss

Type NameTe

data NameTe

Type CtxTy

data CtxTy src ts

appendCtxTy

Type AST_Term

type AST_Term src ss

Class Inj_Modules

type Inj_Modules src ss

inj_Modules

Class Inj_ModulesR

class Inj_ModulesR src ss rs

Type DefTerm

data DefTerm src ss

lookupDefTerm

deleteDefTerm

deleteDefTermInfix

deleteDefTermPrefix

deleteDefTermPostix

insertDefTerm

insertTermVT

insertFixity

Type WithFixity

data WithFixity a

withInfix

withInfixR

withInfixL

withInfixN

withInfixB

withPrefix

withPostfix

Type FixitySing

data FixitySing fixy