Index
| $: | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| <$$> | DDC.Core.Pretty |
| <$> | DDC.Core.Pretty |
| <+> | DDC.Core.Pretty |
| <//> | DDC.Core.Pretty |
| </> | DDC.Core.Pretty |
| <> | DDC.Core.Pretty |
| AAlt | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| ALAM | DDC.Core.Exp.Generic.Exp |
| ALam | DDC.Core.Exp.Generic.Exp |
| align | DDC.Core.Pretty |
| Alt | |
| 1 (Type/Class) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Type/Class) | DDC.Core.Exp.Simple.Exp |
| angles | DDC.Core.Pretty |
| Annotate | DDC.Core.Transform.Annotate |
| annotate | DDC.Core.Transform.Annotate |
| annotClosure | DDC.Core.Exp.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load |
| annotEffect | DDC.Core.Exp.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load |
| annotOfExp | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| annotOfWitness | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| annotTail | |
| 1 (Function) | DDC.Core.Exp.Annot.AnT |
| 2 (Function) | DDC.Core.Exp.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load |
| annotType | |
| 1 (Function) | DDC.Core.Exp.Annot.AnT |
| 2 (Function) | DDC.Core.Exp.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load |
| AnT | |
| 1 (Type/Class) | DDC.Core.Exp.Annot.AnT |
| 2 (Data Constructor) | DDC.Core.Exp.Annot.AnT |
| AnTEC | |
| 1 (Type/Class) | DDC.Core.Exp.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load |
| 2 (Data Constructor) | DDC.Core.Exp.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load |
| applyElim | DDC.Core.Call |
| arityOfType | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| backslash | DDC.Core.Pretty |
| BAnon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| Bind | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, 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.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| binderOfBind | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| 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 | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| bindsOfPat | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| BindStack | |
| 1 (Type/Class) | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
| 2 (Data Constructor) | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
| BindStruct | DDC.Type.Collect |
| BindTree | DDC.Type.Collect |
| BindUse | DDC.Type.Collect |
| BindWay | DDC.Type.Collect |
| BName | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| BNone | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| bool | DDC.Core.Pretty |
| Bound | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| BoundExp | DDC.Type.Collect |
| BoundLevel | DDC.Type.Collect |
| boundLevelOfBindWay | DDC.Type.Collect |
| boundMatchesBind | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| BoundSpec | DDC.Type.Collect |
| BoundWit | DDC.Type.Collect |
| braces | DDC.Core.Pretty |
| brackets | DDC.Core.Pretty |
| breakWhen | DDC.Core.Exp.Generic.Pretty |
| Cast | |
| 1 (Type/Class) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Type/Class) | DDC.Core.Exp.Simple.Exp |
| CastBox | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| CastPurify | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| CastRun | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| CastWeakenEffect | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| cat | DDC.Core.Pretty |
| char | DDC.Core.Pretty |
| Check | DDC.Core.Check, DDC.Core.Load |
| checkExp | DDC.Core.Check |
| checkModule | DDC.Core.Check |
| checkSpec | DDC.Type.Check |
| CheckTrace | |
| 1 (Type/Class) | DDC.Core.Check, DDC.Core.Load |
| 2 (Data Constructor) | DDC.Core.Check, DDC.Core.Load |
| checkTraceDoc | DDC.Core.Check, DDC.Core.Load |
| checkType | DDC.Type.Check |
| checkTypeM | DDC.Type.Check |
| checkWitness | DDC.Core.Check |
| Closure | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, 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.Type.Check, DDC.Core.Check |
| 2 (Data Constructor) | DDC.Type.Check, DDC.Core.Check |
| configDataDefs | DDC.Type.Check, DDC.Core.Check |
| configEffectCapabilities | DDC.Type.Check, DDC.Core.Check |
| configFunctionalClosures | DDC.Type.Check, DDC.Core.Check |
| configFunctionalEffects | DDC.Type.Check, DDC.Core.Check |
| configGeneralLetRec | DDC.Type.Check, DDC.Core.Check |
| configGlobalCaps | DDC.Type.Check, DDC.Core.Check |
| configImplicitBox | DDC.Type.Check, DDC.Core.Check |
| configImplicitRun | DDC.Type.Check, DDC.Core.Check |
| configNameIsHole | DDC.Type.Check, DDC.Core.Check |
| configOfProfile | DDC.Type.Check, DDC.Core.Check |
| configPrimKinds | DDC.Type.Check, DDC.Core.Check |
| configPrimTypes | DDC.Type.Check, DDC.Core.Check |
| configTrackedClosures | DDC.Type.Check, DDC.Core.Check |
| configTrackedEffects | DDC.Type.Check, DDC.Core.Check |
| Cons | DDC.Core.Call |
| ConsBox | DDC.Core.Call |
| ConsType | DDC.Core.Call |
| ConsValue | DDC.Core.Call |
| Context | |
| 1 (Type/Class) | DDC.Core.Exp.Annot.Context |
| 2 (Data Constructor) | DDC.Core.Exp.Annot.Context |
| 3 (Type/Class) | DDC.Core.Parser |
| 4 (Data Constructor) | DDC.Core.Parser |
| contextCtx | DDC.Core.Exp.Annot.Context |
| contextFunctionalClosures | DDC.Core.Parser |
| contextFunctionalEffects | DDC.Core.Parser |
| contextGlobalCaps | DDC.Core.Exp.Annot.Context |
| contextKindEnv | DDC.Core.Exp.Annot.Context |
| contextMakeStringName | DDC.Core.Parser |
| contextOfProfile | DDC.Core.Parser |
| contextTrackedClosures | DDC.Core.Parser |
| contextTrackedEffects | DDC.Core.Parser |
| contextTypeEnv | DDC.Core.Exp.Annot.Context |
| crushEffect | DDC.Type.Equiv |
| crushSomeT | DDC.Type.Equiv |
| Ctx | DDC.Core.Exp.Annot.Ctx |
| CtxAppLeft | DDC.Core.Exp.Annot.Ctx |
| CtxAppRight | DDC.Core.Exp.Annot.Ctx |
| CtxCaseAlt | DDC.Core.Exp.Annot.Ctx |
| CtxCaseScrut | DDC.Core.Exp.Annot.Ctx |
| CtxCastBody | DDC.Core.Exp.Annot.Ctx |
| ctxDataDefs | DDC.Core.Exp.Annot.Ctx |
| ctxKindEnv | DDC.Core.Exp.Annot.Ctx |
| CtxLAM | DDC.Core.Exp.Annot.Ctx |
| CtxLam | DDC.Core.Exp.Annot.Ctx |
| CtxLetBody | DDC.Core.Exp.Annot.Ctx |
| CtxLetLLet | DDC.Core.Exp.Annot.Ctx |
| CtxLetLRec | DDC.Core.Exp.Annot.Ctx |
| CtxTop | DDC.Core.Exp.Annot.Ctx |
| ctxTypeEnv | DDC.Core.Exp.Annot.Ctx |
| DaCon | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| DaConBound | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| daConName | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| DaConPrim | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| daConType | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| DaConUnit | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| dataArityOfType | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| DataCtor | |
| 1 (Type/Class) | DDC.Type.DataDef |
| 2 (Data Constructor) | DDC.Type.DataDef |
| dataCtorFieldTypes | DDC.Type.DataDef |
| dataCtorName | DDC.Type.DataDef |
| dataCtorNamesOfDataDef | DDC.Type.DataDef |
| dataCtorResultType | DDC.Type.DataDef |
| dataCtorTag | DDC.Type.DataDef |
| dataCtorTypeName | DDC.Type.DataDef |
| dataCtorTypeParams | DDC.Type.DataDef |
| DataDef | |
| 1 (Type/Class) | DDC.Type.DataDef |
| 2 (Data Constructor) | DDC.Type.DataDef |
| dataDefCtors | DDC.Type.DataDef |
| dataDefIsAlgebraic | DDC.Type.DataDef |
| dataDefParams | 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 |
| dataTypeIsAlgebraic | DDC.Type.DataDef |
| dataTypeMode | DDC.Type.DataDef |
| dataTypeName | DDC.Type.DataDef |
| dataTypeOfDataDef | DDC.Type.DataDef |
| dataTypeParams | DDC.Type.DataDef |
| dcUnit | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| Deannotate | DDC.Core.Transform.Deannotate |
| deannotate | DDC.Core.Transform.Deannotate |
| DebruijnBinders | DDC.Core.Fragment |
| delete | DDC.Type.Sum |
| Demand | DDC.Core.Check |
| DemandNone | DDC.Core.Check |
| DemandRun | DDC.Core.Check |
| 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 |
| dischargeConsWithElims | DDC.Core.Call |
| dischargeTypeWithElims | DDC.Core.Call |
| 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.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| EffectCapabilities | DDC.Core.Fragment |
| elem | DDC.Type.Sum |
| Elim | DDC.Core.Call |
| elimForCons | DDC.Core.Call |
| ElimRun | DDC.Core.Call |
| ElimType | DDC.Core.Call |
| ElimValue | DDC.Core.Call |
| 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 |
| encodeCtx | DDC.Core.Exp.Annot.Ctx |
| enterAppLeft | DDC.Core.Exp.Annot.Context |
| enterAppRight | DDC.Core.Exp.Annot.Context |
| enterCaseAlt | DDC.Core.Exp.Annot.Context |
| enterCaseScrut | DDC.Core.Exp.Annot.Context |
| enterCastBody | DDC.Core.Exp.Annot.Context |
| enterLAM | DDC.Core.Exp.Annot.Context |
| enterLam | DDC.Core.Exp.Annot.Context |
| enterLetBody | DDC.Core.Exp.Annot.Context |
| enterLetLLet | DDC.Core.Exp.Annot.Context |
| enterLetLRec | DDC.Core.Exp.Annot.Context |
| 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 |
| equivTyCon | DDC.Type.Equiv |
| equivWithBindsT | DDC.Type.Equiv |
| eraseTForalls | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| Error | |
| 1 (Type/Class) | DDC.Type.Check |
| 2 (Type/Class) | DDC.Core.Fragment |
| 3 (Type/Class) | DDC.Core.Check |
| 4 (Type/Class) | DDC.Core.Load |
| errorAltType1 | DDC.Core.Check |
| errorAltType2 | DDC.Core.Check |
| errorAnnot | DDC.Core.Check |
| ErrorAppArgMismatch | DDC.Type.Check |
| ErrorAppCannotInferPolymorphic | DDC.Core.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 |
| errorBind | DDC.Core.Check |
| errorBinds | 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 |
| 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 |
| ErrorCompliance | DDC.Core.Load |
| errorCtorDaCon | DDC.Core.Check |
| errorCtorFields | DDC.Core.Check |
| errorCtorNamesMissing | DDC.Core.Check |
| ErrorData | |
| 1 (Type/Class) | DDC.Type.Check |
| 2 (Data Constructor) | DDC.Core.Check |
| errorData | DDC.Core.Check |
| errorDataCtorName | DDC.Type.Check |
| errorDataCtorResultActual | DDC.Type.Check |
| errorDataCtorResultExpected | DDC.Type.Check |
| ErrorDataDupCtorName | DDC.Type.Check |
| ErrorDataDupTypeName | DDC.Type.Check |
| errorDataDupTypeName | DDC.Type.Check |
| ErrorDataWrongResult | DDC.Type.Check |
| errorDefType | DDC.Core.Check |
| errorEffect | DDC.Core.Check |
| errorExp | DDC.Core.Check |
| errorExpected | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check |
| ErrorExportDuplicate | DDC.Core.Check |
| ErrorExportMismatch | DDC.Core.Check |
| errorExportType | DDC.Core.Check |
| ErrorExportUndefined | DDC.Core.Check |
| ErrorForallKindInvalid | DDC.Type.Check |
| ErrorFragment | DDC.Core.Load |
| errorFunKind | DDC.Type.Check |
| errorFunType | DDC.Type.Check |
| errorFunTypeKind | DDC.Type.Check |
| ErrorImportCapNotEffect | DDC.Core.Check |
| ErrorImportDuplicate | DDC.Core.Check |
| ErrorImportValueNotData | DDC.Core.Check |
| errorInferred | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check |
| ErrorInfinite | 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 |
| ErrorLamBindBadKind | DDC.Core.Check |
| ErrorLamBodyNotData | DDC.Core.Check |
| ErrorLamNotPure | DDC.Core.Check |
| ErrorLAMParamBadSort | DDC.Core.Check |
| ErrorLAMParamUnannotated | DDC.Core.Check |
| ErrorLamParamUnannotated | DDC.Core.Check |
| ErrorLamShadow | DDC.Core.Check |
| errorLeftKind | DDC.Type.Check |
| errorLeftType | DDC.Type.Check |
| ErrorLetBindingNotData | DDC.Core.Check |
| ErrorLetBodyNotData | DDC.Core.Check |
| ErrorLetMismatch | DDC.Core.Check |
| ErrorLetrecBindingNotLambda | DDC.Core.Check |
| ErrorLetrecMissingAnnot | 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 |
| ErrorLetRegionWitnessInvalid | DDC.Core.Check |
| ErrorMismatch | |
| 1 (Data Constructor) | DDC.Type.Check |
| 2 (Data Constructor) | DDC.Core.Check |
| ErrorNakedSort | DDC.Type.Check |
| ErrorNakedType | |
| 1 (Data Constructor) | DDC.Core.Fragment |
| 2 (Data Constructor) | DDC.Core.Check |
| ErrorNakedWitness | |
| 1 (Data Constructor) | DDC.Core.Fragment |
| 2 (Data Constructor) | DDC.Core.Check |
| errorName | DDC.Core.Check |
| errorNotFunType | DDC.Core.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 |
| ErrorRunCannotInfer | DDC.Core.Check |
| ErrorRunNotSupported | DDC.Core.Check |
| ErrorRunNotSuspension | DDC.Core.Check |
| ErrorShadowedBind | DDC.Core.Fragment |
| errorSort | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check |
| ErrorSumKindInvalid | DDC.Type.Check |
| ErrorSumKindMismatch | DDC.Type.Check |
| ErrorType | DDC.Core.Check |
| errorType | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check |
| errorTypeAnnot | DDC.Core.Check |
| errorTypeBind | DDC.Type.Check |
| errorTypeCtor | DDC.Core.Check |
| errorTypeError | DDC.Core.Check |
| errorTypeField | DDC.Core.Check |
| errorTypePattern | DDC.Core.Check |
| errorTypeScrutinee | DDC.Core.Check |
| errorTypeSum | DDC.Type.Check |
| errorTypeVar | DDC.Type.Check |
| ErrorUnappliedKindFun | DDC.Type.Check |
| ErrorUndefined | DDC.Type.Check |
| ErrorUndefinedCtor | DDC.Core.Check |
| ErrorUndefinedPrim | DDC.Core.Fragment |
| ErrorUndefinedTypeCtor | DDC.Type.Check |
| ErrorUndefinedVar | |
| 1 (Data Constructor) | DDC.Core.Fragment |
| 2 (Data Constructor) | DDC.Core.Check |
| errorUniverse | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check |
| ErrorUniverseMalfunction | DDC.Type.Check |
| ErrorUnsupported | DDC.Core.Fragment |
| ErrorUnusedBind | DDC.Core.Fragment |
| ErrorWAppMismatch | DDC.Core.Check |
| ErrorWAppNotCtor | DDC.Core.Check |
| ErrorWeakEffNotEff | DDC.Core.Check |
| errorWitness | DDC.Core.Check |
| ErrorWitnessImplInvalid | DDC.Type.Check |
| ErrorWitnessNotPurity | DDC.Core.Check |
| errrorAnnot | DDC.Core.Check |
| Exp | |
| 1 (Type/Class) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Type/Class) | DDC.Core.Exp.Simple.Exp |
| expOfParams | DDC.Core.Parser |
| ExportSource | DDC.Core.Module |
| ExportSourceLocal | DDC.Core.Module |
| exportSourceLocalName | DDC.Core.Module |
| ExportSourceLocalNoType | DDC.Core.Module |
| exportSourceLocalType | DDC.Core.Module |
| 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 |
| featuresEffectCapabilities | DDC.Core.Fragment |
| featuresFunctionalClosures | DDC.Core.Fragment |
| featuresFunctionalEffects | DDC.Core.Fragment |
| featuresGeneralApplication | DDC.Core.Fragment |
| featuresGeneralLetRec | DDC.Core.Fragment |
| featuresImplicitBox | DDC.Core.Fragment |
| featuresImplicitRun | DDC.Core.Fragment |
| featuresNameShadowing | DDC.Core.Fragment |
| featuresNestedFunctions | DDC.Core.Fragment |
| featuresPartialApplication | DDC.Core.Fragment |
| featuresPartialPrims | DDC.Core.Fragment |
| featuresTrackedClosures | DDC.Core.Fragment |
| featuresTrackedEffects | DDC.Core.Fragment |
| featuresUnboundLevel0Vars | DDC.Core.Fragment |
| featuresUnboxedInstantiation | 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 |
| FreeVarConT | DDC.Type.Collect |
| freeVarConT | DDC.Type.Collect |
| freeVarsT | DDC.Type.Collect |
| freeX | DDC.Core.Collect |
| fromAnT | DDC.Core.Exp.Annot.AnTEC |
| fromList | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| fromListDataDefs | DDC.Type.DataDef |
| fromTypeMap | DDC.Type.Env |
| FunctionalClosures | DDC.Core.Fragment |
| FunctionalEffects | DDC.Core.Fragment |
| funTypeOfParams | DDC.Core.Parser |
| GAbs | DDC.Core.Exp.Generic.Exp |
| GAlt | DDC.Core.Exp.Generic.Exp |
| GAnnot | DDC.Core.Exp.Generic.Exp |
| GArg | DDC.Core.Exp.Generic.Exp |
| GBind | DDC.Core.Exp.Generic.Exp |
| GBound | DDC.Core.Exp.Generic.Exp |
| GCast | DDC.Core.Exp.Generic.Exp |
| GeneralApplication | DDC.Core.Fragment |
| GeneralLetRec | DDC.Core.Fragment |
| getBindType | DDC.Type.Bind |
| GExp | DDC.Core.Exp.Generic.Exp |
| GLets | DDC.Core.Exp.Generic.Exp |
| GPat | DDC.Core.Exp.Generic.Exp |
| GPrim | DDC.Core.Exp.Generic.Exp |
| group | DDC.Core.Pretty |
| GWiCon | DDC.Core.Exp.Generic.Exp |
| GWitness | DDC.Core.Exp.Generic.Exp |
| hang | DDC.Core.Pretty |
| hashTyCon | DDC.Type.Sum |
| hashTyConRange | DDC.Type.Sum |
| hcat | DDC.Core.Pretty |
| hPutDoc | DDC.Core.Pretty |
| hsep | DDC.Core.Pretty |
| ImplicitBox | DDC.Core.Fragment |
| ImplicitRun | DDC.Core.Fragment |
| ImportCap | DDC.Core.Module |
| ImportCapAbstract | DDC.Core.Module |
| importCapAbstractType | DDC.Core.Module |
| ImportType | DDC.Core.Module |
| ImportTypeAbstract | DDC.Core.Module |
| importTypeAbstractType | DDC.Core.Module |
| ImportTypeBoxed | DDC.Core.Module |
| importTypeBoxed | DDC.Core.Module |
| ImportValue | DDC.Core.Module |
| ImportValueModule | DDC.Core.Module |
| importValueModuleArity | DDC.Core.Module |
| importValueModuleName | DDC.Core.Module |
| importValueModuleType | DDC.Core.Module |
| importValueModuleVar | DDC.Core.Module |
| ImportValueSea | DDC.Core.Module |
| importValueSeaType | DDC.Core.Module |
| importValueSeaVar | DDC.Core.Module |
| 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.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isAllocEffect | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isAtomR | DDC.Core.Exp.Generic.Predicates |
| isAtomT | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isAtomW | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isAtomX | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isBAnon | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isBName | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isBNone | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isBot | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isBoundExpWit | DDC.Type.Collect |
| isClosureKind | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isConBody | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isConName | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isConsBox | DDC.Core.Call |
| isConStart | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isConstWitType | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isConsType | DDC.Core.Call |
| isConsValue | DDC.Core.Call |
| isDataKind | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isDistinctWitType | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isEffectKind | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isElimRun | DDC.Core.Call |
| isElimType | DDC.Core.Call |
| isElimValue | DDC.Core.Call |
| isLambdaX | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 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.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isOpBody | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isOpName | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isOpStart | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isPDefault | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isPrim | DDC.Type.Env |
| isReadEffect | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isRegionKind | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isSimpleR | DDC.Core.Exp.Generic.Pretty |
| isSimpleX | DDC.Core.Exp.Generic.Pretty |
| isSomeAllocEffect | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isSomeReadEffect | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isSomeWriteEffect | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isTExists | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isTopLetCtx | DDC.Core.Exp.Annot.Ctx |
| isTVar | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| 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.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isWitnessType | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isWriteEffect | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isXAbs | DDC.Core.Exp.Generic.Predicates |
| isXApp | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isXCast | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| isXCastBox | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| isXCastRun | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| isXCon | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isXLAM | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isXLam | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isXLet | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isXType | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| isXVar | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isXWitness | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| KA | 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 |
| KBigLambdaSlash | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBotClosure | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBotEffect | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBox | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBraceBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBraceColonBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBraceColonKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBraceKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KCapability | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KCase | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kClosure | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| 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 |
| KData | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kData | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| KDo | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KDot | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kEffect | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| KElse | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KEquals | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KErrorJunk | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KErrorUnterm | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KExport | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KExtend | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| keywords | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| KForeign | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KForget | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kFun | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| kFuns | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| KHat | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KiCon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| KiConClosure | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| KiConData | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| KiConEffect | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| KiConFun | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| KiConRegion | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| KiConWitness | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| KIf | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KImport | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KIn | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| Kind | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| KindEnv | DDC.Type.Env |
| KIndex | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kindOfDataDef | DDC.Type.DataDef |
| kindOfDataType | DDC.Type.DataDef |
| kindOfImportType | DDC.Core.Module |
| kindOfSpec | DDC.Type.Check |
| kindOfSum | DDC.Type.Sum |
| kindOfTcCon | DDC.Type.Check |
| kindOfTwCon | DDC.Type.Check |
| KKiConBuiltin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KLambda | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KLet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KLetCase | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KLetRec | 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 |
| KOp | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KOpVar | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KOtherwise | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KPragma | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KPrivate | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KPurify | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kRegion | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| KRoundBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KRoundKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KRun | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KSemiColon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KSoConBuiltin | 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 |
| KString | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KTcConBuiltin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KThen | 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 |
| KUsing | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KValue | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KVar | 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.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| langle | DDC.Core.Pretty |
| lbrace | DDC.Core.Pretty |
| lbracket | DDC.Core.Pretty |
| Lets | |
| 1 (Type/Class) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Type/Class) | DDC.Core.Exp.Simple.Exp |
| lexExp | DDC.Core.Lexer |
| lexModuleWithOffside | DDC.Core.Lexer |
| lift | DDC.Type.Env |
| liftAtDepthT | DDC.Type.Transform.BoundT, DDC.Core.Transform.BoundT |
| liftAtDepthX | DDC.Core.Transform.BoundX |
| liftT | DDC.Type.Transform.BoundT, DDC.Core.Transform.BoundT |
| liftX | DDC.Core.Transform.BoundX |
| line | DDC.Core.Pretty |
| linebreak | DDC.Core.Pretty |
| list | DDC.Core.Pretty |
| LLet | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| loadExpFromString | DDC.Core.Load |
| loadExpFromTokens | DDC.Core.Load |
| loadModuleFromFile | DDC.Core.Load |
| loadModuleFromString | DDC.Core.Load |
| loadModuleFromTokens | DDC.Core.Load |
| loadTypeFromString | DDC.Core.Load |
| loadTypeFromTokens | DDC.Core.Load |
| loadWitnessFromString | DDC.Core.Load |
| loadWitnessFromTokens | DDC.Core.Load |
| lookup | DDC.Type.Env |
| lookupModeOfDataType | DDC.Type.DataDef |
| lookupName | DDC.Type.Env |
| lowerAtDepthT | DDC.Type.Transform.BoundT |
| lowerAtDepthX | DDC.Core.Transform.BoundX |
| lowerT | DDC.Type.Transform.BoundT |
| lowerX | DDC.Core.Transform.BoundX |
| lparen | DDC.Core.Pretty |
| LPrivate | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| LRec | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| makeBindFromBinder | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| makeDataDefAbs | DDC.Type.DataDef |
| makeDataDefAlg | DDC.Type.DataDef |
| makeRuns | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| makeXAbs | DDC.Core.Exp.Generic.Compounds |
| makeXApps | DDC.Core.Exp.Generic.Compounds |
| makeXAppsWithAnnots | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| makeXLamFlags | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| makeXLAMs | DDC.Core.Exp.Generic.Compounds |
| makeXLams | DDC.Core.Exp.Generic.Compounds |
| mapAnnotOfExp | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| mapBoundAtDepthT | DDC.Type.Transform.BoundT, DDC.Core.Transform.BoundT |
| mapBoundAtDepthX | DDC.Core.Transform.BoundX |
| MapBoundT | DDC.Type.Transform.BoundT, DDC.Core.Transform.BoundT |
| MapBoundX | DDC.Core.Transform.BoundX |
| mapFeaturesOfProfile | DDC.Core.Fragment |
| mapKindOfImportType | DDC.Core.Module |
| mapProfileOfFragment | DDC.Core.Fragment |
| mapT | DDC.Core.Transform.MapT |
| mapTopBinds | DDC.Core.Module |
| mapTypeOfExportSource | DDC.Core.Module |
| mapTypeOfImportCap | DDC.Core.Module |
| mapTypeOfImportValue | DDC.Core.Module |
| member | DDC.Type.Env |
| memberBind | DDC.Type.Env |
| Mode | DDC.Core.Check, DDC.Core.Load |
| modeAltExp | |
| 1 (Function) | DDC.Core.Exp.Generic.Pretty |
| 2 (Function) | DDC.Core.Pretty |
| modeArgExp | DDC.Core.Exp.Generic.Pretty |
| modeExpAlt | |
| 1 (Function) | DDC.Core.Exp.Generic.Pretty |
| 2 (Function) | DDC.Core.Pretty |
| modeExpArg | DDC.Core.Exp.Generic.Pretty |
| modeExpConTypes | DDC.Core.Pretty |
| modeExpLets | |
| 1 (Function) | DDC.Core.Exp.Generic.Pretty |
| 2 (Function) | DDC.Core.Pretty |
| modeExpUseLetCase | |
| 1 (Function) | DDC.Core.Exp.Generic.Pretty |
| 2 (Function) | DDC.Core.Pretty |
| modeExpVarTypes | DDC.Core.Pretty |
| modeLetsExp | |
| 1 (Function) | DDC.Core.Exp.Generic.Pretty |
| 2 (Function) | DDC.Core.Pretty |
| modeLetsSuppressTypes | DDC.Core.Pretty |
| modeModuleLets | DDC.Core.Pretty |
| modeModuleSuppressExports | DDC.Core.Pretty |
| modeModuleSuppressImports | DDC.Core.Pretty |
| Module | DDC.Core.Module |
| moduleBody | DDC.Core.Module |
| ModuleCore | DDC.Core.Module |
| moduleDataDefs | DDC.Core.Module |
| moduleDataDefsLocal | DDC.Core.Module |
| moduleExportTypes | DDC.Core.Module |
| moduleExportValues | DDC.Core.Module |
| moduleImportCaps | DDC.Core.Module |
| moduleImportDataDefs | DDC.Core.Module |
| moduleImportTypes | DDC.Core.Module |
| moduleImportValues | DDC.Core.Module |
| moduleIsHeader | 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 |
| modulesExportTypes | DDC.Core.Module |
| modulesExportValues | DDC.Core.Module |
| moduleTopBinds | DDC.Core.Module |
| moduleTopBindTypes | DDC.Core.Module |
| moduleTypeEnv | DDC.Core.Module |
| namedBoundMatchesBind | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| NameShadowing | DDC.Core.Fragment |
| nest | DDC.Core.Pretty |
| NestedFunctions | DDC.Core.Fragment |
| nesting | DDC.Core.Pretty |
| padL | DDC.Core.Pretty |
| Param | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| ParamBox | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| ParamSpec | DDC.Core.Parser |
| ParamType | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Parser |
| ParamValue | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Parser |
| ParamWitness | DDC.Core.Parser |
| parens | DDC.Core.Pretty |
| parens' | DDC.Core.Exp.Generic.Pretty |
| Parser | DDC.Core.Parser |
| PartialApplication | DDC.Core.Fragment |
| PartialPrims | DDC.Core.Fragment |
| partitionBindsByType | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| Pat | |
| 1 (Type/Class) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Type/Class) | DDC.Core.Exp.Simple.Exp |
| patOfAlt | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| pBinder | DDC.Core.Parser |
| pBindParamSpec | DDC.Core.Parser |
| pBindParamSpecAnnot | DDC.Core.Parser |
| pCon | DDC.Core.Parser |
| pConSP | DDC.Core.Parser |
| PData | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| PDefault | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| pExp | DDC.Core.Parser |
| pExpApp | DDC.Core.Parser |
| pExpAtom | DDC.Core.Parser |
| pIndex | DDC.Core.Parser |
| pIndexSP | DDC.Core.Parser |
| pLit | DDC.Core.Parser |
| pLitSP | DDC.Core.Parser |
| pModule | DDC.Core.Parser |
| pModuleName | DDC.Core.Parser |
| pName | DDC.Core.Parser |
| pOpSP | DDC.Core.Parser |
| pOpVarSP | DDC.Core.Parser |
| ppr | DDC.Core.Pretty |
| pprDefaultMode | DDC.Core.Pretty |
| pprExportType | DDC.Core.Pretty |
| pprExportValue | DDC.Core.Pretty |
| pprImportType | DDC.Core.Pretty |
| pprImportValue | DDC.Core.Pretty |
| pprModePrec | DDC.Core.Pretty |
| pprParen | DDC.Core.Pretty |
| pprParen' | DDC.Core.Exp.Generic.Pretty |
| pprPrec | DDC.Core.Pretty |
| Pretty | DDC.Core.Pretty |
| PrettyLanguage | DDC.Core.Exp.Generic.Pretty |
| PrettyMode | DDC.Core.Pretty |
| PrettyModeAlt | |
| 1 (Data Constructor) | DDC.Core.Exp.Generic.Pretty |
| 2 (Data Constructor) | DDC.Core.Pretty |
| PrettyModeArg | DDC.Core.Exp.Generic.Pretty |
| PrettyModeExp | |
| 1 (Data Constructor) | DDC.Core.Exp.Generic.Pretty |
| 2 (Data Constructor) | DDC.Core.Pretty |
| PrettyModeLets | |
| 1 (Data Constructor) | DDC.Core.Exp.Generic.Pretty |
| 2 (Data Constructor) | DDC.Core.Pretty |
| PrettyModeModule | DDC.Core.Pretty |
| Profile | |
| 1 (Type/Class) | DDC.Core.Fragment |
| 2 (Data Constructor) | DDC.Core.Fragment |
| profileFeatures | DDC.Core.Fragment |
| profileMakeStringName | DDC.Core.Fragment |
| profileName | DDC.Core.Fragment |
| profileNameIsHole | DDC.Core.Fragment |
| profilePrimDataDefs | DDC.Core.Fragment |
| profilePrimKinds | DDC.Core.Fragment |
| profilePrimTypes | DDC.Core.Fragment |
| profileTypeIsUnboxed | DDC.Core.Fragment |
| pString | DDC.Core.Parser |
| pStringSP | DDC.Core.Parser |
| pTok | DDC.Core.Parser |
| pTokAs | DDC.Core.Parser |
| pTokSP | 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.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
| pushBinds | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
| putDoc | DDC.Core.Pretty |
| putDocLn | DDC.Core.Pretty |
| pVar | DDC.Core.Parser |
| pVarSP | 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.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| rational | DDC.Core.Pretty |
| rbrace | DDC.Core.Pretty |
| rbracket | DDC.Core.Pretty |
| readCon | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| readKiConBuiltin | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| readModuleName | DDC.Core.Module |
| readSoConBuiltin | 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 |
| Reannotate | DDC.Core.Transform.Reannotate |
| reannotate | DDC.Core.Transform.Reannotate |
| reannotateM | DDC.Core.Transform.Reannotate |
| Recon | DDC.Core.Check, DDC.Core.Load |
| Region | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, 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.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| replaceTypeOfBound | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| RExp | DDC.Core.Exp.Generic.Exp |
| RName | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| RNone | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| rparen | DDC.Core.Pretty |
| RType | DDC.Core.Exp.Generic.Exp |
| RWitness | DDC.Core.Exp.Generic.Exp |
| SChar | DDC.Core.Pretty |
| sComp | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| semi | DDC.Core.Pretty |
| semiBraces | DDC.Core.Pretty |
| SEmpty | DDC.Core.Pretty |
| sep | DDC.Core.Pretty |
| setFeature | DDC.Core.Fragment |
| setPrimFun | DDC.Type.Env |
| ShowLanguage | DDC.Core.Exp.Generic.Exp |
| SimpleDoc | DDC.Core.Pretty |
| singleton | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| SLine | DDC.Core.Pretty |
| slurpBindTree | DDC.Type.Collect |
| SoCon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| SoConComp | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| SoConProp | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| softbreak | DDC.Core.Pretty |
| softline | DDC.Core.Pretty |
| Sort | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| sortOfKind | DDC.Type.Check |
| space | DDC.Core.Pretty |
| specBindsOfLets | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| splitStdCallCons | DDC.Core.Call |
| splitStdCallElims | DDC.Core.Call |
| splitXApps | DDC.Core.Exp.Generic.Compounds |
| splitXLets | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| splitXLetsAnnot | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 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.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| squote | DDC.Core.Pretty |
| squotes | DDC.Core.Pretty |
| stackAll | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
| stackAnons | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
| stackBinds | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
| stackNamed | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
| 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.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
| 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 |
| SuperEnv | DDC.Type.Env |
| Support | |
| 1 (Type/Class) | DDC.Core.Collect.Support, DDC.Core.Collect |
| 2 (Data Constructor) | DDC.Core.Collect.Support, DDC.Core.Collect |
| support | DDC.Core.Collect.Support, DDC.Core.Collect |
| supportDaVar | DDC.Core.Collect.Support, DDC.Core.Collect |
| supportEnvFlags | DDC.Core.Collect.Support |
| supportSpVar | DDC.Core.Collect.Support, DDC.Core.Collect |
| supportSpVarXArg | DDC.Core.Collect.Support, DDC.Core.Collect |
| supportTyCon | DDC.Core.Collect.Support, DDC.Core.Collect |
| supportTyConXArg | DDC.Core.Collect.Support, DDC.Core.Collect |
| supportWiVar | DDC.Core.Collect.Support, DDC.Core.Collect |
| SupportX | DDC.Core.Collect.Support, DDC.Core.Collect |
| Synth | DDC.Core.Check, DDC.Core.Load |
| takeCallConsFromExp | DDC.Core.Call |
| takeCallConsFromType | DDC.Core.Call |
| takeCallElim | DDC.Core.Call |
| takeCtorNameOfAlt | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeDataTyConApps | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeEnclosingCtx | DDC.Core.Exp.Annot.Ctx |
| takeKFun | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeKFuns | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeKFuns' | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeNameOfBind | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeNameOfBound | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeNameOfDaCon | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takePrimeRegion | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takePrimTyConApps | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takePrimWiConApps | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeResultKind | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeSortOfKiCon | DDC.Type.Check |
| takeStdCallConsFromTypeArity | DDC.Core.Call |
| takeSubstBoundOfBind | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeSubstBoundsOfBinds | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTApps | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTExists | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTForalls | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTFun | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTFunAllArgResult | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTFunArgResult | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTFunWitArgResult | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTopLetEnvNamesOfCtx | DDC.Core.Exp.Annot.Ctx |
| takeTopNameOfCtx | DDC.Core.Exp.Annot.Ctx |
| takeTSusp | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTSusps | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTyConApps | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTypeOfBound | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTypeOfDaCon | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTypeOfExportSource | DDC.Core.Module |
| takeWAppsAsList | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXAbs | DDC.Core.Exp.Generic.Compounds |
| takeXApps | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Compounds |
| 3 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXApps1 | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXAppsAsList | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXAppsWithAnnots | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| takeXConApps | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Compounds |
| 3 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXLamFlags | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXLamParam | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| takeXLAMs | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Compounds |
| 3 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXLams | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Compounds |
| 3 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXPrimApps | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Compounds |
| 3 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXType | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXWitness | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| tAlloc | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| TApp | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| tApp | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tApps | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tBot | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| TcCon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConAlloc | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConDeepAlloc | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConDeepRead | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConDeepWrite | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConFun | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConHeadRead | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConRead | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConSusp | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConUnit | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConWrite | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TCon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| tConData0 | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tConData1 | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tConst | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tDeepAlloc | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tDeepConst | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tDeepMutable | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tDeepRead | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tDeepWrite | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tDistinct | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| text | DDC.Core.Pretty |
| TForall | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| tForall | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tForall' | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tForalls | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tForalls' | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tFun | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tFunOfList | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tFunOfParamResult | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tHeadRead | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tImpl | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tIx | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tMutable | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| 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 |
| topOfCtx | DDC.Core.Exp.Annot.Ctx |
| tPure | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| TrackedClosures | DDC.Core.Fragment |
| TrackedEffects | DDC.Core.Fragment |
| tRead | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| TSum | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| tSum | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tSusp | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tUnit | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tupled | DDC.Core.Pretty |
| TVar | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwCon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConConst | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConDeepConst | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConDeepMutable | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConDisjoint | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConDistinct | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConImpl | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConMutable | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConPure | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| tWrite | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| TyCon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TyConBound | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TyConExists | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TyConHash | |
| 1 (Type/Class) | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TyConKind | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TyConSort | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TyConSpec | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TyConWitness | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| Type | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TypeEnv | DDC.Type.Env |
| typeOfBind | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| typeOfDataCtor | DDC.Type.DataDef |
| typeOfExp | DDC.Core.Check |
| typeOfImportCap | DDC.Core.Module |
| typeOfImportValue | DDC.Core.Module |
| typeOfWiCon | DDC.Core.Check |
| typeOfWitness | DDC.Core.Check |
| TypeSum | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TypeSumBot | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| typeSumBoundAnon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| typeSumBoundNamed | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TypeSumCon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| typeSumElems | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| typeSumKind | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TypeSumSet | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| typeSumSpill | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TypeSumVar | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TypeSumVarCon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| UIx | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| UName | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| UnboundLevel0Vars | DDC.Core.Fragment |
| UnboxedInstantiation | DDC.Core.Fragment |
| unhashTyCon | DDC.Type.Sum |
| unicodeOperatorsInfix | DDC.Core.Lexer.Unicode |
| union | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| unionDataDefs | DDC.Type.DataDef |
| unions | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| 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 |
| UnusedBindings | DDC.Core.Fragment |
| UnusedMatches | DDC.Core.Fragment |
| UPrim | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| use0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| use1 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| valwitBindsOfLets | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| vcat | DDC.Core.Pretty |
| vsep | DDC.Core.Pretty |
| WAnnot | DDC.Core.Exp.Simple.Exp |
| WApp | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| wApp | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| wApps | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| WCon | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| WiCon | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| WiConBound | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| width | DDC.Core.Pretty |
| Witness | |
| 1 (Type/Class) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Type/Class) | DDC.Core.Exp.Simple.Exp |
| wrapTForalls | DDC.Type.Env |
| WType | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| WVar | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| XAbs | DDC.Core.Exp.Generic.Exp |
| XAnnot | |
| 1 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| XApp | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| xApps | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| XCase | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| XCast | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| XCon | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| XLAM | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| XLam | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| xLAMs | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| xLams | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| XLet | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| xLets | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| xLetsAnnot | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| XPrim | DDC.Core.Exp.Generic.Exp |
| XType | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| xUnit | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| XVar | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Generic.Exp |
| 3 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| XWitness | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Core.Exp.Simple.Exp |
| zeroFeatures | DDC.Core.Fragment |
| zeroProfile | DDC.Core.Fragment |