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 |