| TaggedClosure | DDC.Core.Check.TaggedClosure, DDC.Core.Check.CheckExp |
| taggedClosureOfTyArg | DDC.Core.Check.TaggedClosure |
| taggedClosureOfValBound | DDC.Core.Check.TaggedClosure |
| taggedClosureOfWeakClo | DDC.Core.Check.TaggedClosure |
| takeCtorNameOfAlt | DDC.Core.Compounds |
| takeDataTyConApps | DDC.Type.Compounds |
| takeKFun | DDC.Type.Compounds |
| takeKFuns | DDC.Type.Compounds |
| takeKFuns' | DDC.Type.Compounds |
| takeNameOfBind | DDC.Type.Compounds |
| takeNameOfBound | DDC.Type.Compounds |
| takeResultKind | DDC.Type.Compounds |
| takeSortOfKiCon | DDC.Type.Check |
| takeSubstBoundOfBind | DDC.Type.Compounds |
| takeSumArrayElem | DDC.Type.Sum |
| takeTApps | DDC.Type.Compounds |
| takeTForalls | DDC.Type.Compounds |
| takeTFun | DDC.Type.Compounds |
| takeTFunArgResult | DDC.Type.Compounds |
| takeTyConApps | DDC.Type.Compounds |
| takeXApps | DDC.Core.Compounds |
| takeXConApps | DDC.Core.Compounds |
| takeXLamFlags | DDC.Core.Compounds |
| takeXLAMs | DDC.Core.Compounds |
| takeXLams | DDC.Core.Compounds |
| takeXPrimApps | DDC.Core.Compounds |
| tAlloc | DDC.Type.Compounds |
| TApp | DDC.Type.Exp, DDC.Core.Exp |
| tApp | DDC.Type.Compounds |
| tApps | DDC.Type.Compounds |
| tBot | DDC.Type.Compounds |
| TcCon | DDC.Type.Exp, DDC.Core.Exp |
| TcConAlloc | DDC.Type.Exp, DDC.Core.Exp |
| TcConDeepAlloc | DDC.Type.Exp, DDC.Core.Exp |
| TcConDeepRead | DDC.Type.Exp, DDC.Core.Exp |
| TcConDeepUse | DDC.Type.Exp, DDC.Core.Exp |
| TcConDeepWrite | DDC.Type.Exp, DDC.Core.Exp |
| TcConFun | DDC.Type.Exp, DDC.Core.Exp |
| TcConHeadRead | DDC.Type.Exp, DDC.Core.Exp |
| TcConRead | DDC.Type.Exp, DDC.Core.Exp |
| TcConUse | DDC.Type.Exp, DDC.Core.Exp |
| TcConWrite | DDC.Type.Exp, DDC.Core.Exp |
| TCon | DDC.Type.Exp, DDC.Core.Exp |
| tConData0 | DDC.Type.Compounds |
| tConData1 | DDC.Type.Compounds |
| tConst | DDC.Type.Compounds |
| tDeepAlloc | DDC.Type.Compounds |
| tDeepConst | DDC.Type.Compounds |
| tDeepGlobal | DDC.Type.Compounds |
| tDeepMutable | DDC.Type.Compounds |
| tDeepRead | DDC.Type.Compounds |
| tDeepUse | DDC.Type.Compounds |
| tDeepWrite | DDC.Type.Compounds |
| tEmpty | DDC.Type.Compounds |
| text | DDC.Core.Pretty |
| TForall | DDC.Type.Exp, DDC.Core.Exp |
| tForall | DDC.Type.Compounds |
| tForalls | DDC.Type.Compounds |
| tFun | DDC.Type.Compounds |
| tFunPE | DDC.Type.Compounds |
| tGlobal | DDC.Type.Compounds |
| tHeadLazy | DDC.Type.Compounds |
| tHeadRead | DDC.Type.Compounds |
| throw | DDC.Type.Check.Monad |
| tImpl | DDC.Type.Compounds |
| tIx | DDC.Type.Compounds |
| tLazy | DDC.Type.Compounds |
| tManifest | DDC.Type.Compounds |
| tMutable | DDC.Type.Compounds |
| Tok | DDC.Core.Parser.Tokens |
| TokAtom | DDC.Core.Parser.Tokens |
| TokNamed | DDC.Core.Parser.Tokens |
| toList | DDC.Type.Sum |
| tPure | DDC.Type.Compounds |
| tRead | DDC.Type.Compounds |
| trimClosure | DDC.Type.Transform.Trim |
| TSum | DDC.Type.Exp, DDC.Core.Exp |
| tSum | DDC.Type.Compounds |
| tupled | DDC.Core.Pretty |
| tUse | DDC.Type.Compounds |
| TVar | DDC.Type.Exp, DDC.Core.Exp |
| TwCon | DDC.Type.Exp, DDC.Core.Exp |
| TwConConst | DDC.Type.Exp, DDC.Core.Exp |
| TwConDeepConst | DDC.Type.Exp, DDC.Core.Exp |
| TwConDeepGlobal | DDC.Type.Exp, DDC.Core.Exp |
| TwConDeepMutable | DDC.Type.Exp, DDC.Core.Exp |
| TwConEmpty | DDC.Type.Exp, DDC.Core.Exp |
| TwConGlobal | DDC.Type.Exp, DDC.Core.Exp |
| TwConHeadLazy | DDC.Type.Exp, DDC.Core.Exp |
| TwConImpl | DDC.Type.Exp, DDC.Core.Exp |
| TwConLazy | DDC.Type.Exp, DDC.Core.Exp |
| TwConManifest | DDC.Type.Exp, DDC.Core.Exp |
| TwConMutable | DDC.Type.Exp, DDC.Core.Exp |
| TwConPure | DDC.Type.Exp, DDC.Core.Exp |
| tWrite | DDC.Type.Compounds |
| TyCon | DDC.Type.Exp, DDC.Core.Exp |
| TyConBound | DDC.Type.Exp, DDC.Core.Exp |
| TyConHash | |
| 1 (Type/Class) | DDC.Type.Exp, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Type.Exp, DDC.Core.Exp |
| TyConKind | DDC.Type.Exp, DDC.Core.Exp |
| TyConSort | DDC.Type.Exp, DDC.Core.Exp |
| TyConSpec | DDC.Type.Exp, DDC.Core.Exp |
| TyConWitness | DDC.Type.Exp, DDC.Core.Exp |
| Type | DDC.Type.Exp, DDC.Core.Exp |
| typeOfBind | DDC.Type.Compounds |
| typeOfBound | DDC.Type.Compounds |
| typeOfExp | DDC.Core.Check.CheckExp, DDC.Core.Check |
| typeOfWbCon | DDC.Core.Check.CheckWitness |
| typeOfWiCon | DDC.Core.Check.CheckWitness, DDC.Core.Check |
| typeOfWitness | DDC.Core.Check.CheckWitness, DDC.Core.Check |
| TypeSum | |
| 1 (Type/Class) | DDC.Type.Exp, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Type.Exp, DDC.Core.Exp |
| typeSumBoundAnon | DDC.Type.Exp, DDC.Core.Exp |
| typeSumBoundNamed | DDC.Type.Exp, DDC.Core.Exp |
| TypeSumCon | DDC.Type.Exp, DDC.Core.Exp |
| typeSumElems | DDC.Type.Exp, DDC.Core.Exp |
| typeSumKind | DDC.Type.Exp, DDC.Core.Exp |
| typeSumSpill | DDC.Type.Exp, DDC.Core.Exp |
| TypeSumVar | DDC.Type.Exp, DDC.Core.Exp |
| TypeSumVarCon | DDC.Type.Exp, DDC.Core.Exp |