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 |