| Effect | DDC.Type.Exp, DDC.Core.Exp |
| elem | DDC.Type.Sum |
| empty | |
| 1 (Function) | DDC.Core.Pretty |
| 2 (Function) | DDC.Type.Sum |
| 3 (Function) | DDC.Type.Env |
| emptyDataDefs | DDC.Core.DataDef |
| enclose | DDC.Core.Pretty |
| encloseSep | DDC.Core.Pretty |
| Env | |
| 1 (Type/Class) | DDC.Type.Env |
| 2 (Data Constructor) | DDC.Type.Env |
| envMap | DDC.Type.Env |
| envPrimFun | DDC.Type.Env |
| envStack | DDC.Type.Env |
| envStackLength | DDC.Type.Env |
| equals | DDC.Core.Pretty |
| equivT | DDC.Type.Equiv |
| Error | |
| 1 (Type/Class) | DDC.Type.Check |
| 2 (Type/Class) | DDC.Core.Check.Error, DDC.Core.Check |
| errorAltType1 | DDC.Core.Check.Error, DDC.Core.Check |
| errorAltType2 | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorAppArgMismatch | DDC.Type.Check |
| ErrorAppMismatch | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorAppNotFun | |
| 1 (Data Constructor) | DDC.Type.Check |
| 2 (Data Constructor) | DDC.Core.Check.Error, DDC.Core.Check |
| errorArgKind | DDC.Type.Check |
| errorArgType | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check.Error, DDC.Core.Check |
| errorArgTypeKind | DDC.Type.Check |
| errorBind | DDC.Core.Check.Error, DDC.Core.Check |
| errorBindType | DDC.Core.Check.Error, DDC.Core.Check |
| errorBindWitness | DDC.Core.Check.Error, DDC.Core.Check |
| errorBindWitness1 | DDC.Core.Check.Error, DDC.Core.Check |
| errorBindWitness2 | DDC.Core.Check.Error, DDC.Core.Check |
| errorBody | DDC.Type.Check |
| errorBound | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check.Error, DDC.Core.Check |
| errorBoundRegion | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorCannotJoin | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorCaseAltResultMismatch | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorCaseCannotInstantiate | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorCaseDiscrimNotAlgebraic | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorCaseDiscrimTypeMismatch | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorCaseDiscrimTypeUndeclared | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorCaseFieldTypeMismatch | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorCaseNoAlternatives | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorCaseNonExhaustive | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorCaseNonExhaustiveLarge | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorCaseOverlapping | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorCaseTooManyBinders | DDC.Core.Check.Error, DDC.Core.Check |
| errorChecking | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check.Error, DDC.Core.Check |
| errorCheckingSum | DDC.Type.Check |
| errorClosure | DDC.Core.Check.Error, DDC.Core.Check |
| errorCtorBound | DDC.Core.Check.Error, DDC.Core.Check |
| errorCtorFields | DDC.Core.Check.Error, DDC.Core.Check |
| errorCtorNamesMissing | DDC.Core.Check.Error, DDC.Core.Check |
| errorEffect | DDC.Core.Check.Error, DDC.Core.Check |
| errorExp | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorForallKindInvalid | DDC.Type.Check |
| errorFunType | DDC.Type.Check |
| errorFunTypeKind | DDC.Type.Check |
| errorKind | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check.Error, DDC.Core.Check |
| errorKindExpected | DDC.Type.Check |
| errorKinds | DDC.Type.Check |
| ErrorLamBindNotData | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLamBodyNotData | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLamNotPure | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLamShadow | DDC.Core.Check.Error, DDC.Core.Check |
| errorLeftKind | DDC.Type.Check |
| errorLeftType | DDC.Type.Check |
| ErrorLetBindingNotData | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLetBodyNotData | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLetLazyNotEmpty | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLetLazyNotPure | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLetLazyNoWitness | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLetLazyWitnessTypeMismatch | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLetMismatch | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLetrecBindingNotLambda | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLetRegionFree | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLetRegionNotRegion | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLetRegionRebound | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLetRegionWitnessConflict | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLetRegionWitnessInvalid | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorLetRegionWitnessOther | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorMalformedExp | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorMalformedType | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorMaxcloMalformed | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorMaxcloNotClo | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorMaxeffNotEff | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorNakedSort | DDC.Type.Check |
| ErrorNakedType | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorNakedWitness | DDC.Core.Check.Error, DDC.Core.Check |
| errorNotFunType | DDC.Core.Check.Error, DDC.Core.Check |
| errorParamKind | DDC.Type.Check |
| errorParamType | DDC.Core.Check.Error, DDC.Core.Check |
| errorPatternFields | DDC.Core.Check.Error, DDC.Core.Check |
| errorRightKind | DDC.Type.Check |
| errorRightType | DDC.Type.Check |
| errorSort | DDC.Type.Check |
| ErrorSumKindInvalid | DDC.Type.Check |
| ErrorSumKindMismatch | DDC.Type.Check |
| ErrorType | DDC.Core.Check.Error, DDC.Core.Check |
| errorType | DDC.Core.Check.Error, DDC.Core.Check |
| errorTypeAnnot | DDC.Core.Check.Error, DDC.Core.Check |
| errorTypeCtor | DDC.Core.Check.Error, DDC.Core.Check |
| errorTypeDiscrim | DDC.Core.Check.Error, DDC.Core.Check |
| errorTypeEnv | |
| 1 (Function) | DDC.Type.Check |
| 2 (Function) | DDC.Core.Check.Error, DDC.Core.Check |
| errorTypeError | DDC.Core.Check.Error, DDC.Core.Check |
| errorTypeField | DDC.Core.Check.Error, DDC.Core.Check |
| errorTypeLeft | DDC.Core.Check.Error, DDC.Core.Check |
| errorTypePattern | DDC.Core.Check.Error, DDC.Core.Check |
| errorTypeRight | DDC.Core.Check.Error, DDC.Core.Check |
| errorTypeSum | DDC.Type.Check |
| ErrorUnappliedKindFun | DDC.Type.Check |
| ErrorUndefined | DDC.Type.Check |
| ErrorUndefinedCtor | |
| 1 (Data Constructor) | DDC.Type.Check |
| 2 (Data Constructor) | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorVarAnnotMismatch | |
| 1 (Data Constructor) | DDC.Type.Check |
| 2 (Data Constructor) | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorWAppMismatch | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorWAppNotCtor | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorWithRegionNotRegion | DDC.Core.Check.Error, DDC.Core.Check |
| errorWitness | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorWitnessImplInvalid | DDC.Type.Check |
| errorWitnessLeft | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorWitnessNotEmpty | DDC.Core.Check.Error, DDC.Core.Check |
| ErrorWitnessNotPurity | DDC.Core.Check.Error, DDC.Core.Check |
| errorWitnessRight | DDC.Core.Check.Error, DDC.Core.Check |
| errorWitnessTypeExpect | DDC.Core.Check.Error, DDC.Core.Check |
| errorWitnessTypeHave | DDC.Core.Check.Error, DDC.Core.Check |
| Exp | DDC.Core.Exp |
| extend | DDC.Type.Env |
| extends | DDC.Type.Env |