Contents
Index
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
<
All
Index - T
target
1 (Function)
Applicative.AST
2 (Function)
Backtrace.AST
3 (Function)
Final.AST
4 (Function)
Initial.AST
5 (Function)
MultiError.AST
6 (Function)
PhantomFunctors.AST
7 (Function)
PhantomPhases.AST
8 (Function)
Reader.AST
9 (Function)
Warning.AST
TCError
1 (Type/Class)
Applicative.Typechecker
2 (Type/Class)
Backtrace.Typechecker
3 (Data Constructor)
Backtrace.Typechecker
4 (Type/Class)
Final.Typechecker
5 (Data Constructor)
Final.Typechecker
6 (Type/Class)
Initial.Typechecker
7 (Type/Class)
MultiError.Typechecker
8 (Data Constructor)
MultiError.Typechecker
9 (Type/Class)
PhantomFunctors.Typechecker
10 (Type/Class)
PhantomPhases.Typechecker
11 (Type/Class)
Reader.Typechecker
12 (Type/Class)
Warning.Typechecker
13 (Data Constructor)
Warning.Typechecker
tcError
1 (Function)
Backtrace.Typechecker
2 (Function)
Final.Typechecker
3 (Function)
MultiError.Typechecker
4 (Function)
Warning.Typechecker
TCErrors
1 (Type/Class)
Applicative.Typechecker
2 (Data Constructor)
Applicative.Typechecker
3 (Type/Class)
Final.Typechecker
4 (Data Constructor)
Final.Typechecker
5 (Type/Class)
MultiError.Typechecker
6 (Data Constructor)
MultiError.Typechecker
tcProgram
1 (Function)
Applicative.Typechecker
2 (Function)
Backtrace.Typechecker
3 (Function)
Final.Typechecker
4 (Function)
Initial.Typechecker
5 (Function)
MultiError.Typechecker
6 (Function)
PhantomFunctors.Typechecker
7 (Function)
PhantomPhases.Typechecker
8 (Function)
Reader.Typechecker
9 (Function)
Warning.Typechecker
TCWarning
1 (Type/Class)
Final.Typechecker
2 (Data Constructor)
Final.Typechecker
3 (Type/Class)
Warning.Typechecker
4 (Data Constructor)
Warning.Typechecker
tcWarning
1 (Function)
Final.Typechecker
2 (Function)
Warning.Typechecker
testClass1
1 (Function)
Applicative.Typechecker
2 (Function)
Backtrace.Typechecker
3 (Function)
Final.Typechecker
4 (Function)
Initial.Typechecker
5 (Function)
MultiError.Typechecker
6 (Function)
PhantomFunctors.Typechecker
7 (Function)
PhantomPhases.Typechecker
8 (Function)
Reader.Typechecker
9 (Function)
Warning.Typechecker
testClass2
1 (Function)
Applicative.Typechecker
2 (Function)
Backtrace.Typechecker
3 (Function)
Final.Typechecker
4 (Function)
Initial.Typechecker
5 (Function)
MultiError.Typechecker
6 (Function)
PhantomFunctors.Typechecker
7 (Function)
PhantomPhases.Typechecker
8 (Function)
Reader.Typechecker
9 (Function)
Warning.Typechecker
testClass3
1 (Function)
Backtrace.Typechecker
2 (Function)
Final.Typechecker
3 (Function)
Initial.Typechecker
4 (Function)
PhantomFunctors.Typechecker
5 (Function)
PhantomPhases.Typechecker
6 (Function)
Reader.Typechecker
7 (Function)
Warning.Typechecker
testProgram
1 (Function)
Applicative.Typechecker
2 (Function)
Backtrace.Typechecker
3 (Function)
Final.Typechecker
4 (Function)
Initial.Typechecker
5 (Function)
MultiError.Typechecker
6 (Function)
PhantomFunctors.Typechecker
7 (Function)
PhantomPhases.Typechecker
8 (Function)
Reader.Typechecker
9 (Function)
Warning.Typechecker
testProgramW
Warning.Typechecker
testSuite
1 (Function)
Backtrace.Typechecker
2 (Function)
Initial.Typechecker
3 (Function)
MultiError.Typechecker
4 (Function)
Reader.Typechecker
5 (Function)
Warning.Typechecker
testValidProgram
1 (Function)
Backtrace.Typechecker
2 (Function)
Final.Typechecker
3 (Function)
Initial.Typechecker
4 (Function)
PhantomFunctors.Typechecker
5 (Function)
PhantomPhases.Typechecker
6 (Function)
Reader.Typechecker
thisName
1 (Function)
Applicative.AST
2 (Function)
Backtrace.AST
3 (Function)
Final.AST
4 (Function)
Initial.AST
5 (Function)
MultiError.AST
6 (Function)
PhantomFunctors.AST
7 (Function)
PhantomPhases.AST
8 (Function)
Reader.AST
9 (Function)
Warning.AST
thn
1 (Function)
Applicative.AST
2 (Function)
Backtrace.AST
3 (Function)
Final.AST
4 (Function)
Initial.AST
5 (Function)
MultiError.AST
6 (Function)
PhantomFunctors.AST
7 (Function)
PhantomPhases.AST
8 (Function)
Reader.AST
9 (Function)
Warning.AST
throwError
Applicative.Typechecker
tparams
1 (Function)
Applicative.AST
2 (Function)
Backtrace.AST
3 (Function)
Final.AST
4 (Function)
Initial.AST
5 (Function)
MultiError.AST
6 (Function)
PhantomFunctors.AST
7 (Function)
PhantomPhases.AST
8 (Function)
Reader.AST
9 (Function)
Warning.AST
tresult
1 (Function)
Applicative.AST
2 (Function)
Backtrace.AST
3 (Function)
Final.AST
4 (Function)
Initial.AST
5 (Function)
MultiError.AST
6 (Function)
PhantomFunctors.AST
7 (Function)
PhantomPhases.AST
8 (Function)
Reader.AST
9 (Function)
Warning.AST
ty
1 (Function)
Applicative.AST
2 (Function)
Backtrace.AST
3 (Function)
Final.AST
4 (Function)
Initial.AST
5 (Function)
MultiError.AST
6 (Function)
PhantomFunctors.AST
7 (Function)
PhantomPhases.AST
8 (Function)
Reader.AST
9 (Function)
Warning.AST
Type
1 (Type/Class)
Applicative.AST
2 (Type/Class)
Backtrace.AST
3 (Type/Class)
Final.AST
4 (Type/Class)
Initial.AST
5 (Type/Class)
MultiError.AST
6 (Type/Class)
PhantomFunctors.AST
7 (Type/Class)
PhantomPhases.AST
8 (Type/Class)
Reader.AST
9 (Type/Class)
Warning.AST
typecheck
1 (Function)
Applicative.Typechecker
2 (Function)
Backtrace.Typechecker
3 (Function)
Final.Typechecker
4 (Function)
Initial.Typechecker
5 (Function)
MultiError.Typechecker
6 (Function)
PhantomFunctors.Typechecker
7 (Function)
PhantomPhases.Typechecker
8 (Function)
Reader.Typechecker
9 (Function)
Warning.Typechecker
Typecheckable
1 (Type/Class)
Applicative.Typechecker
2 (Type/Class)
Backtrace.Typechecker
3 (Type/Class)
Final.Typechecker
4 (Type/Class)
Initial.Typechecker
5 (Type/Class)
MultiError.Typechecker
6 (Type/Class)
PhantomFunctors.Typechecker
7 (Type/Class)
PhantomPhases.Typechecker
8 (Type/Class)
Reader.Typechecker
9 (Type/Class)
Warning.Typechecker
TypecheckM
1 (Type/Class)
Backtrace.Typechecker
2 (Type/Class)
Final.Typechecker
3 (Type/Class)
MultiError.Typechecker
4 (Type/Class)
PhantomFunctors.Typechecker
5 (Type/Class)
PhantomPhases.Typechecker
6 (Type/Class)
Reader.Typechecker
7 (Type/Class)
Warning.Typechecker
TypeMismatchError
1 (Data Constructor)
Applicative.Typechecker
2 (Data Constructor)
Backtrace.Typechecker
3 (Data Constructor)
Final.Typechecker
4 (Data Constructor)
Initial.Typechecker
5 (Data Constructor)
MultiError.Typechecker
6 (Data Constructor)
PhantomFunctors.Typechecker
7 (Data Constructor)
PhantomPhases.Typechecker
8 (Data Constructor)
Reader.Typechecker
9 (Data Constructor)
Warning.Typechecker