disco-0.1.5: Functional programming language for teaching discrete math.

Index - T

TAbsDisco.AST.Surface
TAbs_Disco.AST.Generic
taddPADisco.Pretty.Prec, Disco.Pretty
TAppDisco.AST.Surface
TApp_Disco.AST.Generic
tarrPADisco.Pretty.Prec, Disco.Pretty
TAscrDisco.AST.Surface
TAscr_Disco.AST.Generic
TBinDisco.AST.Surface
TBoolDisco.AST.Surface
TBool_Disco.AST.Generic
TCaseDisco.AST.Surface
TCase_Disco.AST.Generic
TCErrorDisco.Typecheck.Util
TChainDisco.AST.Surface
TChain_Disco.AST.Generic
TCharDisco.AST.Surface
TChar_Disco.AST.Generic
TContainerDisco.AST.Surface
TContainerCompDisco.AST.Surface
TContainerComp_Disco.AST.Generic
TContainer_Disco.AST.Generic
TelConsDisco.AST.Generic, Disco.AST.Surface
telConsDisco.AST.Generic
TelEmptyDisco.AST.Generic, Disco.AST.Surface
TelescopeDisco.AST.Generic, Disco.AST.Surface
TermDisco.AST.Surface
termDisco.Parser
TermDefn 
1 (Type/Class)Disco.AST.Surface
2 (Data Constructor)Disco.AST.Surface
Term_Disco.AST.Generic
TestBoolDisco.Value
TestEnv 
1 (Type/Class)Disco.Value
2 (Data Constructor)Disco.Value
testEnvDisco.Value
TestEqualDisco.Value
TestFoundDisco.Value
testIsErrorDisco.Value
testIsOkDisco.Value
TestNotFoundDisco.Value
TestReasonDisco.Value
testReasonDisco.Value
TestReason_Disco.Value
TestResult 
1 (Type/Class)Disco.Value
2 (Data Constructor)Disco.Value
TestRuntimeErrorDisco.Value
TestVars 
1 (Type/Class)Disco.Value
2 (Data Constructor)Disco.Value
text 
1 (Function)Disco.Report
2 (Function)Disco.Pretty.DSL, Disco.Pretty
tfunPADisco.Pretty.Prec, Disco.Pretty
thenIndentedDisco.Parser
thePrimDisco.Syntax.Prims
TLDeclDisco.AST.Surface
TLDocDisco.AST.Surface
TLetDisco.AST.Surface
TLet_Disco.AST.Generic
TLExprDisco.AST.Surface
TLinkDisco.AST.Surface
TLink_Disco.AST.Generic
TListDisco.AST.Surface
TListCompDisco.AST.Surface
tmulPADisco.Pretty.Prec, Disco.Pretty
TNatDisco.AST.Surface
TNat_Disco.AST.Generic
toListDisco.Subst
TooManyArgsDisco.Typecheck.Util
topEnvDisco.Eval
TopInfoDisco.Eval
TopLevelDisco.AST.Surface
topModMapDisco.Eval
toPolyTypeDisco.Types
toPrimDisco.Syntax.Prims
topSortDisco.Types.Qualifiers, Disco.Types.Rules
topsortDisco.Typecheck.Graph
toSimpleValueDisco.Value
toTelescopeDisco.AST.Generic, Disco.AST.Surface
TParensDisco.AST.Surface
TParens_Disco.AST.Generic
TPrimDisco.AST.Surface
TPrim_Disco.AST.Generic
TRatDisco.AST.Surface
TRat_Disco.AST.Generic
traverseTelescopeDisco.AST.Generic
TStringDisco.AST.Surface
TString_Disco.AST.Generic
TTupDisco.AST.Surface
TTup_Disco.AST.Generic
TTyOpDisco.AST.Surface
TTyOp_Disco.AST.Generic
TUnDisco.AST.Surface
TUnitDisco.AST.Surface
TUnit_Disco.AST.Generic
TVarDisco.AST.Surface
TVar_Disco.AST.Generic
TVIDisco.Typecheck.Solve
TWildDisco.AST.Surface
TyAtomDisco.Types
TyBagDisco.Types
TyBoolDisco.Types
TyCDisco.Types
TyConDisco.Types
TyContainerDisco.Types
TyCtxDisco.Typecheck.Util
TyDefBody 
1 (Type/Class)Disco.Types
2 (Data Constructor)Disco.Types
TyDefCtxDisco.Types
TyFDisco.Types
TyGraphDisco.Types
TyListDisco.Types
TyMapDisco.Types
TyNDisco.Types
TyOpDisco.Syntax.Operators
TypeDisco.Types
typecheckDisco.Typecheck
TypeCheckErrDisco.Error
typecheckTopDisco.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
TyPropDisco.Types
TyQDisco.Types
TySetDisco.Types
TySkolemDisco.Types
TyStringDisco.Types
TyUnitDisco.Types
TyUserDisco.Types
TyVarDisco.Types
tyVarIlkDisco.Typecheck.Solve
TyVarInfoDisco.Typecheck.Solve
TyVarInfoMapDisco.Typecheck.Solve
tyVarSortDisco.Typecheck.Solve
TyVoidDisco.Types
TyZDisco.Types