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.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| align | DDC.Source.Tetra.Pretty |
| Alt | DDC.Source.Tetra.Exp.Annot |
| angles | DDC.Source.Tetra.Pretty |
| Annot | DDC.Source.Tetra.Exp.Annot |
| arityOfType | DDC.Source.Tetra.Compounds |
| backslash | DDC.Source.Tetra.Pretty |
| BAnon | DDC.Source.Tetra.Exp |
| Bind | |
| 1 (Type/Class) | DDC.Source.Tetra.Exp |
| 2 (Type/Class) | DDC.Source.Tetra.Exp.Annot |
| 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 | |
| 1 (Type/Class) | DDC.Source.Tetra.Exp |
| 2 (Type/Class) | DDC.Source.Tetra.Exp.Annot |
| boundMatchesBind | DDC.Source.Tetra.Compounds |
| braces | DDC.Source.Tetra.Pretty |
| brackets | DDC.Source.Tetra.Pretty |
| Cast | DDC.Source.Tetra.Exp.Annot |
| CastBox | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| CastPurify | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| CastRun | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| CastWeakenEffect | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| cat | DDC.Source.Tetra.Pretty |
| char | DDC.Source.Tetra.Pretty |
| Clause | DDC.Source.Tetra.Exp.Annot |
| 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 |
| context | DDC.Source.Tetra.Parser |
| contextFunctionalClosures | DDC.Source.Tetra.Parser |
| contextFunctionalEffects | DDC.Source.Tetra.Parser |
| contextMakeStringName | DDC.Source.Tetra.Parser |
| contextTrackedClosures | DDC.Source.Tetra.Parser |
| contextTrackedEffects | DDC.Source.Tetra.Parser |
| ConvertM | DDC.Source.Tetra.Convert |
| coreOfSourceModule | DDC.Source.Tetra.Convert |
| DaCon | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| DaConBound | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| daConName | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| DaConPrim | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| daConType | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| DaConUnit | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| dataArityOfType | DDC.Source.Tetra.Compounds |
| 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 |
| dataDefBool | DDC.Source.Tetra.Env |
| 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 |
| desugarGuards | DDC.Source.Tetra.Transform.Guards |
| 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 |
| ErrorConvert | DDC.Source.Tetra.Convert |
| ErrorConvertCannotConvertSugarExp | DDC.Source.Tetra.Convert |
| ErrorConvertCannotConvertSugarLets | DDC.Source.Tetra.Convert |
| 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.Annot |
| 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 |
| GAlt | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GAnnot | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GBind | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GBound | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GCast | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GClause | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GDefault | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GExp | |
| 1 (Data Constructor) | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| 2 (Type/Class) | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GGuard | |
| 1 (Type/Class) | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| 2 (Data Constructor) | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GGuardedExp | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GLets | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GName | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GPat | |
| 1 (Data Constructor) | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| 2 (Type/Class) | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GPred | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GPrim | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| group | DDC.Source.Tetra.Pretty |
| Guard | DDC.Source.Tetra.Exp.Annot |
| GuardedExp | DDC.Source.Tetra.Exp.Annot |
| GWiCon | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| GWitness | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| hang | DDC.Source.Tetra.Pretty |
| HasAnonBind | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Transform.BoundX, DDC.Source.Tetra.Exp.Annot |
| hcat | DDC.Source.Tetra.Pretty |
| hPutDoc | DDC.Source.Tetra.Pretty |
| hsep | DDC.Source.Tetra.Pretty |
| ImportCap | DDC.Source.Tetra.Module |
| ImportCapAbstract | DDC.Source.Tetra.Module |
| importCapAbstractType | DDC.Source.Tetra.Module |
| ImportType | DDC.Source.Tetra.Module |
| ImportTypeAbstract | DDC.Source.Tetra.Module |
| importTypeAbstractType | DDC.Source.Tetra.Module |
| ImportTypeBoxed | DDC.Source.Tetra.Module |
| importTypeBoxed | DDC.Source.Tetra.Module |
| ImportValue | DDC.Source.Tetra.Module |
| ImportValueModule | DDC.Source.Tetra.Module |
| importValueModuleArity | DDC.Source.Tetra.Module |
| importValueModuleName | DDC.Source.Tetra.Module |
| importValueModuleType | DDC.Source.Tetra.Module |
| importValueModuleVar | DDC.Source.Tetra.Module |
| ImportValueSea | DDC.Source.Tetra.Module |
| importValueSeaType | DDC.Source.Tetra.Module |
| importValueSeaVar | 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 |
| isAnon | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Transform.BoundX, DDC.Source.Tetra.Exp.Annot |
| 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 |
| kindOfPrimName | DDC.Source.Tetra.Env |
| kindPrimTyCon | DDC.Source.Tetra.Prim |
| kindPrimTyConTetra | 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.Annot |
| lexModuleString | DDC.Source.Tetra.Lexer |
| LGroup | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| liftAtDepthX | DDC.Source.Tetra.Transform.BoundX |
| liftX | DDC.Source.Tetra.Transform.BoundX |
| line | DDC.Source.Tetra.Pretty |
| linebreak | DDC.Source.Tetra.Pretty |
| list | DDC.Source.Tetra.Pretty |
| LLet | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| lparen | DDC.Source.Tetra.Pretty |
| LPrivate | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| LRec | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| makeBindFromBinder | DDC.Source.Tetra.Compounds |
| makeXAppsWithAnnots | DDC.Source.Tetra.Compounds |
| makeXLamFlags | DDC.Source.Tetra.Compounds |
| mapBoundAtDepthX | DDC.Source.Tetra.Transform.BoundX |
| MapBoundX | DDC.Source.Tetra.Transform.BoundX |
| 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 |
| moduleImportCaps | 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, DDC.Source.Tetra.Exp.Annot |
| NameArith | DDC.Source.Tetra.Prim |
| NameCon | DDC.Source.Tetra.Prim |
| namedBoundMatchesBind | DDC.Source.Tetra.Compounds |
| NameError | DDC.Source.Tetra.Prim |
| NameFun | DDC.Source.Tetra.Prim |
| NameHole | DDC.Source.Tetra.Prim |
| NameLit | DDC.Source.Tetra.Prim |
| NameLitBool | DDC.Source.Tetra.Prim |
| NameLitFloat | DDC.Source.Tetra.Prim |
| NameLitInt | DDC.Source.Tetra.Prim |
| NameLitNat | DDC.Source.Tetra.Prim |
| NameLitSize | DDC.Source.Tetra.Prim |
| NameLitTextLit | DDC.Source.Tetra.Prim |
| NameLitWord | DDC.Source.Tetra.Prim |
| NamePrim | DDC.Source.Tetra.Prim |
| NameTyCon | DDC.Source.Tetra.Prim |
| NameTyConTetra | DDC.Source.Tetra.Prim |
| NameTyConTetraC | DDC.Source.Tetra.Prim |
| NameTyConTetraF | DDC.Source.Tetra.Prim |
| NameTyConTetraTuple | DDC.Source.Tetra.Prim |
| NameTyConTetraU | DDC.Source.Tetra.Prim |
| NameType | DDC.Source.Tetra.Prim |
| NameVal | DDC.Source.Tetra.Prim |
| NameVar | DDC.Source.Tetra.Prim |
| NameVector | DDC.Source.Tetra.Prim |
| nest | DDC.Source.Tetra.Pretty |
| nesting | DDC.Source.Tetra.Pretty |
| NFDataLanguage | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| OpError | DDC.Source.Tetra.Prim |
| OpErrorDefault | DDC.Source.Tetra.Prim |
| OpFun | DDC.Source.Tetra.Prim |
| OpFunApply | DDC.Source.Tetra.Prim |
| OpFunCApply | DDC.Source.Tetra.Prim |
| OpFunCCurry | DDC.Source.Tetra.Prim |
| OpFunCExtend | DDC.Source.Tetra.Prim |
| OpFunCReify | DDC.Source.Tetra.Prim |
| OpFunCurry | DDC.Source.Tetra.Prim |
| OpVector | DDC.Source.Tetra.Prim |
| OpVectorAlloc | DDC.Source.Tetra.Prim |
| OpVectorLength | DDC.Source.Tetra.Prim |
| OpVectorRead | DDC.Source.Tetra.Prim |
| OpVectorWrite | DDC.Source.Tetra.Prim |
| padL | DDC.Source.Tetra.Pretty |
| parens | DDC.Source.Tetra.Pretty |
| Parser | DDC.Source.Tetra.Parser |
| partitionBindsByType | DDC.Source.Tetra.Compounds |
| Pat | DDC.Source.Tetra.Exp.Annot |
| pBinder | DDC.Source.Tetra.Parser |
| pCon | DDC.Source.Tetra.Parser |
| PData | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| PDefault | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| pExp | DDC.Source.Tetra.Parser |
| pExpApp | DDC.Source.Tetra.Parser |
| pExpAtom | DDC.Source.Tetra.Parser |
| pFalse | DDC.Source.Tetra.Compounds |
| 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 |
| PrettyLanguage | 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 |
| PrimLit | DDC.Source.Tetra.Prim |
| PrimLitBool | DDC.Source.Tetra.Prim |
| PrimLitFloat | DDC.Source.Tetra.Prim |
| PrimLitInt | DDC.Source.Tetra.Prim |
| PrimLitNat | DDC.Source.Tetra.Prim |
| PrimLitSize | DDC.Source.Tetra.Prim |
| PrimLitTextLit | DDC.Source.Tetra.Prim |
| PrimLitWord | DDC.Source.Tetra.Prim |
| PrimName | DDC.Source.Tetra.Prim |
| PrimNameType | DDC.Source.Tetra.Prim |
| PrimNameVal | DDC.Source.Tetra.Prim |
| 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 |
| PrimTyConSize | DDC.Source.Tetra.Prim |
| PrimTyConTag | DDC.Source.Tetra.Prim |
| PrimTyConTetra | DDC.Source.Tetra.Prim |
| PrimTyConTetraC | DDC.Source.Tetra.Prim |
| PrimTyConTetraF | DDC.Source.Tetra.Prim |
| PrimTyConTetraTuple | DDC.Source.Tetra.Prim |
| PrimTyConTetraU | DDC.Source.Tetra.Prim |
| PrimTyConTetraVector | DDC.Source.Tetra.Prim |
| PrimTyConTextLit | DDC.Source.Tetra.Prim |
| PrimTyConVec | DDC.Source.Tetra.Prim |
| PrimTyConVoid | DDC.Source.Tetra.Prim |
| PrimTyConWord | DDC.Source.Tetra.Prim |
| PrimType | DDC.Source.Tetra.Prim |
| primTypeEnv | DDC.Source.Tetra.Env |
| PrimTypeTyCon | DDC.Source.Tetra.Prim |
| PrimTypeTyConTetra | DDC.Source.Tetra.Prim |
| PrimVal | DDC.Source.Tetra.Prim |
| PrimValArith | DDC.Source.Tetra.Prim |
| PrimValError | DDC.Source.Tetra.Prim |
| PrimValFun | DDC.Source.Tetra.Prim |
| PrimValLit | DDC.Source.Tetra.Prim |
| PrimValVector | DDC.Source.Tetra.Prim |
| pTok | DDC.Source.Tetra.Parser |
| pTokAs | DDC.Source.Tetra.Parser |
| pTrue | DDC.Source.Tetra.Compounds |
| 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 |
| runConvertM | DDC.Source.Tetra.Convert |
| 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 |
| ShowLanguage | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| SimpleDoc | DDC.Source.Tetra.Pretty |
| SLet | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| 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 |
| SSig | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| 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 |
| takeTFunWitArgResult | DDC.Source.Tetra.Compounds |
| takeTSusp | DDC.Source.Tetra.Compounds |
| takeTSusps | 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 |
| TcConDeepWrite | DDC.Source.Tetra.Exp |
| TcConFun | DDC.Source.Tetra.Exp |
| TcConHeadRead | DDC.Source.Tetra.Exp |
| TcConRead | DDC.Source.Tetra.Exp |
| TcConSusp | DDC.Source.Tetra.Exp |
| TcConUnit | 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 |
| tDeepMutable | DDC.Source.Tetra.Compounds |
| tDeepRead | DDC.Source.Tetra.Compounds |
| tDeepWrite | DDC.Source.Tetra.Compounds |
| tDistinct | DDC.Source.Tetra.Compounds |
| text | DDC.Source.Tetra.Pretty |
| tFloat | DDC.Source.Tetra.Prim |
| 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 |
| tFunOfList | DDC.Source.Tetra.Compounds |
| tFunOfParamResult | DDC.Source.Tetra.Compounds |
| tHeadRead | DDC.Source.Tetra.Compounds |
| tImpl | DDC.Source.Tetra.Compounds |
| tInt | DDC.Source.Tetra.Prim |
| tIx | DDC.Source.Tetra.Compounds |
| tMutable | DDC.Source.Tetra.Compounds |
| tNat | DDC.Source.Tetra.Prim |
| Top | DDC.Source.Tetra.Module |
| topAnnot | DDC.Source.Tetra.Module |
| TopClause | DDC.Source.Tetra.Module |
| topClause | DDC.Source.Tetra.Module |
| TopData | DDC.Source.Tetra.Module |
| topDataDef | DDC.Source.Tetra.Module |
| tPure | DDC.Source.Tetra.Compounds |
| tRead | DDC.Source.Tetra.Compounds |
| tSize | DDC.Source.Tetra.Prim |
| TSum | DDC.Source.Tetra.Exp |
| tSum | DDC.Source.Tetra.Compounds |
| tSusp | DDC.Source.Tetra.Compounds |
| tTextLit | DDC.Source.Tetra.Prim |
| tUnit | DDC.Source.Tetra.Compounds |
| tupled | DDC.Source.Tetra.Pretty |
| TVar | DDC.Source.Tetra.Exp |
| TwCon | DDC.Source.Tetra.Exp |
| TwConConst | DDC.Source.Tetra.Exp |
| TwConDeepConst | DDC.Source.Tetra.Exp |
| TwConDeepMutable | DDC.Source.Tetra.Exp |
| TwConDisjoint | DDC.Source.Tetra.Exp |
| TwConDistinct | DDC.Source.Tetra.Exp |
| TwConImpl | 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 |
| 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 |
| typeOfPrimLit | DDC.Source.Tetra.Env |
| typeOfPrimName | DDC.Source.Tetra.Env |
| typeOfPrimVal | DDC.Source.Tetra.Env |
| typeOpError | DDC.Source.Tetra.Prim |
| typeOpFun | DDC.Source.Tetra.Prim |
| typeOpVector | 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.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| wApp | DDC.Source.Tetra.Compounds |
| wApps | DDC.Source.Tetra.Compounds |
| WCon | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| WiCon | DDC.Source.Tetra.Exp.Annot |
| WiConBound | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| width | DDC.Source.Tetra.Pretty |
| Witness | DDC.Source.Tetra.Exp.Annot |
| WType | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| WVar | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| XApp | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| xApps | DDC.Source.Tetra.Compounds |
| xBox | DDC.Source.Tetra.Compounds |
| XCase | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| XCast | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| XCon | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| XDefix | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| xErrorDefault | DDC.Source.Tetra.Compounds |
| XInfixOp | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| XInfixVar | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| XLAM | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| XLam | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| xLAMs | DDC.Source.Tetra.Compounds |
| xLams | DDC.Source.Tetra.Compounds |
| XLet | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| XPrim | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| xRun | DDC.Source.Tetra.Compounds |
| XType | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| XVar | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |
| XWitness | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Annot, DDC.Source.Tetra.Exp |