Index
| $: | DDC.Core.Tetra.Compounds |
| arityOfType | DDC.Core.Tetra.Compounds |
| binderOfBind | DDC.Core.Tetra.Compounds |
| bindsOfLets | DDC.Core.Tetra.Compounds |
| bindsOfPat | DDC.Core.Tetra.Compounds |
| boundMatchesBind | DDC.Core.Tetra.Compounds |
| dcUnit | DDC.Core.Tetra.Compounds |
| eraseTForalls | DDC.Core.Tetra.Compounds |
| freshT | DDC.Core.Tetra.Profile |
| freshX | DDC.Core.Tetra.Profile |
| kClosure | DDC.Core.Tetra.Compounds |
| kData | DDC.Core.Tetra.Compounds |
| kEffect | DDC.Core.Tetra.Compounds |
| kFun | DDC.Core.Tetra.Compounds |
| kFuns | DDC.Core.Tetra.Compounds |
| kindTyConPrim | DDC.Core.Tetra.Prim |
| kRegion | DDC.Core.Tetra.Compounds |
| kWitness | DDC.Core.Tetra.Compounds |
| lexExpString | DDC.Core.Tetra.Profile, DDC.Core.Tetra |
| lexModuleString | DDC.Core.Tetra.Profile, DDC.Core.Tetra |
| makeBindFromBinder | DDC.Core.Tetra.Compounds |
| makeXAppsWithAnnots | DDC.Core.Tetra.Compounds |
| makeXLamFlags | DDC.Core.Tetra.Compounds |
| mkDaConAlg | DDC.Core.Tetra.Compounds |
| mkDaConSolid | DDC.Core.Tetra.Compounds |
| Name | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| NameCon | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| namedBoundMatchesBind | DDC.Core.Tetra.Compounds |
| NameLitBool | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| NameLitInt | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| NameLitNat | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| NameLitWord | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| NameOpPrimArith | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| NameOpPrimRef | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| NameTyConPrim | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| NameVar | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArith | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithAdd | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithAnd | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithBAnd | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithBOr | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithBXOr | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithDiv | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithEq | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithGe | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithGt | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithLe | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithLt | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithMod | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithMul | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithNeg | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithNeq | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithOr | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithRem | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithShl | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithShr | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimArithSub | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimRef | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimRefAllocRef | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimRefReadRef | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| OpPrimRefWriteRef | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| partitionBindsByType | DDC.Core.Tetra.Compounds |
| primDataDefs | DDC.Core.Tetra.Env |
| primKindEnv | DDC.Core.Tetra.Env |
| primSortEnv | DDC.Core.Tetra.Env |
| primTypeEnv | DDC.Core.Tetra.Env |
| profile | DDC.Core.Tetra.Profile, DDC.Core.Tetra |
| readName | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| replaceTypeOfBind | DDC.Core.Tetra.Compounds |
| replaceTypeOfBound | DDC.Core.Tetra.Compounds |
| sComp | DDC.Core.Tetra.Compounds |
| specBindsOfLets | DDC.Core.Tetra.Compounds |
| splitXLets | DDC.Core.Tetra.Compounds |
| sProp | DDC.Core.Tetra.Compounds |
| takeAnnotOfExp | DDC.Core.Tetra.Compounds |
| takeCtorNameOfAlt | DDC.Core.Tetra.Compounds |
| takeDataTyConApps | DDC.Core.Tetra.Compounds |
| takeKFun | DDC.Core.Tetra.Compounds |
| takeKFuns | DDC.Core.Tetra.Compounds |
| takeKFuns' | DDC.Core.Tetra.Compounds |
| takeNameOfBind | DDC.Core.Tetra.Compounds |
| takeNameOfBound | DDC.Core.Tetra.Compounds |
| takeNameOfDaCon | DDC.Core.Tetra.Compounds |
| takePrimeRegion | DDC.Core.Tetra.Compounds |
| takePrimTyConApps | DDC.Core.Tetra.Compounds |
| takePrimWiConApps | DDC.Core.Tetra.Compounds |
| takeResultKind | DDC.Core.Tetra.Compounds |
| takeSubstBoundOfBind | DDC.Core.Tetra.Compounds |
| takeSubstBoundsOfBinds | DDC.Core.Tetra.Compounds |
| takeTApps | DDC.Core.Tetra.Compounds |
| takeTForalls | DDC.Core.Tetra.Compounds |
| takeTFun | DDC.Core.Tetra.Compounds |
| takeTFunAllArgResult | DDC.Core.Tetra.Compounds |
| takeTFunArgResult | DDC.Core.Tetra.Compounds |
| takeTFunEC | DDC.Core.Tetra.Compounds |
| takeTFunWitArgResult | DDC.Core.Tetra.Compounds |
| takeTyConApps | DDC.Core.Tetra.Compounds |
| takeWAppsAsList | DDC.Core.Tetra.Compounds |
| takeXApps | DDC.Core.Tetra.Compounds |
| takeXApps1 | DDC.Core.Tetra.Compounds |
| takeXAppsAsList | DDC.Core.Tetra.Compounds |
| takeXAppsWithAnnots | DDC.Core.Tetra.Compounds |
| takeXConApps | DDC.Core.Tetra.Compounds |
| takeXLamFlags | DDC.Core.Tetra.Compounds |
| takeXLAMs | DDC.Core.Tetra.Compounds |
| takeXLams | DDC.Core.Tetra.Compounds |
| takeXPrimApps | DDC.Core.Tetra.Compounds |
| takeXType | DDC.Core.Tetra.Compounds |
| takeXWitness | DDC.Core.Tetra.Compounds |
| tAlloc | DDC.Core.Tetra.Compounds |
| tApp | DDC.Core.Tetra.Compounds |
| tApps | DDC.Core.Tetra.Compounds |
| tBool | DDC.Core.Tetra.Compounds |
| tBot | DDC.Core.Tetra.Compounds |
| tConData0 | DDC.Core.Tetra.Compounds |
| tConData1 | DDC.Core.Tetra.Compounds |
| tConst | DDC.Core.Tetra.Compounds |
| tDeepAlloc | DDC.Core.Tetra.Compounds |
| tDeepConst | DDC.Core.Tetra.Compounds |
| tDeepGlobal | DDC.Core.Tetra.Compounds |
| tDeepMutable | DDC.Core.Tetra.Compounds |
| tDeepRead | DDC.Core.Tetra.Compounds |
| tDeepUse | DDC.Core.Tetra.Compounds |
| tDeepWrite | DDC.Core.Tetra.Compounds |
| tDistinct | DDC.Core.Tetra.Compounds |
| tEmpty | DDC.Core.Tetra.Compounds |
| tForall | DDC.Core.Tetra.Compounds |
| tForall' | DDC.Core.Tetra.Compounds |
| tForalls | DDC.Core.Tetra.Compounds |
| tForalls' | DDC.Core.Tetra.Compounds |
| tFun | DDC.Core.Tetra.Compounds |
| tFunEC | DDC.Core.Tetra.Compounds |
| tFunOfList | DDC.Core.Tetra.Compounds |
| tFunOfListPE | DDC.Core.Tetra.Compounds |
| tFunPE | DDC.Core.Tetra.Compounds |
| tGlobal | DDC.Core.Tetra.Compounds |
| tHeadLazy | DDC.Core.Tetra.Compounds |
| tHeadRead | DDC.Core.Tetra.Compounds |
| tImpl | DDC.Core.Tetra.Compounds |
| tInt | DDC.Core.Tetra.Compounds |
| tIx | DDC.Core.Tetra.Compounds |
| tLazy | DDC.Core.Tetra.Compounds |
| tManifest | DDC.Core.Tetra.Compounds |
| tMutable | DDC.Core.Tetra.Compounds |
| tNat | DDC.Core.Tetra.Compounds |
| tPure | DDC.Core.Tetra.Compounds |
| tRead | DDC.Core.Tetra.Compounds |
| tSum | DDC.Core.Tetra.Compounds |
| tSusp | DDC.Core.Tetra.Compounds |
| tUnit | DDC.Core.Tetra.Compounds |
| tUse | DDC.Core.Tetra.Compounds |
| tWord | DDC.Core.Tetra.Compounds |
| tWrite | DDC.Core.Tetra.Compounds |
| TyConPrim | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| TyConPrimBool | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| TyConPrimInt | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| TyConPrimNat | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| TyConPrimRef | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| TyConPrimWord | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
| typeOfBind | DDC.Core.Tetra.Compounds |
| typeOfDaCon | DDC.Core.Tetra.Compounds |
| typeOpPrimArith | DDC.Core.Tetra.Prim |
| typeOpPrimRef | DDC.Core.Tetra.Prim |
| valwitBindsOfLets | DDC.Core.Tetra.Compounds |
| wApp | DDC.Core.Tetra.Compounds |
| wApps | DDC.Core.Tetra.Compounds |
| xApps | DDC.Core.Tetra.Compounds |
| xLAMs | DDC.Core.Tetra.Compounds |
| xLams | DDC.Core.Tetra.Compounds |
| xLets | DDC.Core.Tetra.Compounds |
| xLetsAnnot | DDC.Core.Tetra.Compounds |
| xUnit | DDC.Core.Tetra.Compounds |