A
B
C
D
E
F
G
H
I
K
L
M
N
P
Q
R
S
T
U
V
W
X
Z
$
<
All

Index - T

takeCtorNameOfAlt
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeDataTyConApps	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeKFun	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeKFuns	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeKFuns'	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeNameOfBind	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeNameOfBound	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeNameOfDaCon	DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takePrimeRegion	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takePrimTyConApps	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takePrimWiConApps
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeResultKind	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeSortOfKiCon	DDC.Type.Check
takeSubstBoundOfBind	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeSubstBoundsOfBinds	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTApps	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTExists	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTForalls	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTFun	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTFunAllArgResult	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTFunArgResult	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTFunEC	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTFunWitArgResult	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTyConApps	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTypeOfBound	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTypeOfDaCon	DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTypeOfExportSource	DDC.Core.Module
takeWAppsAsList
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXApps
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXApps1
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXAppsAsList
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXAppsWithAnnots	DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXConApps
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXLamFlags
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXLAMs
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXLams
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXPrimApps
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXType
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXWitness
1 (Function)	DDC.Core.Compounds.Simple
2 (Function)	DDC.Core.Compounds.Annot, DDC.Core.Compounds
tAlloc	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
TApp	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
tApp	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tApps	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tBot	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
TcCon	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConAlloc	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConDeepAlloc	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConDeepRead	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConDeepUse	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConDeepWrite	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConFun	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConFunEC	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConHeadRead	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConRead	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConSusp	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConUnit	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConUse	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConWrite	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TCon	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
tConData0	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tConData1	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tConst	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDeepAlloc	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDeepConst	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDeepGlobal	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDeepMutable	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDeepRead	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDeepUse	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDeepWrite	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDistinct	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tEmpty	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
text	DDC.Core.Pretty
TForall	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
tForall	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tForall'	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tForalls	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tForalls'	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tFun	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tFunEC	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tFunOfList	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tFunOfListPE	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tFunPE	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tGlobal	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tHeadLazy	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tHeadRead	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tImpl	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tIx	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tLazy	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tManifest	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tMutable	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
Tok	DDC.Core.Lexer.Tokens, DDC.Core.Lexer
TokAtom	DDC.Core.Lexer.Tokens, DDC.Core.Lexer
TokMeta	DDC.Core.Lexer.Tokens, DDC.Core.Lexer
TokNamed	DDC.Core.Lexer.Tokens, DDC.Core.Lexer
toList	DDC.Type.Sum
tPure	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
TrackedClosures	DDC.Core.Fragment
TrackedEffects	DDC.Core.Fragment
tRead	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
trimClosure	DDC.Type.Transform.Trim
trimClosures	DDC.Core.Transform.Trim
trimX	DDC.Core.Transform.Trim
TSum	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
tSum	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tSusp	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tUnit	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tupled	DDC.Core.Pretty
tUse	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
TVar	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwCon	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConConst	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConDeepConst	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConDeepGlobal	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConDeepMutable	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConDisjoint	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConDistinct	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConEmpty	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConGlobal	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConHeadLazy	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConImpl	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConLazy	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConManifest	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConMutable	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConPure	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
tWrite	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
TyCon	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TyConBound	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TyConExists	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TyConHash
1 (Type/Class)	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
2 (Data Constructor)	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TyConKind	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TyConSort	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TyConSpec	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TyConWitness	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
Type	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TypeEnv	DDC.Type.Env
typeOfBind	DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
typeOfDataCtor	DDC.Type.DataDef
typeOfExp	DDC.Core.Check
typeOfImportSource	DDC.Core.Module
typeOfWiCon	DDC.Core.Check
typeOfWitness	DDC.Core.Check
TypeSum	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TypeSumBot	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
typeSumBoundAnon	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
typeSumBoundNamed	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TypeSumCon	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
typeSumElems	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
typeSumKind	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TypeSumSet	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
typeSumSpill	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TypeSumVar	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TypeSumVarCon	DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp