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 |