Index

<&> 
1 (Function)Final.Typechecker
2 (Function)MultiError.Typechecker
<:> 
1 (Function)Final.Typechecker
2 (Function)MultiError.Typechecker
Add 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
addParameters 
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
addVariable 
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
args 
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
Arrow 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
Assignment 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
Backtrace 
1 (Type/Class)Backtrace.AST
2 (Data Constructor)Backtrace.AST
3 (Type/Class)Final.AST
4 (Data Constructor)Final.AST
5 (Type/Class)MultiError.AST
6 (Data Constructor)MultiError.AST
7 (Type/Class)Warning.AST
8 (Data Constructor)Warning.AST
backtrace 
1 (Function)Backtrace.AST
2 (Function)Final.AST
3 (Function)MultiError.AST
4 (Function)Warning.AST
Backtraceable 
1 (Type/Class)Backtrace.AST
2 (Type/Class)Final.AST
3 (Type/Class)MultiError.AST
4 (Type/Class)Warning.AST
BacktraceNode 
1 (Type/Class)Backtrace.AST
2 (Type/Class)Final.AST
3 (Type/Class)MultiError.AST
4 (Type/Class)Warning.AST
BinOp 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
body 
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
BoolLit 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
BoolType 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
bt 
1 (Function)Backtrace.Typechecker
2 (Function)Final.Typechecker
3 (Function)MultiError.Typechecker
4 (Function)Warning.Typechecker
BTClass 
1 (Data Constructor)Backtrace.AST
2 (Data Constructor)Final.AST
3 (Data Constructor)MultiError.AST
4 (Data Constructor)Warning.AST
BTExpr 
1 (Data Constructor)Backtrace.AST
2 (Data Constructor)Final.AST
3 (Data Constructor)MultiError.AST
4 (Data Constructor)Warning.AST
BTField 
1 (Data Constructor)Backtrace.AST
2 (Data Constructor)Final.AST
3 (Data Constructor)MultiError.AST
4 (Data Constructor)Warning.AST
BTMethod 
1 (Data Constructor)Backtrace.AST
2 (Data Constructor)Final.AST
3 (Data Constructor)MultiError.AST
4 (Data Constructor)Warning.AST
BTParam 
1 (Data Constructor)Backtrace.AST
2 (Data Constructor)Final.AST
3 (Data Constructor)MultiError.AST
4 (Data Constructor)Warning.AST
BTType 
1 (Data Constructor)Backtrace.AST
2 (Data Constructor)Final.AST
3 (Data Constructor)MultiError.AST
4 (Data Constructor)Warning.AST
buildClassWarning.Typechecker
bval 
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
Cast 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
cefields 
1 (Function)Final.Typechecker
2 (Function)PhantomFunctors.Typechecker
3 (Function)PhantomPhases.Typechecker
cemethods 
1 (Function)Final.Typechecker
2 (Function)PhantomFunctors.Typechecker
3 (Function)PhantomPhases.Typechecker
Checked 
1 (Data Constructor)Final.AST
2 (Data Constructor)PhantomFunctors.AST
3 (Data Constructor)PhantomPhases.AST
checkShadowing 
1 (Function)Final.Typechecker
2 (Function)Warning.Typechecker
checkVariableUsage 
1 (Function)Final.Typechecker
2 (Function)Warning.Typechecker
ClassDef 
1 (Type/Class)Applicative.AST
2 (Data Constructor)Applicative.AST
3 (Type/Class)Backtrace.AST
4 (Data Constructor)Backtrace.AST
5 (Type/Class)Final.AST
6 (Data Constructor)Final.AST
7 (Type/Class)Initial.AST
8 (Data Constructor)Initial.AST
9 (Type/Class)MultiError.AST
10 (Data Constructor)MultiError.AST
11 (Type/Class)PhantomFunctors.AST
12 (Data Constructor)PhantomFunctors.AST
13 (Type/Class)PhantomPhases.AST
14 (Data Constructor)PhantomPhases.AST
15 (Type/Class)Reader.AST
16 (Data Constructor)Reader.AST
17 (Type/Class)Warning.AST
18 (Data Constructor)Warning.AST
ClassEntry 
1 (Type/Class)Final.Typechecker
2 (Data Constructor)Final.Typechecker
3 (Type/Class)PhantomFunctors.Typechecker
4 (Data Constructor)PhantomFunctors.Typechecker
5 (Type/Class)PhantomPhases.Typechecker
6 (Data Constructor)PhantomPhases.Typechecker
classesFinal.Typechecker
ClassType 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
cname 
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
commaSep 
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
cond 
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
constructor 
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
ConstructorCallError 
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
ctable 
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
Div 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
doPrecheckFinal.Typechecker
doTypecheck 
1 (Function)Backtrace.Typechecker
2 (Function)Final.Typechecker
3 (Function)MultiError.Typechecker
4 (Function)Warning.Typechecker
DuplicateClassError 
1 (Data Constructor)Final.Typechecker
2 (Data Constructor)PhantomFunctors.Typechecker
3 (Data Constructor)PhantomPhases.Typechecker
els 
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
emptyBt 
1 (Function)Backtrace.AST
2 (Function)Final.AST
3 (Function)MultiError.AST
4 (Function)Warning.AST
emptyEnv 
1 (Function)Applicative.Typechecker
2 (Function)Backtrace.Typechecker
3 (Function)Initial.Typechecker
4 (Function)MultiError.Typechecker
5 (Function)Reader.Typechecker
6 (Function)Warning.Typechecker
Env 
1 (Type/Class)Applicative.Typechecker
2 (Data Constructor)Applicative.Typechecker
3 (Type/Class)Backtrace.Typechecker
4 (Data Constructor)Backtrace.Typechecker
5 (Type/Class)Final.Typechecker
6 (Data Constructor)Final.Typechecker
7 (Type/Class)Initial.Typechecker
8 (Data Constructor)Initial.Typechecker
9 (Type/Class)MultiError.Typechecker
10 (Data Constructor)MultiError.Typechecker
11 (Type/Class)PhantomFunctors.Typechecker
12 (Data Constructor)PhantomFunctors.Typechecker
13 (Type/Class)PhantomPhases.Typechecker
14 (Data Constructor)PhantomPhases.Typechecker
15 (Type/Class)Reader.Typechecker
16 (Data Constructor)Reader.Typechecker
17 (Type/Class)Warning.Typechecker
18 (Data Constructor)Warning.Typechecker
Error 
1 (Data Constructor)Applicative.Typechecker
2 (Type/Class)Backtrace.Typechecker
3 (Type/Class)Final.Typechecker
4 (Type/Class)MultiError.Typechecker
5 (Type/Class)Warning.Typechecker
etype 
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
ExceptApplicative.Typechecker
Expr 
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
femod 
1 (Function)Final.Typechecker
2 (Function)PhantomFunctors.Typechecker
3 (Function)PhantomPhases.Typechecker
fetype 
1 (Function)Final.Typechecker
2 (Function)PhantomFunctors.Typechecker
3 (Function)PhantomPhases.Typechecker
FieldAccess 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
FieldDef 
1 (Type/Class)Applicative.AST
2 (Data Constructor)Applicative.AST
3 (Type/Class)Backtrace.AST
4 (Data Constructor)Backtrace.AST
5 (Type/Class)Final.AST
6 (Data Constructor)Final.AST
7 (Type/Class)Initial.AST
8 (Data Constructor)Initial.AST
9 (Type/Class)MultiError.AST
10 (Data Constructor)MultiError.AST
11 (Type/Class)PhantomFunctors.AST
12 (Data Constructor)PhantomFunctors.AST
13 (Type/Class)PhantomPhases.AST
14 (Data Constructor)PhantomPhases.AST
15 (Type/Class)Reader.AST
16 (Data Constructor)Reader.AST
17 (Type/Class)Warning.AST
18 (Data Constructor)Warning.AST
FieldEntry 
1 (Type/Class)Final.Typechecker
2 (Data Constructor)Final.Typechecker
3 (Type/Class)PhantomFunctors.Typechecker
4 (Data Constructor)PhantomFunctors.Typechecker
5 (Type/Class)PhantomPhases.Typechecker
6 (Data Constructor)PhantomPhases.Typechecker
fields 
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
findClass 
1 (Function)Backtrace.Typechecker
2 (Function)Final.Typechecker
3 (Function)MultiError.Typechecker
4 (Function)PhantomFunctors.Typechecker
5 (Function)PhantomPhases.Typechecker
6 (Function)Reader.Typechecker
7 (Function)Warning.Typechecker
findField 
1 (Function)Backtrace.Typechecker
2 (Function)Final.Typechecker
3 (Function)MultiError.Typechecker
4 (Function)PhantomFunctors.Typechecker
5 (Function)PhantomPhases.Typechecker
6 (Function)Reader.Typechecker
7 (Function)Warning.Typechecker
findMethod 
1 (Function)Backtrace.Typechecker
2 (Function)Final.Typechecker
3 (Function)MultiError.Typechecker
4 (Function)PhantomFunctors.Typechecker
5 (Function)PhantomPhases.Typechecker
6 (Function)Reader.Typechecker
7 (Function)Warning.Typechecker
findVar 
1 (Function)Backtrace.Typechecker
2 (Function)Final.Typechecker
3 (Function)MultiError.Typechecker
4 (Function)PhantomFunctors.Typechecker
5 (Function)PhantomPhases.Typechecker
6 (Function)Reader.Typechecker
7 (Function)Warning.Typechecker
fmod 
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
fname 
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
forkM 
1 (Function)Final.Typechecker
2 (Function)MultiError.Typechecker
ftype 
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
FunctionCall 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
genEnv 
1 (Function)Applicative.Typechecker
2 (Function)Backtrace.Typechecker
3 (Function)Initial.Typechecker
4 (Function)MultiError.Typechecker
5 (Function)Reader.Typechecker
6 (Function)Warning.Typechecker
generateEnvironment 
1 (Function)Final.Typechecker
2 (Function)PhantomFunctors.Typechecker
3 (Function)PhantomPhases.Typechecker
generatePreEnvFinal.Typechecker
getType 
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
hasType 
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
If 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
ImmutableFieldError 
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
IntLit 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
IntType 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
isArrowType 
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
isBound 
1 (Function)Final.Typechecker
2 (Function)Warning.Typechecker
isClassType 
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
isConstructorName 
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
isFieldAccess 
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
isLVal 
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
isThisAccess 
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
isValField 
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
isVarAccess 
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
isVarField 
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
ival 
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
Lambda 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
Let 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
lhs 
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
lookupClass 
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
lookupField 
1 (Function)Applicative.Typechecker
2 (Function)Initial.Typechecker
lookupMethod 
1 (Function)Applicative.Typechecker
2 (Function)Initial.Typechecker
lookupVar 
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
mbody 
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
meparams 
1 (Function)Final.Typechecker
2 (Function)PhantomFunctors.Typechecker
3 (Function)PhantomPhases.Typechecker
MethodCall 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
MethodDef 
1 (Type/Class)Applicative.AST
2 (Data Constructor)Applicative.AST
3 (Type/Class)Backtrace.AST
4 (Data Constructor)Backtrace.AST
5 (Type/Class)Final.AST
6 (Data Constructor)Final.AST
7 (Type/Class)Initial.AST
8 (Data Constructor)Initial.AST
9 (Type/Class)MultiError.AST
10 (Data Constructor)MultiError.AST
11 (Type/Class)PhantomFunctors.AST
12 (Data Constructor)PhantomFunctors.AST
13 (Type/Class)PhantomPhases.AST
14 (Data Constructor)PhantomPhases.AST
15 (Type/Class)Reader.AST
16 (Data Constructor)Reader.AST
17 (Type/Class)Warning.AST
18 (Data Constructor)Warning.AST
MethodEntry 
1 (Type/Class)Final.Typechecker
2 (Data Constructor)Final.Typechecker
3 (Type/Class)PhantomFunctors.Typechecker
4 (Data Constructor)PhantomFunctors.Typechecker
5 (Type/Class)PhantomPhases.Typechecker
6 (Data Constructor)PhantomPhases.Typechecker
methods 
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
metype 
1 (Function)Final.Typechecker
2 (Function)PhantomFunctors.Typechecker
3 (Function)PhantomPhases.Typechecker
mname 
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
Mod 
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
mparams 
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
mtype 
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
Mul 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
MultipleErrorsApplicative.Typechecker
Name 
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
name 
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
New 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
NonArrowTypeError 
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
NonClassTypeError 
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
NonLValError 
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
Null 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
Op 
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
op 
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
Param 
1 (Type/Class)Applicative.AST
2 (Data Constructor)Applicative.AST
3 (Type/Class)Backtrace.AST
4 (Data Constructor)Backtrace.AST
5 (Type/Class)Final.AST
6 (Data Constructor)Final.AST
7 (Type/Class)Initial.AST
8 (Data Constructor)Initial.AST
9 (Type/Class)MultiError.AST
10 (Data Constructor)MultiError.AST
11 (Type/Class)PhantomFunctors.AST
12 (Data Constructor)PhantomFunctors.AST
13 (Type/Class)PhantomPhases.AST
14 (Data Constructor)PhantomPhases.AST
15 (Type/Class)Reader.AST
16 (Data Constructor)Reader.AST
17 (Type/Class)Warning.AST
18 (Data Constructor)Warning.AST
params 
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
Parsed 
1 (Data Constructor)Final.AST
2 (Data Constructor)PhantomFunctors.AST
3 (Data Constructor)PhantomPhases.AST
Phase 
1 (Type/Class)Final.AST
2 (Type/Class)PhantomFunctors.AST
3 (Type/Class)PhantomPhases.AST
pname 
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
precheckFinal.Typechecker
PrecheckableFinal.Typechecker
PreEnvFinal.Typechecker
PrimitiveNullError 
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
Program 
1 (Type/Class)Applicative.AST
2 (Data Constructor)Applicative.AST
3 (Type/Class)Backtrace.AST
4 (Data Constructor)Backtrace.AST
5 (Type/Class)Final.AST
6 (Data Constructor)Final.AST
7 (Type/Class)Initial.AST
8 (Data Constructor)Initial.AST
9 (Type/Class)MultiError.AST
10 (Data Constructor)MultiError.AST
11 (Type/Class)PhantomFunctors.AST
12 (Data Constructor)PhantomFunctors.AST
13 (Type/Class)PhantomPhases.AST
14 (Data Constructor)PhantomPhases.AST
15 (Type/Class)Reader.AST
16 (Data Constructor)Reader.AST
17 (Type/Class)Warning.AST
18 (Data Constructor)Warning.AST
ptype 
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
push 
1 (Function)Backtrace.AST
2 (Function)Final.AST
3 (Function)MultiError.AST
4 (Function)Warning.AST
pushBTFinal.Typechecker
resolveClassFinal.Typechecker
ResultApplicative.Typechecker
rhs 
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
setConstructor 
1 (Function)Backtrace.Typechecker
2 (Function)Final.Typechecker
3 (Function)MultiError.Typechecker
4 (Function)PhantomFunctors.Typechecker
5 (Function)PhantomPhases.Typechecker
6 (Function)Reader.Typechecker
7 (Function)Warning.Typechecker
setType 
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
ShadowedVarWarning 
1 (Data Constructor)Final.Typechecker
2 (Data Constructor)Warning.Typechecker
Sub 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
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
testProgramWWarning.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
throwErrorApplicative.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
UnboundVariableError 
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
UninferrableError 
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
UnitType 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
UnknownClassError 
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
UnknownFieldError 
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
UnknownMethodError 
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
UnusedVariableWarning 
1 (Data Constructor)Final.Typechecker
2 (Data Constructor)Warning.Typechecker
usesVar 
1 (Function)Final.AST
2 (Function)Warning.AST
Val 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
val 
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
validClassFinal.Typechecker
Var 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
VarAccess 
1 (Data Constructor)Applicative.AST
2 (Data Constructor)Backtrace.AST
3 (Data Constructor)Final.AST
4 (Data Constructor)Initial.AST
5 (Data Constructor)MultiError.AST
6 (Data Constructor)PhantomFunctors.AST
7 (Data Constructor)PhantomPhases.AST
8 (Data Constructor)Reader.AST
9 (Data Constructor)Warning.AST
vartable 
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
Warning 
1 (Type/Class)Final.Typechecker
2 (Type/Class)Warning.Typechecker