Index

=:=	TypeChecker.HindleyMilner
A0	CodeGen.RiscV.Lib.Types
A1	CodeGen.RiscV.Lib.Types
A2	CodeGen.RiscV.Lib.Types
A3	CodeGen.RiscV.Lib.Types
A4	CodeGen.RiscV.Lib.Types
A5	CodeGen.RiscV.Lib.Types
A6	CodeGen.RiscV.Lib.Types
A7	CodeGen.RiscV.Lib.Types
Add	CodeGen.RiscV.Lib.Types
add	CodeGen.RiscV.Lib
Addi	CodeGen.RiscV.Lib.Types
allDeclsWithArity	StdLib
And	CodeGen.RiscV.Lib.Types
and	CodeGen.RiscV.Lib
AndOp	Trees.Common
applyBindings	TypeChecker.HindleyMilner
ArithmeticOperator	Trees.Common
ArithOp	Trees.Common
Arity	Trees.Common
arrow	Parser.Lexer
AsmBuilder	CodeGen.RiscV.Lib.Monad, CodeGen.RiscV.Lib
AsmBuilderT
1 (Type/Class)	CodeGen.RiscV.Lib.Monad, CodeGen.RiscV.Lib
2 (Data Constructor)	CodeGen.RiscV.Lib.Monad
AtomBool	Transformations.Anf.Anf
AtomicExpression	Transformations.Anf.Anf
AtomId	Transformations.Anf.Anf
AtomInt	Transformations.Anf.Anf
AtomUnit	Transformations.Anf.Anf
Beqz	CodeGen.RiscV.Lib.Types
BinaryOperator	Trees.Common
BooleanOperator	Trees.Common
boolLitP	Parser.Lexer
BoolOp	Trees.Common
BS	CodeGen.RiscV.Lib.Monad
BuilderState	CodeGen.RiscV.Lib.Monad
Call	CodeGen.RiscV.Lib.Types
call	CodeGen.RiscV.Lib
ccAst	Transformations.Cc.Cc
checkProgram	TypeChecker.TypeChecker
choice'	Parser.Utils
code	CodeGen.Module
CodeLine	CodeGen.RiscV.Lib.Types, CodeGen.RiscV.Lib
colon	Parser.Lexer
CompApp	Transformations.Anf.Anf
ComparisonOperator	Trees.Common
CompBinOp	Transformations.Anf.Anf
compErrMsg	CodeGen.RunResult
CompilationError	CodeGen.RunResult
compile	CodeGen.RiscV.Lib
compileT	CodeGen.RiscV.Lib
compileToBinary	CodeGen.Llvm.Runner
compileToLlvmIr	CodeGen.Llvm.Runner
compileToModule	CodeGen.Module
compileToRiscVAsm	CodeGen.RiscV.Runner
CompIte	Transformations.Anf.Anf
ComplexExpression	Transformations.Anf.Anf
CompOp	Trees.Common
compTime	CodeGen.RunResult
CompUnOp	Transformations.Anf.Anf
Declaration
1 (Type/Class)	Transformations.Simplifier.SimplifiedAst
2 (Type/Class)	Parser.Ast
DeclarationWithArity	StdLib
DeclFun
1 (Data Constructor)	Transformations.Simplifier.SimplifiedAst
2 (Data Constructor)	Parser.Ast
declId	Transformations.Simplifier.SimplifiedAst
decls	StdLib
DeclVar
1 (Data Constructor)	Transformations.Simplifier.SimplifiedAst
2 (Data Constructor)	Parser.Ast
DirData	CodeGen.RiscV.Lib.Types
DirDWord	CodeGen.RiscV.Lib.Types
Directive	CodeGen.RiscV.Lib.Types
DirectiveCodeLine	CodeGen.RiscV.Lib.Types
DirGlobl	CodeGen.RiscV.Lib.Types
DirText	CodeGen.RiscV.Lib.Types
DivOp	Trees.Common
dword	CodeGen.RiscV.Lib.Types
emptyBS	CodeGen.RiscV.Lib.Monad
emptyFBS	CodeGen.RiscV.Lib.Monad
emptyPBS	CodeGen.RiscV.Lib.Monad
eq
1 (Function)	CodeGen.RiscV.Lib
2 (Function)	Parser.Lexer
EqOp	Trees.Common
exitCode	CodeGen.RunResult
ExprApp
1 (Data Constructor)	Transformations.Simplifier.SimplifiedAst
2 (Data Constructor)	Transformations.Ll.Lfr
3 (Data Constructor)	Parser.Ast
ExprAtom	Transformations.Anf.Anf
ExprBinOp
1 (Data Constructor)	Transformations.Simplifier.SimplifiedAst
2 (Data Constructor)	Transformations.Ll.Lfr
3 (Data Constructor)	Parser.Ast
ExprComp	Transformations.Anf.Anf
Expression
1 (Type/Class)	Transformations.Simplifier.SimplifiedAst
2 (Type/Class)	Transformations.Ll.Lfr
3 (Type/Class)	Transformations.Anf.Anf
4 (Type/Class)	Parser.Ast
ExprFun
1 (Data Constructor)	Transformations.Simplifier.SimplifiedAst
2 (Data Constructor)	Parser.Ast
ExprId
1 (Data Constructor)	Transformations.Simplifier.SimplifiedAst
2 (Data Constructor)	Transformations.Ll.Lfr
3 (Data Constructor)	Parser.Ast
ExprIte
1 (Data Constructor)	Transformations.Simplifier.SimplifiedAst
2 (Data Constructor)	Transformations.Ll.Lfr
3 (Data Constructor)	Parser.Ast
ExprLetIn
1 (Data Constructor)	Transformations.Simplifier.SimplifiedAst
2 (Data Constructor)	Transformations.Ll.Lfr
3 (Data Constructor)	Transformations.Anf.Anf
4 (Data Constructor)	Parser.Ast
ExprPrimVal
1 (Data Constructor)	Transformations.Simplifier.SimplifiedAst
2 (Data Constructor)	Transformations.Ll.Lfr
3 (Data Constructor)	Parser.Ast
ExprUnOp
1 (Data Constructor)	Transformations.Simplifier.SimplifiedAst
2 (Data Constructor)	Transformations.Ll.Lfr
3 (Data Constructor)	Parser.Ast
externFunction	CodeGen.RiscV.Lib
FBS	CodeGen.RiscV.Lib.Monad
Forall	TypeChecker.HindleyMilner
fresh	TypeChecker.HindleyMilner
Fun
1 (Type/Class)	Transformations.Simplifier.SimplifiedAst
2 (Data Constructor)	Transformations.Simplifier.SimplifiedAst
3 (Type/Class)	Parser.Ast
4 (Data Constructor)	Parser.Ast
function	CodeGen.RiscV.Lib
functionBS	CodeGen.RiscV.Lib.Monad
FunctionBuilderState	CodeGen.RiscV.Lib.Monad
functionCodeLines	CodeGen.RiscV.Lib.Monad
ge	CodeGen.RiscV.Lib
Gen	Trees.Common
genAnf	Transformations.Anf.AnfGen
generalize	TypeChecker.HindleyMilner
genLlvmIrModule	CodeGen.Llvm.LlvmIrGen
GeOp	Trees.Common
getAsmBuilderState	CodeGen.RiscV.Lib.Monad
GlobalDeclaration
1 (Type/Class)	Transformations.Ll.Lfr
2 (Type/Class)	Transformations.Anf.Anf
globalVar	CodeGen.RiscV.Lib
GlobFunDecl
1 (Data Constructor)	Transformations.Ll.Lfr
2 (Data Constructor)	Transformations.Anf.Anf
GlobVarDecl
1 (Data Constructor)	Transformations.Ll.Lfr
2 (Data Constructor)	Transformations.Anf.Anf
Gp	CodeGen.RiscV.Lib.Types
gt	CodeGen.RiscV.Lib
GtOp	Trees.Common
IdCnt	Trees.Common
idCnt	CodeGen.RiscV.Lib.Monad
Identifier	Trees.Common
Identifier'	Trees.Common
identifierP	Parser.Lexer
Immediate	CodeGen.RiscV.Lib.Types
immediate	CodeGen.RiscV.Lib
ImpossibleBinOpApplication	TypeChecker.HindleyMilner
ImpossibleUnOpApplication	TypeChecker.HindleyMilner
Infer	TypeChecker.HindleyMilner
inferProgram	TypeChecker.TypeChecker
Infinite	TypeChecker.HindleyMilner
Instruction
1 (Type/Class)	CodeGen.RiscV.Lib.Types
2 (Data Constructor)	CodeGen.RiscV.Lib.Types
InstructionCodeLine	CodeGen.RiscV.Lib.Types
intLitP	Parser.Lexer
IsRec	Trees.Common
ite	CodeGen.RiscV.Lib
J	CodeGen.RiscV.Lib.Types
kwBool	Parser.Lexer
kwElse	Parser.Lexer
kwFun	Parser.Lexer
kwIf	Parser.Lexer
kwIn	Parser.Lexer
kwInt	Parser.Lexer
kwLet	Parser.Lexer
kwRec	Parser.Lexer
kwThen	Parser.Lexer
kwUnit	Parser.Lexer
La	CodeGen.RiscV.Lib.Types
Label
1 (Type/Class)	CodeGen.RiscV.Lib.Types
2 (Data Constructor)	CodeGen.RiscV.Lib.Types
LabelCodeLine	CodeGen.RiscV.Lib.Types
LabeledDirectiveCodeLine	CodeGen.RiscV.Lib.Types
Ld	CodeGen.RiscV.Lib.Types
le	CodeGen.RiscV.Lib
leftPar	Parser.Lexer
LeOp	Trees.Common
lexeme	Parser.Lexer
Li	CodeGen.RiscV.Lib.Types
liftM1'	MonadUtils
liftM2'	MonadUtils
liftM3'	MonadUtils
llAst	Transformations.Ll.Ll
locally	MonadUtils
lookup	TypeChecker.HindleyMilner
lt	CodeGen.RiscV.Lib
LtOp	Trees.Common
mainFunction	CodeGen.RiscV.Lib
manyParens	Parser.Utils
measureTime	CodeGen.TimedValue
measureTimedValue	CodeGen.TimedValue
Memory	CodeGen.RiscV.Lib.Types
MinusOp	Trees.Common
Mismatch	TypeChecker.HindleyMilner
mkVarName	TypeChecker.HindleyMilner
modifyAsmBuilderState	CodeGen.RiscV.Lib.Monad
Module
1 (Type/Class)	CodeGen.Module
2 (Data Constructor)	CodeGen.Module
MonadAsmBuilder	CodeGen.RiscV.Lib.Monad
Mul	CodeGen.RiscV.Lib.Types
mul	CodeGen.RiscV.Lib
MulOp	Trees.Common
Nanoseconds
1 (Type/Class)	CodeGen.TimedValue
2 (Data Constructor)	CodeGen.TimedValue
ne	CodeGen.RiscV.Lib
Neg	CodeGen.RiscV.Lib.Types
neg	CodeGen.RiscV.Lib
NeOp	Trees.Common
Offset	CodeGen.RiscV.Lib.Types
OpCode	CodeGen.RiscV.Lib.Types
Operand	CodeGen.RiscV.Lib.Types, CodeGen.RiscV.Lib
optional'	Parser.Utils
Or	CodeGen.RiscV.Lib.Types
or	CodeGen.RiscV.Lib
OrOp	Trees.Common
parens	Parser.Utils
parseProgram	Parser.Parser
Parser	Parser.Lexer
PBS	CodeGen.RiscV.Lib.Monad
PlusOp	Trees.Common
Poly	TypeChecker.HindleyMilner
Polytype	TypeChecker.HindleyMilner
ppCodeLines	CodeGen.RiscV.Lib.Types, CodeGen.RiscV.Lib
ppLlvmModule	CodeGen.Llvm.LlvmIrGen
ppRiscVAsm	CodeGen.RiscV.AsmGen
pretty	TypeChecker.PrettyPrinter
prettyPrint	Transformations.Anf.PrettyPrinter
PrimitiveValue	Trees.Common
PrimValBool	Trees.Common
PrimValInt	Trees.Common
PrimValUnit	Trees.Common
printCRuntime	CodeGen.Runtime.PrintRuntime
Program
1 (Type/Class)	Transformations.Simplifier.SimplifiedAst
2 (Data Constructor)	Transformations.Simplifier.SimplifiedAst
3 (Type/Class)	Transformations.Ll.Lfr
4 (Data Constructor)	Transformations.Ll.Lfr
5 (Type/Class)	Transformations.Anf.Anf
6 (Data Constructor)	Transformations.Anf.Anf
7 (Type/Class)	Parser.Ast
8 (Data Constructor)	Parser.Ast
programBS	CodeGen.RiscV.Lib.Monad
ProgramBuilderState	CodeGen.RiscV.Lib.Monad
Ra	CodeGen.RiscV.Lib.Types
Register
1 (Type/Class)	CodeGen.RiscV.Lib.Types
2 (Data Constructor)	CodeGen.RiscV.Lib.Types
RegisterWithOffset	CodeGen.RiscV.Lib.Types
relabelAst	Transformations.Relabeler.Relabeler
Ret	CodeGen.RiscV.Lib.Types
rightPar	Parser.Lexer
run	CodeGen.Llvm.Runner
RunResult	CodeGen.RunResult
runTime	CodeGen.RunResult
RuntimeError	CodeGen.RunResult
S0	CodeGen.RiscV.Lib.Types
S1	CodeGen.RiscV.Lib.Types
S10	CodeGen.RiscV.Lib.Types
S11	CodeGen.RiscV.Lib.Types
S2	CodeGen.RiscV.Lib.Types
S3	CodeGen.RiscV.Lib.Types
S4	CodeGen.RiscV.Lib.Types
S5	CodeGen.RiscV.Lib.Types
S6	CodeGen.RiscV.Lib.Types
S7	CodeGen.RiscV.Lib.Types
S8	CodeGen.RiscV.Lib.Types
S9	CodeGen.RiscV.Lib.Types
sc	Parser.Lexer
Sd	CodeGen.RiscV.Lib.Types
sectionData	CodeGen.RiscV.Lib.Monad
sectionText	CodeGen.RiscV.Lib.Monad
semicolon2	Parser.Lexer
Seqz	CodeGen.RiscV.Lib.Types
simplifyAst	Transformations.Simplifier.Simplifier
Slt	CodeGen.RiscV.Lib.Types
Snez	CodeGen.RiscV.Lib.Types
someParens	Parser.Utils
Sp	CodeGen.RiscV.Lib.Types
stackPointerOffset	CodeGen.RiscV.Lib.Monad
Statement	Parser.Ast
stderr	CodeGen.RunResult
stdout	CodeGen.RunResult
StmtDecl	Parser.Ast
StmtExpr	Parser.Ast
storeToLabeledAddr	CodeGen.RiscV.Lib
Sub	CodeGen.RiscV.Lib.Types
sub	CodeGen.RiscV.Lib
Success	CodeGen.RunResult
Symbol	CodeGen.RiscV.Lib.Types
symbol	Parser.Lexer
T0	CodeGen.RiscV.Lib.Types
T1	CodeGen.RiscV.Lib.Types
T2	CodeGen.RiscV.Lib.Types
T3	CodeGen.RiscV.Lib.Types
T4	CodeGen.RiscV.Lib.Types
T5	CodeGen.RiscV.Lib.Types
T6	CodeGen.RiscV.Lib.Types
TBool	Trees.Common
TBoolF	TypeChecker.HindleyMilner
TFun	Trees.Common
TFunF	TypeChecker.HindleyMilner
time	CodeGen.TimedValue
TimedValue
1 (Type/Class)	CodeGen.TimedValue
2 (Data Constructor)	CodeGen.TimedValue
TInt	Trees.Common
TIntF	TypeChecker.HindleyMilner
toPolytype	TypeChecker.HindleyMilner
toUType	TypeChecker.HindleyMilner
Tp	CodeGen.RiscV.Lib.Types
TUnit	Trees.Common
TUnitF	TypeChecker.HindleyMilner
TVarF	TypeChecker.HindleyMilner
Txt	Trees.Common
Type	Trees.Common
TypedDeclaration	StdLib
typedDecls	StdLib
TypeError	TypeChecker.HindleyMilner
TypeF	TypeChecker.HindleyMilner
UnaryOperator	Trees.Common
unAsmBuilderT	CodeGen.RiscV.Lib.Monad
UnboundVar	TypeChecker.HindleyMilner
unitLitP	Parser.Lexer
UnMinusOp	Trees.Common
Unreachable	TypeChecker.HindleyMilner
UTBool	TypeChecker.HindleyMilner
UTerm	TypeChecker.HindleyMilner
UTFun	TypeChecker.HindleyMilner
UTInt	TypeChecker.HindleyMilner
UTUnit	TypeChecker.HindleyMilner
UTVar	TypeChecker.HindleyMilner
UType	TypeChecker.HindleyMilner
value	CodeGen.TimedValue
VarDecl	Transformations.Ll.Lfr
VarDeclaration	Transformations.Ll.Lfr
withBinding	TypeChecker.HindleyMilner
Zero	CodeGen.RiscV.Lib.Types