Index

=:=	TypeChecker.HindleyMilner
allDeclsWithArity	StdLib
AndOp	Trees.Common
applyBindings	TypeChecker.HindleyMilner
ArithmeticOperator	Trees.Common
ArithOp	Trees.Common
Arity	Trees.Common
arrow	Parser.Lexer
AtomBool	Transformations.Anf.Anf
AtomicExpression	Transformations.Anf.Anf
AtomId	Transformations.Anf.Anf
AtomInt	Transformations.Anf.Anf
AtomUnit	Transformations.Anf.Anf
BinaryOperator	Trees.Common
BooleanOperator	Trees.Common
boolLitP	Parser.Lexer
BoolOp	Trees.Common
ccAst	Transformations.Cc.Cc
checkProgram	TypeChecker.TypeChecker
choice'	Parser.Utils
code	CodeGen.Module
colon	Parser.Lexer
CompApp	Transformations.Anf.Anf
ComparisonOperator	Trees.Common
CompBinOp	Transformations.Anf.Anf
compErrMsg	CodeGen.RunResult
CompilationError	CodeGen.RunResult
compileToBinary	CodeGen.Llvm.Runner
compileToLlvmIr	CodeGen.Llvm.Runner
compileToModule	CodeGen.Module
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
DivOp	Trees.Common
eq	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
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
Gen	Trees.Common
genAnf	Transformations.Anf.AnfGen
generalize	TypeChecker.HindleyMilner
genLlvmIrModule	CodeGen.Llvm.LlvmIrGen
GeOp	Trees.Common
GlobalDeclaration
1 (Type/Class)	Transformations.Ll.Lfr
2 (Type/Class)	Transformations.Anf.Anf
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
GtOp	Trees.Common
IdCnt	Trees.Common
Identifier	Trees.Common
Identifier'	Trees.Common
identifierP	Parser.Lexer
ImpossibleBinOpApplication	TypeChecker.HindleyMilner
ImpossibleUnOpApplication	TypeChecker.HindleyMilner
Infer	TypeChecker.HindleyMilner
inferProgram	TypeChecker.TypeChecker
Infinite	TypeChecker.HindleyMilner
intLitP	Parser.Lexer
IsRec	Trees.Common
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
leftPar	Parser.Lexer
LeOp	Trees.Common
lexeme	Parser.Lexer
liftM1'	MonadUtils
liftM2'	MonadUtils
liftM3'	MonadUtils
llAst	Transformations.Ll.Ll
locally	MonadUtils
lookup	TypeChecker.HindleyMilner
LtOp	Trees.Common
manyParens	Parser.Utils
measureTime	CodeGen.TimedValue
measureTimedValue	CodeGen.TimedValue
MinusOp	Trees.Common
Mismatch	TypeChecker.HindleyMilner
mkVarName	TypeChecker.HindleyMilner
Module
1 (Type/Class)	CodeGen.Module
2 (Data Constructor)	CodeGen.Module
MulOp	Trees.Common
Nanoseconds
1 (Type/Class)	CodeGen.TimedValue
2 (Data Constructor)	CodeGen.TimedValue
NeOp	Trees.Common
optional'	Parser.Utils
OrOp	Trees.Common
parens	Parser.Utils
parseProgram	Parser.Parser
Parser	Parser.Lexer
PlusOp	Trees.Common
Poly	TypeChecker.HindleyMilner
Polytype	TypeChecker.HindleyMilner
ppLlvmModule	CodeGen.Llvm.LlvmIrGen
pretty	TypeChecker.PrettyPrinter
prettyPrint	Transformations.Anf.PrettyPrinter
PrimitiveValue	Trees.Common
PrimValBool	Trees.Common
PrimValInt	Trees.Common
PrimValUnit	Trees.Common
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
relabelAst	Transformations.Relabeler.Relabeler
rightPar	Parser.Lexer
run	CodeGen.Llvm.Runner
RunResult	CodeGen.RunResult
runTime	CodeGen.RunResult
RuntimeError	CodeGen.RunResult
sc	Parser.Lexer
semicolon2	Parser.Lexer
simplifyAst	Transformations.Simplifier.Simplifier
someParens	Parser.Utils
Statement	Parser.Ast
stderr	CodeGen.RunResult
stdout	CodeGen.RunResult
StmtDecl	Parser.Ast
StmtExpr	Parser.Ast
Success	CodeGen.RunResult
symbol	Parser.Lexer
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
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
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