| ! | Disco.Util |
| $+$ | Disco.Pretty.DSL, Disco.Pretty |
| %= | Disco.Effects.State |
| .- | Disco.Names |
| .= | Disco.Effects.State |
| :*: | Disco.Types |
| :+: | Disco.Types |
| :->: | Disco.Types |
| :<: | Disco.Typecheck.Solve |
| :=: | Disco.Typecheck.Solve |
| <+> | Disco.Pretty.DSL, Disco.Pretty |
| <> | Disco.Pretty.DSL, Disco.Pretty |
| ==> | Disco.Util |
| @@ | Disco.Subst |
| ABase | Disco.Types |
| ABinding | |
| 1 (Type/Class) | Disco.AST.Typed |
| 2 (Data Constructor) | Disco.AST.Typed |
| ABranch | |
| 1 (Type/Class) | Disco.AST.Typed |
| 2 (Data Constructor) | Disco.Exhaustiveness |
| absorbFresh | Disco.Effects.Fresh |
| absorbLFresh | Disco.Effects.LFresh |
| Action | |
| 1 (Type/Class) | Disco.Effects.LFresh |
| 2 (Data Constructor) | Disco.Effects.LFresh |
| 3 (Type/Class) | Disco.Effects.Fresh |
| 4 (Data Constructor) | Disco.Effects.Fresh |
| Add | Disco.Syntax.Operators |
| addConstraint | Disco.Exhaustiveness.Constraint |
| addConstraintHelper | Disco.Exhaustiveness.Constraint |
| addConstraints | Disco.Exhaustiveness.Constraint |
| addExtension | Disco.Extensions |
| addLiteral | Disco.Exhaustiveness |
| addLitMulti | Disco.Exhaustiveness |
| addSkolems | Disco.Typecheck.Solve |
| addToREPLModule | Disco.Eval |
| AGBool | Disco.AST.Typed |
| AGLet | Disco.AST.Typed |
| AGPat | Disco.AST.Typed |
| AGrhs | Disco.Exhaustiveness |
| AGuard | Disco.AST.Typed |
| ALink | Disco.AST.Typed |
| alistLookup | Disco.Exhaustiveness.Constraint |
| All | Disco.AST.Generic, Disco.AST.Surface |
| allBySort | Disco.Typecheck.Solve |
| allCombinations | Disco.Exhaustiveness.Possibilities |
| allExts | Disco.Extensions |
| allExtsList | Disco.Extensions |
| allocate | Disco.Value |
| allocateRec | Disco.Value |
| allocateValue | Disco.Value |
| allTydefs | Disco.Module |
| allTys | Disco.Module |
| Ambiguous | Disco.Typecheck.Util |
| And | Disco.Syntax.Operators |
| angles | Disco.Parser |
| Ant | Disco.Exhaustiveness |
| anyOf | Disco.Exhaustiveness.Possibilities |
| APAdd | Disco.AST.Typed |
| APattern | Disco.AST.Typed |
| APBool | Disco.AST.Typed |
| APChar | Disco.AST.Typed |
| APCons | Disco.AST.Typed |
| APFrac | Disco.AST.Typed |
| APInj | Disco.AST.Typed |
| APList | Disco.AST.Typed |
| APMul | Disco.AST.Typed |
| APNat | Disco.AST.Typed |
| APNeg | Disco.AST.Typed |
| applySubst | Disco.Subst |
| AProperty | Disco.AST.Typed |
| APString | Disco.AST.Typed |
| APSub | Disco.AST.Typed |
| APTup | Disco.AST.Typed |
| APUnit | Disco.AST.Typed |
| APVar | Disco.AST.Typed |
| APWild | Disco.AST.Typed |
| AQBind | Disco.AST.Typed |
| AQGuard | Disco.AST.Typed |
| AQual | Disco.AST.Typed |
| arity | Disco.Types.Rules |
| ascrPA | Disco.Pretty.Prec, Disco.Pretty |
| assoc | Disco.Syntax.Operators |
| assocs | Disco.Context |
| AssocsStore | Disco.Effects.Store |
| assocsStore | Disco.Effects.Store |
| assumeExampleChar | Disco.Exhaustiveness |
| ATAbs | Disco.AST.Typed |
| ATApp | Disco.AST.Typed |
| ATBool | Disco.AST.Typed |
| ATCase | Disco.AST.Typed |
| ATChain | Disco.AST.Typed |
| ATChar | Disco.AST.Typed |
| ATContainer | Disco.AST.Typed |
| ATContainerComp | Disco.AST.Typed |
| ATerm | Disco.AST.Typed |
| ATLet | Disco.AST.Typed |
| ATLink | Disco.AST.Typed |
| ATList | Disco.AST.Typed |
| ATListComp | Disco.AST.Typed |
| ATNat | Disco.AST.Typed |
| Atom | Disco.Types |
| atomToTypeSubst | Disco.Types |
| ATPrim | Disco.AST.Typed |
| ATRat | Disco.AST.Typed |
| ATString | Disco.AST.Typed |
| ATTest | Disco.AST.Typed |
| ATTup | Disco.AST.Typed |
| ATTyOp | Disco.AST.Typed |
| ATUnit | Disco.AST.Typed |
| ATVar | Disco.AST.Typed |
| AVar | Disco.Types |
| Avoid | Disco.Effects.LFresh |
| avoid | Disco.Effects.LFresh |
| avoid_ | Disco.Effects.LFresh |
| B | Disco.Types |
| bag | Disco.Pretty.DSL, Disco.Pretty |
| BagContainer | Disco.AST.Generic, Disco.AST.Desugared, Disco.AST.Surface, Disco.AST.Typed |
| baseRels | Disco.Typecheck.Solve |
| BaseTy | Disco.Types |
| BFixity | Disco.Syntax.Operators |
| Binder_ | Disco.AST.Generic |
| Binding | |
| 1 (Type/Class) | Disco.AST.Surface |
| 2 (Data Constructor) | Disco.AST.Surface |
| Binding_ | |
| 1 (Type/Class) | Disco.AST.Generic |
| 2 (Data Constructor) | Disco.AST.Generic |
| Blackhole | Disco.Value |
| bool | Disco.Exhaustiveness.TypeInfo |
| boolv | Disco.Value |
| BOp | Disco.Syntax.Operators |
| BOpF | Disco.Syntax.Operators |
| bopMap | Disco.Syntax.Operators |
| bopQual | Disco.Types.Qualifiers, Disco.Types.Rules |
| bPrec | Disco.Syntax.Operators |
| braces | |
| 1 (Function) | Disco.Pretty.DSL, Disco.Pretty |
| 2 (Function) | Disco.Parser |
| brackets | |
| 1 (Function) | Disco.Pretty.DSL, Disco.Pretty |
| 2 (Function) | Disco.Parser |
| Branch | |
| 1 (Type/Class) | Disco.AST.Surface |
| 2 (Data Constructor) | Disco.Exhaustiveness |
| Branch_ | Disco.AST.Generic |
| breakIf | Disco.Exhaustiveness.Constraint |
| bulletList | Disco.Pretty.DSL, Disco.Pretty |
| C | Disco.Types |
| CAbs | Disco.AST.Core |
| cAbs | Disco.Typecheck |
| CAll | Disco.Typecheck.Constraints |
| CAnd | Disco.Typecheck.Constraints |
| cAnd | Disco.Typecheck.Constraints |
| CApp | Disco.AST.Core |
| CArr | Disco.Types |
| CartProd | Disco.Syntax.Operators |
| CBag | Disco.Types |
| CCase | Disco.AST.Core |
| CConst | Disco.AST.Core |
| CContainer | Disco.Types |
| CDelay | Disco.AST.Core |
| Cell | Disco.Value |
| CEq | Disco.Typecheck.Constraints |
| CESK | Disco.Interpret.CESK |
| cessors | Disco.Typecheck.Graph |
| cExp | Disco.Typecheck |
| CForce | Disco.AST.Core |
| CGraph | Disco.Types |
| char | Disco.Exhaustiveness.TypeInfo |
| charv | Disco.Value |
| Check | Disco.Typecheck |
| check | Disco.Typecheck |
| checkBaseEdge | Disco.Typecheck.Solve |
| checkBaseEdges | Disco.Typecheck.Solve |
| checkClauses | Disco.Exhaustiveness |
| checkCtx | Disco.Typecheck |
| checkCyclicTy | Disco.Typecheck |
| checkDefn | Disco.Typecheck |
| checkFile | Disco.Interactive.CmdLine |
| checkModule | Disco.Typecheck |
| checkPattern | Disco.Typecheck |
| checkPolyRec | Disco.Typecheck |
| checkPolyTy | Disco.Typecheck |
| checkPolyTyValid | Disco.Typecheck |
| checkProperties | Disco.Typecheck |
| checkProperty | Disco.Typecheck |
| checkQual | Disco.Typecheck.Solve |
| checkSkolems | Disco.Typecheck.Solve |
| checkTop | Disco.Typecheck |
| checkTyDefn | Disco.Typecheck |
| checkTypeValid | Disco.Typecheck |
| checkUnboundVars | Disco.Typecheck |
| Choose | Disco.Syntax.Operators |
| CInj | Disco.AST.Core |
| cInt | Disco.Typecheck |
| Clause | Disco.Module |
| ClearStore | Disco.Effects.Store |
| clearStore | Disco.Effects.Store |
| CList | Disco.Types |
| closeType | Disco.Types |
| CMap | Disco.Types |
| CMatch | Disco.Exhaustiveness.Constraint |
| cmdFile | Disco.Interactive.CmdLine |
| CNot | Disco.Exhaustiveness.Constraint |
| CNum | Disco.AST.Core |
| Co | Disco.Types.Rules |
| coerceKeys | Disco.Context |
| colon | Disco.Parser |
| comma | Disco.Parser |
| compileBOp | Disco.Compile |
| compileBranch | Disco.Compile |
| compileCase | Disco.Compile |
| compileDefnGroup | Disco.Compile |
| compileDefns | Disco.Compile |
| compileDTerm | Disco.Compile |
| compileGuards | Disco.Compile |
| compileMatch | Disco.Compile |
| compilePrim | Disco.Compile |
| compilePrimErr | Disco.Compile |
| compileProperty | Disco.Compile |
| compileTerm | Disco.Compile |
| compileThing | Disco.Compile |
| compileUOp | Disco.Compile |
| compose | Disco.Subst |
| Con | Disco.Types |
| conArity | Disco.Typecheck |
| condensation | Disco.Typecheck.Graph |
| conflictsWith | Disco.Exhaustiveness.Constraint |
| Cons | Disco.Syntax.Operators |
| cons | Disco.Exhaustiveness.TypeInfo |
| Constraint | |
| 1 (Type/Class) | Disco.Typecheck.Constraints |
| 2 (Type/Class) | Disco.Exhaustiveness.Constraint |
| constraint | Disco.Typecheck.Util |
| ConstraintFor | Disco.Exhaustiveness.Constraint |
| constraints | Disco.Typecheck.Util |
| Constructors | Disco.Exhaustiveness.TypeInfo |
| Container | Disco.AST.Generic, Disco.AST.Desugared, Disco.AST.Surface, Disco.AST.Typed |
| containerToCon | Disco.Typecheck |
| containerTy | Disco.Typecheck |
| containerVars | Disco.Types |
| Contra | Disco.Types.Rules |
| COr | Disco.Typecheck.Constraints |
| cOr | Disco.Typecheck.Constraints |
| Core | Disco.AST.Core |
| Count | Disco.Syntax.Operators |
| Counter | Disco.Effects.Counter |
| countSolution | Disco.Typecheck.Solve |
| countType | Disco.Types |
| CPair | Disco.AST.Core |
| cPos | Disco.Typecheck |
| CProd | Disco.Types |
| CProj | Disco.AST.Core |
| CQual | Disco.Typecheck.Constraints |
| Crash | Disco.Error |
| CSet | Disco.Types |
| cSize | Disco.Typecheck |
| CSub | Disco.Typecheck.Constraints |
| CSum | Disco.Types |
| CTest | Disco.AST.Core |
| CtrBag | Disco.Types |
| CtrList | Disco.Types |
| CtrSet | Disco.Types |
| CTrue | Disco.Typecheck.Constraints |
| Ctx | Disco.Context |
| ctxForModule | Disco.Context |
| CType | Disco.AST.Core |
| CUnit | Disco.AST.Core |
| CUser | Disco.Types |
| CVar | Disco.AST.Core |
| CWasOriginally | Disco.Exhaustiveness.Constraint |
| CyclicImport | Disco.Error |
| CyclicTyDef | Disco.Typecheck.Util |
| DataCon | |
| 1 (Type/Class) | Disco.Exhaustiveness.TypeInfo |
| 2 (Data Constructor) | Disco.Exhaustiveness.TypeInfo |
| DBinding | |
| 1 (Type/Class) | Disco.AST.Desugared |
| 2 (Data Constructor) | Disco.AST.Desugared |
| DBranch | Disco.AST.Desugared |
| dcIdent | Disco.Exhaustiveness.TypeInfo |
| dcTypes | Disco.Exhaustiveness.TypeInfo |
| DDefn | Disco.AST.Surface |
| Debug | Disco.Messages |
| debug | Disco.Messages |
| debugFlag | Disco.Interactive.CmdLine |
| debugMode | Disco.Eval |
| debugPretty | Disco.Messages |
| Decl | Disco.AST.Surface |
| decomposeConstraint | Disco.Typecheck.Solve |
| decomposeQual | Disco.Typecheck.Solve |
| defaultExts | Disco.Extensions |
| Defn | |
| 1 (Type/Class) | Disco.Module |
| 2 (Data Constructor) | Disco.Module |
| delete | Disco.Typecheck.Graph |
| deleteVM | Disco.Typecheck.Solve |
| desugarBranch | Disco.Desugar |
| desugarClause | Disco.Exhaustiveness |
| desugarDefn | Disco.Desugar |
| desugaredPrimErr | Disco.Compile |
| desugarGuards | Disco.Desugar |
| desugarMatch | Disco.Exhaustiveness |
| desugarProperty | Disco.Desugar |
| desugarTerm | Disco.Desugar |
| desugarTuplePats | Disco.Exhaustiveness |
| DGPat | Disco.AST.Desugared |
| DGuard | Disco.AST.Desugared |
| Diff | Disco.Syntax.Operators |
| digitalExpansion | Disco.Pretty |
| Dir | |
| 1 (Type/Class) | Disco.Types.Rules |
| 2 (Data Constructor) | Disco.Names |
| dirtypes | Disco.Types.Rules |
| dirtypesBySort | Disco.Typecheck.Solve |
| discoCommands | Disco.Interactive.Commands |
| DiscoConfig | Disco.Eval |
| discoConfig | Disco.Eval |
| DiscoEffects | Disco.Eval |
| DiscoError | Disco.Error |
| discoInfo | Disco.Interactive.CmdLine |
| discoMain | Disco.Interactive.CmdLine |
| DiscoOpts | |
| 1 (Type/Class) | Disco.Interactive.CmdLine |
| 2 (Data Constructor) | Disco.Interactive.CmdLine |
| discoOpts | Disco.Interactive.CmdLine |
| DiscoParseError | Disco.Parser |
| dispatch | Disco.Interactive.Commands |
| Div | Disco.Syntax.Operators |
| DivByZero | Disco.Error |
| Divides | Disco.Syntax.Operators |
| Doc | Disco.Pretty |
| DocKey | Disco.Doc |
| docMap | Disco.Doc |
| DocProperty | Disco.AST.Surface |
| Docs | Disco.AST.Surface |
| DocString | Disco.AST.Surface |
| DocThing | Disco.AST.Surface |
| dom | Disco.Subst |
| dot | Disco.Parser |
| doubleQuotes | Disco.Pretty.DSL, Disco.Pretty |
| DPattern | Disco.AST.Desugared |
| DPInj | Disco.AST.Desugared |
| DPPair | Disco.AST.Desugared |
| DProperty | Disco.AST.Desugared |
| DPUnit | Disco.AST.Desugared |
| DPVar | Disco.AST.Desugared |
| DPWild | Disco.AST.Desugared |
| DTAbs | Disco.AST.Desugared |
| DTApp | Disco.AST.Desugared |
| DTBool | Disco.AST.Desugared |
| DTCase | Disco.AST.Desugared |
| DTChar | Disco.AST.Desugared |
| DTerm | Disco.AST.Desugared |
| DTNat | Disco.AST.Desugared |
| DTNil | Disco.AST.Desugared |
| DTPair | Disco.AST.Desugared |
| DTPrim | Disco.AST.Desugared |
| DTRat | Disco.AST.Desugared |
| DTTest | Disco.AST.Desugared |
| DTTyOp | Disco.AST.Desugared |
| DTUnit | Disco.AST.Desugared |
| DTVar | Disco.AST.Desugared |
| DTyDef | Disco.AST.Surface |
| DType | Disco.AST.Surface |
| DuplicateDecls | Disco.Typecheck.Util |
| DuplicateDefns | Disco.Typecheck.Util |
| DuplicateTyDefns | Disco.Typecheck.Util |
| E | Disco.Value |
| edges | Disco.Typecheck.Graph |
| Elem | Disco.Syntax.Operators |
| elems | Disco.Context |
| elimCycles | Disco.Typecheck.Solve |
| elimCyclesGen | Disco.Typecheck.Solve |
| Ellipsis | Disco.AST.Generic, Disco.AST.Surface |
| empty | Disco.Pretty.DSL, Disco.Pretty |
| EmptyCase | Disco.Typecheck.Util |
| emptyCtx | Disco.Context |
| emptyMem | Disco.Value |
| emptyModule | Disco.AST.Surface |
| emptyModuleInfo | Disco.Module |
| emptyTestEnv | Disco.Value |
| ensureConstr | Disco.Typecheck |
| ensureConstr1 | Disco.Typecheck |
| ensureConstr2 | Disco.Typecheck |
| ensureConstrMode | Disco.Typecheck |
| ensureConstrMode1 | Disco.Typecheck |
| ensureConstrMode2 | Disco.Typecheck |
| ensureEq | Disco.Typecheck |
| enumBool | Disco.Enumerate |
| enumC | Disco.Enumerate |
| Enumerate | Disco.Syntax.Operators |
| enumerateType | Disco.Enumerate |
| enumerateTypes | Disco.Enumerate |
| enumF | Disco.Enumerate |
| enumList | Disco.Enumerate |
| enumN | Disco.Enumerate |
| enumQ | Disco.Enumerate |
| enumSet | Disco.Enumerate |
| enumType | Disco.Enumerate |
| enumTypes | Disco.Enumerate |
| enumUnit | Disco.Enumerate |
| enumVoid | Disco.Enumerate |
| enumZ | Disco.Enumerate |
| Env | Disco.Value |
| Eq | Disco.Syntax.Operators |
| equate | Disco.Typecheck.Unify |
| erase | Disco.Typecheck.Erase |
| eraseBinding | Disco.Typecheck.Erase |
| eraseBranch | Disco.Typecheck.Erase |
| eraseClause | Disco.Module |
| eraseDBranch | Disco.Typecheck.Erase |
| eraseDGuard | Disco.Typecheck.Erase |
| eraseDPattern | Disco.Typecheck.Erase |
| eraseDTerm | Disco.Typecheck.Erase |
| eraseGuard | Disco.Typecheck.Erase |
| eraseLink | Disco.Typecheck.Erase |
| erasePattern | Disco.Typecheck.Erase |
| eraseProperty | Disco.Typecheck.Erase |
| eraseQual | Disco.Typecheck.Erase |
| err | Disco.Messages |
| ErrMsg | Disco.Messages |
| eval | Disco.Interpret.CESK |
| evalApp | Disco.Interpret.CESK |
| EvalEffects | Disco.Eval |
| EvalErr | Disco.Error |
| EvalError | Disco.Error |
| evalLazyState | Disco.Effects.State |
| evalState | Disco.Effects.State |
| evaluate | Disco.Interactive.CmdLine |
| Ex | Disco.AST.Generic, Disco.AST.Surface |
| ExamplePat | |
| 1 (Type/Class) | Disco.Exhaustiveness |
| 2 (Data Constructor) | Disco.Exhaustiveness |
| exampleToDiscoPattern | Disco.Exhaustiveness |
| execLazyState | Disco.Effects.State |
| execState | Disco.Effects.State |
| Exhaustive | Disco.Value |
| Exp | Disco.Syntax.Operators |
| Ext | Disco.Extensions |
| extend | Disco.Context |
| extendPropEnv | Disco.Value |
| extendResultEnv | Disco.Value |
| extends | Disco.Context |
| extendSort | Disco.Typecheck.Solve |
| ExtSet | Disco.Extensions |
| F | Disco.Types |
| Fact | Disco.Syntax.Operators |
| filter | Disco.Context |
| filterDups | Disco.Typecheck |
| filterErrors | Disco.Typecheck.Solve |
| filterNE | Disco.Util |
| findAllForNref | Disco.Exhaustiveness |
| findAllPosForNref | Disco.Exhaustiveness |
| findInhabitants | Disco.Exhaustiveness |
| findPosExamples | Disco.Exhaustiveness |
| findRedundant | Disco.Exhaustiveness |
| findRep | Disco.Pretty |
| findRep' | Disco.Pretty |
| findVarInhabitants | Disco.Exhaustiveness |
| findVarPosExamples | Disco.Exhaustiveness |
| Finite | Disco.Exhaustiveness.TypeInfo |
| foldTelescope | Disco.AST.Generic, Disco.AST.Surface |
| for | Disco.Util |
| Forall | Disco.Types |
| forAll | Disco.Typecheck.Util |
| ForallGuard | Disco.AST.Generic |
| ForallLink | Disco.AST.Generic |
| ForallPattern | Disco.AST.Generic |
| ForallQual | Disco.AST.Generic |
| ForallTerm | Disco.AST.Generic |
| Fresh | |
| 1 (Type/Class) | Disco.Effects.Fresh |
| 2 (Data Constructor) | Disco.Effects.Fresh |
| fresh | Disco.Effects.Fresh |
| freshAtom | Disco.Typecheck.Util |
| FreshDict | |
| 1 (Type/Class) | Disco.Effects.Fresh |
| 2 (Data Constructor) | Disco.Effects.Fresh |
| freshQ | Disco.Effects.Fresh |
| freshTy | Disco.Typecheck.Util |
| fresh_ | Disco.Effects.Fresh |
| FromCwdOrStdlib | Disco.Module |
| FromDir | Disco.Module |
| FromDirOrStdlib | Disco.Module |
| fromList | |
| 1 (Function) | Disco.Subst |
| 2 (Function) | Disco.Context |
| fromSide | Disco.AST.Generic |
| fromSimpleValue | Disco.Value |
| FromStdlib | Disco.Module |
| fromTelescope | Disco.AST.Generic, Disco.AST.Surface |
| funPA | Disco.Pretty.Prec, Disco.Pretty |
| funPrec | Disco.Syntax.Operators |
| fvQ | Disco.Names |
| G | Disco.Typecheck.Graph |
| gate | Disco.Util |
| GBool | Disco.AST.Surface |
| GBool_ | Disco.AST.Generic |
| Gdt | Disco.Exhaustiveness |
| Gen | Disco.Types |
| generateSamples | Disco.Property |
| genv | Disco.Value |
| Geq | Disco.Syntax.Operators |
| Get | Disco.Effects.State |
| get | Disco.Effects.State |
| GetAvoids | Disco.Effects.LFresh |
| getAvoids | Disco.Effects.LFresh |
| getAvoids_ | Disco.Effects.LFresh |
| getConstructorArgs | Disco.Exhaustiveness.Constraint |
| getEltTy | Disco.Typecheck |
| getIlk | Disco.Typecheck.Solve |
| getPA | Disco.Pretty.Prec, Disco.Pretty |
| getPosFrom | Disco.Exhaustiveness |
| getPossibilities | Disco.Exhaustiveness.Possibilities |
| gets | Disco.Effects.State |
| getSolutionLimit | Disco.Typecheck.Solve |
| getSort | Disco.Typecheck.Solve |
| getSubst | Disco.Subst |
| getTestEnv | Disco.Value |
| getType | |
| 1 (Function) | Disco.Types, Disco.AST.Typed |
| 2 (Function) | Disco.Exhaustiveness.TypeInfo |
| glbBySort | Disco.Typecheck.Solve |
| GLet | Disco.AST.Surface |
| GLet_ | Disco.AST.Generic |
| GMatch | Disco.Exhaustiveness |
| GPat | Disco.AST.Surface |
| GPat_ | Disco.AST.Generic |
| Graph | Disco.Typecheck.Graph |
| Grhs | Disco.Exhaustiveness |
| Gt | Disco.Syntax.Operators |
| Guard | |
| 1 (Type/Class) | Disco.AST.Surface |
| 2 (Type/Class) | Disco.Exhaustiveness |
| GuardConstraint | Disco.Exhaustiveness |
| Guarded | Disco.Exhaustiveness |
| Guard_ | Disco.AST.Generic |
| GWasOriginally | Disco.Exhaustiveness |
| handleLoad | Disco.Interactive.Commands |
| handleMsg | Disco.Messages |
| hang | Disco.Pretty.DSL, Disco.Pretty |
| hasQual | Disco.Types.Rules |
| hasSort | Disco.Types.Rules |
| HasType | Disco.Types |
| hcat | |
| 1 (Function) | Disco.Report |
| 2 (Function) | Disco.Pretty.DSL, Disco.Pretty |
| hoistStateIntoStateT | Disco.Effects.State |
| hsep | |
| 1 (Function) | Disco.Report |
| 2 (Function) | Disco.Pretty.DSL, Disco.Pretty |
| Ident | Disco.Exhaustiveness.TypeInfo |
| ident | Disco.Parser |
| IDiv | Disco.Syntax.Operators |
| idS | Disco.Subst |
| Iff | Disco.Syntax.Operators |
| Ilk | Disco.Types |
| Impl | Disco.Syntax.Operators |
| In | Disco.Syntax.Operators |
| indent | Disco.Pretty.DSL, Disco.Pretty |
| indented | Disco.Parser |
| Infer | Disco.Typecheck |
| infer | Disco.Typecheck |
| inferTelescope | Disco.Typecheck |
| inferTop | Disco.Typecheck |
| inferTop1 | Disco.Typecheck |
| Infinite | Disco.Exhaustiveness.TypeInfo |
| InfiniteLoop | Disco.Error |
| Info | Disco.Messages |
| info | Disco.Messages |
| infoPretty | Disco.Messages |
| inhabited | Disco.Exhaustiveness.Constraint |
| InhabPat | Disco.Exhaustiveness |
| initDiscoConfig | Disco.Eval |
| initPA | Disco.Pretty.Prec, Disco.Pretty |
| InL | Disco.Syntax.Operators |
| Input | |
| 1 (Type/Class) | Disco.Effects.Input |
| 2 (Data Constructor) | Disco.Effects.Input |
| input | Disco.Effects.Input |
| inputs | Disco.Effects.Input |
| inputTopEnv | Disco.Eval |
| inputToState | Disco.Effects.Input |
| InR | Disco.Syntax.Operators |
| insert | Disco.Context |
| InsertStore | Disco.Effects.Store |
| insertStore | Disco.Effects.Store |
| instantiate | Disco.Exhaustiveness.Constraint |
| integer | |
| 1 (Function) | Disco.Pretty.DSL, Disco.Pretty |
| 2 (Function) | Disco.Exhaustiveness.TypeInfo |
| Inter | Disco.Syntax.Operators |
| intercalate | Disco.Pretty.DSL, Disco.Pretty |
| interpLOp | Disco.Value |
| Intro | Disco.Doc |
| intv | Disco.Value |
| InvalidPattern | Disco.Parser |
| invertMotive | Disco.Property |
| invertPropResult | Disco.Property |
| IPIs | Disco.Exhaustiveness |
| IPNot | Disco.Exhaustiveness |
| isBase | Disco.Types |
| isBaseEdge | Disco.Typecheck.Solve |
| isCtr | Disco.Types |
| isDirB | Disco.Types.Rules |
| isEmptyTy | Disco.Types |
| isFiniteTy | Disco.Types |
| isFree | Disco.Names |
| isNumTy | Disco.Types |
| isSearchable | Disco.Types |
| isSkolem | Disco.Types |
| isSubA | Disco.Types.Rules |
| isSubB | Disco.Types.Rules |
| isSubPolyType | Disco.Typecheck |
| isTyVar | Disco.Types |
| isVar | Disco.Types |
| iterUntil | Disco.Util |
| joinCtx | Disco.Context |
| joinCtxs | Disco.Context |
| KBool | Disco.Exhaustiveness.TypeInfo |
| KChar | Disco.Exhaustiveness.TypeInfo |
| KCons | Disco.Exhaustiveness.TypeInfo |
| KeepKeys | Disco.Effects.Store |
| keepKeys | Disco.Effects.Store |
| keysSet | Disco.Context |
| KInt | Disco.Exhaustiveness.TypeInfo |
| KLeft | Disco.Exhaustiveness.TypeInfo |
| KNat | Disco.Exhaustiveness.TypeInfo |
| KNil | Disco.Exhaustiveness.TypeInfo |
| KPair | Disco.Exhaustiveness.TypeInfo |
| KRight | Disco.Exhaustiveness.TypeInfo |
| KUnit | Disco.Exhaustiveness.TypeInfo |
| KUnknown | Disco.Exhaustiveness.TypeInfo |
| L | Disco.AST.Generic, Disco.AST.Surface |
| Lam | Disco.AST.Generic, Disco.AST.Surface |
| lambda | Disco.Parser |
| LAnd | Disco.Value |
| lastFile | Disco.Eval |
| Lazy | Disco.Types |
| lbsBySort | Disco.Typecheck.Solve |
| left | Disco.Exhaustiveness.TypeInfo |
| Leq | Disco.Syntax.Operators |
| lexeme | Disco.Parser |
| LFresh | Disco.Effects.LFresh |
| Lfresh | Disco.Effects.LFresh |
| lfresh | Disco.Effects.LFresh |
| LFreshDict | |
| 1 (Type/Class) | Disco.Effects.LFresh |
| 2 (Data Constructor) | Disco.Effects.LFresh |
| lfresh_ | Disco.Effects.LFresh |
| limBySort | Disco.Typecheck.Solve |
| LImpl | Disco.Value |
| Link | Disco.AST.Surface |
| Link_ | Disco.AST.Generic |
| list | Disco.Report |
| ListContainer | Disco.AST.Generic, Disco.AST.Desugared, Disco.AST.Surface, Disco.AST.Typed |
| listv | Disco.Value |
| LitCond | Disco.Exhaustiveness |
| Literal | |
| 1 (Type/Class) | Disco.Exhaustiveness |
| 2 (Data Constructor) | Disco.Exhaustiveness |
| LitMatch | Disco.Exhaustiveness |
| LitNot | Disco.Exhaustiveness |
| LitWasOriginally | Disco.Exhaustiveness |
| lkup | |
| 1 (Function) | Disco.Typecheck.Solve |
| 2 (Function) | Disco.Value |
| loadDef | Disco.Eval |
| loadDefsFrom | Disco.Eval |
| loadDiscoModule | Disco.Eval |
| loadFile | Disco.Eval, Disco.Interactive.Commands |
| LoadingMode | Disco.Module |
| loadParsedDiscoModule | Disco.Eval |
| localCtx | Disco.Context |
| LocalName | Disco.Names |
| localName | Disco.Names |
| LocTCError | |
| 1 (Type/Class) | Disco.Typecheck.Util |
| 2 (Data Constructor) | Disco.Typecheck.Util |
| lookup | |
| 1 (Function) | Disco.Subst |
| 2 (Function) | Disco.Context |
| lookup' | Disco.Context |
| lookupAll | Disco.Context |
| lookupAll' | Disco.Context |
| lookupNonLocal | Disco.Context |
| lookupNonLocal' | Disco.Context |
| LookupStore | Disco.Effects.Store |
| lookupStore | Disco.Effects.Store |
| lookupTyDefn | Disco.Typecheck.Util |
| lookupVar | Disco.Exhaustiveness.Constraint |
| lookupVM | Disco.Typecheck.Solve |
| LOp | Disco.Value |
| LOr | Disco.Value |
| lowerPrec | Disco.Pretty.Prec, Disco.Pretty |
| Lt | Disco.Syntax.Operators |
| lt | Disco.Pretty |
| lubBySort | Disco.Typecheck.Solve |
| lunbind | Disco.Effects.LFresh |
| makeTyCtx | Disco.Typecheck |
| makeTyDefnCtx | Disco.Typecheck |
| map | Disco.Typecheck.Graph |
| mapInput | Disco.Effects.Input |
| MapStore | Disco.Effects.Store |
| mapStore | Disco.Effects.Store |
| mapTelescope | Disco.AST.Generic, Disco.AST.Surface |
| maximum0 | Disco.Util |
| Mem | Disco.Value |
| Memo | Disco.AST.Core |
| memoLookup | Disco.Value |
| memoSet | Disco.Value |
| mergeTestEnv | Disco.Value |
| Message | |
| 1 (Type/Class) | Disco.Messages |
| 2 (Data Constructor) | Disco.Messages |
| message | Disco.Messages |
| MessageType | Disco.Messages |
| messageType | Disco.Messages |
| miDocs | Disco.Module |
| miExts | Disco.Module |
| miImports | Disco.Module |
| miName | Disco.Module |
| miNames | Disco.Module |
| miProps | Disco.Module |
| MissingAscr | Disco.Parser |
| miTermdefs | Disco.Module |
| miTerms | Disco.Module |
| miTydefs | Disco.Module |
| miTys | Disco.Module |
| mkConstraintGraph | Disco.Typecheck.Solve |
| mkExampleMatch | Disco.Exhaustiveness |
| mkGraph | Disco.Typecheck.Graph |
| mkIntro | Disco.Doc |
| mkIPMatch | Disco.Exhaustiveness |
| mkRef | Disco.Doc |
| mkTVI | Disco.Typecheck.Solve |
| Mod | Disco.Syntax.Operators |
| modDecls | Disco.AST.Surface |
| modDocs | Disco.AST.Surface |
| Mode | Disco.Typecheck |
| modExts | Disco.AST.Surface |
| modify | Disco.Effects.State |
| modify' | Disco.Effects.State |
| modImports | Disco.AST.Surface |
| modTerms | Disco.AST.Surface |
| Module | |
| 1 (Type/Class) | Disco.AST.Surface |
| 2 (Data Constructor) | Disco.AST.Surface |
| ModuleInfo | |
| 1 (Type/Class) | Disco.Module |
| 2 (Data Constructor) | Disco.Module |
| ModuleName | Disco.Names |
| ModuleNotFound | Disco.Error |
| ModuleProvenance | Disco.Names |
| mparens | Disco.Pretty |
| msg | Disco.Messages |
| Mul | Disco.Syntax.Operators |
| MultiArgLambda | Disco.Parser |
| N | Disco.Types |
| Named | Disco.Names |
| NameProvenance | Disco.Names |
| names | Disco.Context |
| natural | |
| 1 (Function) | Disco.Parser |
| 2 (Function) | Disco.Exhaustiveness.TypeInfo |
| Neg | Disco.Syntax.Operators |
| negMatches | Disco.Exhaustiveness.Constraint |
| Neq | Disco.Syntax.Operators |
| nest | |
| 1 (Function) | Disco.Report |
| 2 (Function) | Disco.Pretty.DSL, Disco.Pretty |
| New | Disco.Effects.Store |
| new | Disco.Effects.Store |
| newName | Disco.Exhaustiveness.TypeInfo |
| newNames | Disco.Exhaustiveness.TypeInfo |
| newVar | Disco.Exhaustiveness.TypeInfo |
| newVars | Disco.Exhaustiveness.TypeInfo |
| Next | Disco.Effects.Counter |
| next | Disco.Effects.Counter |
| nil | Disco.Exhaustiveness.TypeInfo |
| nodes | Disco.Typecheck.Graph |
| NoError | Disco.Typecheck.Util |
| noLoc | Disco.Typecheck.Util |
| NoMemo | Disco.AST.Core |
| none | Disco.Exhaustiveness.Possibilities |
| NonExhaustive | Disco.Error |
| NonlinearPattern | Disco.Typecheck.Util |
| NoPolyRec | Disco.Typecheck.Util |
| NormRefType | Disco.Exhaustiveness.Constraint |
| NoSearch | Disco.Typecheck.Util |
| NoStdLib | Disco.Extensions |
| Not | Disco.Syntax.Operators |
| NotCon | Disco.Typecheck.Util |
| NotEnoughArgs | Disco.Typecheck.Util |
| NotTyDef | Disco.Typecheck.Util |
| NoTWild | Disco.Typecheck.Util |
| NoType | Disco.Typecheck.Util |
| NoUnify | Disco.Typecheck.Solve |
| NoWeakUnifier | Disco.Typecheck.Solve |
| null | Disco.Context |
| NumPatterns | Disco.Typecheck.Util |
| OAbs | Disco.AST.Core |
| OAdd | Disco.AST.Core |
| OAnd | Disco.AST.Core |
| OBagElem | Disco.AST.Core |
| OBagToCounts | Disco.AST.Core |
| OBagToList | Disco.AST.Core |
| OBagToSet | Disco.AST.Core |
| OBagUnions | Disco.AST.Core |
| occurs | Disco.Typecheck.Unify |
| OCeil | Disco.AST.Core |
| OConnect | Disco.AST.Core |
| OCount | Disco.AST.Core |
| OCountsToBag | Disco.AST.Core |
| OCrash | Disco.AST.Core |
| ODiv | Disco.AST.Core |
| ODivides | Disco.AST.Core |
| OEachBag | Disco.AST.Core |
| OEachSet | Disco.AST.Core |
| OEmptyGraph | Disco.AST.Core |
| OEnum | Disco.AST.Core |
| OEq | Disco.AST.Core |
| OExists | Disco.AST.Core |
| OExp | Disco.AST.Core |
| OExtendSeq | Disco.AST.Core |
| OFact | Disco.AST.Core |
| OFactor | Disco.AST.Core |
| OFilterBag | Disco.AST.Core |
| OFloor | Disco.AST.Core |
| OForall | Disco.AST.Core |
| OFrac | Disco.AST.Core |
| OHolds | Disco.AST.Core |
| OId | Disco.AST.Core |
| OImpl | Disco.AST.Core |
| OInsert | Disco.AST.Core |
| OIsPrime | Disco.AST.Core |
| OListElem | Disco.AST.Core |
| OListToBag | Disco.AST.Core |
| OListToSet | Disco.AST.Core |
| OLookup | Disco.AST.Core |
| OLookupSeq | Disco.AST.Core |
| OLt | Disco.AST.Core |
| OMapToSet | Disco.AST.Core |
| OMatchErr | Disco.AST.Core |
| OMerge | Disco.AST.Core |
| OMod | Disco.AST.Core |
| OMul | Disco.AST.Core |
| OMultinom | Disco.AST.Core |
| ONeg | Disco.AST.Core |
| onlyVersion | Disco.Interactive.CmdLine |
| ONotProp | Disco.AST.Core |
| onVar | Disco.Exhaustiveness.Constraint |
| onVM | Disco.Typecheck.Solve |
| OOr | Disco.AST.Core |
| OOverlay | Disco.AST.Core |
| Op | Disco.AST.Core |
| opArity | Disco.AST.Core |
| OpFixity | Disco.Syntax.Operators |
| opFixity | Disco.Syntax.Operators |
| OpInfo | |
| 1 (Type/Class) | Disco.Syntax.Operators |
| 2 (Data Constructor) | Disco.Syntax.Operators |
| opNames | Disco.Syntax.Operators |
| OPower | Disco.AST.Core |
| opPrec | Disco.Syntax.Operators |
| opSyns | Disco.Syntax.Operators |
| opTable | Disco.Syntax.Operators |
| Or | Disco.Syntax.Operators |
| ORandom | Disco.AST.Core |
| orElse | Disco.Typecheck.Util |
| OSeed | Disco.AST.Core |
| OSetToList | Disco.AST.Core |
| OSetToMap | Disco.AST.Core |
| OShould | Disco.AST.Core |
| OSqrt | Disco.AST.Core |
| OSummary | Disco.AST.Core |
| other | Disco.Types.Rules |
| OtherKey | Disco.Doc |
| OUnsafeCountsToBag | Disco.AST.Core |
| OUntil | Disco.AST.Core |
| outputDiscoErrors | Disco.Error |
| Overflow | Disco.Error |
| OVertex | Disco.AST.Core |
| P | Disco.Types |
| PA | |
| 1 (Type/Class) | Disco.Pretty.Prec, Disco.Pretty |
| 2 (Data Constructor) | Disco.Pretty.Prec, Disco.Pretty |
| PAdd | Disco.AST.Surface |
| PAdd_ | Disco.AST.Generic |
| pair | Disco.Exhaustiveness.TypeInfo |
| pairv | Disco.Value |
| Panic | Disco.Error |
| panic | Disco.Error |
| parens | |
| 1 (Function) | Disco.Pretty.DSL, Disco.Pretty |
| 2 (Function) | Disco.Parser |
| parseAtom | Disco.Parser |
| parseAtomicPattern | Disco.Parser |
| parseAtomicType | Disco.Parser |
| parseBranch | Disco.Parser |
| parseCase | Disco.Parser |
| parseContainer | Disco.Parser |
| parseContainerComp | Disco.Parser |
| parseDecl | Disco.Parser |
| parseDiscoModule | Disco.Eval |
| parseEllipsis | Disco.Parser |
| ParseErr | Disco.Error |
| parseExpr | Disco.Parser |
| parseExtName | Disco.Parser |
| parseGuard | Disco.Parser |
| parseGuards | Disco.Parser |
| parseImport | Disco.Parser |
| parseLet | Disco.Parser |
| parseLine | Disco.Interactive.Commands |
| parseModule | Disco.Parser |
| parseModuleName | Disco.Parser |
| parsePattern | Disco.Parser |
| parsePolyTy | Disco.Parser |
| parseQual | Disco.Parser |
| Parser | Disco.Parser |
| parseTerm | Disco.Parser |
| parseTerm' | Disco.Parser |
| parseTopLevel | Disco.Parser |
| parseType | Disco.Parser |
| parseTypeOp | Disco.Parser |
| partitionDecls | Disco.AST.Surface |
| partitionEithersNE | Disco.Util |
| partitionNE | Disco.Util |
| PAscr | Disco.AST.Surface |
| PAscr_ | Disco.AST.Generic |
| Pattern | Disco.AST.Surface |
| PatternType | Disco.Typecheck.Util |
| Pattern_ | Disco.AST.Generic |
| PBool | Disco.AST.Surface |
| PBool_ | Disco.AST.Generic |
| PChar | Disco.AST.Surface |
| PChar_ | Disco.AST.Generic |
| PCons | Disco.AST.Surface |
| PCons_ | Disco.AST.Generic |
| PFrac | Disco.AST.Surface |
| PFrac_ | Disco.AST.Generic |
| pickSortBaseTy | Disco.Types.Rules |
| PInj | Disco.AST.Surface |
| PInj_ | Disco.AST.Generic |
| pipe | Disco.Parser |
| PList | Disco.AST.Surface |
| PList_ | Disco.AST.Generic |
| PMul | Disco.AST.Surface |
| PMul_ | Disco.AST.Generic |
| PNat | Disco.AST.Surface |
| PNat_ | Disco.AST.Generic |
| PNeg | Disco.AST.Surface |
| PNeg_ | Disco.AST.Generic |
| PNonlinear | Disco.AST.Surface |
| PNonlinear_ | Disco.AST.Generic |
| PolyType | Disco.Types |
| posMatch | Disco.Exhaustiveness.Constraint |
| Possibilities | Disco.Exhaustiveness.Possibilities |
| Post | Disco.Syntax.Operators |
| Pre | Disco.Syntax.Operators |
| pre | Disco.Typecheck.Graph |
| Prec | Disco.Pretty.Prec, Disco.Pretty |
| Pretty | Disco.Pretty |
| pretty | Disco.Pretty |
| pretty' | Disco.Pretty |
| prettyDecimal | Disco.Pretty |
| prettyPatternP | Disco.AST.Surface |
| prettyPrintExample | Disco.Exhaustiveness |
| prettyPrintPattern | Disco.Exhaustiveness |
| prettyRational | Disco.Pretty |
| prettyStr | Disco.Pretty |
| prettyTestResult | Disco.Property |
| prettyTyDecl | Disco.AST.Surface |
| prettyValue | Disco.Value |
| prettyValue' | Disco.Value |
| Prim | Disco.Syntax.Prims |
| PrimAbs | Disco.Syntax.Prims |
| PrimB2C | Disco.Syntax.Prims |
| PrimBag | Disco.Syntax.Prims |
| PrimBOp | Disco.Syntax.Prims |
| PrimC2B | Disco.Syntax.Prims |
| PrimCeil | Disco.Syntax.Prims |
| PrimConnect | Disco.Syntax.Prims |
| PrimCrash | Disco.Syntax.Prims |
| PrimEach | Disco.Syntax.Prims |
| PrimEmptyGraph | Disco.Syntax.Prims |
| primExposed | Disco.Syntax.Prims |
| PrimExtendSeq | Disco.Syntax.Prims |
| PrimFactor | Disco.Syntax.Prims |
| PrimFilter | Disco.Syntax.Prims |
| PrimFloor | Disco.Syntax.Prims |
| PrimFrac | Disco.Syntax.Prims |
| PrimHolds | Disco.Syntax.Prims |
| PrimInfo | |
| 1 (Type/Class) | Disco.Syntax.Prims |
| 2 (Data Constructor) | Disco.Syntax.Prims |
| PrimInsert | Disco.Syntax.Prims |
| PrimIsPrime | Disco.Syntax.Prims |
| Primitives | Disco.Extensions |
| PrimJoin | Disco.Syntax.Prims |
| PrimKey | Disco.Doc |
| PrimLeft | Disco.Syntax.Prims |
| PrimList | Disco.Syntax.Prims |
| PrimLookup | Disco.Syntax.Prims |
| PrimLookupSeq | Disco.Syntax.Prims |
| primMap | Disco.Syntax.Prims |
| PrimMapToSet | Disco.Syntax.Prims |
| PrimMax | Disco.Syntax.Prims |
| PrimMerge | Disco.Syntax.Prims |
| PrimMin | Disco.Syntax.Prims |
| PrimOverlay | Disco.Syntax.Prims |
| PrimPower | Disco.Syntax.Prims |
| PrimRandom | Disco.Syntax.Prims |
| PrimReduce | Disco.Syntax.Prims |
| PrimRight | Disco.Syntax.Prims |
| PrimSeed | Disco.Syntax.Prims |
| PrimSet | Disco.Syntax.Prims |
| PrimSetToMap | Disco.Syntax.Prims |
| PrimSqrt | Disco.Syntax.Prims |
| PrimSummary | Disco.Syntax.Prims |
| primSyntax | Disco.Syntax.Prims |
| primTable | Disco.Syntax.Prims |
| PrimUC2B | Disco.Syntax.Prims |
| PrimUntil | Disco.Syntax.Prims |
| PrimUOp | Disco.Syntax.Prims |
| PrimVertex | Disco.Syntax.Prims |
| printMsg | Disco.Messages |
| Property | Disco.AST.Surface |
| Property_ | Disco.AST.Generic |
| PString | Disco.AST.Surface |
| PString_ | Disco.AST.Generic |
| PSub | Disco.AST.Surface |
| PSub_ | Disco.AST.Generic |
| PTup | Disco.AST.Surface |
| PTup_ | Disco.AST.Generic |
| punctuate | Disco.Pretty.DSL, Disco.Pretty |
| PUnit | Disco.AST.Surface |
| PUnit_ | Disco.AST.Generic |
| Put | Disco.Effects.State |
| put | Disco.Effects.State |
| PVar | Disco.AST.Surface |
| PVar_ | Disco.AST.Generic |
| PWild | Disco.AST.Surface |
| PWild_ | Disco.AST.Generic |
| Q | Disco.Types |
| QBasic | Disco.Types.Qualifiers, Disco.Types.Rules |
| QBind | Disco.AST.Surface |
| QBind_ | Disco.AST.Generic |
| QBool | Disco.Types.Qualifiers, Disco.Types.Rules |
| QCmp | Disco.Types.Qualifiers, Disco.Types.Rules |
| QDiv | Disco.Types.Qualifiers, Disco.Types.Rules |
| QEnum | Disco.Types.Qualifiers, Disco.Types.Rules |
| QGuard | Disco.AST.Surface |
| QGuard_ | Disco.AST.Generic |
| QName | |
| 1 (Type/Class) | Disco.Names |
| 2 (Data Constructor) | Disco.Names |
| qname | Disco.Names |
| qnameProvenance | Disco.Names |
| QNum | Disco.Types.Qualifiers, Disco.Types.Rules |
| QSimple | Disco.Types.Qualifiers, Disco.Types.Rules |
| QSub | Disco.Types.Qualifiers, Disco.Types.Rules |
| Qual | Disco.AST.Surface |
| QualifiedName | Disco.Names |
| Qualifier | Disco.Types.Qualifiers, Disco.Types.Rules |
| qualRules | Disco.Types.Rules |
| QualSkolem | Disco.Typecheck.Solve |
| Qual_ | Disco.AST.Generic |
| Quantifier | Disco.AST.Generic, Disco.AST.Surface |
| quotes | Disco.Pretty.DSL, Disco.Pretty |
| R | Disco.AST.Generic, Disco.AST.Surface |
| Randomized | Disco.Value |
| Randomness | Disco.Extensions |
| ratv | Disco.Value |
| Ref | Disco.Doc |
| ref | Disco.Doc |
| Reference | |
| 1 (Type/Class) | Disco.Doc |
| 2 (Data Constructor) | Disco.Doc |
| RefType | Disco.Doc |
| refType | Disco.Doc |
| RelMap | |
| 1 (Type/Class) | Disco.Typecheck.Solve |
| 2 (Data Constructor) | Disco.Typecheck.Solve |
| Rels | |
| 1 (Type/Class) | Disco.Typecheck.Solve |
| 2 (Data Constructor) | Disco.Typecheck.Solve |
| renderDoc | Disco.Pretty.DSL, Disco.Pretty |
| renderDoc' | Disco.Pretty.DSL, Disco.Pretty |
| REPL | Disco.Module |
| replModInfo | Disco.Eval |
| REPLModule | Disco.Names |
| Report | Disco.Report |
| reserved | Disco.Parser |
| reservedOp | Disco.Parser |
| ReservedVarName | Disco.Parser |
| reservedWords | Disco.Parser |
| resolveAlias | Disco.Exhaustiveness.TypeInfo |
| resolveModule | Disco.Module |
| Resolver | Disco.Module |
| restrictKeys | Disco.Context |
| resugarList | Disco.Exhaustiveness |
| resugarPair | Disco.Exhaustiveness |
| resugarString | Disco.Exhaustiveness |
| resultIsCertain | Disco.Value |
| retSingle | Disco.Exhaustiveness.Possibilities |
| right | Disco.Exhaustiveness.TypeInfo |
| RList | Disco.Report |
| RNest | Disco.Report |
| rPA | Disco.Pretty.Prec, Disco.Pretty |
| RSeq | Disco.Report |
| rt | Disco.Pretty |
| RTxt | Disco.Report |
| runCESK | Disco.Interpret.CESK |
| runCounter | Disco.Effects.Counter |
| runCounter' | Disco.Effects.Counter |
| runDesugar | Disco.Desugar |
| runDisco | Disco.Eval |
| runFresh | Disco.Effects.Fresh |
| runFresh' | Disco.Effects.Fresh |
| runFresh1 | Disco.Effects.Fresh |
| runInputConst | Disco.Effects.Input |
| runInputList | Disco.Effects.Input |
| runInputSem | Disco.Effects.Input |
| runLazyState | Disco.Effects.State |
| runLFresh | Disco.Effects.LFresh |
| runLFresh' | Disco.Effects.LFresh |
| runParser | Disco.Parser |
| runSolve | Disco.Typecheck.Solve |
| runState | Disco.Effects.State |
| runStateIORef | Disco.Effects.State |
| runStateSTRef | Disco.Effects.State |
| runStore | Disco.Effects.Store |
| runTCM | Disco.Eval |
| runTest | Disco.Interpret.CESK |
| RVSeq | Disco.Report |
| S | |
| 1 (Type/Class) | Disco.Types |
| 2 (Data Constructor) | Disco.Types |
| SBag | Disco.Value |
| sc | Disco.Parser |
| SearchMotive | |
| 1 (Type/Class) | Disco.Value |
| 2 (Data Constructor) | Disco.Value |
| SearchType | Disco.Value |
| selectSide | Disco.AST.Generic |
| semi | Disco.Parser |
| sequenceGraph | Disco.Typecheck.Graph |
| set | Disco.Value |
| SetContainer | Disco.AST.Generic, Disco.AST.Desugared, Disco.AST.Surface, Disco.AST.Typed |
| setPA | Disco.Pretty |
| setREPLModule | Disco.Eval |
| setType | Disco.Types, Disco.AST.Typed |
| Should | Disco.Syntax.Operators |
| ShouldMemo | Disco.AST.Core |
| Side | Disco.AST.Generic, Disco.AST.Surface |
| SimpleConstraint | Disco.Typecheck.Solve |
| SimpleValue | Disco.Value |
| simplify | Disco.Typecheck.Solve |
| SimplifyState | Disco.Typecheck.Solve |
| singleCtx | Disco.Context |
| SInj | Disco.Value |
| Skolem | Disco.Types |
| SMExists | Disco.Value |
| SMForall | Disco.Value |
| SNum | Disco.Value |
| SolutionLimit | |
| 1 (Type/Class) | Disco.Typecheck.Solve |
| 2 (Data Constructor) | Disco.Typecheck.Solve |
| solve | Disco.Typecheck.Util |
| solveConstraint | Disco.Typecheck.Solve |
| solveConstraintChoice | Disco.Typecheck.Solve |
| SolveError | Disco.Typecheck.Solve |
| solveGraph | Disco.Typecheck.Solve |
| Sort | Disco.Types.Qualifiers, Disco.Types.Rules |
| sortRules | Disco.Types.Rules |
| SPair | Disco.Value |
| SS | Disco.Typecheck.Solve |
| ssConstraints | Disco.Typecheck.Solve |
| ssSeen | Disco.Typecheck.Solve |
| ssSubst | Disco.Typecheck.Solve |
| SSub | Disco.Syntax.Operators |
| ssVarMap | Disco.Typecheck.Solve |
| Standalone | Disco.Module |
| State | Disco.Effects.State |
| stateToIO | Disco.Effects.State |
| stateToST | Disco.Effects.State |
| Stdlib | Disco.Names |
| step | Disco.Interpret.CESK |
| Store | Disco.Effects.Store |
| Strict | Disco.Types |
| Strictness | Disco.Types |
| strictness | Disco.Types |
| SType | Disco.Value |
| Sub | Disco.Syntax.Operators |
| Subset | Disco.Syntax.Operators |
| substituteVarIDs | Disco.Exhaustiveness.Constraint |
| Substitution | |
| 1 (Type/Class) | Disco.Subst, Disco.Types |
| 2 (Data Constructor) | Disco.Subst |
| substQ | Disco.Names |
| substQC | Disco.AST.Core |
| substQT | Disco.AST.Typed |
| substRel | Disco.Typecheck.Solve |
| substsQ | Disco.Names |
| substsQC | Disco.AST.Core |
| SubTy | Disco.Types.Rules |
| subtypes | Disco.Types.Rules |
| suc | Disco.Typecheck.Graph |
| suggestionsFrom | Disco.Typecheck |
| SUnit | Disco.Value |
| SuperTy | Disco.Types.Rules |
| supertypes | Disco.Types.Rules |
| symbol | Disco.Parser |
| TAbs | Disco.AST.Surface |
| TAbs_ | Disco.AST.Generic |
| taddPA | Disco.Pretty.Prec, Disco.Pretty |
| TApp | Disco.AST.Surface |
| TApp_ | Disco.AST.Generic |
| tarrPA | Disco.Pretty.Prec, Disco.Pretty |
| TAscr | Disco.AST.Surface |
| TAscr_ | Disco.AST.Generic |
| TBin | Disco.AST.Surface |
| TBool | Disco.AST.Surface |
| TBool_ | Disco.AST.Generic |
| TCase | Disco.AST.Surface |
| TCase_ | Disco.AST.Generic |
| TCError | Disco.Typecheck.Util |
| TChain | Disco.AST.Surface |
| TChain_ | Disco.AST.Generic |
| TChar | Disco.AST.Surface |
| TChar_ | Disco.AST.Generic |
| TContainer | Disco.AST.Surface |
| TContainerComp | Disco.AST.Surface |
| TContainerComp_ | Disco.AST.Generic |
| TContainer_ | Disco.AST.Generic |
| TelCons | Disco.AST.Generic, Disco.AST.Surface |
| telCons | Disco.AST.Generic |
| TelEmpty | Disco.AST.Generic, Disco.AST.Surface |
| Telescope | Disco.AST.Generic, Disco.AST.Surface |
| Term | Disco.AST.Surface |
| term | Disco.Parser |
| TermDefn | |
| 1 (Type/Class) | Disco.AST.Surface |
| 2 (Data Constructor) | Disco.AST.Surface |
| Term_ | Disco.AST.Generic |
| TestBin | Disco.Value |
| TestBool | Disco.Value |
| TestCmp | Disco.Value |
| TestEnv | |
| 1 (Type/Class) | Disco.Value |
| 2 (Data Constructor) | Disco.Value |
| testEnv | Disco.Value |
| TestFound | Disco.Value |
| testIsError | Disco.Value |
| testIsOk | Disco.Value |
| TestNotFound | Disco.Value |
| TestReason | Disco.Value |
| testReason | Disco.Value |
| TestReason_ | Disco.Value |
| TestResult | |
| 1 (Type/Class) | Disco.Value |
| 2 (Data Constructor) | Disco.Value |
| TestRuntimeError | Disco.Value |
| TestVars | |
| 1 (Type/Class) | Disco.Value |
| 2 (Data Constructor) | Disco.Value |
| text | |
| 1 (Function) | Disco.Report |
| 2 (Function) | Disco.Pretty.DSL, Disco.Pretty |
| tfunPA | Disco.Pretty.Prec, Disco.Pretty |
| thenIndented | Disco.Parser |
| thePrim | Disco.Syntax.Prims |
| thin | Disco.Typecheck |
| thin' | Disco.Typecheck |
| TLDecl | Disco.AST.Surface |
| TLDoc | Disco.AST.Surface |
| TLet | Disco.AST.Surface |
| TLet_ | Disco.AST.Generic |
| TLExpr | Disco.AST.Surface |
| TLink | Disco.AST.Surface |
| TLink_ | Disco.AST.Generic |
| TList | Disco.AST.Surface |
| TListComp | Disco.AST.Surface |
| tmulPA | Disco.Pretty.Prec, Disco.Pretty |
| TNat | Disco.AST.Surface |
| TNat_ | Disco.AST.Generic |
| toList | Disco.Subst |
| TooManyArgs | Disco.Typecheck.Util |
| topEnv | Disco.Eval |
| TopInfo | Disco.Eval |
| TopLevel | Disco.AST.Surface |
| topModMap | Disco.Eval |
| toPolyType | Disco.Types |
| toPrim | Disco.Syntax.Prims |
| topSort | Disco.Types.Qualifiers, Disco.Types.Rules |
| topsort | Disco.Typecheck.Graph |
| toSimpleValue | Disco.Value |
| toTelescope | Disco.AST.Generic, Disco.AST.Surface |
| TParens | Disco.AST.Surface |
| TParens_ | Disco.AST.Generic |
| TPrim | Disco.AST.Surface |
| TPrim_ | Disco.AST.Generic |
| TRat | Disco.AST.Surface |
| TRat_ | Disco.AST.Generic |
| traverseTelescope | Disco.AST.Generic |
| TString | Disco.AST.Surface |
| TString_ | Disco.AST.Generic |
| TTup | Disco.AST.Surface |
| TTup_ | Disco.AST.Generic |
| TTyOp | Disco.AST.Surface |
| TTyOp_ | Disco.AST.Generic |
| TUn | Disco.AST.Surface |
| TUnit | Disco.AST.Surface |
| TUnit_ | Disco.AST.Generic |
| TVar | Disco.AST.Surface |
| TVar_ | Disco.AST.Generic |
| TVI | Disco.Typecheck.Solve |
| TWild | Disco.AST.Surface |
| TyAtom | Disco.Types |
| TyBag | Disco.Types |
| TyBool | Disco.Types |
| TyC | Disco.Types |
| TyCon | Disco.Types |
| TyContainer | Disco.Types |
| TyCtx | Disco.Typecheck.Util |
| tyDataCons | Disco.Exhaustiveness.TypeInfo |
| tyDataConsHelper | Disco.Exhaustiveness.TypeInfo |
| TyDefBody | |
| 1 (Type/Class) | Disco.Types |
| 2 (Data Constructor) | Disco.Types |
| TyDefCtx | Disco.Types |
| TyF | Disco.Types |
| TyGen | Disco.Types |
| TyGraph | Disco.Types |
| TyList | Disco.Types |
| TyMap | Disco.Types |
| TyN | Disco.Types |
| TyOp | Disco.Syntax.Operators |
| Type | Disco.Types |
| typecheck | Disco.Typecheck |
| TypeCheckErr | Disco.Error |
| typecheckTop | Disco.Eval |
| TypeDecl | |
| 1 (Type/Class) | Disco.AST.Surface |
| 2 (Data Constructor) | Disco.AST.Surface |
| TypeDefn | |
| 1 (Type/Class) | Disco.AST.Surface |
| 2 (Data Constructor) | Disco.AST.Surface |
| TypedVar | |
| 1 (Type/Class) | Disco.Exhaustiveness.TypeInfo |
| 2 (Data Constructor) | Disco.Exhaustiveness.TypeInfo |
| TyProp | Disco.Types |
| TyQ | Disco.Types |
| TySet | Disco.Types |
| TySkolem | Disco.Types |
| TyString | Disco.Types |
| TyUnit | Disco.Types |
| TyUser | Disco.Types |
| TyVar | Disco.Types |
| tyVarIlk | Disco.Typecheck.Solve |
| TyVarInfo | Disco.Typecheck.Solve |
| TyVarInfoMap | Disco.Typecheck.Solve |
| tyVarSort | Disco.Typecheck.Solve |
| TyVoid | Disco.Types |
| TyZ | Disco.Types |
| U | Disco.Types |
| ua | Disco.Exhaustiveness |
| UAtom | Disco.Types |
| uatomToAtom | Disco.Types |
| uatomToEither | Disco.Types |
| uatomToTypeSubst | Disco.Types |
| UB | Disco.Types |
| ubsBySort | Disco.Typecheck.Solve |
| UD | Disco.AST.Surface |
| UFixity | Disco.Syntax.Operators |
| ugetPA | Disco.Pretty.Prec, Disco.Pretty |
| uisVar | Disco.Types |
| unbind | Disco.Effects.Fresh |
| Unbound | Disco.Typecheck.Util |
| UnboundError | Disco.Error |
| UnboundPanic | Disco.Error |
| UnboundTyVar | Disco.Typecheck.Util |
| Unification | Disco.Types |
| unify | Disco.Typecheck.Unify |
| unify' | Disco.Typecheck.Unify |
| unifyAtoms | Disco.Typecheck.Unify |
| unifyUAtoms | Disco.Typecheck.Unify |
| Union | Disco.Syntax.Operators |
| Unit | Disco.Types |
| unit | Disco.Exhaustiveness.TypeInfo |
| unknown | Disco.Exhaustiveness.TypeInfo |
| unpair | Disco.Types |
| Unqual | Disco.Typecheck.Solve |
| UnqualBase | Disco.Typecheck.Solve |
| unRelMap | Disco.Typecheck.Solve |
| Unsolvable | Disco.Typecheck.Util |
| Until | Disco.AST.Generic, Disco.AST.Surface |
| unVM | Disco.Typecheck.Solve |
| UOp | Disco.Syntax.Operators |
| UOpF | Disco.Syntax.Operators |
| uopMap | Disco.Syntax.Operators |
| uPrec | Disco.Syntax.Operators |
| URL | Disco.Doc |
| use | Disco.Effects.State |
| UV | Disco.Types |
| V | |
| 1 (Data Constructor) | Disco.Types |
| 2 (Data Constructor) | Disco.Value |
| ValProp | Disco.Value |
| Value | Disco.Value |
| ValueEnumeration | Disco.Enumerate |
| Var | Disco.Types |
| Variance | Disco.Types.Rules |
| varRels | Disco.Typecheck.Solve |
| varsBound | Disco.AST.Typed |
| VBag | Disco.Value |
| vbool | Disco.Value |
| vcat | |
| 1 (Function) | Disco.Report |
| 2 (Function) | Disco.Pretty.DSL, Disco.Pretty |
| vchar | Disco.Value |
| VClo | Disco.Value |
| VCons | Disco.Value |
| VConst | Disco.Value |
| VFun | Disco.Value |
| VFun_ | Disco.Value |
| VGen | Disco.Value |
| vgen | Disco.Value |
| VGraph | Disco.Value |
| VInj | Disco.Value |
| vint | Disco.Value |
| vlist | Disco.Value |
| VM | Disco.Typecheck.Solve |
| VMap | Disco.Value |
| VNil | Disco.Value |
| VNum | Disco.Value |
| Void | Disco.Types |
| VPair | Disco.Value |
| vpair | Disco.Value |
| VPBin | Disco.Value |
| VPDone | Disco.Value |
| VProp | Disco.Value |
| VPSearch | Disco.Value |
| vrat | Disco.Value |
| VRef | Disco.Value |
| vsep | Disco.Report |
| VType | Disco.Value |
| VUnit | Disco.Value |
| warn | Disco.Messages |
| Warning | Disco.Messages |
| wcc | Disco.Typecheck.Graph |
| wccIDs | Disco.Typecheck.Graph |
| weakUnify | Disco.Typecheck.Unify |
| wholeModule | Disco.Parser |
| withConstraint | Disco.Typecheck.Util |
| withExts | Disco.Parser |
| withImports | Disco.Module |
| withPA | Disco.Pretty |
| withSolutionLimit | Disco.Typecheck.Solve |
| withStdlib | Disco.Module |
| withTyDefns | Disco.Typecheck.Util |
| XPattern_ | Disco.AST.Generic |
| XTerm_ | Disco.AST.Generic |
| X_Binder | Disco.AST.Generic |
| X_GBool | Disco.AST.Generic |
| X_GLet | Disco.AST.Generic |
| X_GPat | Disco.AST.Generic |
| X_PAdd | Disco.AST.Generic |
| X_PAscr | Disco.AST.Generic |
| X_Pattern | Disco.AST.Generic |
| X_PBool | Disco.AST.Generic |
| X_PChar | Disco.AST.Generic |
| X_PCons | Disco.AST.Generic |
| X_PFrac | Disco.AST.Generic |
| X_PInj | Disco.AST.Generic |
| X_PList | Disco.AST.Generic |
| X_PMul | Disco.AST.Generic |
| X_PNat | Disco.AST.Generic |
| X_PNeg | Disco.AST.Generic |
| X_PString | Disco.AST.Generic |
| X_PSub | Disco.AST.Generic |
| X_PTup | Disco.AST.Generic |
| X_PUnit | Disco.AST.Generic |
| X_PVar | Disco.AST.Generic |
| X_PWild | Disco.AST.Generic |
| X_QBind | Disco.AST.Generic |
| X_QGuard | Disco.AST.Generic |
| X_TAbs | Disco.AST.Generic |
| X_TApp | Disco.AST.Generic |
| X_TAscr | Disco.AST.Generic |
| X_TBool | Disco.AST.Generic |
| X_TCase | Disco.AST.Generic |
| X_TChain | Disco.AST.Generic |
| X_TChar | Disco.AST.Generic |
| X_TContainer | Disco.AST.Generic |
| X_TContainerComp | Disco.AST.Generic |
| X_Term | Disco.AST.Generic |
| X_TLet | Disco.AST.Generic |
| X_TLink | Disco.AST.Generic |
| X_TNat | Disco.AST.Generic |
| X_TParens | Disco.AST.Generic |
| X_TPrim | Disco.AST.Generic |
| X_TRat | Disco.AST.Generic |
| X_TString | Disco.AST.Generic |
| X_TTup | Disco.AST.Generic |
| X_TTyOp | Disco.AST.Generic |
| X_TUnit | Disco.AST.Generic |
| X_TVar | Disco.AST.Generic |
| Z | Disco.Types |
| zoom | Disco.Effects.State |
| _message | Disco.Messages |
| _messageType | Disco.Messages |
| _miDocs | Disco.Module |
| _miExts | Disco.Module |
| _miImports | Disco.Module |
| _miName | Disco.Module |
| _miNames | Disco.Module |
| _miProps | Disco.Module |
| _miTermdefs | Disco.Module |
| _miTerms | Disco.Module |
| _miTydefs | Disco.Module |
| _miTys | Disco.Module |
| _ssConstraints | Disco.Typecheck.Solve |
| _ssSeen | Disco.Typecheck.Solve |
| _ssSubst | Disco.Typecheck.Solve |
| _ssVarMap | Disco.Typecheck.Solve |
| _tyVarIlk | Disco.Typecheck.Solve |
| _tyVarSort | Disco.Typecheck.Solve |
| |-> | Disco.Subst |