| Acc | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| Add | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| ann | Language.Qux.Annotated.Syntax |
| Annotated | Language.Qux.Annotated.Syntax |
| ApplicationExpr | |
| 1 (Data Constructor) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Annotated.Syntax |
| BinaryExpr | |
| 1 (Data Constructor) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Annotated.Syntax |
| BinaryOp | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| BoolType | |
| 1 (Data Constructor) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Annotated.Syntax |
| BoolValue | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| Check | Language.Qux.Annotated.TypeChecker |
| check | Language.Qux.Annotated.TypeChecker |
| checkDecl | Language.Qux.Annotated.TypeChecker |
| checkExpr | Language.Qux.Annotated.TypeChecker |
| checkProgram | Language.Qux.Annotated.TypeChecker |
| checkStmt | Language.Qux.Annotated.TypeChecker |
| compile | Language.Qux.Llvm.Compiler |
| Context | |
| 1 (Type/Class) | Language.Qux.Annotated.TypeResolver, Language.Qux.Annotated.TypeChecker |
| 2 (Data Constructor) | Language.Qux.Annotated.TypeResolver, Language.Qux.Annotated.TypeChecker |
| context | Language.Qux.Annotated.TypeResolver, Language.Qux.Annotated.TypeChecker |
| Decl | |
| 1 (Type/Class) | Language.Qux.Syntax |
| 2 (Type/Class) | Language.Qux.Annotated.Syntax |
| decl | Language.Qux.Annotated.Parser |
| Div | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| DuplicateFunctionName | Language.Qux.Annotated.Exception |
| DuplicateParameterName | Language.Qux.Annotated.Exception |
| emptyContext | Language.Qux.Annotated.TypeResolver, Language.Qux.Annotated.TypeChecker |
| Eq | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| execCheck | Language.Qux.Annotated.TypeChecker |
| Expr | |
| 1 (Type/Class) | Language.Qux.Syntax |
| 2 (Type/Class) | Language.Qux.Annotated.Syntax |
| expr | Language.Qux.Annotated.Parser |
| extractType | Language.Qux.Annotated.TypeResolver |
| FunctionDecl | |
| 1 (Data Constructor) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Annotated.Syntax |
| functions | Language.Qux.Annotated.TypeResolver, Language.Qux.Annotated.TypeChecker |
| Gt | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| Gte | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| Id | |
| 1 (Type/Class) | Language.Qux.Syntax |
| 2 (Type/Class) | Language.Qux.Annotated.Syntax |
| 3 (Data Constructor) | Language.Qux.Annotated.Syntax |
| id_ | Language.Qux.Annotated.Parser |
| IfStmt | |
| 1 (Data Constructor) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Annotated.Syntax |
| IntType | |
| 1 (Data Constructor) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Annotated.Syntax |
| IntValue | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| InvalidFunctionCall | Language.Qux.Annotated.Exception |
| Len | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| ListExpr | |
| 1 (Data Constructor) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Annotated.Syntax |
| ListType | |
| 1 (Data Constructor) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Annotated.Syntax |
| ListValue | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| Locals | Language.Qux.Annotated.TypeResolver, Language.Qux.Annotated.TypeChecker |
| Lt | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| Lte | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| message | Language.Qux.Annotated.Exception |
| MismatchedType | Language.Qux.Annotated.Exception |
| Mod | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| Mul | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| Neg | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| Neq | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| NilType | |
| 1 (Data Constructor) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Annotated.Syntax |
| NilValue | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| parse | Language.Qux.Annotated.Parser |
| ParseError | Language.Qux.Annotated.Parser |
| Parser | Language.Qux.Annotated.Parser |
| pos | Language.Qux.Annotated.Exception |
| Program | |
| 1 (Type/Class) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Syntax |
| 3 (Type/Class) | Language.Qux.Annotated.Syntax |
| 4 (Data Constructor) | Language.Qux.Annotated.Syntax |
| program | Language.Qux.Annotated.Parser |
| Resolve | Language.Qux.Annotated.TypeResolver |
| resolve | Language.Qux.Annotated.TypeResolver |
| resolveDecl | Language.Qux.Annotated.TypeResolver |
| resolveExpr | Language.Qux.Annotated.TypeResolver |
| resolveProgram | Language.Qux.Annotated.TypeResolver |
| resolveStmt | Language.Qux.Annotated.TypeResolver |
| resolveValue | Language.Qux.Annotated.TypeResolver |
| retrieve | Language.Qux.Annotated.TypeResolver, Language.Qux.Annotated.TypeChecker |
| ReturnStmt | |
| 1 (Data Constructor) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Annotated.Syntax |
| runCheck | Language.Qux.Annotated.TypeChecker |
| runResolve | Language.Qux.Annotated.TypeResolver |
| simp | Language.Qux.Annotated.Syntax |
| Simplifiable | Language.Qux.Annotated.Syntax |
| sourceColumn | Language.Qux.Annotated.Parser |
| sourceLine | Language.Qux.Annotated.Parser |
| sourceName | Language.Qux.Annotated.Parser |
| SourcePos | Language.Qux.Annotated.Parser |
| Stmt | |
| 1 (Type/Class) | Language.Qux.Syntax |
| 2 (Type/Class) | Language.Qux.Annotated.Syntax |
| stmt | Language.Qux.Annotated.Parser |
| Sub | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| Type | |
| 1 (Type/Class) | Language.Qux.Syntax |
| 2 (Type/Class) | Language.Qux.Annotated.Syntax |
| TypedExpr | |
| 1 (Data Constructor) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Annotated.Syntax |
| TypeException | |
| 1 (Type/Class) | Language.Qux.Annotated.Exception |
| 2 (Data Constructor) | Language.Qux.Annotated.Exception |
| type_ | Language.Qux.Annotated.Parser |
| UnaryExpr | |
| 1 (Data Constructor) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Annotated.Syntax |
| UnaryOp | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| Value | Language.Qux.Syntax, Language.Qux.Annotated.Syntax |
| value | Language.Qux.Annotated.Parser |
| ValueExpr | |
| 1 (Data Constructor) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Annotated.Syntax |
| version | Language.Qux.Version |
| WhileStmt | |
| 1 (Data Constructor) | Language.Qux.Syntax |
| 2 (Data Constructor) | Language.Qux.Annotated.Syntax |