| --> | IR.Constraint.Canonical |
| <+> | Common.Pretty |
| <> | Common.Pretty |
| ==> | IR.Constraint.Type |
| 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 |
| backslash | Common.Pretty |
| BadExpr | IR.Constraint.Error |
| BadPattern | IR.Constraint.Error |
| bar | Common.Pretty |
| BindAnon | IR.IR |
| Binder | |
| 1 (Type/Class) | IR.IR |
| 2 (Data Constructor) | IR.IR |
| BinderDef | IR.Constraint.Constrain.Expression |
| binderToVar | IR.IR |
| binderToVarId | IR.Constraint.Type |
| BindVar | IR.IR |
| block | Common.Pretty |
| braces | Common.Pretty |
| brackets | Common.Pretty |
| Break | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| buildConsMap | IR.Pattern.Common |
| buildCtx | IR.Pattern.Anomaly |
| buildTypeMap | IR.Pattern.Common |
| Builtin | Front.Identifiers |
| builtinData | Front.Identifiers |
| builtinKinds | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
| builtinTypes | Front.Identifiers |
| CAnd | IR.Constraint.Type |
| cArity | IR.Pattern.Common |
| Carrier | IR.IR |
| cast_to_int | Codegen.LibSSM |
| cast_to_signed | Codegen.LibSSM |
| cast_to_unsigned | Codegen.LibSSM |
| cat | Common.Pretty |
| catchError | Common.Compiler |
| CCall | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| ccall | Codegen.LibSSM |
| cDefs | IR.IR |
| CEqual | IR.Constraint.Type |
| cexpr | Codegen.LibSSM |
| CForeign | IR.Constraint.Type |
| checkAnomaly | IR.Pattern |
| checkAst | Front |
| checkDefs | IR.Pattern.Anomaly |
| checkExhaustive | IR.Pattern.Anomaly |
| checkExpr | IR.Pattern.Anomaly |
| checkExprs | IR.Pattern.Anomaly |
| checkPats | IR.Pattern.Anomaly |
| checkProgram | IR.Pattern.Anomaly |
| checkUseless | IR.Pattern.Anomaly |
| CIdent | |
| 1 (Type/Class) | Codegen.LibSSM |
| 2 (Data Constructor) | Codegen.LibSSM |
| CInfo | |
| 1 (Type/Class) | IR.Pattern.Common |
| 2 (Data Constructor) | IR.Pattern.Common |
| cint | Codegen.LibSSM |
| CLet | IR.Constraint.Type |
| CLocal | IR.Constraint.Type |
| closure1_t | Codegen.LibSSM |
| closure_ | Codegen.LibSSM |
| closure_apply | Codegen.LibSSM |
| closure_apply_final | Codegen.LibSSM |
| closure_free | Codegen.LibSSM |
| closure_pop | Codegen.LibSSM |
| closure_push | Codegen.LibSSM |
| cName | IR.Pattern.Common |
| collectApp | Front.Ast |
| collectPApp | Front.Ast |
| collectTApp | Front.Ast |
| colon | Common.Pretty |
| column | Common.Pretty |
| comma | Common.Pretty |
| concatWith | Common.Pretty |
| cons | Common.Identifiers |
| consMap | IR.Pattern.Anomaly |
| constrain | IR.Constraint.Constrain.Program |
| constrainApp | IR.Constraint.Constrain.Expression |
| constrainBinderDefs | IR.Constraint.Constrain.Expression |
| constrainBranch | IR.Constraint.Constrain.Expression |
| constrainDeclaration | IR.Constraint.Constrain.Program |
| constrainDefs | IR.Constraint.Constrain.Expression |
| constrainExpr | IR.Constraint.Constrain.Expression |
| constrainExprAnnotated | IR.Constraint.Constrain.Expression |
| constrainExprAttached | IR.Constraint.Constrain.Expression |
| constrainExternDecl | IR.Constraint.Constrain.Program |
| constrainExternDecls | IR.Constraint.Constrain.Program |
| constrainLambda | IR.Constraint.Constrain.Expression |
| constrainLit | IR.Constraint.Constrain.Expression |
| constrainMatch | IR.Constraint.Constrain.Expression |
| constrainPrim | IR.Constraint.Constrain.Expression |
| constrainRecDefs | IR.Constraint.Constrain.Expression |
| Constraint | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Type/Class) | IR.Types.Type, IR.Types |
| 3 (Type/Class) | IR.Constraint.Type |
| constrainTypeDef | IR.Constraint.Constrain.Program |
| constrainTypeDefs | IR.Constraint.Constrain.Program |
| constrainVariant | IR.Constraint.Constrain.Program |
| container_of | Codegen.LibSSM |
| Content | IR.Constraint.Type |
| contentToErrorType | IR.Constraint.Type |
| Context | |
| 1 (Type/Class) | IR.Constraint.Unify |
| 2 (Data Constructor) | IR.Constraint.Unify |
| Continue | |
| 1 (Data Constructor) | Front |
| 2 (Data Constructor) | Codegen |
| 3 (Data Constructor) | IR |
| CPattern | IR.Constraint.Type |
| CQuote | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| CSaveTheEnvironment | IR.Constraint.Type |
| CSize | Codegen.LibSSM |
| csizeof | Codegen.LibSSM |
| CSym | |
| 1 (Type/Class) | Common.Identifiers |
| 2 (Data Constructor) | Common.Identifiers |
| CTrue | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Type |
| cType | IR.Pattern.Common |
| ctype | Codegen.LibSSM |
| Data | IR.IR |
| DataInfo | |
| 1 (Type/Class) | Front.Identifiers |
| 2 (Data Constructor) | Front.Identifiers |
| dataKind | Front.Identifiers |
| dbar | Common.Pretty |
| dconCase | Codegen.Typegen |
| dconConstruct | Codegen.Typegen |
| dconDestruct | Codegen.Typegen |
| DConId | |
| 1 (Type/Class) | Common.Identifiers, IR.IR |
| 2 (Data Constructor) | Common.Identifiers, IR.IR |
| DConInfo | |
| 1 (Type/Class) | Codegen.Typegen |
| 2 (Data Constructor) | Codegen.Typegen |
| 3 (Type/Class) | IR.Constraint.Monad |
| dconInfo | Codegen.Typegen |
| DConMap | IR.Constraint.Monad |
| dconOnHeap | Codegen.Typegen |
| dconSize | Codegen.Typegen |
| dConToFunc | IR.DConToFunc |
| dconType | Codegen.Typegen |
| Deep | Common.Pretty |
| Def | IR.Constraint.Constrain.Expression |
| def | Common.Default |
| Default | Common.Default |
| defaultize | IR.Pattern.Matrix |
| defaultLayoutOptions | Common.Pretty |
| DefFn | Front.Ast |
| Definition | Front.Ast |
| DefPat | Front.Ast |
| depthSub | Codegen.Codegen |
| depth_t | Codegen.LibSSM |
| Deref | IR.IR |
| deref | Codegen.LibSSM |
| Descriptor | |
| 1 (Type/Class) | IR.Constraint.Type |
| 2 (Data Constructor) | IR.Constraint.Type |
| desensitize | Codegen.LibSSM |
| desugarLists | Front.DesugarLists |
| desugarPattern | IR.DesugarPattern |
| desugarPatTup | Front.DesugarPatTup |
| desugarStrings | Front.DesugarStrings |
| discardAnnotations | IR.Constraint.Constrain |
| Doc | Common.Pretty, IR.Constraint.PrettyPrint |
| dot | Common.Pretty |
| dquote | Common.Pretty |
| dquotes | Common.Pretty |
| drarrow | Common.Pretty |
| Drop | IR.IR |
| drop | Codegen.LibSSM |
| Dump | Common.Compiler |
| dump | Common.Compiler |
| DumpAst | Front |
| DumpAstFinal | Front |
| DumpAstParsed | Front |
| DumpIR | IR |
| DumpIRAnnotated | IR |
| DumpIRConstraints | IR |
| DumpIRFinal | IR |
| DumpIRInlined | IR |
| DumpIRLifted | IR |
| DumpIRMangled | IR |
| DumpIRTyped | IR |
| DumpIRTypedShow | IR |
| DumpIRTypedUgly | IR |
| DumpTokens | Front |
| Dumpy | Common.Pretty |
| dumpy | Common.Pretty |
| Dup | IR.IR |
| dup | Codegen.LibSSM |
| dups | Codegen.LibSSM |
| emptyDoc | Common.Pretty |
| emptyState | |
| 1 (Function) | IR.Constraint.Solve |
| 2 (Function) | IR.Constraint.Constrain.Annotation |
| 3 (Function) | IR.Constraint.Constrain.Pattern |
| emptyWithCols | IR.Pattern.Matrix |
| enclose | Common.Pretty |
| encloseSep | Common.Pretty |
| enter | Codegen.LibSSM |
| enter_ | Codegen.LibSSM |
| enter_caller | Codegen.LibSSM |
| enter_depth | Codegen.LibSSM |
| enter_priority | Codegen.LibSSM |
| Env | IR.Constraint.Solve |
| EOR | Front.Ast |
| equals | Common.Pretty |
| equivalent | IR.Constraint.UnionFind |
| Err | IR.Constraint.Unify |
| Error | |
| 1 (Type/Class) | Common.Compiler |
| 2 (Type/Class) | IR.Constraint.Error |
| 3 (Data Constructor) | IR.Constraint.Error |
| 4 (Data Constructor) | IR.Constraint.Type |
| errorDescriptor | IR.Constraint.Unify |
| ErrorMsg | Common.Compiler |
| EscExp | |
| 1 (Type/Class) | Codegen.Codegen |
| 2 (Data Constructor) | Codegen.Codegen |
| ExceptDefault | IR.IR |
| Exception | IR.IR |
| ExceptType | IR.IR |
| EXHAUSTED_ACT_QUEUE | Codegen.LibSSM |
| EXHAUSTED_EVENT_QUEUE | Codegen.LibSSM |
| EXHAUSTED_MEMORY | Codegen.LibSSM |
| EXHAUSTED_PRIORITY | Codegen.LibSSM |
| exists | IR.Constraint.Type |
| Expr | |
| 1 (Type/Class) | Front.Ast |
| 2 (Type/Class) | IR.IR |
| extend | |
| 1 (Function) | IR.Pattern.Vector |
| 2 (Function) | IR.Pattern.Matrix |
| ExternDecl | |
| 1 (Type/Class) | Front.Ast |
| 2 (Data Constructor) | Front.Ast |
| externDecls | IR.IR |
| externToCall | IR.ExternToCall |
| extract | IR.IR |
| FfiCall | IR.IR |
| fill | Common.Pretty |
| fillBreak | Common.Pretty |
| fillCat | Common.Pretty |
| fillSep | Common.Pretty |
| Fixity | Front.Ast, Front.ParseOperators |
| flatAlt | Common.Pretty |
| FlatType | IR.Constraint.Type |
| FlexVar | |
| 1 (Data Constructor) | IR.Constraint.Error |
| 2 (Data Constructor) | IR.Constraint.Type |
| fnBody | Codegen.Codegen |
| fnCases | Codegen.Codegen |
| fnFresh | Codegen.Codegen |
| fnLocals | Codegen.Codegen |
| fnMaxWaits | Codegen.Codegen |
| fnName | Codegen.Codegen |
| fnParams | Codegen.Codegen |
| fnRetTy | Codegen.Codegen |
| fnTypeInfo | Codegen.Codegen |
| fnVars | Codegen.Codegen |
| foldApp | |
| 1 (Function) | Front.Ast |
| 2 (Function) | IR.IR |
| foldArrow | |
| 1 (Function) | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
| 2 (Function) | IR.Constraint.Type |
| foldLambda | IR.IR |
| Forall | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| forall | IR.Types.Type, IR.Types |
| FreeVars | IR.Constraint.Canonical |
| freeVars | |
| 1 (Function) | Common.Identifiers |
| 2 (Function) | IR.Constraint.Canonical |
| fresh | IR.Constraint.UnionFind |
| freshAnnVar | IR.Constraint.Monad |
| freshLabel | Codegen.Codegen |
| freshName | IR.Constraint.Monad |
| freshVar | IR.Constraint.Monad |
| fromAnnotations | IR.Types.Type, IR.Types |
| fromId | Common.Identifiers |
| fromList | IR.Pattern.Vector |
| fromPatVec | IR.Pattern.Matrix |
| fromPatVecs | IR.Pattern.Matrix |
| fromScheme | IR.Constraint.Instantiate |
| fromString | Common.Identifiers, Common.Compiler |
| fuse | Common.Pretty |
| FusionDepth | Common.Pretty |
| genBinop | Codegen.Codegen |
| genEnter | Codegen.Codegen |
| generalize | IR.Constraint.Solve |
| genExpr | Codegen.Codegen |
| genExtern | Codegen.Codegen |
| GenFn | |
| 1 (Type/Class) | Codegen.Codegen |
| 2 (Data Constructor) | Codegen.Codegen |
| GenFnState | |
| 1 (Type/Class) | Codegen.Codegen |
| 2 (Data Constructor) | Codegen.Codegen |
| genId | Common.Identifiers |
| genInitProgram | Codegen.Codegen |
| genLiteral | Codegen.Codegen |
| genLiteralRaw | Codegen.Codegen |
| genLocals | Codegen.Codegen |
| genParams | Codegen.Codegen |
| genParArgs | Codegen.Codegen |
| genPrim | Codegen.Codegen |
| genPrimOp | Codegen.Codegen |
| genProgram | Codegen.Codegen |
| genStaticClosure | Codegen.Codegen |
| genStep | Codegen.Codegen |
| genStruct | Codegen.Codegen |
| genTmp | Codegen.Codegen |
| genTrigs | Codegen.Codegen |
| genTypes | Codegen.Typegen |
| genYield | Codegen.Codegen |
| get | IR.Constraint.UnionFind |
| getDConInfo | IR.Constraint.Monad |
| getExtern | IR.Constraint.Monad |
| getFresh | Codegen.Codegen |
| getKind | IR.Constraint.Monad |
| getsDCon | Codegen.Codegen |
| getsTCon | Codegen.Codegen |
| getTopCDefs | Front.Ast |
| getTopDataDef | Front.Ast |
| getTopExtern | Front.Ast |
| getTops | Front.Ast |
| getTopTypeDef | Front.Ast |
| getType | IR.Types.Type, IR.Types |
| getVarNamesMark | IR.Constraint.Type |
| group | Common.Pretty |
| guardedUnify | IR.Constraint.Unify |
| hang | Common.Pretty |
| hardline | Common.Pretty |
| hasCompleteCons | IR.Pattern.Anomaly |
| HasFreeVars | Common.Identifiers |
| HasType | IR.Types.Type, IR.Types |
| has_children | Codegen.LibSSM |
| hcat | Common.Pretty |
| hd | |
| 1 (Function) | IR.Pattern.Vector |
| 2 (Function) | IR.Pattern.Matrix |
| Header | IR.Constraint.Constrain.Pattern |
| heap_ptr | Codegen.LibSSM |
| Hole | IR.Types.Type, IR.Types |
| hsep | Common.Pretty |
| I16 | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| i16 | IR.Constraint.Type |
| I32 | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| i32 | IR.Constraint.Type |
| I64 | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| i64 | IR.Constraint.Type |
| I8 | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| i8 | IR.Constraint.Type |
| Id | Front.Ast |
| ident | Common.Identifiers |
| Identifiable | Common.Identifiers |
| Identifier | |
| 1 (Type/Class) | Common.Identifiers |
| 2 (Data Constructor) | Common.Identifiers |
| IdKind | Front.Identifiers |
| IfElse | Front.Ast |
| includes | Codegen.Codegen |
| indent | Common.Pretty |
| indentNo | Common.Pretty |
| Infinite | IR.Constraint.Error |
| InfiniteType | IR.Constraint.Error |
| Infixl | Front.Ast, Front.ParseOperators |
| Infixr | Front.Ast, Front.ParseOperators |
| inject | IR.IR |
| injectMore | IR.IR |
| insertRefCounting | IR.InsertRefCounting |
| instProgram | IR.ClassInstantiation |
| internalErr | Front.Scanner |
| INTERNAL_ERROR | Codegen.LibSSM |
| introduce | IR.Constraint.Solve |
| INVALID_MEMORY | Codegen.LibSSM |
| INVALID_TIME | Codegen.LibSSM |
| isCons | Common.Identifiers |
| isGenerated | Common.Identifiers |
| isGeneric | IR.Constraint.Solve |
| isInt | IR.Types.Type, IR.Types |
| isNum | IR.Types.Type, IR.Types |
| isReserved | Common.Identifiers |
| IsString | Common.Identifiers |
| isUInt | IR.Types.Type, IR.Types |
| isValue | IR.IR |
| isVar | Common.Identifiers |
| Kind | |
| 1 (Type/Class) | IR.Types.Type, IR.Types |
| 2 (Type/Class) | IR.Constraint.Canonical |
| label_ | Codegen.LibSSM |
| Lambda | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| langle | Common.Pretty |
| larrow | Common.Pretty |
| Last | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| later | Codegen.LibSSM |
| layoutCompact | Common.Pretty |
| LayoutOptions | |
| 1 (Type/Class) | Common.Pretty |
| 2 (Data Constructor) | Common.Pretty |
| layoutPageWidth | Common.Pretty |
| layoutPretty | Common.Pretty |
| layoutSmart | Common.Pretty |
| lbrace | Common.Pretty |
| lbracket | Common.Pretty |
| leave | Codegen.LibSSM |
| leave_label | Codegen.LibSSM |
| Let | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| lexerForHappy | Front.Scanner |
| LexError | Common.Compiler |
| liftEither | Common.Compiler |
| liftErr | Front.Scanner |
| liftProgramLambdas | IR.LambdaLift |
| line | Common.Pretty |
| line' | Common.Pretty |
| List | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| list | |
| 1 (Function) | Common.Pretty |
| 2 (Function) | IR.Constraint.Type |
| listen | Common.Compiler |
| ListExpr | Front.Ast |
| Lit | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| LitChar | Front.Ast |
| Literal | |
| 1 (Type/Class) | Front.Ast |
| 2 (Type/Class) | IR.IR |
| LitEvent | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| LitInt | Front.Ast |
| LitIntegral | IR.IR |
| LitRat | Front.Ast |
| LitString | Front.Ast |
| lookupPrim | IR.Constraint.Constrain.Expression |
| Loop | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| lower | IR |
| lowerProgram | IR.LowerAst |
| lparen | Common.Pretty |
| makeCopy | IR.Constraint.Solve |
| makeCopyHelp | IR.Constraint.Solve |
| mangle | Common.Identifiers |
| mangleProgram | IR.MangleNames |
| mangleVars | Common.Identifiers |
| Mark | |
| 1 (Type/Class) | IR.Constraint.Type |
| 2 (Data Constructor) | IR.Constraint.Type |
| marshal | Codegen.LibSSM |
| Match | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| maxWait | Codegen.Codegen |
| merge | IR.Constraint.Unify |
| mismatch | IR.Constraint.Unify |
| mkDConMap | IR.Constraint.Monad |
| mkDescriptor | IR.Constraint.Type |
| mkFlexVar | IR.Constraint.Type |
| mkIRFlexVar | IR.Constraint.Type |
| mkRigidVar | IR.Constraint.Type |
| mkTCState | IR.Constraint.Monad |
| Mode | |
| 1 (Type/Class) | Front |
| 2 (Type/Class) | Codegen |
| 3 (Type/Class) | IR |
| mode | |
| 1 (Function) | Codegen |
| 2 (Function) | IR |
| modify | IR.Constraint.UnionFind |
| MonadError | Common.Compiler |
| MonadWriter | Common.Compiler |
| NameError | Common.Compiler |
| NameWarning | Common.Compiler |
| ncol | |
| 1 (Function) | IR.Pattern.Vector |
| 2 (Function) | IR.Pattern.Matrix |
| nest | Common.Pretty |
| nesting | Common.Pretty |
| never | Codegen.LibSSM |
| New | IR.IR |
| new_adt | Codegen.LibSSM |
| new_closure | Codegen.LibSSM |
| new_sv | Codegen.LibSSM |
| new_time | Codegen.LibSSM |
| nextCase | Codegen.Codegen |
| nextMark | IR.Constraint.Type |
| NextOp | Front.Ast |
| nil | Common.Identifiers |
| NoExpr | Front.Ast |
| noMark | IR.Constraint.Type |
| nope | Codegen.Codegen |
| noRank | IR.Constraint.Type |
| normalizeId | IR.MangleNames |
| NOT_READY | Codegen.LibSSM |
| Now | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| now | Codegen.LibSSM |
| nrow | IR.Pattern.Matrix |
| occurs | |
| 1 (Function) | IR.Constraint.Occurs |
| 2 (Function) | IR.Constraint.Solve |
| occursMark | IR.Constraint.Type |
| Ok | IR.Constraint.Unify |
| onSuccess | IR.Constraint.Unify |
| on_heap | Codegen.LibSSM |
| OpRegion | |
| 1 (Type/Class) | Front.Ast |
| 2 (Data Constructor) | Front.Ast |
| optimizePar | IR.OptimizePar |
| Options | |
| 1 (Type/Class) | Front |
| 2 (Data Constructor) | Front |
| 3 (Type/Class) | Codegen |
| 4 (Data Constructor) | Codegen |
| 5 (Type/Class) | IR |
| 6 (Data Constructor) | IR |
| options | |
| 1 (Function) | Front |
| 2 (Function) | Codegen |
| 3 (Function) | IR |
| optMode | Front |
| outermostRank | IR.Constraint.Type |
| packed_val | Codegen.LibSSM |
| PageWidth | Common.Pretty |
| pageWidth | Common.Pretty |
| Par | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| parens | Common.Pretty |
| parseAst | Front |
| ParseError | Common.Compiler |
| parseOperators | Front.ParseOperators |
| parseProgram | Front.Parser |
| Pass | |
| 1 (Type/Class) | Common.Compiler |
| 2 (Data Constructor) | Common.Compiler |
| pass | Common.Compiler |
| passIO | Common.Compiler |
| Pat | Front.Ast |
| PatAnn | Front.Ast |
| PatApp | Front.Ast |
| PatAs | Front.Ast |
| PatId | Front.Ast |
| PatLit | Front.Ast |
| PatMat | |
| 1 (Type/Class) | IR.Pattern.Matrix |
| 2 (Data Constructor) | IR.Pattern.Matrix |
| PatternError | Common.Compiler |
| PatternWarning | Common.Compiler |
| PatTup | Front.Ast |
| PatVec | |
| 1 (Type/Class) | IR.Pattern.Vector |
| 2 (Data Constructor) | IR.Pattern.Vector |
| PatWildcard | Front.Ast |
| pickId | IR.MangleNames |
| pipe | Common.Pretty |
| plural | Common.Pretty |
| Point | IR.Constraint.UnionFind |
| Pools | IR.Constraint.Solve |
| poolToRankTable | IR.Constraint.Solve |
| Pretty | Common.Pretty |
| pretty | Common.Pretty |
| prettyList | Common.Pretty |
| prettyTokens | Front.Token |
| Prim | IR.IR |
| PrimAdd | IR.IR |
| PrimBitAnd | IR.IR |
| PrimBitNot | IR.IR |
| PrimBitOr | IR.IR |
| PrimDiv | IR.IR |
| PrimEq | IR.IR |
| PrimGe | IR.IR |
| PrimGt | IR.IR |
| Primitive | IR.IR |
| PrimLe | IR.IR |
| PrimLt | IR.IR |
| PrimMod | IR.IR |
| PrimMul | IR.IR |
| PrimNeg | IR.IR |
| PrimNeq | IR.IR |
| PrimNot | IR.IR |
| PrimOp | |
| 1 (Data Constructor) | IR.IR |
| 2 (Type/Class) | IR.IR |
| PrimSub | IR.IR |
| printConstraint | IR.Constraint.PrettyPrint |
| priority_t | Codegen.LibSSM |
| Program | |
| 1 (Type/Class) | Front.Ast |
| 2 (Data Constructor) | Front.Ast |
| 3 (Type/Class) | IR.IR |
| 4 (Data Constructor) | IR.IR |
| programDefs | IR.IR |
| programEntry | IR.IR |
| program_exit | Codegen.LibSSM |
| program_init | Codegen.LibSSM |
| punctuate | Common.Pretty |
| rangle | Common.Pretty |
| rarrow | Common.Pretty |
| rbrace | Common.Pretty |
| rbracket | Common.Pretty |
| read_time | Codegen.LibSSM |
| reAnnotate | Common.Pretty |
| reAnnotateS | Common.Pretty |
| redundant | IR.Constraint.UnionFind |
| Ref | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| ref | IR.Constraint.Type |
| register | IR.Constraint.Solve |
| removeTrailingWhitespace | Common.Pretty |
| Reserved | Front.Identifiers |
| reserved | Common.Identifiers |
| restore | IR.Constraint.Solve |
| restoreContent | IR.Constraint.Solve |
| ret_val | Codegen.LibSSM |
| RigidMap | IR.Constraint.Constrain.Annotation |
| RigidVar | |
| 1 (Data Constructor) | IR.Constraint.Error |
| 2 (Data Constructor) | IR.Constraint.Type |
| root_depth | Codegen.LibSSM |
| root_priority | Codegen.LibSSM |
| rparen | Common.Pretty |
| run | |
| 1 (Function) | Front |
| 2 (Function) | Codegen |
| 3 (Function) | IR.Constraint.Solve |
| 4 (Function) | IR.Constraint.Elaborate |
| 5 (Function) | IR.Constraint.Constrain |
| 6 (Function) | IR |
| runAlex | Front.Scanner |
| runAnomalyFn | IR.Pattern.Anomaly |
| runGenFn | Codegen.Codegen |
| runPass | Common.Compiler |
| runTC | IR.Constraint.Monad |
| samplePat | IR.Pattern.Anomaly |
| SAnnPop | Common.Pretty |
| SAnnPush | Common.Pretty |
| scanTokens | Front.Scanner |
| scanTokenTypes | Front.Scanner |
| SChar | Common.Pretty |
| Scheme | |
| 1 (Type/Class) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Types.Type, IR.Types |
| 3 (Type/Class) | IR.Constraint.Canonical |
| SchemeOf | IR.Types.Type, IR.Types |
| schemeOf | |
| 1 (Function) | IR.Types.Type, IR.Types |
| 2 (Function) | IR.Constraint.Canonical |
| schemeToVar | IR.Constraint.Solve |
| schemeToVariable | IR.Constraint.Solve |
| ScopeError | Common.Compiler |
| scopeProgram | Front.Scope |
| segmentDefs | IR.SegmentLets |
| segmentDefs' | IR.SegmentLets |
| segmentLets | IR.SegmentLets |
| semi | Common.Pretty |
| SEmpty | Common.Pretty |
| sensitize | Codegen.LibSSM |
| sep | Common.Pretty |
| Seq | Front.Ast |
| set | IR.Constraint.UnionFind |
| SFail | Common.Pretty |
| Shallow | Common.Pretty |
| shl | Codegen.LibSSM |
| showId | |
| 1 (Function) | Common.Identifiers |
| 2 (Function) | IR.Pattern.Anomaly |
| showSet | IR.Pattern.Anomaly |
| shr | Codegen.LibSSM |
| SimpleDocStream | Common.Pretty |
| simplifyProgram | IR.Simplify |
| singleCol | IR.Pattern.Matrix |
| singleRow | IR.Pattern.Matrix |
| singleton | IR.Pattern.Vector |
| Size16 | Codegen.LibSSM |
| Size32 | Codegen.LibSSM |
| Size64 | Codegen.LibSSM |
| Size8 | Codegen.LibSSM |
| size_to_int | Codegen.LibSSM |
| size_to_string | Codegen.LibSSM |
| slash | Common.Pretty |
| SLine | Common.Pretty |
| softline | Common.Pretty |
| softline' | Common.Pretty |
| solve | IR.Constraint.Solve |
| space | Common.Pretty |
| spaghetti | Common.Pretty |
| Span | |
| 1 (Type/Class) | Front.Token, Front.Scanner |
| 2 (Data Constructor) | Front.Token, Front.Scanner |
| specialize | IR.Pattern.Vector |
| specializeCons | IR.Pattern.Matrix |
| specializeLit | IR.Pattern.Matrix |
| specializeWild | IR.Pattern.Vector |
| sprinkleVariables | IR.Constraint.Constrain |
| squote | Common.Pretty |
| squotes | Common.Pretty |
| SSMError | Codegen.LibSSM |
| star | Codegen.LibSSM |
| State | |
| 1 (Type/Class) | IR.Constraint.Solve |
| 2 (Data Constructor) | IR.Constraint.Solve |
| 3 (Type/Class) | IR.Constraint.Constrain.Annotation |
| 4 (Data Constructor) | IR.Constraint.Constrain.Annotation |
| 5 (Type/Class) | IR.Constraint.Constrain.Pattern |
| 6 (Data Constructor) | IR.Constraint.Constrain.Pattern |
| static_closure | Codegen.LibSSM |
| static_value | Codegen.LibSSM |
| stdin_handler_kill | Codegen.LibSSM |
| stdin_handler_spawn | Codegen.LibSSM |
| stdout_handler_enter | Codegen.LibSSM |
| step_ | Codegen.LibSSM |
| SText | Common.Pretty |
| Structure | IR.Constraint.Type |
| substMagic | IR.SubstMagic |
| subUnify | IR.Constraint.Unify |
| surround | Common.Pretty |
| sv_last_updated | Codegen.LibSSM |
| sv_t | Codegen.LibSSM |
| SymInfo | |
| 1 (Type/Class) | IR.IR |
| 2 (Data Constructor) | IR.IR |
| symOrigin | IR.IR |
| SymTable | IR.IR |
| symTable | IR.IR |
| symType | IR.IR |
| syntaxErr | Front.Scanner |
| TAfter | Front.Token, Front.Scanner |
| TAmpersand | Front.Token, Front.Scanner |
| TApp | Front.Ast |
| targs | IR.IR |
| TArrow | Front.Ast |
| TAt | Front.Token, Front.Scanner |
| TAtAt | Front.Token, Front.Scanner |
| TBar | Front.Token, Front.Scanner |
| TBreak | Front.Token, Front.Scanner |
| TC | IR.Constraint.Monad |
| TCBlock | Front.Token, Front.Scanner |
| TColon | Front.Token, Front.Scanner |
| TComma | Front.Token, Front.Scanner |
| TCon | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
| TCon1 | IR.Constraint.Type |
| TConId | |
| 1 (Type/Class) | Common.Identifiers, IR.IR |
| 2 (Data Constructor) | Common.Identifiers, IR.IR |
| TConInfo | |
| 1 (Type/Class) | Codegen.Typegen |
| 2 (Data Constructor) | Codegen.Typegen |
| tconInfo | Codegen.Typegen |
| TConN | IR.Constraint.Type |
| TCQuote | Front.Token, Front.Scanner |
| tCSet | IR.Pattern.Common |
| TCState | |
| 1 (Type/Class) | IR.Constraint.Monad |
| 2 (Data Constructor) | IR.Constraint.Monad |
| TCSym | Front.Token, Front.Scanner |
| TDBar | Front.Token, Front.Scanner |
| TDo | Front.Token, Front.Scanner |
| TDRarrow | Front.Token, Front.Scanner |
| tell | Common.Compiler |
| TElse | Front.Token, Front.Scanner |
| TEOF | Front.Token, Front.Scanner |
| TEq | Front.Token, Front.Scanner |
| termToCanType | IR.Constraint.Type |
| termToErrorType | IR.Constraint.Type |
| TExtern | Front.Token, Front.Scanner |
| textWidth | Codegen |
| TFun | Front.Token, Front.Scanner |
| throw | Codegen.LibSSM |
| throwError | |
| 1 (Function) | Common.Compiler |
| 2 (Function) | IR.Constraint.Monad |
| throwMalformedError | IR.Pattern.Anomaly |
| TId | Front.Token, Front.Scanner |
| TIf | Front.Token, Front.Scanner |
| Time | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| time | IR.Constraint.Type |
| time_obj_t | Codegen.LibSSM |
| time_t | Codegen.LibSSM |
| TInfo | |
| 1 (Type/Class) | IR.Pattern.Common |
| 2 (Data Constructor) | IR.Pattern.Common |
| TInteger | Front.Token, Front.Scanner |
| tl | IR.Pattern.Vector |
| TLarrow | Front.Token, Front.Scanner |
| TLbrace | Front.Token, Front.Scanner |
| TLbracket | Front.Token, Front.Scanner |
| TLet | Front.Token, Front.Scanner |
| TLoop | Front.Token, Front.Scanner |
| TLparen | Front.Token, Front.Scanner |
| TMatch | Front.Token, Front.Scanner |
| tmp_ | Codegen.LibSSM |
| tName | IR.Pattern.Common |
| TNow | Front.Token, Front.Scanner |
| toCanType | IR.Constraint.Type |
| todo | |
| 1 (Function) | Common.Compiler |
| 2 (Function) | Codegen.Codegen |
| toErrorString | IR.Constraint.Error |
| toErrorType | IR.Constraint.Type |
| tokCol | Front.Token, Front.Scanner |
| Token | |
| 1 (Type/Class) | Front.Token, Front.Scanner |
| 2 (Data Constructor) | Front.Token, Front.Scanner |
| TokenType | Front.Token, Front.Scanner |
| tokenType | Front.Token |
| tokLen | Front.Token, Front.Scanner |
| tokLine | Front.Token, Front.Scanner |
| tokPos | Front.Token, Front.Scanner |
| toList | |
| 1 (Function) | IR.Pattern.Vector |
| 2 (Function) | IR.Pattern.Matrix |
| TOp | Front.Token, Front.Scanner |
| TopCDefs | Front.Ast |
| TopDef | |
| 1 (Type/Class) | Front.Ast |
| 2 (Data Constructor) | Front.Ast |
| TopExtern | Front.Ast |
| TopType | Front.Ast |
| top_parent | Codegen.LibSSM |
| to_act | Codegen.LibSSM |
| to_sv | Codegen.LibSSM |
| TPar | Front.Token, Front.Scanner |
| transform | IR |
| TRarrow | Front.Token, Front.Scanner |
| traverseFlatType | IR.Constraint.Solve |
| TRbrace | Front.Token, Front.Scanner |
| TRbracket | Front.Token, Front.Scanner |
| trigger_t | Codegen.LibSSM |
| trig_ | Codegen.LibSSM |
| TRparen | Front.Token, Front.Scanner |
| TSemicolon | Front.Token, Front.Scanner |
| TString | Front.Token, Front.Scanner |
| TTuple | Front.Ast |
| TType | Front.Token, Front.Scanner |
| TUnderscore | Front.Token, Front.Scanner |
| Tuple | Front.Ast |
| tuple | |
| 1 (Function) | IR.Types.Type, IR.Types |
| 2 (Function) | IR.Constraint.Canonical |
| tupled | Common.Pretty |
| tupleId | IR.Types.Type, IR.Types |
| TVar | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
| TVarId | |
| 1 (Type/Class) | Common.Identifiers |
| 2 (Data Constructor) | Common.Identifiers |
| TVarIdx | |
| 1 (Type/Class) | Common.Identifiers |
| 2 (Data Constructor) | Common.Identifiers |
| TVarN | IR.Constraint.Type |
| TWait | Front.Token, Front.Scanner |
| TWhile | Front.Token, Front.Scanner |
| Typ | Front.Ast |
| TypAnn | Front.Ast |
| Type | |
| 1 (Type/Class) | IR.Constraint.Error |
| 2 (Data Constructor) | IR.Constraint.Error |
| 3 (Type/Class) | IR.Types.Type, IR.Types, IR.IR, IR.Constraint.Canonical |
| 4 (Type/Class) | IR.Constraint.Type |
| typeAnn | Common.Pretty |
| typecheck | IR |
| typecheckProgram | IR.Constraint.Typechecking |
| TypeDef | |
| 1 (Type/Class) | Front.Ast |
| 2 (Data Constructor) | Front.Ast |
| 3 (Type/Class) | IR.IR |
| 4 (Data Constructor) | IR.IR |
| typeDefs | IR.IR |
| typeEncoding | Codegen.Typegen |
| TypeError | Common.Compiler |
| typeError | Common.Compiler |
| TypegenInfo | |
| 1 (Type/Class) | Codegen.Typegen |
| 2 (Data Constructor) | Codegen.Typegen |
| typeMap | IR.Pattern.Anomaly |
| typeName | Front.Ast |
| typeParams | Front.Ast |
| typeScrut | Codegen.Typegen |
| typeToVar | IR.Constraint.Solve |
| typeToVariable | IR.Constraint.Solve |
| TypeVariant | |
| 1 (Type/Class) | Front.Ast |
| 2 (Type/Class) | IR.IR |
| typeVariants | Front.Ast |
| TypeWarning | Common.Compiler |
| TypFn | Front.Ast |
| TypInfo | |
| 1 (Type/Class) | Front.Identifiers |
| 2 (Data Constructor) | Front.Identifiers |
| typKind | Front.Identifiers |
| TypNone | Front.Ast |
| TypProper | Front.Ast |
| TypReturn | Front.Ast |
| U16 | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| u16 | IR.Constraint.Type |
| U32 | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| u32 | IR.Constraint.Type |
| U64 | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| u64 | IR.Constraint.Type |
| U8 | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| u8 | IR.Constraint.Type |
| unAlex | Front.Scanner |
| unAnnotate | Common.Pretty |
| unAnnotateS | Common.Pretty |
| unAnnotations | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
| Unbounded | Common.Pretty |
| uncarryAttachment | IR.Constraint.Type |
| undef | Codegen.Codegen |
| unexpected | Common.Compiler |
| UnexpectedError | Common.Compiler |
| unfoldApp | IR.IR |
| unfoldArrow | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
| unfoldLambda | IR.IR |
| ungenId | Common.Identifiers |
| Unify | |
| 1 (Type/Class) | IR.Constraint.Unify |
| 2 (Data Constructor) | IR.Constraint.Unify |
| unify | IR.Constraint.Unify |
| unifyArgs | IR.Constraint.Unify |
| unifyFlex | IR.Constraint.Unify |
| unifyRigid | IR.Constraint.Unify |
| unifyStructure | IR.Constraint.Unify |
| UnimplementedError | Common.Compiler |
| uninitializedSymTable | IR.IR |
| union | IR.Constraint.UnionFind |
| Unit | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| unit | |
| 1 (Function) | Codegen.Codegen |
| 2 (Function) | IR.Constraint.Type |
| unmarshal | Codegen.LibSSM |
| unsafeViaShow | Common.Pretty |
| unScheme | IR.Types.Type, IR.Types |
| useful | IR.Pattern.Anomaly |
| usefulInductive | IR.Pattern.Anomaly |
| User | Front.Identifiers |
| value_t | Codegen.LibSSM |
| Var | IR.IR |
| Variable | IR.Constraint.Type |
| variantFields | IR.IR |
| VariantNamed | IR.IR |
| variants | IR.IR |
| VariantUnnamed | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| VarId | |
| 1 (Type/Class) | Common.Identifiers, IR.IR |
| 2 (Data Constructor) | Common.Identifiers, IR.IR |
| vcat | Common.Pretty |
| viaShow | Common.Pretty |
| vsep | Common.Pretty |
| Wait | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.IR |
| warn | Common.Compiler |
| Warning | Common.Compiler |
| While | Front.Ast |
| width | Common.Pretty |
| withAnnotations | IR.Constraint.Constrain.Annotation |
| withBindings | Codegen.Codegen |
| withNewLocal | Codegen.Codegen |
| word_t | Codegen.LibSSM |
| writer | Common.Compiler |
| _binderId | IR.IR |
| _binderType | IR.IR |
| _bodyCon | IR.Constraint.Type |
| _content | IR.Constraint.Type |
| _copy | IR.Constraint.Type |
| _dconMap | IR.Constraint.Monad |
| _env | IR.Constraint.Solve |
| _errors | IR.Constraint.Solve |
| _externMap | IR.Constraint.Monad |
| _first | IR.Constraint.Unify |
| _firstDesc | IR.Constraint.Unify |
| _flex | IR.Constraint.Constrain.Annotation |
| _flexVars | IR.Constraint.Type |
| _freshCtr | IR.Constraint.Monad |
| _header | IR.Constraint.Type |
| _headerCon | IR.Constraint.Type |
| _headers | IR.Constraint.Constrain.Pattern |
| _kindMap | IR.Constraint.Monad |
| _mark | |
| 1 (Function) | IR.Constraint.Type |
| 2 (Function) | IR.Constraint.Solve |
| _rank | IR.Constraint.Type |
| _revCons | IR.Constraint.Constrain.Pattern |
| _rigidMap | IR.Constraint.Constrain.Annotation |
| _rigidVars | IR.Constraint.Type |
| _second | IR.Constraint.Unify |
| _secondDesc | IR.Constraint.Unify |
| _vars | IR.Constraint.Constrain.Pattern |