Index
| $: | DDC.Source.Tetra.Compounds |
| <$$> | DDC.Source.Tetra.Pretty |
| <$> | DDC.Source.Tetra.Pretty |
| <+> | DDC.Source.Tetra.Pretty |
| <//> | DDC.Source.Tetra.Pretty |
| </> | DDC.Source.Tetra.Pretty |
| <> | DDC.Source.Tetra.Pretty |
| AAlt | DDC.Source.Tetra.Exp |
| align | DDC.Source.Tetra.Pretty |
| Alt | DDC.Source.Tetra.Exp |
| angles | DDC.Source.Tetra.Pretty |
| arityOfType | DDC.Source.Tetra.Compounds |
| backslash | DDC.Source.Tetra.Pretty |
| BAnon | DDC.Source.Tetra.Exp |
| Bind | DDC.Source.Tetra.Exp |
| Binder | DDC.Source.Tetra.Exp |
| binderOfBind | DDC.Source.Tetra.Compounds |
| bindsOfPat | DDC.Source.Tetra.Compounds |
| BName | DDC.Source.Tetra.Exp |
| BNone | DDC.Source.Tetra.Exp |
| bool | DDC.Source.Tetra.Pretty |
| Bound | DDC.Source.Tetra.Exp |
| boundMatchesBind | DDC.Source.Tetra.Compounds |
| braces | DDC.Source.Tetra.Pretty |
| brackets | DDC.Source.Tetra.Pretty |
| Cast | DDC.Source.Tetra.Exp |
| CastBox | DDC.Source.Tetra.Exp |
| CastPurify | DDC.Source.Tetra.Exp |
| CastRun | DDC.Source.Tetra.Exp |
| CastWeakenEffect | DDC.Source.Tetra.Exp |
| cat | DDC.Source.Tetra.Pretty |
| char | DDC.Source.Tetra.Pretty |
| Closure | DDC.Source.Tetra.Exp |
| colon | DDC.Source.Tetra.Pretty |
| column | DDC.Source.Tetra.Pretty |
| comma | DDC.Source.Tetra.Pretty |
| Config | |
| 1 (Type/Class) | DDC.Source.Tetra.Transform.Expand |
| 2 (Data Constructor) | DDC.Source.Tetra.Transform.Expand |
| configDefault | DDC.Source.Tetra.Transform.Expand |
| configMakeTypeHole | DDC.Source.Tetra.Transform.Expand |
| Context | |
| 1 (Data Constructor) | DDC.Source.Tetra.Parser |
| 2 (Type/Class) | DDC.Source.Tetra.Parser |
| contextFunctionalClosures | DDC.Source.Tetra.Parser |
| contextFunctionalEffects | DDC.Source.Tetra.Parser |
| contextTrackedClosures | DDC.Source.Tetra.Parser |
| contextTrackedEffects | DDC.Source.Tetra.Parser |
| DaCon | DDC.Source.Tetra.Exp |
| DaConBound | DDC.Source.Tetra.Exp |
| daConName | DDC.Source.Tetra.Exp |
| DaConPrim | DDC.Source.Tetra.Exp |
| daConType | DDC.Source.Tetra.Exp |
| DaConUnit | DDC.Source.Tetra.Exp |
| DataCtor | |
| 1 (Type/Class) | DDC.Source.Tetra.DataDef |
| 2 (Data Constructor) | DDC.Source.Tetra.DataDef |
| dataCtorFieldTypes | DDC.Source.Tetra.DataDef |
| dataCtorName | DDC.Source.Tetra.DataDef |
| dataCtorResultType | DDC.Source.Tetra.DataDef |
| DataDef | |
| 1 (Type/Class) | DDC.Source.Tetra.DataDef, DDC.Source.Tetra.Module |
| 2 (Data Constructor) | DDC.Source.Tetra.DataDef, DDC.Source.Tetra.Module |
| dataDefCtors | DDC.Source.Tetra.DataDef, DDC.Source.Tetra.Module |
| dataDefParams | DDC.Source.Tetra.DataDef, DDC.Source.Tetra.Module |
| dataDefTypeName | DDC.Source.Tetra.DataDef, DDC.Source.Tetra.Module |
| dcUnit | DDC.Source.Tetra.Compounds |
| defaultFixTable | DDC.Source.Tetra.Transform.Defix |
| Defix | DDC.Source.Tetra.Transform.Defix |
| defix | DDC.Source.Tetra.Transform.Defix |
| displayIO | DDC.Source.Tetra.Pretty |
| displayS | DDC.Source.Tetra.Pretty |
| Doc | DDC.Source.Tetra.Pretty |
| dot | DDC.Source.Tetra.Pretty |
| double | DDC.Source.Tetra.Pretty |
| dquote | DDC.Source.Tetra.Pretty |
| dquotes | DDC.Source.Tetra.Pretty |
| Effect | DDC.Source.Tetra.Exp |
| empty | DDC.Source.Tetra.Pretty |
| enclose | DDC.Source.Tetra.Pretty |
| encloseSep | DDC.Source.Tetra.Pretty |
| equals | DDC.Source.Tetra.Pretty |
| eraseTForalls | DDC.Source.Tetra.Compounds |
| Error | DDC.Source.Tetra.Transform.Defix |
| errorAnnot | DDC.Source.Tetra.Transform.Defix |
| errorAnnot1 | DDC.Source.Tetra.Transform.Defix |
| errorAnnot2 | DDC.Source.Tetra.Transform.Defix |
| ErrorDefixMixedAssoc | DDC.Source.Tetra.Transform.Defix |
| ErrorDefixNonAssoc | DDC.Source.Tetra.Transform.Defix |
| errorExp | DDC.Source.Tetra.Transform.Defix |
| ErrorMalformed | DDC.Source.Tetra.Transform.Defix |
| ErrorNoInfixDef | DDC.Source.Tetra.Transform.Defix |
| errorOp1 | DDC.Source.Tetra.Transform.Defix |
| errorOp2 | DDC.Source.Tetra.Transform.Defix |
| errorOps | DDC.Source.Tetra.Transform.Defix |
| errorSymbol | DDC.Source.Tetra.Transform.Defix |
| Exp | DDC.Source.Tetra.Exp |
| Expand | DDC.Source.Tetra.Transform.Expand |
| expand | DDC.Source.Tetra.Transform.Expand |
| ExportSource | DDC.Source.Tetra.Module |
| ExportSourceLocal | DDC.Source.Tetra.Module |
| exportSourceLocalName | DDC.Source.Tetra.Module |
| ExportSourceLocalNoType | DDC.Source.Tetra.Module |
| exportSourceLocalType | DDC.Source.Tetra.Module |
| fill | DDC.Source.Tetra.Pretty |
| fillBreak | DDC.Source.Tetra.Pretty |
| fillCat | DDC.Source.Tetra.Pretty |
| fillSep | DDC.Source.Tetra.Pretty |
| FixDef | DDC.Source.Tetra.Transform.Defix |
| fixDefAssoc | DDC.Source.Tetra.Transform.Defix |
| fixDefExp | DDC.Source.Tetra.Transform.Defix |
| FixDefInfix | DDC.Source.Tetra.Transform.Defix |
| fixDefPrec | DDC.Source.Tetra.Transform.Defix |
| FixDefPrefix | DDC.Source.Tetra.Transform.Defix |
| fixDefSymbol | DDC.Source.Tetra.Transform.Defix |
| FixTable | |
| 1 (Type/Class) | DDC.Source.Tetra.Transform.Defix |
| 2 (Data Constructor) | DDC.Source.Tetra.Transform.Defix |
| float | DDC.Source.Tetra.Pretty |
| group | DDC.Source.Tetra.Pretty |
| hang | DDC.Source.Tetra.Pretty |
| hcat | DDC.Source.Tetra.Pretty |
| hPutDoc | DDC.Source.Tetra.Pretty |
| hsep | DDC.Source.Tetra.Pretty |
| ImportSource | DDC.Source.Tetra.Module |
| ImportSourceAbstract | DDC.Source.Tetra.Module |
| importSourceAbstractType | DDC.Source.Tetra.Module |
| ImportSourceModule | DDC.Source.Tetra.Module |
| importSourceModuleName | DDC.Source.Tetra.Module |
| importSourceModuleType | DDC.Source.Tetra.Module |
| importSourceModuleVar | DDC.Source.Tetra.Module |
| ImportSourceSea | DDC.Source.Tetra.Module |
| importSourceSeaType | DDC.Source.Tetra.Module |
| importSourceSeaVar | DDC.Source.Tetra.Module |
| indent | DDC.Source.Tetra.Pretty |
| InfixAssoc | DDC.Source.Tetra.Transform.Defix |
| InfixLeft | DDC.Source.Tetra.Transform.Defix |
| InfixNone | DDC.Source.Tetra.Transform.Defix |
| InfixRight | DDC.Source.Tetra.Transform.Defix |
| int | DDC.Source.Tetra.Pretty |
| integer | DDC.Source.Tetra.Pretty |
| isAlgDataType | DDC.Source.Tetra.Predicates |
| isAllocEffect | DDC.Source.Tetra.Predicates |
| isAtomT | DDC.Source.Tetra.Predicates |
| isAtomW | DDC.Source.Tetra.Predicates |
| isAtomX | DDC.Source.Tetra.Predicates |
| isBAnon | DDC.Source.Tetra.Predicates |
| isBName | DDC.Source.Tetra.Predicates |
| isBNone | DDC.Source.Tetra.Predicates |
| isBot | DDC.Source.Tetra.Predicates |
| isClosureKind | DDC.Source.Tetra.Predicates |
| isConstWitType | DDC.Source.Tetra.Predicates |
| isDataKind | DDC.Source.Tetra.Predicates |
| isDistinctWitType | DDC.Source.Tetra.Predicates |
| isEffectKind | DDC.Source.Tetra.Predicates |
| isLambdaX | DDC.Source.Tetra.Predicates |
| isMainModule | DDC.Source.Tetra.Module |
| isMainModuleName | DDC.Source.Tetra.Module |
| isMutableWitType | DDC.Source.Tetra.Predicates |
| isPDefault | DDC.Source.Tetra.Predicates |
| isReadEffect | DDC.Source.Tetra.Predicates |
| isRegionKind | DDC.Source.Tetra.Predicates |
| isSomeAllocEffect | DDC.Source.Tetra.Predicates |
| isSomeReadEffect | DDC.Source.Tetra.Predicates |
| isSomeWriteEffect | DDC.Source.Tetra.Predicates |
| isTExists | DDC.Source.Tetra.Predicates |
| isTVar | DDC.Source.Tetra.Predicates |
| isWitnessKind | DDC.Source.Tetra.Predicates |
| isWitnessType | DDC.Source.Tetra.Predicates |
| isWriteEffect | DDC.Source.Tetra.Predicates |
| isXApp | DDC.Source.Tetra.Predicates |
| isXCon | DDC.Source.Tetra.Predicates |
| isXLAM | DDC.Source.Tetra.Predicates |
| isXLam | DDC.Source.Tetra.Predicates |
| isXLet | DDC.Source.Tetra.Predicates |
| isXType | DDC.Source.Tetra.Predicates |
| isXVar | DDC.Source.Tetra.Predicates |
| isXWitness | DDC.Source.Tetra.Predicates |
| kClosure | DDC.Source.Tetra.Compounds |
| kData | DDC.Source.Tetra.Compounds |
| kEffect | DDC.Source.Tetra.Compounds |
| kFun | DDC.Source.Tetra.Compounds |
| kFuns | DDC.Source.Tetra.Compounds |
| KiCon | DDC.Source.Tetra.Exp |
| KiConClosure | DDC.Source.Tetra.Exp |
| KiConData | DDC.Source.Tetra.Exp |
| KiConEffect | DDC.Source.Tetra.Exp |
| KiConFun | DDC.Source.Tetra.Exp |
| KiConRegion | DDC.Source.Tetra.Exp |
| KiConWitness | DDC.Source.Tetra.Exp |
| Kind | DDC.Source.Tetra.Exp |
| kindPrimTyCon | DDC.Source.Tetra.Prim |
| kindTyConTetra | DDC.Source.Tetra.Prim |
| kRegion | DDC.Source.Tetra.Compounds |
| kWitness | DDC.Source.Tetra.Compounds |
| langle | DDC.Source.Tetra.Pretty |
| lbrace | DDC.Source.Tetra.Pretty |
| lbracket | DDC.Source.Tetra.Pretty |
| Lets | DDC.Source.Tetra.Exp |
| lexModuleString | DDC.Source.Tetra.Lexer |
| line | DDC.Source.Tetra.Pretty |
| linebreak | DDC.Source.Tetra.Pretty |
| list | DDC.Source.Tetra.Pretty |
| LLet | DDC.Source.Tetra.Exp |
| lparen | DDC.Source.Tetra.Pretty |
| LPrivate | DDC.Source.Tetra.Exp |
| LRec | DDC.Source.Tetra.Exp |
| makeBindFromBinder | DDC.Source.Tetra.Compounds |
| makeXAppsWithAnnots | DDC.Source.Tetra.Compounds |
| makeXLamFlags | DDC.Source.Tetra.Compounds |
| modeAltExp | DDC.Source.Tetra.Pretty |
| modeExpAlt | DDC.Source.Tetra.Pretty |
| modeExpConTypes | DDC.Source.Tetra.Pretty |
| modeExpLets | DDC.Source.Tetra.Pretty |
| modeExpUseLetCase | DDC.Source.Tetra.Pretty |
| modeExpVarTypes | DDC.Source.Tetra.Pretty |
| modeLetsExp | DDC.Source.Tetra.Pretty |
| modeLetsSuppressTypes | DDC.Source.Tetra.Pretty |
| modeModuleLets | DDC.Source.Tetra.Pretty |
| modeModuleSuppressExports | DDC.Source.Tetra.Pretty |
| modeModuleSuppressImports | DDC.Source.Tetra.Pretty |
| Module | |
| 1 (Type/Class) | DDC.Source.Tetra.Module |
| 2 (Data Constructor) | DDC.Source.Tetra.Module |
| moduleExportTypes | DDC.Source.Tetra.Module |
| moduleExportValues | DDC.Source.Tetra.Module |
| moduleImportModules | DDC.Source.Tetra.Module |
| moduleImportTypes | DDC.Source.Tetra.Module |
| moduleImportValues | DDC.Source.Tetra.Module |
| ModuleName | |
| 1 (Data Constructor) | DDC.Source.Tetra.Module |
| 2 (Type/Class) | DDC.Source.Tetra.Module |
| moduleName | DDC.Source.Tetra.Module |
| moduleTops | DDC.Source.Tetra.Module |
| Name | DDC.Source.Tetra.Prim |
| NameCon | DDC.Source.Tetra.Prim |
| namedBoundMatchesBind | DDC.Source.Tetra.Compounds |
| NameHole | DDC.Source.Tetra.Prim |
| NameLitBool | DDC.Source.Tetra.Prim |
| NameLitInt | DDC.Source.Tetra.Prim |
| NameLitNat | DDC.Source.Tetra.Prim |
| NameLitWord | DDC.Source.Tetra.Prim |
| NameOpStore | DDC.Source.Tetra.Prim |
| NamePrimArith | DDC.Source.Tetra.Prim |
| NamePrimTyCon | DDC.Source.Tetra.Prim |
| NameTyConTetra | DDC.Source.Tetra.Prim |
| NameVar | DDC.Source.Tetra.Prim |
| nest | DDC.Source.Tetra.Pretty |
| nesting | DDC.Source.Tetra.Pretty |
| OpStore | DDC.Source.Tetra.Prim |
| OpStoreAllocRef | DDC.Source.Tetra.Prim |
| OpStoreReadRef | DDC.Source.Tetra.Prim |
| OpStoreWriteRef | DDC.Source.Tetra.Prim |
| parens | DDC.Source.Tetra.Pretty |
| Parser | DDC.Source.Tetra.Parser |
| partitionBindsByType | DDC.Source.Tetra.Compounds |
| Pat | DDC.Source.Tetra.Exp |
| pBinder | DDC.Source.Tetra.Parser |
| pCon | DDC.Source.Tetra.Parser |
| PData | DDC.Source.Tetra.Exp |
| PDefault | DDC.Source.Tetra.Exp |
| pExp | DDC.Source.Tetra.Parser |
| pExpApp | DDC.Source.Tetra.Parser |
| pExpAtom | DDC.Source.Tetra.Parser |
| pIndex | DDC.Source.Tetra.Parser |
| pLit | DDC.Source.Tetra.Parser |
| pModule | DDC.Source.Tetra.Parser |
| pName | DDC.Source.Tetra.Parser |
| ppr | DDC.Source.Tetra.Pretty |
| pprDefaultMode | DDC.Source.Tetra.Pretty |
| pprExportType | DDC.Source.Tetra.Pretty |
| pprExportValue | DDC.Source.Tetra.Pretty |
| pprImportType | DDC.Source.Tetra.Pretty |
| pprImportValue | DDC.Source.Tetra.Pretty |
| pprModePrec | DDC.Source.Tetra.Pretty |
| pprParen | DDC.Source.Tetra.Pretty |
| pprPrec | DDC.Source.Tetra.Pretty |
| Pretty | DDC.Source.Tetra.Pretty |
| PrettyMode | DDC.Source.Tetra.Pretty |
| PrettyModeAlt | DDC.Source.Tetra.Pretty |
| PrettyModeExp | DDC.Source.Tetra.Pretty |
| PrettyModeLets | DDC.Source.Tetra.Pretty |
| PrettyModeModule | DDC.Source.Tetra.Pretty |
| PrimArith | DDC.Source.Tetra.Prim |
| PrimArithAdd | DDC.Source.Tetra.Prim |
| PrimArithAnd | DDC.Source.Tetra.Prim |
| PrimArithBAnd | DDC.Source.Tetra.Prim |
| PrimArithBOr | DDC.Source.Tetra.Prim |
| PrimArithBXOr | DDC.Source.Tetra.Prim |
| PrimArithDiv | DDC.Source.Tetra.Prim |
| PrimArithEq | DDC.Source.Tetra.Prim |
| PrimArithGe | DDC.Source.Tetra.Prim |
| PrimArithGt | DDC.Source.Tetra.Prim |
| PrimArithLe | DDC.Source.Tetra.Prim |
| PrimArithLt | DDC.Source.Tetra.Prim |
| PrimArithMod | DDC.Source.Tetra.Prim |
| PrimArithMul | DDC.Source.Tetra.Prim |
| PrimArithNeg | DDC.Source.Tetra.Prim |
| PrimArithNeq | DDC.Source.Tetra.Prim |
| PrimArithOr | DDC.Source.Tetra.Prim |
| PrimArithRem | DDC.Source.Tetra.Prim |
| PrimArithShl | DDC.Source.Tetra.Prim |
| PrimArithShr | DDC.Source.Tetra.Prim |
| PrimArithSub | DDC.Source.Tetra.Prim |
| primKindEnv | DDC.Source.Tetra.Env |
| PrimTyCon | DDC.Source.Tetra.Prim |
| PrimTyConAddr | DDC.Source.Tetra.Prim |
| PrimTyConBool | DDC.Source.Tetra.Prim |
| PrimTyConFloat | DDC.Source.Tetra.Prim |
| PrimTyConInt | DDC.Source.Tetra.Prim |
| PrimTyConNat | DDC.Source.Tetra.Prim |
| PrimTyConPtr | DDC.Source.Tetra.Prim |
| PrimTyConString | DDC.Source.Tetra.Prim |
| PrimTyConTag | DDC.Source.Tetra.Prim |
| PrimTyConVec | DDC.Source.Tetra.Prim |
| PrimTyConVoid | DDC.Source.Tetra.Prim |
| PrimTyConWord | DDC.Source.Tetra.Prim |
| primTypeEnv | DDC.Source.Tetra.Env |
| pTok | DDC.Source.Tetra.Parser |
| pTokAs | DDC.Source.Tetra.Parser |
| pType | DDC.Source.Tetra.Parser |
| pTypeApp | DDC.Source.Tetra.Parser |
| pTypeAtom | DDC.Source.Tetra.Parser |
| punctuate | DDC.Source.Tetra.Pretty |
| putDoc | DDC.Source.Tetra.Pretty |
| putDocLn | DDC.Source.Tetra.Pretty |
| pVar | DDC.Source.Tetra.Parser |
| pWitness | DDC.Source.Tetra.Parser |
| pWitnessApp | DDC.Source.Tetra.Parser |
| pWitnessAtom | DDC.Source.Tetra.Parser |
| QualName | |
| 1 (Data Constructor) | DDC.Source.Tetra.Module |
| 2 (Type/Class) | DDC.Source.Tetra.Module |
| rangle | DDC.Source.Tetra.Pretty |
| RAnon | DDC.Source.Tetra.Exp |
| rational | DDC.Source.Tetra.Pretty |
| rbrace | DDC.Source.Tetra.Pretty |
| rbracket | DDC.Source.Tetra.Pretty |
| readName | DDC.Source.Tetra.Prim |
| Region | DDC.Source.Tetra.Exp |
| render | DDC.Source.Tetra.Pretty |
| renderCompact | DDC.Source.Tetra.Pretty |
| RenderIndent | DDC.Source.Tetra.Pretty |
| renderIndent | DDC.Source.Tetra.Pretty |
| RenderMode | DDC.Source.Tetra.Pretty |
| RenderPlain | DDC.Source.Tetra.Pretty |
| renderPlain | DDC.Source.Tetra.Pretty |
| replaceTypeOfBind | DDC.Source.Tetra.Compounds |
| replaceTypeOfBound | DDC.Source.Tetra.Compounds |
| RName | DDC.Source.Tetra.Exp |
| RNone | DDC.Source.Tetra.Exp |
| rparen | DDC.Source.Tetra.Pretty |
| SChar | DDC.Source.Tetra.Pretty |
| sComp | DDC.Source.Tetra.Compounds |
| semi | DDC.Source.Tetra.Pretty |
| semiBraces | DDC.Source.Tetra.Pretty |
| SEmpty | DDC.Source.Tetra.Pretty |
| sep | DDC.Source.Tetra.Pretty |
| SimpleDoc | DDC.Source.Tetra.Pretty |
| SLine | DDC.Source.Tetra.Pretty |
| SoCon | DDC.Source.Tetra.Exp |
| SoConComp | DDC.Source.Tetra.Exp |
| SoConProp | DDC.Source.Tetra.Exp |
| softbreak | DDC.Source.Tetra.Pretty |
| softline | DDC.Source.Tetra.Pretty |
| Sort | DDC.Source.Tetra.Exp |
| space | DDC.Source.Tetra.Pretty |
| sProp | DDC.Source.Tetra.Compounds |
| squote | DDC.Source.Tetra.Pretty |
| squotes | DDC.Source.Tetra.Pretty |
| SText | DDC.Source.Tetra.Pretty |
| string | DDC.Source.Tetra.Pretty |
| takeAnnotOfExp | DDC.Source.Tetra.Compounds |
| takeDataTyConApps | DDC.Source.Tetra.Compounds |
| takeKFun | DDC.Source.Tetra.Compounds |
| takeKFuns | DDC.Source.Tetra.Compounds |
| takeKFuns' | DDC.Source.Tetra.Compounds |
| takeNameOfBind | DDC.Source.Tetra.Compounds |
| takeNameOfBound | DDC.Source.Tetra.Compounds |
| takeNameOfDaCon | DDC.Source.Tetra.Compounds |
| takePrimeRegion | DDC.Source.Tetra.Compounds |
| takePrimTyConApps | DDC.Source.Tetra.Compounds |
| takePrimWiConApps | DDC.Source.Tetra.Compounds |
| takeResultKind | DDC.Source.Tetra.Compounds |
| takeSubstBoundOfBind | DDC.Source.Tetra.Compounds |
| takeSubstBoundsOfBinds | DDC.Source.Tetra.Compounds |
| takeTApps | DDC.Source.Tetra.Compounds |
| takeTExists | DDC.Source.Tetra.Compounds |
| takeTForalls | DDC.Source.Tetra.Compounds |
| takeTFun | DDC.Source.Tetra.Compounds |
| takeTFunAllArgResult | DDC.Source.Tetra.Compounds |
| takeTFunArgResult | DDC.Source.Tetra.Compounds |
| takeTFunEC | DDC.Source.Tetra.Compounds |
| takeTFunWitArgResult | DDC.Source.Tetra.Compounds |
| takeTyConApps | DDC.Source.Tetra.Compounds |
| takeTypeOfBound | DDC.Source.Tetra.Compounds |
| takeTypeOfDaCon | DDC.Source.Tetra.Compounds |
| takeWAppsAsList | DDC.Source.Tetra.Compounds |
| takeXApps | DDC.Source.Tetra.Compounds |
| takeXApps1 | DDC.Source.Tetra.Compounds |
| takeXAppsAsList | DDC.Source.Tetra.Compounds |
| takeXAppsWithAnnots | DDC.Source.Tetra.Compounds |
| takeXConApps | DDC.Source.Tetra.Compounds |
| takeXLamFlags | DDC.Source.Tetra.Compounds |
| takeXLAMs | DDC.Source.Tetra.Compounds |
| takeXLams | DDC.Source.Tetra.Compounds |
| takeXPrimApps | DDC.Source.Tetra.Compounds |
| takeXWitness | DDC.Source.Tetra.Compounds |
| tAlloc | DDC.Source.Tetra.Compounds |
| TApp | DDC.Source.Tetra.Exp |
| tApp | DDC.Source.Tetra.Compounds |
| tApps | DDC.Source.Tetra.Compounds |
| tBool | DDC.Source.Tetra.Prim |
| tBot | DDC.Source.Tetra.Compounds |
| TcCon | DDC.Source.Tetra.Exp |
| TcConAlloc | DDC.Source.Tetra.Exp |
| TcConDeepAlloc | DDC.Source.Tetra.Exp |
| TcConDeepRead | DDC.Source.Tetra.Exp |
| TcConDeepUse | DDC.Source.Tetra.Exp |
| TcConDeepWrite | DDC.Source.Tetra.Exp |
| TcConFun | DDC.Source.Tetra.Exp |
| TcConFunEC | DDC.Source.Tetra.Exp |
| TcConHeadRead | DDC.Source.Tetra.Exp |
| TcConRead | DDC.Source.Tetra.Exp |
| TcConSusp | DDC.Source.Tetra.Exp |
| TcConUnit | DDC.Source.Tetra.Exp |
| TcConUse | DDC.Source.Tetra.Exp |
| TcConWrite | DDC.Source.Tetra.Exp |
| TCon | DDC.Source.Tetra.Exp |
| tConData0 | DDC.Source.Tetra.Compounds |
| tConData1 | DDC.Source.Tetra.Compounds |
| tConst | DDC.Source.Tetra.Compounds |
| tDeepAlloc | DDC.Source.Tetra.Compounds |
| tDeepConst | DDC.Source.Tetra.Compounds |
| tDeepGlobal | DDC.Source.Tetra.Compounds |
| tDeepMutable | DDC.Source.Tetra.Compounds |
| tDeepRead | DDC.Source.Tetra.Compounds |
| tDeepUse | DDC.Source.Tetra.Compounds |
| tDeepWrite | DDC.Source.Tetra.Compounds |
| tDistinct | DDC.Source.Tetra.Compounds |
| tEmpty | DDC.Source.Tetra.Compounds |
| text | DDC.Source.Tetra.Pretty |
| TForall | DDC.Source.Tetra.Exp |
| tForall | DDC.Source.Tetra.Compounds |
| tForall' | DDC.Source.Tetra.Compounds |
| tForalls | DDC.Source.Tetra.Compounds |
| tForalls' | DDC.Source.Tetra.Compounds |
| tFun | DDC.Source.Tetra.Compounds |
| tFunEC | DDC.Source.Tetra.Compounds |
| tFunOfList | DDC.Source.Tetra.Compounds |
| tFunOfListPE | DDC.Source.Tetra.Compounds |
| tFunPE | DDC.Source.Tetra.Compounds |
| tGlobal | DDC.Source.Tetra.Compounds |
| tHeadLazy | DDC.Source.Tetra.Compounds |
| tHeadRead | DDC.Source.Tetra.Compounds |
| tImpl | DDC.Source.Tetra.Compounds |
| tInt | DDC.Source.Tetra.Prim |
| tIx | DDC.Source.Tetra.Compounds |
| tLazy | DDC.Source.Tetra.Compounds |
| tManifest | DDC.Source.Tetra.Compounds |
| tMutable | DDC.Source.Tetra.Compounds |
| tNat | DDC.Source.Tetra.Prim |
| toCoreModule | DDC.Source.Tetra.ToCore |
| Top | DDC.Source.Tetra.Module |
| topAnnot | DDC.Source.Tetra.Module |
| TopBind | DDC.Source.Tetra.Module |
| TopData | DDC.Source.Tetra.Module |
| topDataDef | DDC.Source.Tetra.Module |
| tPure | DDC.Source.Tetra.Compounds |
| tRead | DDC.Source.Tetra.Compounds |
| TSum | DDC.Source.Tetra.Exp |
| tSum | DDC.Source.Tetra.Compounds |
| tSusp | DDC.Source.Tetra.Compounds |
| tUnit | DDC.Source.Tetra.Compounds |
| tupled | DDC.Source.Tetra.Pretty |
| tUse | DDC.Source.Tetra.Compounds |
| TVar | DDC.Source.Tetra.Exp |
| TwCon | DDC.Source.Tetra.Exp |
| TwConConst | DDC.Source.Tetra.Exp |
| TwConDeepConst | DDC.Source.Tetra.Exp |
| TwConDeepGlobal | DDC.Source.Tetra.Exp |
| TwConDeepMutable | DDC.Source.Tetra.Exp |
| TwConDisjoint | DDC.Source.Tetra.Exp |
| TwConDistinct | DDC.Source.Tetra.Exp |
| TwConEmpty | DDC.Source.Tetra.Exp |
| TwConGlobal | DDC.Source.Tetra.Exp |
| TwConHeadLazy | DDC.Source.Tetra.Exp |
| TwConImpl | DDC.Source.Tetra.Exp |
| TwConLazy | DDC.Source.Tetra.Exp |
| TwConManifest | DDC.Source.Tetra.Exp |
| TwConMutable | DDC.Source.Tetra.Exp |
| TwConPure | DDC.Source.Tetra.Exp |
| tWord | DDC.Source.Tetra.Prim |
| tWrite | DDC.Source.Tetra.Compounds |
| TyCon | DDC.Source.Tetra.Exp |
| TyConBound | DDC.Source.Tetra.Exp |
| TyConExists | DDC.Source.Tetra.Exp |
| TyConHash | |
| 1 (Data Constructor) | DDC.Source.Tetra.Exp |
| 2 (Type/Class) | DDC.Source.Tetra.Exp |
| TyConKind | DDC.Source.Tetra.Exp |
| TyConSort | DDC.Source.Tetra.Exp |
| TyConSpec | DDC.Source.Tetra.Exp |
| TyConTetra | DDC.Source.Tetra.Prim |
| TyConTetraRef | DDC.Source.Tetra.Prim |
| TyConTetraTuple | DDC.Source.Tetra.Prim |
| TyConWitness | DDC.Source.Tetra.Exp |
| Type | DDC.Source.Tetra.Exp |
| typeEnvOfDataDef | DDC.Source.Tetra.DataDef |
| typeOfBind | DDC.Source.Tetra.Compounds |
| typeOfDataCtor | DDC.Source.Tetra.DataDef |
| typeOpStore | DDC.Source.Tetra.Prim |
| typePrimArith | DDC.Source.Tetra.Prim |
| TypeSum | DDC.Source.Tetra.Exp |
| TypeSumBot | DDC.Source.Tetra.Exp |
| typeSumBoundAnon | DDC.Source.Tetra.Exp |
| typeSumBoundNamed | DDC.Source.Tetra.Exp |
| TypeSumCon | DDC.Source.Tetra.Exp |
| typeSumElems | DDC.Source.Tetra.Exp |
| typeSumKind | DDC.Source.Tetra.Exp |
| TypeSumSet | DDC.Source.Tetra.Exp |
| typeSumSpill | DDC.Source.Tetra.Exp |
| TypeSumVar | DDC.Source.Tetra.Exp |
| TypeSumVarCon | DDC.Source.Tetra.Exp |
| UIx | DDC.Source.Tetra.Exp |
| UName | DDC.Source.Tetra.Exp |
| UPrim | DDC.Source.Tetra.Exp |
| vcat | DDC.Source.Tetra.Pretty |
| vsep | DDC.Source.Tetra.Pretty |
| WApp | DDC.Source.Tetra.Exp |
| wApp | DDC.Source.Tetra.Compounds |
| wApps | DDC.Source.Tetra.Compounds |
| WbCon | DDC.Source.Tetra.Exp |
| WbConAlloc | DDC.Source.Tetra.Exp |
| WbConEmpty | DDC.Source.Tetra.Exp |
| WbConPure | DDC.Source.Tetra.Exp |
| WbConRead | DDC.Source.Tetra.Exp |
| WbConUse | DDC.Source.Tetra.Exp |
| WCon | DDC.Source.Tetra.Exp |
| WiCon | DDC.Source.Tetra.Exp |
| WiConBound | DDC.Source.Tetra.Exp |
| WiConBuiltin | DDC.Source.Tetra.Exp |
| width | DDC.Source.Tetra.Pretty |
| Witness | DDC.Source.Tetra.Exp |
| WJoin | DDC.Source.Tetra.Exp |
| WType | DDC.Source.Tetra.Exp |
| WVar | DDC.Source.Tetra.Exp |
| XApp | DDC.Source.Tetra.Exp |
| xApps | DDC.Source.Tetra.Compounds |
| XCase | DDC.Source.Tetra.Exp |
| XCast | DDC.Source.Tetra.Exp |
| XCon | DDC.Source.Tetra.Exp |
| XDefix | DDC.Source.Tetra.Exp |
| XInfixOp | DDC.Source.Tetra.Exp |
| XInfixVar | DDC.Source.Tetra.Exp |
| XLAM | DDC.Source.Tetra.Exp |
| XLam | DDC.Source.Tetra.Exp |
| xLAMs | DDC.Source.Tetra.Compounds |
| xLams | DDC.Source.Tetra.Compounds |
| XLet | DDC.Source.Tetra.Exp |
| XType | DDC.Source.Tetra.Exp |
| XVar | DDC.Source.Tetra.Exp |
| XWitness | DDC.Source.Tetra.Exp |