Index
| $: | DDC.Type.Compounds, DDC.Core.Compounds |
| <$$> | DDC.Core.Pretty |
| <$> | DDC.Core.Pretty |
| <+> | DDC.Core.Pretty |
| <//> | DDC.Core.Pretty |
| </> | DDC.Core.Pretty |
| <> | DDC.Core.Pretty |
| AAlt | DDC.Core.Exp |
| align | DDC.Core.Pretty |
| Alt | DDC.Core.Exp |
| angles | DDC.Core.Pretty |
| annotClosure | DDC.Core.Check, DDC.Core.Load |
| annotEffect | DDC.Core.Check, DDC.Core.Load |
| annotTail | DDC.Core.Check, DDC.Core.Load |
| annotType | DDC.Core.Check, DDC.Core.Load |
| AnTEC | |
| 1 (Type/Class) | DDC.Core.Check, DDC.Core.Load |
| 2 (Data Constructor) | DDC.Core.Check, DDC.Core.Load |
| arityOfType | DDC.Type.Compounds, DDC.Core.Compounds |
| backslash | DDC.Core.Pretty |
| BAnon | DDC.Type.Exp, DDC.Core.Exp |
| Bind | DDC.Type.Exp, DDC.Core.Exp |
| bind0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| bind0s | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| bind1 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| bind1s | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| BindCasePat | DDC.Type.Collect |
| BindCon | DDC.Type.Collect |
| BindDef | DDC.Type.Collect |
| bindDefT | DDC.Type.Collect |
| Binder | DDC.Type.Exp, DDC.Core.Exp |
| binderOfBind | DDC.Type.Compounds, DDC.Core.Compounds |
| BindForall | DDC.Type.Collect |
| BindLAM | DDC.Type.Collect |
| BindLam | DDC.Type.Collect |
| BindLet | DDC.Type.Collect |
| BindLetRec | DDC.Type.Collect |
| BindLetRegions | DDC.Type.Collect |
| BindLetRegionWith | DDC.Type.Collect |
| bindsOfLets | DDC.Core.Compounds |
| bindsOfPat | DDC.Core.Compounds |
| BindStack | |
| 1 (Type/Class) | DDC.Type.Transform.Rename, DDC.Type.Transform.SubstituteT, DDC.Core.Transform.Rename |
| 2 (Data Constructor) | DDC.Type.Transform.Rename, DDC.Type.Transform.SubstituteT, DDC.Core.Transform.Rename |
| BindStruct | DDC.Type.Collect |
| BindTree | DDC.Type.Collect |
| BindUse | DDC.Type.Collect |
| BindWay | DDC.Type.Collect |
| BName | DDC.Type.Exp, DDC.Core.Exp |
| BNone | DDC.Type.Exp, DDC.Core.Exp |
| bool | DDC.Core.Pretty |
| Bound | DDC.Type.Exp, DDC.Core.Exp |
| BoundExp | DDC.Type.Collect |
| BoundLevel | DDC.Type.Collect |
| boundLevelOfBindWay | DDC.Type.Collect |
| boundMatchesBind | DDC.Type.Compounds, DDC.Core.Compounds |
| BoundSpec | DDC.Type.Collect |
| BoundWit | DDC.Type.Collect |
| braces | DDC.Core.Pretty |
| brackets | DDC.Core.Pretty |
| Cast | DDC.Core.Exp |
| CastForget | DDC.Core.Exp |
| CastPurify | DDC.Core.Exp |
| CastWeakenClosure | DDC.Core.Exp |
| CastWeakenEffect | DDC.Core.Exp |
| cat | DDC.Core.Pretty |
| char | DDC.Core.Pretty |
| checkExp | DDC.Core.Check |
| checkModule | DDC.Core.Check |
| checkType | DDC.Type.Check |
| checkWitness | DDC.Core.Check |
| Closure | DDC.Type.Exp, DDC.Core.Exp |
| collectBinds | DDC.Type.Collect, DDC.Core.Collect |
| collectBound | DDC.Type.Collect, DDC.Core.Collect |
| colon | DDC.Core.Pretty |
| column | DDC.Core.Pretty |
| comma | DDC.Core.Pretty |
| Complies | DDC.Core.Fragment |
| complies | DDC.Core.Fragment |
| compliesWithEnvs | DDC.Core.Fragment |
| Config | |
| 1 (Type/Class) | DDC.Core.Check |
| 2 (Data Constructor) | DDC.Core.Check |
| configOfProfile | DDC.Core.Check |
| configPrimDataDefs | DDC.Core.Check |
| configPrimKinds | DDC.Core.Check |
| configPrimTypes | DDC.Core.Check |
| configSuppressClosures | DDC.Core.Check |
| crushEffect | DDC.Type.Transform.Crush |
| crushSomeT | DDC.Type.Transform.Crush |
| DaCon | |
| 1 (Type/Class) | DDC.Core.DaCon, DDC.Core.Exp, DDC.Core.Compounds |
| 2 (Data Constructor) | DDC.Core.DaCon, DDC.Core.Exp, DDC.Core.Compounds |
| daConIsAlgebraic | DDC.Core.DaCon, DDC.Core.Exp, DDC.Core.Compounds |
| DaConName | DDC.Core.DaCon, DDC.Core.Exp, DDC.Core.Compounds |
| daConName | DDC.Core.DaCon, DDC.Core.Exp, DDC.Core.Compounds |
| DaConNamed | DDC.Core.DaCon, DDC.Core.Exp, DDC.Core.Compounds |
| daConType | DDC.Core.DaCon, DDC.Core.Exp, DDC.Core.Compounds |
| DaConUnit | DDC.Core.DaCon, DDC.Core.Exp, DDC.Core.Compounds |
| DataCtor | |
| 1 (Type/Class) | DDC.Type.DataDef |
| 2 (Data Constructor) | DDC.Type.DataDef |
| dataCtorFieldTypes | DDC.Type.DataDef |
| dataCtorName | DDC.Type.DataDef |
| dataCtorTag | DDC.Type.DataDef |
| dataCtorTypeName | DDC.Type.DataDef |
| DataDef | |
| 1 (Type/Class) | DDC.Type.DataDef |
| 2 (Data Constructor) | DDC.Type.DataDef |
| dataDefCtors | DDC.Type.DataDef |
| dataDefParamKinds | DDC.Type.DataDef |
| DataDefs | |
| 1 (Type/Class) | DDC.Type.DataDef |
| 2 (Data Constructor) | DDC.Type.DataDef |
| dataDefsCtors | DDC.Type.DataDef |
| dataDefsTypes | DDC.Type.DataDef |
| dataDefTypeName | DDC.Type.DataDef |
| DataMode | DDC.Type.DataDef |
| DataModeLarge | DDC.Type.DataDef |
| DataModeSmall | DDC.Type.DataDef |
| DataType | |
| 1 (Type/Class) | DDC.Type.DataDef |
| 2 (Data Constructor) | DDC.Type.DataDef |
| dataTypeMode | DDC.Type.DataDef |
| dataTypeName | DDC.Type.DataDef |
| dataTypeParamKinds | DDC.Type.DataDef |
| dcUnit | DDC.Core.DaCon, DDC.Core.Compounds |
| DebruijnBinders | DDC.Core.Fragment |
| delete | DDC.Type.Sum |
| depth | DDC.Type.Env |
| describeTok | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| describeTokAtom | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| describeTokMeta | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| describeTokNamed | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| difference | DDC.Type.Sum |
| displayIO | DDC.Core.Pretty |
| displayS | DDC.Core.Pretty |
| Doc | DDC.Core.Pretty |
| dot | DDC.Core.Pretty |
| double | DDC.Core.Pretty |
| dquote | DDC.Core.Pretty |
| dquotes | DDC.Core.Pretty |
| Effect | DDC.Type.Exp, DDC.Core.Exp |
| elem | DDC.Type.Sum |
| empty | |
| 1 (Function) | DDC.Core.Pretty |
| 2 (Function) | DDC.Type.Sum |
| 3 (Function) | DDC.Type.Env |
| emptyDataDefs | DDC.Type.DataDef |
| enclose | DDC.Core.Pretty |
| encloseSep | DDC.Core.Pretty |
| Env | |
| 1 (Type/Class) | DDC.Type.Env |
| 2 (Data Constructor) | DDC.Type.Env |
| envMap | DDC.Type.Env |
| envPrimFun | DDC.Type.Env |
| envStack | DDC.Type.Env |
| envStackLength | DDC.Type.Env |
| equals | DDC.Core.Pretty |
| equivT | DDC.Type.Equiv |
| equivWithBindsT | DDC.Type.Equiv |
| eraseTForalls | DDC.Type.Compounds, DDC.Core.Compounds |
| Error | |
| 1 (Type/Class) | DDC.Type.Check |
| 2 (Type/Class) | DDC.Core.Check |
| 3 (Type/Class) | DDC.Core.Fragment |
| 4 (Type/Class) | DDC.Core.Load |
| errorAltType1 | DDC.Core.Check |
| errorAltType2 | DDC.Core.Check |
| ErrorAppArgMismatch | DDC.Type.Check |
| ErrorAppMismatch | DDC.Core.Check |
| ErrorAppNotFun | |
| 1 (Data Constructor) | DDC.Type.Check |
| 2 (Data Constructor) | DDC.Core.Check |
| errorArgKind | DDC.Type.Check |
| errorArgType | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check |
| errorArgTypeKind | DDC.Type.Check |
| errorBind | DDC.Core.Check |
| errorBinds | DDC.Core.Check |
| errorBindType | DDC.Core.Check |
| errorBindWitness | DDC.Core.Check |
| errorBindWitness1 | DDC.Core.Check |
| errorBindWitness2 | DDC.Core.Check |
| errorBody | DDC.Type.Check |
| errorBound | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check |
| errorBoundRegions | DDC.Core.Check |
| ErrorCannotJoin | DDC.Core.Check |
| ErrorCaseAltResultMismatch | DDC.Core.Check |
| ErrorCaseCannotInstantiate | DDC.Core.Check |
| ErrorCaseFieldTypeMismatch | DDC.Core.Check |
| ErrorCaseNoAlternatives | DDC.Core.Check |
| ErrorCaseNonExhaustive | DDC.Core.Check |
| ErrorCaseNonExhaustiveLarge | DDC.Core.Check |
| ErrorCaseOverlapping | DDC.Core.Check |
| ErrorCaseScrutineeNotAlgebraic | DDC.Core.Check |
| ErrorCaseScrutineeTypeMismatch | DDC.Core.Check |
| ErrorCaseScrutineeTypeUndeclared | DDC.Core.Check |
| ErrorCaseTooManyBinders | DDC.Core.Check |
| ErrorCheckExp | DDC.Core.Load |
| errorChecking | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check |
| errorCheckingSum | DDC.Type.Check |
| ErrorCheckType | DDC.Core.Load |
| errorClosure | DDC.Core.Check |
| ErrorCompliance | DDC.Core.Load |
| errorCtorDaCon | DDC.Core.Check |
| errorCtorFields | DDC.Core.Check |
| errorCtorNamesMissing | DDC.Core.Check |
| errorDefType | DDC.Core.Check |
| errorEffect | DDC.Core.Check |
| errorExp | DDC.Core.Check |
| ErrorExportMismatch | DDC.Core.Check |
| errorExportType | DDC.Core.Check |
| ErrorExportUndefined | DDC.Core.Check |
| ErrorForallKindInvalid | DDC.Type.Check |
| errorFunType | DDC.Type.Check |
| errorFunTypeKind | DDC.Type.Check |
| errorKind | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check |
| errorKindExpected | DDC.Type.Check |
| errorKinds | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check |
| ErrorLamBindNotData | DDC.Core.Check |
| ErrorLamBodyNotData | DDC.Core.Check |
| ErrorLamNotPure | DDC.Core.Check |
| ErrorLamShadow | DDC.Core.Check |
| errorLeftKind | DDC.Type.Check |
| errorLeftType | DDC.Type.Check |
| ErrorLetBindingNotData | DDC.Core.Check |
| ErrorLetBodyNotData | DDC.Core.Check |
| ErrorLetLazyNotEmpty | DDC.Core.Check |
| ErrorLetLazyNotPure | DDC.Core.Check |
| ErrorLetLazyNoWitness | DDC.Core.Check |
| ErrorLetLazyWitnessTypeMismatch | DDC.Core.Check |
| ErrorLetMismatch | DDC.Core.Check |
| ErrorLetrecBindingNotLambda | DDC.Core.Check |
| ErrorLetrecRebound | DDC.Core.Check |
| ErrorLetRegionFree | DDC.Core.Check |
| ErrorLetRegionsNotRegion | DDC.Core.Check |
| ErrorLetRegionsRebound | DDC.Core.Check |
| ErrorLetRegionsWitnessOther | DDC.Core.Check |
| ErrorLetRegionWitnessConflict | DDC.Core.Check |
| ErrorLetRegionWitnessFree | DDC.Core.Check |
| ErrorLetRegionWitnessInvalid | DDC.Core.Check |
| ErrorMalformedExp | DDC.Core.Check |
| ErrorMalformedType | DDC.Core.Check |
| ErrorNakedSort | DDC.Type.Check |
| ErrorNakedType | |
| 1 (Data Constructor) | DDC.Core.Check |
| 2 (Data Constructor) | DDC.Core.Fragment |
| ErrorNakedWitness | |
| 1 (Data Constructor) | DDC.Core.Check |
| 2 (Data Constructor) | DDC.Core.Fragment |
| errorName | DDC.Core.Check |
| errorNotFunType | DDC.Core.Check |
| errorParamKind | DDC.Type.Check |
| errorParamType | DDC.Core.Check |
| ErrorParser | DDC.Core.Load |
| errorPatternFields | DDC.Core.Check |
| ErrorRead | DDC.Core.Load |
| errorRightKind | DDC.Type.Check |
| errorRightType | DDC.Type.Check |
| ErrorShadowedBind | DDC.Core.Fragment |
| errorSort | DDC.Type.Check |
| errorSpecOrWit | DDC.Core.Check |
| ErrorSumKindInvalid | DDC.Type.Check |
| ErrorSumKindMismatch | DDC.Type.Check |
| ErrorType | DDC.Core.Check |
| errorType | DDC.Core.Check |
| errorTypeAnnot | DDC.Core.Check |
| errorTypeCtor | DDC.Core.Check |
| errorTypeEnv | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check |
| errorTypeError | DDC.Core.Check |
| errorTypeField | DDC.Core.Check |
| errorTypeLeft | DDC.Core.Check |
| errorTypePattern | DDC.Core.Check |
| errorTypeRight | DDC.Core.Check |
| errorTypeScrutinee | DDC.Core.Check |
| errorTypeSum | DDC.Type.Check |
| ErrorUnappliedKindFun | DDC.Type.Check |
| ErrorUndefined | DDC.Type.Check |
| ErrorUndefinedCtor | |
| 1 (Data Constructor) | DDC.Type.Check |
| 2 (Data Constructor) | DDC.Core.Check |
| ErrorUndefinedPrim | DDC.Core.Fragment |
| ErrorUndefinedVar | |
| 1 (Data Constructor) | DDC.Core.Check |
| 2 (Data Constructor) | DDC.Core.Fragment |
| errorUniverse | DDC.Core.Check |
| ErrorUnsupported | DDC.Core.Fragment |
| ErrorUnusedBind | DDC.Core.Fragment |
| ErrorVarAnnotMismatch | |
| 1 (Data Constructor) | DDC.Type.Check |
| 2 (Data Constructor) | DDC.Core.Check |
| ErrorWAppMismatch | DDC.Core.Check |
| ErrorWAppNotCtor | DDC.Core.Check |
| ErrorWeakEffNotEff | DDC.Core.Check |
| ErrorWithRegionFree | DDC.Core.Check |
| ErrorWithRegionNotRegion | DDC.Core.Check |
| errorWitness | DDC.Core.Check |
| ErrorWitnessImplInvalid | DDC.Type.Check |
| errorWitnessLeft | DDC.Core.Check |
| ErrorWitnessNotEmpty | DDC.Core.Check |
| ErrorWitnessNotPurity | DDC.Core.Check |
| errorWitnessRight | DDC.Core.Check |
| errorWitnessTypeExpect | DDC.Core.Check |
| errorWitnessTypeHave | DDC.Core.Check |
| Exp | DDC.Core.Exp |
| extend | DDC.Type.Env |
| extends | DDC.Type.Env |
| Feature | DDC.Core.Fragment |
| Features | |
| 1 (Type/Class) | DDC.Core.Fragment |
| 2 (Data Constructor) | DDC.Core.Fragment |
| featuresDebruijnBinders | DDC.Core.Fragment |
| featuresGeneralApplication | DDC.Core.Fragment |
| featuresLazyBindings | DDC.Core.Fragment |
| featuresNameShadowing | DDC.Core.Fragment |
| featuresNestedFunctions | DDC.Core.Fragment |
| featuresPartialApplication | DDC.Core.Fragment |
| featuresPartialPrims | DDC.Core.Fragment |
| featuresUnboundLevel0Vars | DDC.Core.Fragment |
| featuresUnboxedInstantiation | DDC.Core.Fragment |
| featuresUntrackedClosures | DDC.Core.Fragment |
| featuresUntrackedEffects | DDC.Core.Fragment |
| featuresUnusedBindings | DDC.Core.Fragment |
| featuresUnusedMatches | DDC.Core.Fragment |
| fill | DDC.Core.Pretty |
| fillBreak | DDC.Core.Pretty |
| fillCat | DDC.Core.Pretty |
| fillSep | DDC.Core.Pretty |
| float | DDC.Core.Pretty |
| Fragment | |
| 1 (Type/Class) | DDC.Core.Fragment |
| 2 (Data Constructor) | DDC.Core.Fragment |
| fragmentCheckExp | DDC.Core.Fragment |
| fragmentCheckModule | DDC.Core.Fragment |
| fragmentExtension | DDC.Core.Fragment |
| fragmentLexExp | DDC.Core.Fragment |
| fragmentLexModule | DDC.Core.Fragment |
| fragmentProfile | DDC.Core.Fragment |
| fragmentReadName | DDC.Core.Fragment |
| freeT | DDC.Type.Collect, DDC.Core.Collect |
| freeX | DDC.Core.Collect |
| fromList | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| fromListDataDefs | DDC.Type.DataDef |
| fromTypeMap | DDC.Type.Env |
| GeneralApplication | DDC.Core.Fragment |
| getBindType | DDC.Type.Bind |
| group | DDC.Core.Pretty |
| hang | DDC.Core.Pretty |
| hashTyCon | DDC.Type.Sum |
| hashTyConRange | DDC.Type.Sum |
| hcat | DDC.Core.Pretty |
| hPutDoc | DDC.Core.Pretty |
| hsep | DDC.Core.Pretty |
| indent | DDC.Core.Pretty |
| insert | DDC.Type.Sum |
| insertDataDef | DDC.Type.DataDef |
| instantiateT | DDC.Type.Transform.Instantiate |
| instantiateTs | DDC.Type.Transform.Instantiate |
| int | DDC.Core.Pretty |
| integer | DDC.Core.Pretty |
| isAlgDataType | DDC.Type.Predicates, DDC.Core.Predicates |
| isAllocEffect | DDC.Type.Predicates, DDC.Core.Predicates |
| isAtomT | DDC.Type.Predicates, DDC.Core.Predicates |
| isAtomW | DDC.Core.Predicates |
| isAtomX | DDC.Core.Predicates |
| isBAnon | DDC.Type.Predicates, DDC.Core.Predicates |
| isBName | DDC.Type.Predicates, DDC.Core.Predicates |
| isBNone | DDC.Type.Predicates, DDC.Core.Predicates |
| isBot | DDC.Type.Predicates, DDC.Core.Predicates |
| isBoundExpWit | DDC.Type.Collect |
| isClosureKind | DDC.Type.Predicates, DDC.Core.Predicates |
| isConBody | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isConName | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isConStart | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isConstWitType | DDC.Type.Predicates, DDC.Core.Predicates |
| isDataKind | DDC.Type.Predicates, DDC.Core.Predicates |
| isDistinctWitType | DDC.Type.Predicates, DDC.Core.Predicates |
| isEffectKind | DDC.Type.Predicates, DDC.Core.Predicates |
| isLambdaX | DDC.Core.Predicates |
| isLitBody | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isLitName | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isLitStart | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isMainModule | DDC.Core.Module |
| isMainModuleName | DDC.Core.Module |
| isMutableWitType | DDC.Type.Predicates, DDC.Core.Predicates |
| isPDefault | DDC.Core.Predicates |
| isPrim | DDC.Type.Env |
| isReadEffect | DDC.Type.Predicates, DDC.Core.Predicates |
| isRegionKind | DDC.Type.Predicates, DDC.Core.Predicates |
| isSomeAllocEffect | DDC.Type.Predicates, DDC.Core.Predicates |
| isSomeReadEffect | DDC.Type.Predicates, DDC.Core.Predicates |
| isSomeWriteEffect | DDC.Type.Predicates, DDC.Core.Predicates |
| isTVar | DDC.Type.Predicates, DDC.Core.Predicates |
| isVarBody | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isVarName | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isVarStart | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isWitnessKind | DDC.Type.Predicates, DDC.Core.Predicates |
| isWitnessType | DDC.Type.Predicates, DDC.Core.Predicates |
| isWriteEffect | DDC.Type.Predicates, DDC.Core.Predicates |
| isXApp | DDC.Core.Predicates |
| isXCon | DDC.Core.Predicates |
| isXLAM | DDC.Core.Predicates |
| isXLam | DDC.Core.Predicates |
| isXType | DDC.Core.Predicates |
| isXVar | DDC.Core.Predicates |
| isXWitness | DDC.Core.Predicates |
| KA | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KAmpersand | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KAngleBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KAngleColonBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KAngleColonKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KAngleKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KArrowDash | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KArrowDashLeft | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KArrowEquals | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KArrowTilde | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBackSlash | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBar | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBigLambda | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBotClosure | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBotEffect | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBraceBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBraceKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KCase | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kClosure | DDC.Type.Compounds, DDC.Core.Compounds |
| KColon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KColonColon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KComma | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KCommentBlockEnd | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KCommentBlockStart | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KCommentLineStart | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KCommentUnterminated | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KDaConUnit | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KDash | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kData | DDC.Type.Compounds, DDC.Core.Compounds |
| KDo | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KDot | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kEffect | DDC.Type.Compounds, DDC.Core.Compounds |
| KElse | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KEquals | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KExports | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| keywords | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| KForget | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kFun | DDC.Type.Compounds, DDC.Core.Compounds |
| kFuns | DDC.Type.Compounds, DDC.Core.Compounds |
| KHat | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KiCon | DDC.Type.Exp, DDC.Core.Exp |
| KiConClosure | DDC.Type.Exp, DDC.Core.Exp |
| KiConData | DDC.Type.Exp, DDC.Core.Exp |
| KiConEffect | DDC.Type.Exp, DDC.Core.Exp |
| KiConFun | DDC.Type.Exp, DDC.Core.Exp |
| KiConRegion | DDC.Type.Exp, DDC.Core.Exp |
| KiConWitness | DDC.Type.Exp, DDC.Core.Exp |
| KImports | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KIn | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| Kind | DDC.Type.Exp, DDC.Core.Exp |
| KindEnv | DDC.Type.Env |
| KIndex | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kindOfSum | DDC.Type.Sum |
| kindOfTcCon | DDC.Type.Check |
| kindOfTwCon | DDC.Type.Check |
| kindOfType | DDC.Type.Check |
| KJunk | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KKindClosure | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KKindEffect | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KKindRegion | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KKindValue | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KKindWitness | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KLazy | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KLet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KLetRec | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KLetRegion | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KLetRegions | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KLit | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KM | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KMatch | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KModule | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KN | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KNewLine | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KOf | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KOffsideClosingBrace | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KPlus | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KPurify | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kRegion | DDC.Type.Compounds, DDC.Core.Compounds |
| KRoundBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KRoundKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KSemiColon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KSortComp | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KSortProp | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KSquareBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KSquareColonBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KSquareColonKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KSquareKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KTcConBuiltin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KTwConBuiltin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KType | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KUnderscore | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KVar | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KWbConBuiltin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KWeakClo | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KWeakEff | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KWhere | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KWith | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KWithRegion | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kWitness | DDC.Type.Compounds, DDC.Core.Compounds |
| langle | DDC.Core.Pretty |
| LazyBindings | DDC.Core.Fragment |
| lbrace | DDC.Core.Pretty |
| lbracket | DDC.Core.Pretty |
| LetLazy | DDC.Core.Exp |
| LetMode | DDC.Core.Exp |
| Lets | DDC.Core.Exp |
| LetStrict | DDC.Core.Exp |
| lexExp | DDC.Core.Lexer |
| lexModuleWithOffside | DDC.Core.Lexer |
| lift | DDC.Type.Env |
| liftAtDepthT | DDC.Type.Transform.LiftT, DDC.Core.Transform.LiftT |
| liftAtDepthX | DDC.Core.Transform.LiftX |
| liftT | DDC.Type.Transform.LiftT, DDC.Core.Transform.LiftT |
| liftX | DDC.Core.Transform.LiftX |
| line | DDC.Core.Pretty |
| linebreak | DDC.Core.Pretty |
| list | DDC.Core.Pretty |
| LLet | DDC.Core.Exp |
| LLetRegions | DDC.Core.Exp |
| loadExp | DDC.Core.Load |
| loadModuleFromFile | DDC.Core.Load |
| loadModuleFromString | DDC.Core.Load |
| loadModuleFromTokens | DDC.Core.Load |
| loadType | DDC.Core.Load |
| loadWitness | DDC.Core.Load |
| lookup | DDC.Type.Env |
| lookupModeOfDataType | DDC.Type.DataDef |
| lookupName | DDC.Type.Env |
| lowerAtDepthT | DDC.Type.Transform.LiftT |
| lowerAtDepthX | DDC.Core.Transform.LiftX |
| lowerT | DDC.Type.Transform.LiftT |
| lowerX | DDC.Core.Transform.LiftX |
| lparen | DDC.Core.Pretty |
| LRec | DDC.Core.Exp |
| LWithRegion | DDC.Core.Exp |
| makeBindFromBinder | DDC.Type.Compounds, DDC.Core.Compounds |
| makeXAppsWithAnnots | DDC.Core.Compounds |
| makeXLamFlags | DDC.Core.Compounds |
| mapBoundAtDepthT | DDC.Type.Transform.LiftT, DDC.Core.Transform.LiftT |
| mapBoundAtDepthX | DDC.Core.Transform.LiftX |
| MapBoundT | DDC.Type.Transform.LiftT, DDC.Core.Transform.LiftT |
| MapBoundX | DDC.Core.Transform.LiftX |
| member | DDC.Type.Env |
| memberBind | DDC.Type.Env |
| mkDaConAlg | DDC.Core.DaCon, DDC.Core.Compounds |
| mkDaConSolid | DDC.Core.DaCon, DDC.Core.Compounds |
| Module | DDC.Core.Module |
| moduleBody | DDC.Core.Module |
| ModuleCore | DDC.Core.Module |
| moduleExportKinds | DDC.Core.Module |
| moduleExportTypes | DDC.Core.Module |
| moduleImportKinds | DDC.Core.Module |
| moduleImportTypes | DDC.Core.Module |
| moduleKindEnv | DDC.Core.Module |
| ModuleMap | DDC.Core.Module |
| ModuleName | |
| 1 (Type/Class) | DDC.Core.Module |
| 2 (Data Constructor) | DDC.Core.Module |
| moduleName | DDC.Core.Module |
| modulesExportKinds | DDC.Core.Module |
| modulesExportTypes | DDC.Core.Module |
| modulesGetBinds | DDC.Core.Module |
| moduleTypeEnv | DDC.Core.Module |
| namedBoundMatchesBind | DDC.Type.Compounds, DDC.Core.Compounds |
| NameShadowing | DDC.Core.Fragment |
| nest | DDC.Core.Pretty |
| NestedFunctions | DDC.Core.Fragment |
| nesting | DDC.Core.Pretty |
| parens | DDC.Core.Pretty |
| Parser | DDC.Core.Parser |
| PartialApplication | DDC.Core.Fragment |
| PartialPrims | DDC.Core.Fragment |
| partitionBindsByType | DDC.Type.Compounds, DDC.Core.Compounds |
| Pat | DDC.Core.Exp |
| pBinder | DDC.Core.Parser |
| pCon | DDC.Core.Parser |
| PData | DDC.Core.Exp |
| PDefault | DDC.Core.Exp |
| pExp | DDC.Core.Parser |
| pExpApp | DDC.Core.Parser |
| pExpAtom | DDC.Core.Parser |
| pIndex | DDC.Core.Parser |
| pLit | DDC.Core.Parser |
| pModule | DDC.Core.Parser |
| pName | DDC.Core.Parser |
| ppr | DDC.Core.Pretty |
| pprParen | DDC.Core.Pretty |
| pprPrec | DDC.Core.Pretty |
| Pretty | DDC.Core.Pretty |
| Profile | |
| 1 (Type/Class) | DDC.Core.Fragment |
| 2 (Data Constructor) | DDC.Core.Fragment |
| profileFeatures | DDC.Core.Fragment |
| profileName | DDC.Core.Fragment |
| profilePrimDataDefs | DDC.Core.Fragment |
| profilePrimKinds | DDC.Core.Fragment |
| profilePrimTypes | DDC.Core.Fragment |
| profileTypeIsUnboxed | DDC.Core.Fragment |
| pTok | DDC.Core.Parser |
| pTokAs | DDC.Core.Parser |
| pType | DDC.Core.Parser |
| pTypeApp | DDC.Core.Parser |
| pTypeAtom | DDC.Core.Parser |
| punctuate | DDC.Core.Pretty |
| pushBind | DDC.Type.Transform.Rename, DDC.Type.Transform.SubstituteT, DDC.Core.Transform.Rename |
| pushBinds | DDC.Type.Transform.Rename, DDC.Type.Transform.SubstituteT, DDC.Core.Transform.Rename |
| putDoc | DDC.Core.Pretty |
| putDocLn | DDC.Core.Pretty |
| pVar | DDC.Core.Parser |
| pWitness | DDC.Core.Parser |
| pWitnessApp | DDC.Core.Parser |
| pWitnessAtom | DDC.Core.Parser |
| QualName | |
| 1 (Type/Class) | DDC.Core.Module |
| 2 (Data Constructor) | DDC.Core.Module |
| rangle | DDC.Core.Pretty |
| RAnon | DDC.Type.Exp, DDC.Core.Exp |
| rational | DDC.Core.Pretty |
| rbrace | DDC.Core.Pretty |
| rbracket | DDC.Core.Pretty |
| readCon | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| readTcConBuiltin | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| readTwConBuiltin | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| readVar | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| readWbConBuiltin | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| Reannotate | DDC.Core.Transform.Reannotate |
| reannotate | DDC.Core.Transform.Reannotate |
| Region | DDC.Type.Exp, DDC.Core.Exp |
| Rename | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| renameTok | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| renameWith | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| render | DDC.Core.Pretty |
| renderCompact | DDC.Core.Pretty |
| RenderIndent | DDC.Core.Pretty |
| renderIndent | DDC.Core.Pretty |
| RenderMode | DDC.Core.Pretty |
| RenderPlain | DDC.Core.Pretty |
| renderPlain | DDC.Core.Pretty |
| replaceTypeOfBind | DDC.Type.Compounds, DDC.Core.Compounds |
| RName | DDC.Type.Exp, DDC.Core.Exp |
| RNone | DDC.Type.Exp, DDC.Core.Exp |
| rparen | DDC.Core.Pretty |
| SChar | DDC.Core.Pretty |
| sComp | DDC.Type.Compounds, DDC.Core.Compounds |
| semi | DDC.Core.Pretty |
| semiBraces | DDC.Core.Pretty |
| SEmpty | DDC.Core.Pretty |
| sep | DDC.Core.Pretty |
| setPrimFun | DDC.Type.Env |
| SimpleDoc | DDC.Core.Pretty |
| singleton | DDC.Type.Sum |
| SLine | DDC.Core.Pretty |
| slurpBindTree | DDC.Type.Collect |
| SoCon | DDC.Type.Exp, DDC.Core.Exp |
| SoConComp | DDC.Type.Exp, DDC.Core.Exp |
| SoConProp | DDC.Type.Exp, DDC.Core.Exp |
| softbreak | DDC.Core.Pretty |
| softline | DDC.Core.Pretty |
| Sort | DDC.Type.Exp, DDC.Core.Exp |
| space | DDC.Core.Pretty |
| specBindsOfLets | DDC.Core.Compounds |
| splitXLets | DDC.Core.Compounds |
| SpreadT | DDC.Type.Transform.SpreadT |
| spreadT | DDC.Type.Transform.SpreadT |
| SpreadX | DDC.Core.Transform.SpreadX |
| spreadX | DDC.Core.Transform.SpreadX |
| sProp | DDC.Type.Compounds, DDC.Core.Compounds |
| squote | DDC.Core.Pretty |
| squotes | DDC.Core.Pretty |
| stackAll | DDC.Type.Transform.Rename, DDC.Type.Transform.SubstituteT, DDC.Core.Transform.Rename |
| stackAnons | DDC.Type.Transform.Rename, DDC.Type.Transform.SubstituteT, DDC.Core.Transform.Rename |
| stackBinds | DDC.Type.Transform.Rename, DDC.Type.Transform.SubstituteT, DDC.Core.Transform.Rename |
| stackNamed | DDC.Type.Transform.Rename, DDC.Type.Transform.SubstituteT, DDC.Core.Transform.Rename |
| SText | DDC.Core.Pretty |
| string | DDC.Core.Pretty |
| Sub | |
| 1 (Type/Class) | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| 2 (Data Constructor) | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| subBound | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| subConflict0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| subConflict1 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| subShadow0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| subStack0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| subStack1 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| substBound | DDC.Type.Transform.Rename, DDC.Type.Transform.SubstituteT, DDC.Core.Transform.Rename |
| substituteBoundT | DDC.Type.Transform.SubstituteT |
| substituteBoundTX | DDC.Core.Transform.SubstituteTX |
| SubstituteT | DDC.Type.Transform.SubstituteT |
| substituteT | DDC.Type.Transform.SubstituteT |
| substituteTs | DDC.Type.Transform.SubstituteT |
| SubstituteTX | DDC.Core.Transform.SubstituteTX |
| substituteTX | DDC.Core.Transform.SubstituteTX |
| substituteTXs | DDC.Core.Transform.SubstituteTX |
| substituteWithT | DDC.Type.Transform.SubstituteT |
| substituteWithTX | DDC.Core.Transform.SubstituteTX |
| substituteWithWX | DDC.Core.Transform.SubstituteWX |
| substituteWithXX | DDC.Core.Transform.SubstituteXX |
| SubstituteWX | DDC.Core.Transform.SubstituteWX |
| substituteWX | DDC.Core.Transform.SubstituteWX |
| substituteWXs | DDC.Core.Transform.SubstituteWX |
| substituteXArg | DDC.Core.Transform.SubstituteXX |
| substituteXArgs | DDC.Core.Transform.SubstituteXX |
| SubstituteXX | DDC.Core.Transform.SubstituteXX |
| substituteXX | DDC.Core.Transform.SubstituteXX |
| substituteXXs | DDC.Core.Transform.SubstituteXX |
| subsumesT | DDC.Type.Subsumes |
| Support | |
| 1 (Type/Class) | DDC.Core.Collect |
| 2 (Data Constructor) | DDC.Core.Collect |
| support | DDC.Core.Collect |
| supportDaVar | DDC.Core.Collect |
| supportSpVar | DDC.Core.Collect |
| supportSpVarXArg | DDC.Core.Collect |
| supportTyCon | DDC.Core.Collect |
| supportTyConXArg | DDC.Core.Collect |
| supportWiVar | DDC.Core.Collect |
| SupportX | DDC.Core.Collect |
| takeAnnotOfExp | DDC.Core.Compounds |
| takeCtorNameOfAlt | DDC.Core.Compounds |
| takeDataTyConApps | DDC.Type.Compounds, DDC.Core.Compounds |
| takeKFun | DDC.Type.Compounds, DDC.Core.Compounds |
| takeKFuns | DDC.Type.Compounds, DDC.Core.Compounds |
| takeKFuns' | DDC.Type.Compounds, DDC.Core.Compounds |
| takeNameOfBind | DDC.Type.Compounds, DDC.Core.Compounds |
| takeNameOfBound | DDC.Type.Compounds, DDC.Core.Compounds |
| takeNameOfDaCon | DDC.Core.DaCon, DDC.Core.Compounds |
| takePrimeRegion | DDC.Type.Compounds, DDC.Core.Compounds |
| takePrimTyConApps | DDC.Type.Compounds, DDC.Core.Compounds |
| takePrimWiConApps | DDC.Core.Compounds |
| takeResultKind | DDC.Type.Compounds, DDC.Core.Compounds |
| takeSortOfKiCon | DDC.Type.Check |
| takeSubstBoundOfBind | DDC.Type.Compounds, DDC.Core.Compounds |
| takeSubstBoundsOfBinds | DDC.Type.Compounds, DDC.Core.Compounds |
| takeTApps | DDC.Type.Compounds, DDC.Core.Compounds |
| takeTForalls | DDC.Type.Compounds, DDC.Core.Compounds |
| takeTFun | DDC.Type.Compounds, DDC.Core.Compounds |
| takeTFunArgResult | DDC.Type.Compounds, DDC.Core.Compounds |
| takeTFunWitArgResult | DDC.Type.Compounds, DDC.Core.Compounds |
| takeTyConApps | DDC.Type.Compounds, DDC.Core.Compounds |
| takeWAppsAsList | DDC.Core.Compounds |
| takeXApps | DDC.Core.Compounds |
| takeXApps1 | DDC.Core.Compounds |
| takeXAppsAsList | DDC.Core.Compounds |
| takeXAppsWithAnnots | DDC.Core.Compounds |
| takeXConApps | DDC.Core.Compounds |
| takeXLamFlags | DDC.Core.Compounds |
| takeXLAMs | DDC.Core.Compounds |
| takeXLams | DDC.Core.Compounds |
| takeXPrimApps | DDC.Core.Compounds |
| takeXType | DDC.Core.Compounds |
| takeXWitness | DDC.Core.Compounds |
| tAlloc | DDC.Type.Compounds, DDC.Core.Compounds |
| TApp | DDC.Type.Exp, DDC.Core.Exp |
| tApp | DDC.Type.Compounds, DDC.Core.Compounds |
| tApps | DDC.Type.Compounds, DDC.Core.Compounds |
| tBot | DDC.Type.Compounds, DDC.Core.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 |
| TcConUnit | 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, DDC.Core.Compounds |
| tConData1 | DDC.Type.Compounds, DDC.Core.Compounds |
| tConst | DDC.Type.Compounds, DDC.Core.Compounds |
| tDeepAlloc | DDC.Type.Compounds, DDC.Core.Compounds |
| tDeepConst | DDC.Type.Compounds, DDC.Core.Compounds |
| tDeepGlobal | DDC.Type.Compounds, DDC.Core.Compounds |
| tDeepMutable | DDC.Type.Compounds, DDC.Core.Compounds |
| tDeepRead | DDC.Type.Compounds, DDC.Core.Compounds |
| tDeepUse | DDC.Type.Compounds, DDC.Core.Compounds |
| tDeepWrite | DDC.Type.Compounds, DDC.Core.Compounds |
| tDistinct | DDC.Type.Compounds, DDC.Core.Compounds |
| tEmpty | DDC.Type.Compounds, DDC.Core.Compounds |
| text | DDC.Core.Pretty |
| TForall | DDC.Type.Exp, DDC.Core.Exp |
| tForall | DDC.Type.Compounds, DDC.Core.Compounds |
| tForalls | DDC.Type.Compounds, DDC.Core.Compounds |
| tFun | DDC.Type.Compounds, DDC.Core.Compounds |
| tFunPE | DDC.Type.Compounds, DDC.Core.Compounds |
| tGlobal | DDC.Type.Compounds, DDC.Core.Compounds |
| tHeadLazy | DDC.Type.Compounds, DDC.Core.Compounds |
| tHeadRead | DDC.Type.Compounds, DDC.Core.Compounds |
| tImpl | DDC.Type.Compounds, DDC.Core.Compounds |
| tIx | DDC.Type.Compounds, DDC.Core.Compounds |
| tLazy | DDC.Type.Compounds, DDC.Core.Compounds |
| tManifest | DDC.Type.Compounds, DDC.Core.Compounds |
| tMutable | DDC.Type.Compounds, 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 |
| tRead | DDC.Type.Compounds, 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 |
| tSum | DDC.Type.Compounds, DDC.Core.Compounds |
| tUnit | DDC.Type.Compounds, DDC.Core.Compounds |
| tupled | DDC.Core.Pretty |
| tUse | DDC.Type.Compounds, DDC.Core.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 |
| TwConDisjoint | DDC.Type.Exp, DDC.Core.Exp |
| TwConDistinct | 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, DDC.Core.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 |
| TypeEnv | DDC.Type.Env |
| typeOfBind | DDC.Type.Compounds, DDC.Core.Compounds |
| typeOfDaCon | DDC.Core.DaCon, DDC.Core.Compounds |
| typeOfExp | DDC.Core.Check |
| typeOfWiCon | DDC.Core.Check |
| typeOfWitness | DDC.Core.Check |
| TypeSum | DDC.Type.Exp, DDC.Core.Exp |
| TypeSumBot | 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 |
| TypeSumSet | 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 |
| UIx | DDC.Type.Exp, DDC.Core.Exp |
| UName | DDC.Type.Exp, DDC.Core.Exp |
| UnboundLevel0Vars | DDC.Core.Fragment |
| UnboxedInstantiation | DDC.Core.Fragment |
| unhashTyCon | DDC.Type.Sum |
| union | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| unions | DDC.Type.Sum |
| Universe | DDC.Type.Universe |
| UniverseData | DDC.Type.Universe |
| universeFromType1 | DDC.Type.Universe |
| universeFromType2 | DDC.Type.Universe |
| universeFromType3 | DDC.Type.Universe |
| UniverseKind | DDC.Type.Universe |
| universeOfType | DDC.Type.Universe |
| UniverseSort | DDC.Type.Universe |
| UniverseSpec | DDC.Type.Universe |
| UniverseWitness | DDC.Type.Universe |
| UntrackedClosures | DDC.Core.Fragment |
| UntrackedEffects | DDC.Core.Fragment |
| UnusedBindings | DDC.Core.Fragment |
| UnusedMatches | DDC.Core.Fragment |
| UPrim | DDC.Type.Exp, DDC.Core.Exp |
| use0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| use1 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| valwitBindsOfLets | DDC.Core.Compounds |
| vcat | DDC.Core.Pretty |
| vsep | DDC.Core.Pretty |
| WApp | DDC.Core.Exp |
| wApp | DDC.Core.Compounds |
| wApps | DDC.Core.Compounds |
| WbCon | DDC.Core.Exp |
| WbConAlloc | DDC.Core.Exp |
| WbConEmpty | DDC.Core.Exp |
| WbConPure | DDC.Core.Exp |
| WbConRead | DDC.Core.Exp |
| WbConUse | DDC.Core.Exp |
| WCon | DDC.Core.Exp |
| WiCon | DDC.Core.Exp |
| WiConBound | DDC.Core.Exp |
| WiConBuiltin | DDC.Core.Exp |
| width | DDC.Core.Pretty |
| Witness | DDC.Core.Exp |
| WJoin | DDC.Core.Exp |
| wrapTForalls | DDC.Type.Env |
| WType | DDC.Core.Exp |
| WVar | DDC.Core.Exp |
| XApp | DDC.Core.Exp |
| xApps | DDC.Core.Compounds |
| XCase | DDC.Core.Exp |
| XCast | DDC.Core.Exp |
| XCon | DDC.Core.Exp |
| XLAM | DDC.Core.Exp |
| XLam | DDC.Core.Exp |
| xLAMs | DDC.Core.Compounds |
| xLams | DDC.Core.Compounds |
| XLet | DDC.Core.Exp |
| xLets | DDC.Core.Compounds |
| XType | DDC.Core.Exp |
| xUnit | DDC.Core.Compounds |
| XVar | DDC.Core.Exp |
| XWitness | DDC.Core.Exp |
| zeroFeatures | DDC.Core.Fragment |
| zeroProfile | DDC.Core.Fragment |