| actg | Codegen.LibSSM |
| activate | Codegen.LibSSM |
| acts | Codegen.LibSSM |
| acts_ | Codegen.LibSSM |
| actuallyUnify | IR.Constraint.Unify |
| act_ | Codegen.LibSSM |
| act_caller | Codegen.LibSSM |
| act_depth | Codegen.LibSSM |
| act_member | Codegen.LibSSM |
| act_pc | Codegen.LibSSM |
| act_priority | Codegen.LibSSM |
| act_t | Codegen.LibSSM |
| act_typename | Codegen.LibSSM |
| add | |
| 1 (Function) | IR.Constraint.Constrain.Annotation |
| 2 (Function) | IR.Constraint.Constrain.Pattern |
| addBinder | IR.Constraint.Constrain.Pattern |
| addBinding | Codegen.Codegen |
| addData | IR.Constraint.Constrain.Pattern |
| addDataArg | IR.Constraint.Constrain.Pattern |
| addError | IR.Constraint.Solve |
| addLit | IR.Constraint.Constrain.Pattern |
| addLocal | Codegen.Codegen |
| addToHeaders | IR.Constraint.Constrain.Pattern |
| addTypeWithHoles | IR.Constraint.Constrain.Annotation |
| adjustRank | IR.Constraint.Solve |
| adjustRankContent | IR.Constraint.Solve |
| adt_field | Codegen.LibSSM |
| adt_tag | Codegen.LibSSM |
| After | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| Alex | |
| 1 (Type/Class) | Front.Scanner |
| 2 (Data Constructor) | Front.Scanner |
| align | Common.Pretty |
| Alt | IR.IR |
| AltBinder | IR.IR |
| altBinders | IR.IR |
| AltData | IR.IR |
| alterAnnotations | Common.Pretty |
| alterAnnotationsS | Common.Pretty |
| AltLit | IR.IR |
| amp | |
| 1 (Function) | Common.Pretty |
| 2 (Function) | Codegen.LibSSM |
| angles | Common.Pretty |
| AnnArrows | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
| AnnDCon | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
| annotate | Common.Pretty |
| Annotation | IR.Types.Type, IR.Types, IR.IR, IR.Constraint.Canonical |
| Annotations | |
| 1 (Type/Class) | IR.Types.Type, IR.Types, IR.IR, IR.Constraint.Canonical |
| 2 (Data Constructor) | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
| annToType | IR.Constraint.Canonical |
| AnnType | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
| anomalycheck | IR |
| AnomalyCtx | |
| 1 (Type/Class) | IR.Pattern.Anomaly |
| 2 (Data Constructor) | IR.Pattern.Anomaly |
| AnomalyFn | |
| 1 (Type/Class) | IR.Pattern.Anomaly |
| 2 (Data Constructor) | IR.Pattern.Anomaly |
| Answer | IR.Constraint.Unify |
| App | IR.IR |
| Apply | Front.Ast |
| argv | Codegen.LibSSM |
| arg_ | Codegen.LibSSM |
| Arrow | IR.Types.Type, IR.Types |
| askCInfo | IR.Pattern.Anomaly |
| askTInfo | IR.Pattern.Anomaly |
| Assign | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| assign | Codegen.LibSSM |
| Attachment | IR.Constraint.Type |
| AvailablePerLine | Common.Pretty |