Index
| $: | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| <$$> | DDC.Data.Pretty, DDC.Core.Pretty |
| <$> | DDC.Data.Pretty, DDC.Core.Pretty |
| <+> | DDC.Data.Pretty, DDC.Core.Pretty |
| <//> | DDC.Data.Pretty, DDC.Core.Pretty |
| </> | DDC.Data.Pretty, DDC.Core.Pretty |
| <> | DDC.Data.Pretty, DDC.Core.Pretty |
| <?> | DDC.Control.Parser |
| <|> | DDC.Control.Parser |
| AAlt | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| addStarts | DDC.Core.Lexer.Offside |
| ALAM | DDC.Core.Exp.Generic |
| ALam | DDC.Core.Exp.Generic |
| align | DDC.Data.Pretty, DDC.Core.Pretty |
| alphaNum | DDC.Control.Parser |
| Alt | DDC.Core.Exp, DDC.Core.Exp.Annot |
| angles | DDC.Data.Pretty, DDC.Core.Pretty |
| 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 |
| annotOfWitness | 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 |
| Anon | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
| 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 |
| anyChar | DDC.Control.Parser |
| anyToken | DDC.Control.Parser |
| applyElim | DDC.Core.Call |
| applyOffside | DDC.Core.Lexer.Offside |
| arityOfType | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| backslash | DDC.Data.Pretty, DDC.Core.Pretty |
| BAnon | |
| 1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Data.Env |
| BDaConUnit | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| BEmpty | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| between | DDC.Control.Parser |
| Bind | |
| 1 (Type/Class) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Type/Class) | DDC.Data.Env |
| 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.Core.Collect.BindStruct, DDC.Core.Collect |
| BindCon | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindDef | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| bindDefT | DDC.Core.Collect.BindStruct |
| bindDefX | DDC.Core.Collect.FreeX |
| Binder | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| binderOfBind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| BindForall | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| Binding | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
| BindLAM | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindLam | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindLet | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindLetRec | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindLetRegions | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindLetRegionWith | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| bindsOfLets | DDC.Core.Exp.Annot |
| bindsOfPat | DDC.Core.Exp.Annot |
| 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.Core.Collect.BindStruct, DDC.Core.Collect |
| BindTAbs | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindTree | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindUse | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindWay | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BKiCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| BName | |
| 1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Data.Env |
| BNone | |
| 1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Data.Env |
| bool | DDC.Data.Pretty, DDC.Core.Pretty |
| Bound | |
| 1 (Type/Class) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Type/Class) | DDC.Data.Env |
| BoundExp | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BoundLevel | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| boundLevelOfBindWay | DDC.Core.Collect.BindStruct |
| boundMatchesBind | |
| 1 (Function) | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| 2 (Function) | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
| boundOfBind | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
| BoundSpec | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BoundWit | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BPure | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| braces | DDC.Data.Pretty, DDC.Core.Pretty |
| brackets | DDC.Data.Pretty, DDC.Core.Pretty |
| BSoCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| BTcCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| BTwCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| Builtin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| Canned | |
| 1 (Type/Class) | DDC.Data.Canned |
| 2 (Data Constructor) | DDC.Data.Canned |
| Cast | DDC.Core.Exp, DDC.Core.Exp.Annot |
| CastBox | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| CastPurify | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| CastRun | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| CastWeakenEffect | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| cat | DDC.Data.Pretty, DDC.Core.Pretty |
| chainl | DDC.Control.Parser |
| chainl1 | DDC.Control.Parser |
| chainr | DDC.Control.Parser |
| chainr1 | DDC.Control.Parser |
| char | |
| 1 (Function) | DDC.Data.Pretty, DDC.Core.Pretty |
| 2 (Function) | DDC.Control.Parser |
| Check | DDC.Core.Check, DDC.Core.Load |
| checkExp | DDC.Core.Check |
| CheckM | |
| 1 (Type/Class) | DDC.Control.Check |
| 2 (Data Constructor) | DDC.Control.Check |
| checkModule | DDC.Core.Check |
| checkSpec | DDC.Core.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.Core.Check |
| checkTypeM | DDC.Core.Check |
| checkWitness | DDC.Core.Check |
| choice | DDC.Control.Parser |
| Closure | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| collectBinds | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| collectBound | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| colon | DDC.Data.Pretty, DDC.Core.Pretty |
| Column | DDC.Control.Parser |
| column | DDC.Data.Pretty, DDC.Core.Pretty |
| columnOfLocated | DDC.Data.SourcePos, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| comma | DDC.Data.Pretty, DDC.Core.Pretty |
| Complies | DDC.Core.Fragment |
| complies | DDC.Core.Fragment |
| compliesWithEnvs | DDC.Core.Fragment |
| CompoundName | DDC.Data.Name |
| Config | |
| 1 (Type/Class) | DDC.Core.Check |
| 2 (Data Constructor) | DDC.Core.Check |
| configEffectCapabilities | DDC.Core.Check |
| configFunctionalClosures | DDC.Core.Check |
| configFunctionalEffects | DDC.Core.Check |
| configGeneralLetRec | DDC.Core.Check |
| configImplicitBox | DDC.Core.Check |
| configImplicitRun | DDC.Core.Check |
| configNameIsHole | DDC.Core.Check |
| configOfProfile | DDC.Core.Check |
| configPrimDataDefs | DDC.Core.Check |
| configPrimKinds | DDC.Core.Check |
| configPrimTypes | DDC.Core.Check |
| configTrackedClosures | DDC.Core.Check |
| configTrackedEffects | DDC.Core.Check |
| Cons | DDC.Core.Call |
| ConsBox | DDC.Core.Call |
| ConsType | DDC.Core.Call |
| Consumed | |
| 1 (Data Constructor) | DDC.Control.Parser |
| 2 (Type/Class) | DDC.Control.Parser |
| 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 |
| contextEnv | DDC.Core.Exp.Annot.Context |
| contextFunctionalClosures | DDC.Core.Parser |
| contextFunctionalEffects | DDC.Core.Parser |
| contextMakeLiteralName | DDC.Core.Parser |
| contextOfProfile | DDC.Core.Parser |
| contextTrackedClosures | DDC.Core.Parser |
| contextTrackedEffects | DDC.Core.Parser |
| count | DDC.Control.Parser |
| crlf | DDC.Control.Parser |
| crushEffect | DDC.Type.Exp.Simple.Equiv, DDC.Type.Exp.Simple |
| crushHeadT | DDC.Type.Exp.Simple.Equiv |
| crushSomeT | DDC.Type.Exp.Simple.Equiv, DDC.Type.Exp.Simple |
| 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 |
| ctxEnvX | 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 |
| DaCon | DDC.Core.Exp, DDC.Core.Exp.Annot |
| DaConBound | DDC.Core.Exp, DDC.Core.Exp.Annot |
| daConName | DDC.Core.Exp, DDC.Core.Exp.Annot |
| DaConPrim | DDC.Core.Exp, DDC.Core.Exp.Annot |
| daConType | DDC.Core.Exp, DDC.Core.Exp.Annot |
| DaConUnit | DDC.Core.Exp, DDC.Core.Exp.Annot |
| dataArityOfType | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| 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, DDC.Core.Exp.Generic |
| DebruijnBinders | DDC.Core.Fragment |
| delete | DDC.Type.Sum |
| Demand | DDC.Core.Check |
| DemandNone | DDC.Core.Check |
| DemandRun | DDC.Core.Check |
| depth | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Data.Env |
| 3 (Function) | DDC.Core.Env.EnvT |
| 4 (Function) | DDC.Core.Env.EnvX |
| describeToken | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| describeTokenAtom | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| describeTokenMeta | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| describeTokenNamed | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| difference | DDC.Type.Sum |
| digit | DDC.Control.Parser |
| dischargeConsWithElims | DDC.Core.Call |
| dischargeTypeWithElims | DDC.Core.Call |
| displayIO | DDC.Data.Pretty, DDC.Core.Pretty |
| displayS | DDC.Data.Pretty, DDC.Core.Pretty |
| Doc | DDC.Data.Pretty, DDC.Core.Pretty |
| dot | DDC.Data.Pretty, DDC.Core.Pretty |
| double | DDC.Data.Pretty, DDC.Core.Pretty |
| dquote | DDC.Data.Pretty, DDC.Core.Pretty |
| dquotes | DDC.Data.Pretty, DDC.Core.Pretty |
| EBox | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| ECapability | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| ECase | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EData | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EDo | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EElse | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EExport | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EExtend | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| Effect | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| EffectCapabilities | DDC.Core.Fragment |
| EForeign | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EForget | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EIf | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EImport | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EIn | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| elem | DDC.Type.Sum |
| ELet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| ELetCase | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| ELetRec | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| Elim | DDC.Core.Call |
| elimForCons | DDC.Core.Call |
| ElimRun | DDC.Core.Call |
| ElimType | DDC.Core.Call |
| ElimValue | DDC.Core.Call |
| EMatch | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EModule | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| Empty | DDC.Control.Parser |
| empty | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| 3 (Function) | DDC.Data.Pretty, DDC.Core.Pretty |
| 4 (Function) | DDC.Data.Env |
| 5 (Function) | DDC.Core.Env.EnvT |
| 6 (Function) | DDC.Core.Env.EnvX |
| emptyDataDefs | DDC.Type.DataDef |
| enclose | DDC.Data.Pretty, DDC.Core.Pretty |
| encloseSep | DDC.Data.Pretty, DDC.Core.Pretty |
| encodeCtx | DDC.Core.Exp.Annot.Ctx |
| endBy | DDC.Control.Parser |
| endBy1 | DDC.Control.Parser |
| endOfLine | DDC.Control.Parser |
| 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 |
| 3 (Type/Class) | DDC.Data.Env |
| 4 (Data Constructor) | DDC.Data.Env |
| envMap | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Data.Env |
| envPrimFun | DDC.Type.Env |
| envStack | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Data.Env |
| envStackLength | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Data.Env |
| EnvT | |
| 1 (Type/Class) | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
| 2 (Data Constructor) | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
| envtCapabilities | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
| envtEquations | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
| envtMap | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
| envtPrimFun | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
| envtStack | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
| envtStackLength | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
| EnvX | |
| 1 (Type/Class) | DDC.Core.Env.EnvX |
| 2 (Data Constructor) | DDC.Core.Env.EnvX |
| envxDataDefs | DDC.Core.Env.EnvX |
| envxEnvT | DDC.Core.Env.EnvX |
| envxMap | DDC.Core.Env.EnvX |
| envxPrimFun | DDC.Core.Env.EnvX |
| envxStack | DDC.Core.Env.EnvX |
| envxStackLength | DDC.Core.Env.EnvX |
| EOf | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| eof | DDC.Control.Parser |
| EOtherwise | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EPrivate | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EPurify | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| equals | DDC.Data.Pretty, DDC.Core.Pretty |
| equivT | DDC.Type.Exp.Simple.Equiv, DDC.Type.Exp.Simple |
| equivTyCon | DDC.Type.Exp.Simple.Equiv, DDC.Type.Exp.Simple |
| equivWithBindsT | DDC.Type.Exp.Simple.Equiv, DDC.Type.Exp.Simple |
| eraseTForalls | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| Error | |
| 1 (Type/Class) | DDC.Core.Check |
| 2 (Type/Class) | DDC.Core.Fragment |
| 3 (Data Constructor) | DDC.Control.Parser |
| 4 (Type/Class) | DDC.Core.Load |
| errorAltType1 | DDC.Core.Check |
| errorAltType2 | DDC.Core.Check |
| errorAnnot | DDC.Core.Check |
| ErrorAppCannotInferPolymorphic | DDC.Core.Check |
| ErrorAppMismatch | DDC.Core.Check |
| ErrorAppNotFun | DDC.Core.Check |
| errorArgType | DDC.Core.Check |
| errorBind | DDC.Core.Check |
| errorBinds | DDC.Core.Check |
| errorBindWitness | DDC.Core.Check |
| errorBindWitness1 | DDC.Core.Check |
| errorBindWitness2 | DDC.Core.Check |
| errorBound | 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 | DDC.Core.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.Core.Check |
| 2 (Data Constructor) | DDC.Core.Check |
| errorData | DDC.Core.Check |
| errorDataCtorName | DDC.Core.Check |
| errorDataCtorResultActual | DDC.Core.Check |
| errorDataCtorResultExpected | DDC.Core.Check |
| ErrorDataDupCtorName | DDC.Core.Check |
| ErrorDataDupTypeName | DDC.Core.Check |
| errorDataDupTypeName | DDC.Core.Check |
| ErrorDataWrongResult | DDC.Core.Check |
| errorDefType | DDC.Core.Check |
| errorEffect | DDC.Core.Check |
| errorExp | DDC.Core.Check |
| errorExpected | DDC.Core.Check |
| ErrorExportDuplicate | DDC.Core.Check |
| ErrorExportMismatch | DDC.Core.Check |
| errorExportType | DDC.Core.Check |
| ErrorExportUndefined | DDC.Core.Check |
| ErrorFragment | DDC.Core.Load |
| ErrorImportCapNotEffect | DDC.Core.Check |
| ErrorImportDuplicate | DDC.Core.Check |
| ErrorImportValueNotData | DDC.Core.Check |
| errorInferred | DDC.Core.Check |
| errorKind | DDC.Core.Check |
| errorKinds | 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 |
| 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 | DDC.Core.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 |
| errorParamType | DDC.Core.Check |
| ErrorParser | DDC.Core.Load |
| errorPatternFields | DDC.Core.Check |
| errorPos | DDC.Control.Parser |
| ErrorRead | DDC.Core.Load |
| ErrorRunCannotInfer | DDC.Core.Check |
| ErrorRunNotSupported | DDC.Core.Check |
| ErrorRunNotSuspension | DDC.Core.Check |
| ErrorShadowedBind | DDC.Core.Fragment |
| errorSort | DDC.Core.Check |
| ErrorType | |
| 1 (Type/Class) | DDC.Core.Check |
| 2 (Data Constructor) | DDC.Core.Check |
| errorType | DDC.Core.Check |
| errorTypeAnnot | DDC.Core.Check |
| ErrorTypeAppArgMismatch | DDC.Core.Check |
| ErrorTypeAppNotFun | DDC.Core.Check |
| errorTypeArgKind | DDC.Core.Check |
| errorTypeArgType | DDC.Core.Check |
| errorTypeBind | DDC.Core.Check |
| errorTypeBody | DDC.Core.Check |
| errorTypeBound | DDC.Core.Check |
| errorTypeChecking | DDC.Core.Check |
| errorTypeCheckingSum | DDC.Core.Check |
| errorTypeCtor | DDC.Core.Check |
| errorTypeError | DDC.Core.Check |
| errorTypeExpected | DDC.Core.Check |
| errorTypeField | DDC.Core.Check |
| ErrorTypeForallKindInvalid | DDC.Core.Check |
| errorTypeFunKind | DDC.Core.Check |
| errorTypeFunType | DDC.Core.Check |
| errorTypeFunTypeKind | DDC.Core.Check |
| errorTypeInferred | DDC.Core.Check |
| ErrorTypeInfinite | DDC.Core.Check |
| errorTypeKind | DDC.Core.Check |
| errorTypeKindExpected | DDC.Core.Check |
| errorTypeKinds | DDC.Core.Check |
| errorTypeLeftKind | DDC.Core.Check |
| errorTypeLeftType | DDC.Core.Check |
| ErrorTypeMismatch | DDC.Core.Check |
| ErrorTypeNakedSort | DDC.Core.Check |
| errorTypePattern | DDC.Core.Check |
| errorTypeRightKind | DDC.Core.Check |
| errorTypeRightType | DDC.Core.Check |
| errorTypeScrutinee | DDC.Core.Check |
| errorTypeSort | DDC.Core.Check |
| ErrorTypeSumKindInvalid | DDC.Core.Check |
| ErrorTypeSumKindMismatch | DDC.Core.Check |
| errorTypeType | DDC.Core.Check |
| errorTypeTypeSum | DDC.Core.Check |
| ErrorTypeUnappliedKindFun | DDC.Core.Check |
| ErrorTypeUndefined | DDC.Core.Check |
| ErrorTypeUndefinedTypeCtor | DDC.Core.Check |
| errorTypeUniverse | DDC.Core.Check |
| ErrorTypeUniverseMalfunction | DDC.Core.Check |
| errorTypeVar | DDC.Core.Check |
| ErrorTypeWitnessImplInvalid | DDC.Core.Check |
| ErrorUndefinedCtor | 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 |
| ErrorWAppMismatch | DDC.Core.Check |
| ErrorWAppNotCtor | DDC.Core.Check |
| ErrorWeakEffNotEff | DDC.Core.Check |
| errorWitness | DDC.Core.Check |
| ErrorWitnessNotPurity | DDC.Core.Check |
| errrorAnnot | DDC.Core.Check |
| ERun | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EThen | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EType | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EUsing | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| evalCheck | DDC.Control.Check |
| EValue | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EWeakClo | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EWeakEff | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EWhere | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| EWith | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| Exp | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 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 | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Data.Env |
| 3 (Function) | DDC.Core.Env.EnvT |
| extendName | DDC.Data.Name |
| extends | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Data.Env |
| 3 (Function) | DDC.Core.Env.EnvT |
| extendsT | DDC.Core.Env.EnvX |
| extendsX | DDC.Core.Env.EnvX |
| extendT | DDC.Core.Env.EnvX |
| extendX | DDC.Core.Env.EnvX |
| 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.Data.Pretty, DDC.Core.Pretty |
| fillBreak | DDC.Data.Pretty, DDC.Core.Pretty |
| fillCat | DDC.Data.Pretty, DDC.Core.Pretty |
| fillSep | DDC.Data.Pretty, DDC.Core.Pretty |
| findDuplicates | DDC.Data.ListUtils |
| Flat | |
| 1 (Type/Class) | DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| 2 (Data Constructor) | DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| float | DDC.Data.Pretty, 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 |
| freeOfTreeT | DDC.Core.Collect.BindStruct |
| freeT | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| FreeVarConT | DDC.Core.Collect.FreeT |
| freeVarConT | DDC.Core.Collect.FreeT |
| freeVarsT | DDC.Core.Collect.FreeT, DDC.Core.Collect |
| freeX | DDC.Core.Collect.FreeX, DDC.Core.Collect |
| fromAnT | DDC.Core.Exp.Annot.AnTEC |
| fromList | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| 3 (Function) | DDC.Data.Env |
| 4 (Function) | DDC.Core.Env.EnvT |
| 5 (Function) | DDC.Core.Env.EnvX |
| fromListDataDefs | DDC.Type.DataDef |
| fromListNT | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Core.Env.EnvT |
| 3 (Function) | DDC.Core.Env.EnvX |
| fromNameList | DDC.Data.Env |
| fromNameMap | DDC.Data.Env |
| fromPrimEnvs | DDC.Core.Env.EnvX |
| fromTypeMap | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Core.Env.EnvT |
| 3 (Function) | DDC.Core.Env.EnvX |
| FunctionalClosures | DDC.Core.Fragment |
| FunctionalEffects | DDC.Core.Fragment |
| funTypeOfParams | DDC.Core.Parser |
| GAbs | DDC.Core.Exp.Generic |
| GAlt | DDC.Core.Exp.Generic |
| GAnnot | DDC.Core.Exp.Generic |
| GArg | DDC.Core.Exp.Generic |
| GBind | DDC.Core.Exp.Generic |
| GBound | DDC.Core.Exp.Generic |
| GCast | DDC.Core.Exp.Generic |
| GeneralApplication | DDC.Core.Fragment |
| GeneralLetRec | DDC.Core.Fragment |
| get | DDC.Control.Check |
| getBindType | DDC.Type.Bind |
| getInput | DDC.Control.Parser |
| getParserState | DDC.Control.Parser |
| getPosition | DDC.Control.Parser |
| getState | DDC.Control.Parser |
| GExp | DDC.Core.Exp.Generic |
| GLets | DDC.Core.Exp.Generic |
| GPat | DDC.Core.Exp.Generic |
| GPrim | DDC.Core.Exp.Generic |
| group | DDC.Data.Pretty, DDC.Core.Pretty |
| GTAnnot | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| GTBindCon | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| GTBindVar | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| GTBoundCon | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| GTBoundVar | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| GTPrim | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| GTyCon | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| GType | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| GWiCon | DDC.Core.Exp.Generic |
| GWitness | DDC.Core.Exp.Generic |
| hang | DDC.Data.Pretty, DDC.Core.Pretty |
| hashTyCon | DDC.Type.Sum |
| hashTyConRange | DDC.Type.Sum |
| hcat | DDC.Data.Pretty, DDC.Core.Pretty |
| hexDigit | DDC.Control.Parser |
| hPutDoc | DDC.Data.Pretty, DDC.Core.Pretty |
| hsep | DDC.Data.Pretty, 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 |
| incSourceColumn | DDC.Control.Parser |
| incSourceLine | DDC.Control.Parser |
| indent | DDC.Data.Pretty, DDC.Core.Pretty |
| index | DDC.Data.ListUtils |
| insert | DDC.Type.Sum |
| insertDataDef | DDC.Type.DataDef |
| instantiateT | DDC.Type.Transform.Instantiate |
| instantiateTs | DDC.Type.Transform.Instantiate |
| int | DDC.Data.Pretty, DDC.Core.Pretty |
| integer | DDC.Data.Pretty, DDC.Core.Pretty |
| isAlgDataType | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isAllocEffect | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isAtomR | DDC.Core.Exp.Generic |
| isAtomT | |
| 1 (Function) | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| 2 (Function) | DDC.Type.Exp.Generic.Predicates |
| isAtomW | |
| 1 (Function) | DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic |
| isAtomX | |
| 1 (Function) | DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic |
| isBAnon | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isBName | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isBNone | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isBot | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isBoundExpWit | DDC.Core.Collect.BindStruct |
| isClosureKind | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isConBody | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| isConName | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| isConsBox | DDC.Core.Call |
| isConStart | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| isConstWitType | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isConsType | DDC.Core.Call |
| isConsValue | DDC.Core.Call |
| isDataKind | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isDistinctWitType | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isEffectKind | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isElimRun | DDC.Core.Call |
| isElimType | DDC.Core.Call |
| isElimValue | DDC.Core.Call |
| isFunishTCon | DDC.Type.Exp.Simple.Predicates, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isLambdaX | DDC.Core.Exp.Annot |
| isLitBody | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| isLitName | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| isLitStart | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| isMainModule | DDC.Core.Module |
| isMainModuleName | DDC.Core.Module |
| isMutableWitType | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isPDefault | |
| 1 (Function) | DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic |
| isPrim | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Core.Env.EnvT |
| 3 (Function) | DDC.Core.Env.EnvX |
| isReadEffect | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isRegionKind | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isSomeAllocEffect | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isSomeReadEffect | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isSomeWriteEffect | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isTExists | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isTopLetCtx | DDC.Core.Exp.Annot.Ctx |
| isTVar | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isVarBody | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| isVarName | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| isVarStart | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| isWitnessKind | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isWitnessType | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isWriteEffect | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| isXAbs | DDC.Core.Exp.Generic |
| isXApp | |
| 1 (Function) | DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic |
| isXCast | DDC.Core.Exp.Annot |
| isXCastBox | DDC.Core.Exp.Annot |
| isXCastRun | DDC.Core.Exp.Annot |
| isXCon | |
| 1 (Function) | DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic |
| isXLAM | |
| 1 (Function) | DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic |
| isXLam | |
| 1 (Function) | DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic |
| isXLet | |
| 1 (Function) | DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic |
| isXType | DDC.Core.Exp.Annot |
| isXVar | |
| 1 (Function) | DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic |
| isXWitness | DDC.Core.Exp.Annot |
| KA | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KBuiltin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kClosure | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| KComment | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KCommentUnterminated | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kData | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| kEffect | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| KErrorJunk | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KErrorUnterm | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| Keyword | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kFun | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| kFuns | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| KiCon | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| KiConClosure | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| KiConData | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| KiConEffect | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| KiConFun | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| KiConRegion | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| KiConWitness | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| Kind | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| KindEnv | DDC.Type.Env |
| kindEnvOfEnvT | DDC.Core.Env.EnvT |
| kindEnvOfEnvX | DDC.Core.Env.EnvX |
| KIndex | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kindOfDataDef | DDC.Type.DataDef |
| kindOfDataType | DDC.Type.DataDef |
| kindOfImportType | DDC.Core.Module |
| kindOfSpec | DDC.Core.Check |
| kindOfSum | DDC.Type.Sum |
| kindOfTcCon | DDC.Core.Check |
| kindOfTwCon | DDC.Core.Check |
| KKeyword | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KLiteral | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KM | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KN | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KNewLine | 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 |
| KPragma | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kRegion | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| KSymbol | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| KVar | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| kWitness | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| label | DDC.Control.Parser |
| labels | DDC.Control.Parser |
| langle | DDC.Data.Pretty, DDC.Core.Pretty |
| lbrace | DDC.Data.Pretty, DDC.Core.Pretty |
| lbracket | DDC.Data.Pretty, DDC.Core.Pretty |
| LChar | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| Lets | DDC.Core.Exp, DDC.Core.Exp.Annot |
| letter | DDC.Control.Parser |
| Lexeme | DDC.Core.Lexer.Offside |
| LexemeStartBlock | DDC.Core.Lexer.Offside |
| LexemeStartLine | DDC.Core.Lexer.Offside |
| LexemeToken | DDC.Core.Lexer.Offside |
| lexExp | DDC.Core.Lexer |
| lexModuleWithOffside | DDC.Core.Lexer |
| LFloat | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| lift | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Core.Env.EnvT |
| 3 (Function) | DDC.Core.Env.EnvX |
| 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.Control.Parser |
| line | DDC.Data.Pretty, DDC.Core.Pretty |
| linebreak | DDC.Data.Pretty, DDC.Core.Pretty |
| lineOfLocated | DDC.Data.SourcePos |
| LInt | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| list | DDC.Data.Pretty, DDC.Core.Pretty |
| Literal | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| LLet | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| LNat | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| 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 |
| Located | |
| 1 (Type/Class) | DDC.Data.SourcePos, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| 2 (Data Constructor) | DDC.Data.SourcePos, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| lookAhead | DDC.Control.Parser |
| lookup | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Data.Env |
| 3 (Function) | DDC.Core.Env.EnvT |
| lookupIx | DDC.Data.Env |
| lookupModeOfDataType | DDC.Type.DataDef |
| lookupName | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Data.Env |
| 3 (Function) | DDC.Core.Env.EnvT |
| lookupNameX | DDC.Core.Env.EnvX |
| lookupT | DDC.Core.Env.EnvX |
| lookupX | DDC.Core.Env.EnvX |
| lower | DDC.Control.Parser |
| lowerAtDepthT | DDC.Type.Transform.BoundT |
| lowerAtDepthX | DDC.Core.Transform.BoundX |
| lowerT | DDC.Type.Transform.BoundT |
| lowerX | DDC.Core.Transform.BoundX |
| lparen | DDC.Data.Pretty, DDC.Core.Pretty |
| LPrivate | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| LRec | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| LSize | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| LString | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| LWord | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| makeBindFromBinder | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| makeDataDefAbs | DDC.Type.DataDef |
| makeDataDefAlg | DDC.Type.DataDef |
| makeRuns | DDC.Core.Exp.Annot |
| makeTApps | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| makeTExists | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| makeTForall | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| makeTForalls | DDC.Type.Exp.Generic.Compounds |
| makeTFun | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| makeTFuns | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| makeTFuns' | DDC.Type.Exp.Generic.Compounds |
| makeTUnions | DDC.Type.Exp.Generic.Compounds |
| makeXAbs | DDC.Core.Exp.Generic |
| makeXApps | DDC.Core.Exp.Generic |
| makeXAppsWithAnnots | DDC.Core.Exp.Annot |
| makeXLamFlags | DDC.Core.Exp.Annot |
| makeXLAMs | DDC.Core.Exp.Generic |
| makeXLams | DDC.Core.Exp.Generic |
| many | DDC.Control.Parser |
| many1 | DDC.Control.Parser |
| manyAccum | DDC.Control.Parser |
| manyTill | DDC.Control.Parser |
| mapAnnotOfExp | 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 | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Data.Env |
| 3 (Function) | DDC.Core.Env.EnvT |
| memberBind | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Core.Env.EnvT |
| memberBindX | DDC.Core.Env.EnvX |
| memberX | DDC.Core.Env.EnvX |
| mergeErrorReply | DDC.Control.Parser |
| mkPT | DDC.Control.Parser |
| Mode | DDC.Core.Check, DDC.Core.Load |
| modeAltExp | DDC.Core.Pretty |
| modeExpAlt | DDC.Core.Pretty |
| modeExpConTypes | DDC.Core.Pretty |
| modeExpLets | DDC.Core.Pretty |
| modeExpUseLetCase | DDC.Core.Pretty |
| modeExpVarTypes | DDC.Core.Pretty |
| modeLetsExp | DDC.Core.Pretty |
| modeLetsSuppressTypes | DDC.Core.Pretty |
| modeModuleLets | DDC.Core.Pretty |
| modeModuleSuppressExports | DDC.Core.Pretty |
| modeModuleSuppressImports | DDC.Core.Pretty |
| modifyState | DDC.Control.Parser |
| Module | DDC.Core.Module |
| moduleBody | DDC.Core.Module |
| ModuleCore | DDC.Core.Module |
| moduleDataDefs | DDC.Core.Module |
| moduleDataDefsLocal | DDC.Core.Module |
| moduleEnvT | DDC.Core.Module |
| moduleEnvX | DDC.Core.Module |
| moduleExportTypes | DDC.Core.Module |
| moduleExportValues | DDC.Core.Module |
| moduleImportCaps | DDC.Core.Module |
| moduleImportDataDefs | DDC.Core.Module |
| moduleImportTypeDefs | 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 |
| moduleNameMatchesPath | DDC.Core.Module |
| modulesEnvT | DDC.Core.Module |
| modulesEnvX | DDC.Core.Module |
| modulesExportTypes | DDC.Core.Module |
| modulesExportValues | DDC.Core.Module |
| moduleTopBinds | DDC.Core.Module |
| moduleTopBindTypes | DDC.Core.Module |
| moduleTypeDefs | DDC.Core.Module |
| moduleTypeDefsLocal | DDC.Core.Module |
| moduleTypeEnv | DDC.Core.Module |
| namedBoundMatchesBind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| nameOfLocated | DDC.Data.SourcePos |
| NameShadowing | DDC.Core.Fragment |
| nest | DDC.Data.Pretty, DDC.Core.Pretty |
| NestedFunctions | DDC.Core.Fragment |
| nesting | DDC.Data.Pretty, DDC.Core.Pretty |
| newline | DDC.Control.Parser |
| newVarName | DDC.Data.Name |
| NFDataLanguage | DDC.Type.Exp.Generic.NFData |
| noneOf | DDC.Control.Parser |
| notFollowedBy | DDC.Control.Parser |
| octDigit | DDC.Control.Parser |
| Ok | DDC.Control.Parser |
| oneOf | DDC.Control.Parser |
| option | DDC.Control.Parser |
| optional | DDC.Control.Parser |
| optionMaybe | DDC.Control.Parser |
| padL | DDC.Data.Pretty, DDC.Core.Pretty |
| panic | DDC.Control.Panic |
| Param | DDC.Core.Exp.Annot |
| ParamBox | DDC.Core.Exp.Annot |
| ParamSpec | DDC.Core.Parser |
| ParamType | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Parser |
| ParamValue | |
| 1 (Data Constructor) | DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Parser |
| ParamWitness | DDC.Core.Parser |
| parens | DDC.Data.Pretty, DDC.Core.Pretty |
| parse | DDC.Control.Parser |
| Parsec | DDC.Control.Parser |
| parsecMap | DDC.Control.Parser |
| parsecSourcePosOfLocated | DDC.Data.SourcePos |
| ParsecT | DDC.Control.Parser |
| ParseError | DDC.Control.Parser |
| Parser | |
| 1 (Type/Class) | DDC.Control.Parser |
| 2 (Type/Class) | DDC.Core.Parser |
| parserBind | DDC.Control.Parser |
| parserFail | DDC.Control.Parser |
| parserPlus | DDC.Control.Parser |
| parserReturn | DDC.Control.Parser |
| ParserState | DDC.Control.Parser |
| parserZero | DDC.Control.Parser |
| ParseState | DDC.Control.Parser |
| parseTest | DDC.Control.Parser |
| PartialApplication | DDC.Core.Fragment |
| PartialPrims | DDC.Core.Fragment |
| partitionBindsByType | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| Pat | DDC.Core.Exp, DDC.Core.Exp.Annot |
| patOfAlt | 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, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| PDefault | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| pExp | DDC.Core.Parser |
| pExpApp | DDC.Core.Parser |
| pExpAtom | DDC.Core.Parser |
| pIndex | DDC.Core.Parser |
| pIndexSP | DDC.Core.Parser |
| pKey | 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.Data.Pretty, DDC.Core.Pretty |
| pprDataCtor | DDC.Core.Pretty |
| pprDataDef | DDC.Core.Pretty |
| pprDefaultMode | DDC.Data.Pretty, DDC.Core.Pretty |
| pprExportType | DDC.Core.Pretty |
| pprExportValue | DDC.Core.Pretty |
| pprImportType | DDC.Core.Pretty |
| pprImportValue | DDC.Core.Pretty |
| pprModePrec | DDC.Data.Pretty, DDC.Core.Pretty |
| pprParen | DDC.Data.Pretty, DDC.Core.Pretty |
| pprPrec | DDC.Data.Pretty, DDC.Core.Pretty |
| pprRawC | DDC.Type.Exp.Generic.Pretty, DDC.Type.Exp.Flat.Pretty, DDC.Type.Exp.Flat |
| pprRawPrecT | DDC.Type.Exp.Generic.Pretty, DDC.Type.Exp.Flat.Pretty, DDC.Type.Exp.Flat |
| pprRawT | DDC.Type.Exp.Generic.Pretty, DDC.Type.Exp.Flat.Pretty, DDC.Type.Exp.Flat |
| pprTypeDef | DDC.Core.Pretty |
| Pretty | DDC.Data.Pretty, DDC.Core.Pretty |
| PrettyConfig | DDC.Type.Exp.Generic.Pretty, DDC.Type.Exp.Flat.Pretty, DDC.Type.Exp.Flat |
| PrettyMode | DDC.Data.Pretty, DDC.Core.Pretty, DDC.Core.Pretty |
| PrettyModeAlt | DDC.Core.Pretty |
| PrettyModeExp | DDC.Core.Pretty |
| PrettyModeLets | DDC.Core.Pretty |
| PrettyModeModule | DDC.Core.Pretty |
| Profile | |
| 1 (Type/Class) | DDC.Core.Fragment |
| 2 (Data Constructor) | DDC.Core.Fragment |
| profileFeatures | DDC.Core.Fragment |
| profileMakeLiteralName | 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 |
| pSym | DDC.Core.Parser |
| pTok | |
| 1 (Function) | DDC.Control.Parser |
| 2 (Function) | DDC.Core.Parser |
| pTokAs | |
| 1 (Function) | DDC.Control.Parser |
| 2 (Function) | DDC.Core.Parser |
| pTokAsSP | DDC.Control.Parser |
| pTokMaybe | DDC.Control.Parser |
| pTokMaybeSP | DDC.Control.Parser |
| pTokSP | |
| 1 (Function) | DDC.Control.Parser |
| 2 (Function) | DDC.Core.Parser |
| pType | DDC.Core.Parser |
| pTypeApp | DDC.Core.Parser |
| pTypeAtom | DDC.Core.Parser |
| punctuate | DDC.Data.Pretty, 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 |
| put | DDC.Control.Check |
| putDoc | DDC.Data.Pretty, DDC.Core.Pretty |
| putDocLn | DDC.Data.Pretty, DDC.Core.Pretty |
| putState | DDC.Control.Parser |
| 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.Data.Pretty, DDC.Core.Pretty |
| RAnon | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| rational | DDC.Data.Pretty, DDC.Core.Pretty |
| rbrace | DDC.Data.Pretty, DDC.Core.Pretty |
| rbracket | DDC.Data.Pretty, DDC.Core.Pretty |
| readBinary | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| readHex | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| readLitFloatOfBits | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| readLitInt | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| readLitInteger | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| readLitNat | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| readLitSize | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| readLitWordOfBits | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| readModuleName | DDC.Core.Module |
| 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.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| Rename | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| renameToken | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| renameWith | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| render | DDC.Data.Pretty, DDC.Core.Pretty |
| renderCompact | DDC.Data.Pretty, DDC.Core.Pretty |
| RenderIndent | DDC.Data.Pretty, DDC.Core.Pretty |
| renderIndent | DDC.Data.Pretty, DDC.Core.Pretty |
| RenderMode | DDC.Data.Pretty, DDC.Core.Pretty |
| RenderPlain | DDC.Data.Pretty, DDC.Core.Pretty |
| renderPlain | DDC.Data.Pretty, DDC.Core.Pretty |
| replaceTypeOfBind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| replaceTypeOfBound | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| Reply | DDC.Control.Parser |
| RExp | DDC.Core.Exp.Generic |
| RName | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| RNone | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| rparen | DDC.Data.Pretty, DDC.Core.Pretty |
| RType | DDC.Core.Exp.Generic |
| runCheck | DDC.Control.Check |
| runP | DDC.Control.Parser |
| runParsecT | DDC.Control.Parser |
| runParser | DDC.Control.Parser |
| runParserT | DDC.Control.Parser |
| runPT | DDC.Control.Parser |
| runTokenParser | DDC.Control.Parser |
| RWitness | DDC.Core.Exp.Generic |
| SArrowDashLeft | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SArrowDashRight | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SArrowEquals | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SArrowTilde | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SAt | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| satisfy | DDC.Control.Parser |
| sayBuiltin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| sayKeyword | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| saySymbol | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SBackSlash | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SBar | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SBigLambda | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SBigLambdaSlash | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SBraceBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SBraceColonBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SBraceColonKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SBraceKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SChar | DDC.Data.Pretty, DDC.Core.Pretty |
| SComma | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| sComp | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| SDot | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| semi | DDC.Data.Pretty, DDC.Core.Pretty |
| semiBraces | DDC.Data.Pretty, DDC.Core.Pretty |
| SEmpty | DDC.Data.Pretty, DDC.Core.Pretty |
| sep | DDC.Data.Pretty, DDC.Core.Pretty |
| sepBy | DDC.Control.Parser |
| sepBy1 | DDC.Control.Parser |
| sepEndBy | DDC.Control.Parser |
| sepEndBy1 | DDC.Control.Parser |
| SEquals | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| setFeature | DDC.Core.Fragment |
| setInput | DDC.Control.Parser |
| setParserState | DDC.Control.Parser |
| setPosition | DDC.Control.Parser |
| setPrimFun | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Core.Env.EnvT |
| 3 (Function) | DDC.Core.Env.EnvX |
| setSourceColumn | DDC.Control.Parser |
| setSourceLine | DDC.Control.Parser |
| setSourceName | DDC.Control.Parser |
| setState | DDC.Control.Parser |
| SHat | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| ShowGType | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| ShowLanguage | DDC.Core.Exp.Generic |
| SimpleDoc | DDC.Data.Pretty, DDC.Core.Pretty |
| singleton | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| 3 (Function) | DDC.Data.Env |
| 4 (Function) | DDC.Core.Env.EnvT |
| 5 (Function) | DDC.Core.Env.EnvX |
| skipMany | DDC.Control.Parser |
| skipMany1 | DDC.Control.Parser |
| SLambda | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SLine | DDC.Data.Pretty, DDC.Core.Pretty |
| slurpBindTree | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| SoCon | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| SoConComp | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| SoConProp | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| softbreak | DDC.Data.Pretty, DDC.Core.Pretty |
| softline | DDC.Data.Pretty, DDC.Core.Pretty |
| Sort | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| sortOfKind | DDC.Core.Check |
| sourceColumn | DDC.Control.Parser |
| sourceLine | DDC.Control.Parser |
| SourceName | DDC.Control.Parser |
| sourceName | DDC.Control.Parser |
| SourcePos | |
| 1 (Type/Class) | DDC.Data.SourcePos, DDC.Control.Parser |
| 2 (Data Constructor) | DDC.Data.SourcePos, DDC.Control.Parser |
| sourcePosColumn | DDC.Data.SourcePos, DDC.Control.Parser |
| sourcePosLine | DDC.Data.SourcePos, DDC.Control.Parser |
| sourcePosOfLocated | DDC.Data.SourcePos |
| sourcePosSource | DDC.Data.SourcePos, DDC.Control.Parser |
| space | |
| 1 (Function) | DDC.Data.Pretty, DDC.Core.Pretty |
| 2 (Function) | DDC.Control.Parser |
| spaces | DDC.Control.Parser |
| specBindsOfLets | DDC.Core.Exp.Annot |
| splash | DDC.Version |
| splitName | DDC.Data.Name |
| splitStdCallCons | DDC.Core.Call |
| splitStdCallElims | DDC.Core.Call |
| splitTUnionsOfKind | DDC.Type.Exp.Generic.Compounds |
| splitXApps | DDC.Core.Exp.Generic |
| splitXLets | DDC.Core.Exp.Annot |
| splitXLetsAnnot | 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.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| squote | DDC.Data.Pretty, DDC.Core.Pretty |
| squotes | DDC.Data.Pretty, DDC.Core.Pretty |
| SRoundBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SRoundKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SSemiColon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SSquareBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SSquareColonBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SSquareColonKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| SSquareKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| 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 |
| State | |
| 1 (Data Constructor) | DDC.Control.Parser |
| 2 (Type/Class) | DDC.Control.Parser |
| stateFileName | DDC.Control.Parser |
| stateInput | DDC.Control.Parser |
| statePos | DDC.Control.Parser |
| stateTokenShow | DDC.Control.Parser |
| stateUser | DDC.Control.Parser |
| SText | DDC.Data.Pretty, DDC.Core.Pretty |
| Stream | DDC.Control.Parser |
| string | |
| 1 (Function) | DDC.Data.Pretty, DDC.Core.Pretty |
| 2 (Function) | DDC.Control.Parser |
| StringName | DDC.Data.Name |
| stringName | DDC.Data.Name |
| stripSuffix | DDC.Data.ListUtils |
| 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.Exp.Simple.Subsumes, DDC.Type.Exp.Simple |
| SUnderscore | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| 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 |
| Symbol | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| Synth | DDC.Core.Check, DDC.Core.Load |
| sysUnExpectError | DDC.Control.Parser |
| tab | DDC.Control.Parser |
| TAbs | |
| 1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| takeCallConsFromExp | DDC.Core.Call |
| takeCallConsFromType | DDC.Core.Call |
| takeCallElim | DDC.Core.Call |
| takeCtorNameOfAlt | DDC.Core.Exp.Annot |
| takeDataTyConApps | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeEnclosingCtx | DDC.Core.Exp.Annot.Ctx |
| takeHead | DDC.Data.ListUtils |
| takeInit | DDC.Data.ListUtils |
| takeKFun | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeKFuns | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeKFuns' | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeMaximum | DDC.Data.ListUtils |
| takeNameOfBind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeNameOfBound | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeNameOfDaCon | DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takePrimeRegion | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takePrimTyConApps | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takePrimWiConApps | DDC.Core.Exp.Annot |
| takeResultKind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeSortOfKiCon | DDC.Core.Check |
| takeStdCallConsFromTypeArity | DDC.Core.Call |
| takeSubstBoundOfBind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeSubstBoundsOfBinds | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeTAbs | DDC.Type.Exp.Generic.Compounds |
| takeTail | DDC.Data.ListUtils |
| takeTApp | DDC.Type.Exp.Generic.Compounds |
| takeTApps | |
| 1 (Function) | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| 2 (Function) | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| takeTCon | DDC.Type.Exp.Generic.Compounds |
| takeTExists | |
| 1 (Function) | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| 2 (Function) | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| takeTForall | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| takeTForalls | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeTFun | |
| 1 (Function) | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| 2 (Function) | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| takeTFunAllArgResult | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeTFunArgResult | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeTFuns | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| takeTFuns' | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| takeTFunWitArgResult | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeTopLetEnvNamesOfCtx | DDC.Core.Exp.Annot.Ctx |
| takeTopNameOfCtx | DDC.Core.Exp.Annot.Ctx |
| takeTSusp | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeTSusps | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeTUnion | DDC.Type.Exp.Generic.Compounds |
| takeTUnions | DDC.Type.Exp.Generic.Compounds |
| takeTVar | DDC.Type.Exp.Generic.Compounds |
| takeTyConApps | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeTypeOfBound | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeTypeOfDaCon | DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| takeTypeOfExportSource | DDC.Core.Module |
| takeWAppsAsList | DDC.Core.Exp.Annot |
| takeXAbs | DDC.Core.Exp.Generic |
| takeXApps | |
| 1 (Function) | DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic |
| takeXApps1 | DDC.Core.Exp.Annot |
| takeXAppsAsList | DDC.Core.Exp.Annot |
| takeXAppsWithAnnots | DDC.Core.Exp.Annot |
| takeXConApps | |
| 1 (Function) | DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic |
| takeXLamFlags | DDC.Core.Exp.Annot |
| takeXLamParam | DDC.Core.Exp.Annot |
| takeXLAMs | |
| 1 (Function) | DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic |
| takeXLams | |
| 1 (Function) | DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic |
| takeXPrimApps | |
| 1 (Function) | DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic |
| takeXType | DDC.Core.Exp.Annot |
| takeXWitness | DDC.Core.Exp.Annot |
| tAlloc | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| TAnnot | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TApp | |
| 1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| tApp | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| TApp2 | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TApp3 | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TApp4 | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TApp5 | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| tApps | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| TBot | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| tBot | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| TcCon | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TcConAlloc | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TcConDeepAlloc | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TcConDeepRead | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TcConDeepWrite | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TcConFun | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TcConHeadRead | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TcConRead | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TcConSusp | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TcConUnit | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TcConWrite | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TCon | |
| 1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| tConData0 | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tConData1 | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tConst | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tDeepAlloc | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tDeepConst | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tDeepMutable | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tDeepRead | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tDeepWrite | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tDistinct | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| text | DDC.Data.Pretty, DDC.Core.Pretty |
| TForall | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| tForall | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tForall' | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tForalls | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tForalls' | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| TFun | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| tFun | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tFunOfList | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tFunOfParamResult | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tHeadRead | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| throw | DDC.Control.Check |
| tImpl | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tIx | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tMutable | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| Token | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| token | DDC.Control.Parser |
| TokenAtom | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| TokenMeta | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| TokenNamed | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| tokenPrim | DDC.Control.Parser |
| tokenPrimEx | DDC.Control.Parser |
| tokens | DDC.Control.Parser |
| toList | DDC.Type.Sum |
| topOfCtx | DDC.Core.Exp.Annot.Ctx |
| TPrim | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| tPure | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| TrackedClosures | DDC.Core.Fragment |
| TrackedEffects | DDC.Core.Fragment |
| tRead | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| try | DDC.Control.Parser |
| TSum | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| tSum | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tSusp | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| TUnion | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TUnit | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| tUnit | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| tupled | DDC.Data.Pretty, DDC.Core.Pretty |
| TVar | |
| 1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TVoid | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TwCon | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TwConConst | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TwConDeepConst | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TwConDeepMutable | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TwConDisjoint | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TwConDistinct | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TwConImpl | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TwConMutable | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TwConPure | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| tWrite | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| TyCon | |
| 1 (Type/Class) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Type/Class) | DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TyConBot | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TyConBound | |
| 1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TyConExists | |
| 1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TyConForall | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TyConFun | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TyConHash | |
| 1 (Type/Class) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TyConKind | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TyConPrim | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TyConSort | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TyConSpec | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TyConUnion | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TyConUnit | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TyConVoid | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TyConWitness | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| Type | |
| 1 (Type/Class) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Type/Class) | DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
| TypeEnv | DDC.Type.Env |
| typeEnvOfEnvX | DDC.Core.Env.EnvX |
| typeOfBind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| 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.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TypeSumBot | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| typeSumBoundAnon | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| typeSumBoundNamed | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TypeSumCon | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| typeSumElems | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| typeSumKind | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TypeSumSet | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| typeSumSpill | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TypeSumVar | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| TypeSumVarCon | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| UIx | |
| 1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Data.Env |
| UName | |
| 1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Data.Env |
| UnboundLevel0Vars | DDC.Core.Fragment |
| UnboxedInstantiation | DDC.Core.Fragment |
| uncons | DDC.Control.Parser |
| unexpected | DDC.Control.Parser |
| unhashTyCon | DDC.Type.Sum |
| unicodeOperatorsInfix | DDC.Core.Lexer.Unicode |
| union | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| 3 (Function) | DDC.Data.Env |
| 4 (Function) | DDC.Core.Env.EnvT |
| 5 (Function) | DDC.Core.Env.EnvX |
| unionDataDefs | DDC.Type.DataDef |
| unions | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| 3 (Function) | DDC.Data.Env |
| 4 (Function) | DDC.Core.Env.EnvT |
| 5 (Function) | DDC.Core.Env.EnvX |
| Universe | DDC.Type.Universe |
| UniverseData | DDC.Type.Universe |
| universeFromType1 | DDC.Type.Universe |
| universeFromType2 | DDC.Type.Universe |
| universeFromType3 | DDC.Type.Universe |
| UniverseKind | DDC.Type.Universe |
| UniverseLevel | DDC.Type.Universe |
| universeOfType | DDC.Type.Universe |
| UniverseSort | DDC.Type.Universe |
| UniverseSpec | DDC.Type.Universe |
| universeUp | DDC.Type.Universe |
| UniverseWitness | DDC.Type.Universe |
| unknownError | DDC.Control.Parser |
| UnusedBindings | DDC.Core.Fragment |
| UnusedMatches | DDC.Core.Fragment |
| updateParserState | DDC.Control.Parser |
| updateState | DDC.Control.Parser |
| upper | DDC.Control.Parser |
| UPrim | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| use0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| use1 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| valueOfLocated | DDC.Data.SourcePos |
| valwitBindsOfLets | DDC.Core.Exp.Annot |
| vcat | DDC.Data.Pretty, DDC.Core.Pretty |
| version | DDC.Version |
| vsep | DDC.Data.Pretty, DDC.Core.Pretty |
| WApp | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| wApp | DDC.Core.Exp.Annot |
| wApps | DDC.Core.Exp.Annot |
| WCon | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| WiCon | DDC.Core.Exp, DDC.Core.Exp.Annot |
| WiConBound | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| width | DDC.Data.Pretty, DDC.Core.Pretty |
| withBinding | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
| withBindings | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
| Witness | DDC.Core.Exp, DDC.Core.Exp.Annot |
| WType | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| WVar | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| XAbs | DDC.Core.Exp.Generic |
| XAnnot | DDC.Core.Exp.Generic |
| XApp | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| xApps | DDC.Core.Exp.Annot |
| XCase | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| XCast | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| XCon | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| XLAM | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| XLam | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| xLAMs | DDC.Core.Exp.Annot |
| xLams | DDC.Core.Exp.Annot |
| XLet | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| xLets | DDC.Core.Exp.Annot |
| xLetsAnnot | DDC.Core.Exp.Annot |
| XPrim | DDC.Core.Exp.Generic |
| XType | DDC.Core.Exp, DDC.Core.Exp.Annot |
| xUnit | DDC.Core.Exp.Annot |
| XVar | |
| 1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Core.Exp.Generic |
| XWitness | DDC.Core.Exp, DDC.Core.Exp.Annot |
| zeroFeatures | DDC.Core.Fragment |
| zeroProfile | DDC.Core.Fragment |
| ~> | DDC.Type.Exp.Generic.Compounds |