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 |
| buildClass | Warning.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 |
| classes | Final.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 |
| doPrecheck | Final.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 |
| Except | Applicative.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 |
| generatePreEnv | Final.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 |
| MultipleErrors | Applicative.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 |
| precheck | Final.Typechecker |
| Precheckable | Final.Typechecker |
| PreEnv | Final.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 |
| pushBT | Final.Typechecker |
| resolveClass | Final.Typechecker |
| Result | Applicative.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 |
| 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 |
| 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 |
| validClass | Final.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 |