! | 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 | Disco.AST.Typed |
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 |
addExtension | Disco.Extensions |
addSkolems | Disco.Typecheck.Solve |
addToREPLModule | Disco.Eval |
AGBool | Disco.AST.Typed |
AGLet | Disco.AST.Typed |
AGPat | Disco.AST.Typed |
AGuard | Disco.AST.Typed |
ALink | Disco.AST.Typed |
All | Disco.AST.Generic, Disco.AST.Surface |
allExts | Disco.Extensions |
allExtsList | Disco.Extensions |
allocate | Disco.Value |
allocateRec | Disco.Value |
allTydefs | Disco.Module |
allTys | Disco.Module |
Ambiguous | Disco.Typecheck.Util |
And | Disco.Syntax.Operators |
angles | Disco.Parser |
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 |
asum' | Disco.Typecheck.Solve |
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.Surface, Disco.AST.Typed, Disco.AST.Desugared |
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 |
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 | Disco.AST.Surface |
Branch_ | Disco.AST.Generic |
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 |
charv | Disco.Value |
Check | Disco.Typecheck |
check | Disco.Typecheck |
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 |
cmdFile | Disco.Interactive.CmdLine |
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 |
Cons | Disco.Syntax.Operators |
Constraint | Disco.Typecheck.Constraints |
constraint | Disco.Typecheck.Util |
constraints | Disco.Typecheck.Util |
Container | Disco.AST.Generic, Disco.AST.Surface, Disco.AST.Typed, Disco.AST.Desugared |
containerToCon | Disco.Typecheck |
containerTy | Disco.Typecheck |
containerVars | Disco.Types |
Contra | Disco.Types.Rules |
COr | Disco.Typecheck.Constraints |
cOr | Disco.Typecheck.Util |
Core | Disco.AST.Core |
Count | Disco.Syntax.Operators |
Counter | Disco.Effects.Counter |
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 |
CyclicImport | Disco.Error |
CyclicTyDef | Disco.Typecheck.Util |
DBinding | |
1 (Type/Class) | Disco.AST.Desugared |
2 (Data Constructor) | Disco.AST.Desugared |
DBranch | Disco.AST.Desugared |
DDefn | Disco.AST.Surface |
Debug | Disco.Messages |
debug | Disco.Messages |
debugFlag | Disco.Interactive.CmdLine |
debugMode | Disco.Eval |
debugPretty | Disco.Messages |
Decimal | Disco.AST.Core |
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 |
desugarDefn | Disco.Desugar |
desugarGuards | Disco.Desugar |
desugarProperty | Disco.Desugar |
desugarTerm | Disco.Desugar |
DGPat | Disco.AST.Desugared |
DGuard | Disco.AST.Desugared |
Diff | Disco.Syntax.Operators |
digitalExpansion | Disco.Pretty |
Dir | |
1 (Data Constructor) | Disco.Names |
2 (Type/Class) | Disco.Types.Rules |
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 |
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 |
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 |
enumv | Disco.Value |
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 |
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 |
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 |
findRep | Disco.Pretty |
findRep' | Disco.Pretty |
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 |
Fraction | Disco.AST.Core |
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 |
GBool | Disco.AST.Surface |
GBool_ | Disco.AST.Generic |
generateSamples | Disco.Property |
Geq | Disco.Syntax.Operators |
Get | Disco.Effects.State |
get | Disco.Effects.State |
GetAvoids | Disco.Effects.LFresh |
getAvoids | Disco.Effects.LFresh |
getAvoids_ | Disco.Effects.LFresh |
getEltTy | Disco.Typecheck |
getIlk | Disco.Typecheck.Solve |
getPA | Disco.Pretty.Prec, Disco.Pretty |
gets | Disco.Effects.State |
getSort | Disco.Typecheck.Solve |
getSubst | Disco.Subst |
getTestEnv | Disco.Value |
getType | Disco.Types, Disco.AST.Typed |
glbBySort | Disco.Typecheck.Solve |
GLet | Disco.AST.Surface |
GLet_ | Disco.AST.Generic |
GPat | Disco.AST.Surface |
GPat_ | Disco.AST.Generic |
Graph | Disco.Typecheck.Graph |
Gt | Disco.Syntax.Operators |
Guard | Disco.AST.Surface |
Guard_ | Disco.AST.Generic |
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.Parser |
IDiv | Disco.Syntax.Operators |
idS | Disco.Subst |
Iff | Disco.Syntax.Operators |
Ilk | Disco.Types |
Impl | Disco.Syntax.Operators |
In | Disco.Syntax.Operators |
indented | Disco.Parser |
Infer | Disco.Typecheck |
infer | Disco.Typecheck |
inferTelescope | Disco.Typecheck |
inferTop | Disco.Typecheck |
InfiniteLoop | Disco.Error |
Info | Disco.Messages |
info | Disco.Messages |
infoPretty | Disco.Messages |
initDiscoConfig | Disco.Eval |
initPA | Disco.Pretty.Prec, Disco.Pretty |
InL | Disco.Syntax.Operators |
Input | |
1 (Data Constructor) | Disco.Effects.Input |
2 (Type/Class) | 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 |
integer | Disco.Pretty.DSL, Disco.Pretty |
Inter | Disco.Syntax.Operators |
intercalate | Disco.Pretty.DSL, Disco.Pretty |
intv | Disco.Value |
InvalidPattern | Disco.Parser |
invertMotive | Disco.Property |
invertPropResult | Disco.Property |
isBase | Disco.Types |
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 |
isTyVar | Disco.Types |
isVar | Disco.Types |
joinCtx | Disco.Context |
joinCtxs | Disco.Context |
KeepKeys | Disco.Effects.Store |
keepKeys | Disco.Effects.Store |
keysSet | Disco.Context |
L | Disco.AST.Generic, Disco.AST.Surface |
Lam | Disco.AST.Generic, Disco.AST.Surface |
lambda | Disco.Parser |
lastFile | Disco.Eval |
Lazy | Disco.Types |
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 |
Link | Disco.AST.Surface |
Link_ | Disco.AST.Generic |
list | Disco.Report |
ListContainer | Disco.AST.Generic, Disco.AST.Surface, Disco.AST.Typed, Disco.AST.Desugared |
listv | Disco.Value |
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 |
lookupVM | Disco.Typecheck.Solve |
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 |
MapStore | Disco.Effects.Store |
mapStore | Disco.Effects.Store |
mapTelescope | Disco.AST.Generic, Disco.AST.Surface |
Max | Disco.Syntax.Operators |
Mem | 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 |
Min | Disco.Syntax.Operators |
miName | Disco.Module |
miNames | Disco.Module |
miProps | Disco.Module |
miTermdefs | Disco.Module |
miTerms | Disco.Module |
miTydefs | Disco.Module |
miTys | Disco.Module |
mkConstraintGraph | Disco.Typecheck.Solve |
mkGraph | Disco.Typecheck.Graph |
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 |
N | Disco.Types |
Named | Disco.Names |
NameProvenance | Disco.Names |
names | Disco.Context |
natural | Disco.Parser |
Neg | Disco.Syntax.Operators |
Neq | Disco.Syntax.Operators |
nest | |
1 (Function) | Disco.Report |
2 (Function) | Disco.Pretty.DSL, Disco.Pretty |
New | Disco.Effects.Store |
new | Disco.Effects.Store |
Next | Disco.Effects.Counter |
next | Disco.Effects.Counter |
nodes | Disco.Typecheck.Graph |
NoError | Disco.Typecheck.Util |
noLoc | Disco.Typecheck.Util |
NonExhaustive | Disco.Error |
NoPolyRec | Disco.Typecheck.Util |
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 |
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 |
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 |
onVM | Disco.Typecheck.Solve |
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 |
OPower | Disco.AST.Core |
opPrec | Disco.Syntax.Operators |
opSyns | Disco.Syntax.Operators |
opTable | Disco.Syntax.Operators |
Or | Disco.Syntax.Operators |
OSetToList | Disco.AST.Core |
OSetToMap | Disco.AST.Core |
OShouldEq | Disco.AST.Core |
OSqrt | Disco.AST.Core |
OSummary | Disco.AST.Core |
other | Disco.Types.Rules |
otherDoc | Disco.Doc |
otherReference | 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 |
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 |
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 |
PolyType | Disco.Types |
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 |
prettyStr | Disco.Pretty |
prettyTestFailure | Disco.Value |
prettyTestResult | Disco.Value |
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 |
primDoc | Disco.Doc |
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 |
PrimLeft | Disco.Syntax.Prims |
PrimList | Disco.Syntax.Prims |
PrimLookup | Disco.Syntax.Prims |
PrimLookupSeq | Disco.Syntax.Prims |
primMap | Disco.Syntax.Prims |
PrimMapToSet | Disco.Syntax.Prims |
PrimMerge | Disco.Syntax.Prims |
PrimOverlay | Disco.Syntax.Prims |
PrimPower | Disco.Syntax.Prims |
PrimReduce | Disco.Syntax.Prims |
primReference | Disco.Doc |
PrimRight | 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 |
Random | |
1 (Data Constructor) | Disco.Effects.Random |
2 (Type/Class) | Disco.Effects.Random |
random | Disco.Effects.Random |
Randomized | Disco.Value |
Randomness | Disco.Extensions |
RandomR | Disco.Effects.Random |
randomR | Disco.Effects.Random |
RationalDisplay | Disco.AST.Core |
ratv | Disco.Value |
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 |
resolveModule | Disco.Module |
Resolver | Disco.Module |
restrictKeys | Disco.Context |
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 |
runGen | Disco.Effects.Random |
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 |
runRandom | Disco.Effects.Random |
runRandomIO | Disco.Effects.Random |
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.Surface, Disco.AST.Typed, Disco.AST.Desugared |
setPA | Disco.Pretty |
setREPLModule | Disco.Eval |
setType | Disco.Types, Disco.AST.Typed |
ShouldEq | Disco.Syntax.Operators |
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 |
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 |
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 |
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 |
TestBool | Disco.Value |
TestEnv | |
1 (Type/Class) | Disco.Value |
2 (Data Constructor) | Disco.Value |
testEnv | Disco.Value |
TestEqual | 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 |
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 |
TyDefBody | |
1 (Type/Class) | Disco.Types |
2 (Data Constructor) | Disco.Types |
TyDefCtx | Disco.Types |
TyF | 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 |
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 |
UAtom | Disco.Types |
uatomToAtom | Disco.Types |
uatomToEither | Disco.Types |
uatomToTypeSubst | Disco.Types |
UB | Disco.Types |
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 |
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 |
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 |
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 |
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 |
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 |
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 |