Index - E
| 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 |