ddc-core-0.4.1.3: Disciplined Disciple Compiler core language and type checker.

Index - E

EffectDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
EffectCapabilitiesDDC.Core.Fragment
elemDDC.Type.Sum
empty 
1 (Function)DDC.Core.Pretty
2 (Function)DDC.Type.Sum
3 (Function)DDC.Type.Env
emptyDataDefsDDC.Type.DataDef
encloseDDC.Core.Pretty
encloseSepDDC.Core.Pretty
Env 
1 (Type/Class)DDC.Type.Env
2 (Data Constructor)DDC.Type.Env
envMapDDC.Type.Env
envPrimFunDDC.Type.Env
envStackDDC.Type.Env
envStackLengthDDC.Type.Env
equalsDDC.Core.Pretty
equivTDDC.Type.Equiv
equivTyConDDC.Type.Equiv
equivWithBindsTDDC.Type.Equiv
eraseTForallsDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
Error 
1 (Type/Class)DDC.Core.Fragment
2 (Type/Class)DDC.Type.Check
3 (Type/Class)DDC.Core.Check
4 (Type/Class)DDC.Core.Load
errorAltType1DDC.Core.Check
errorAltType2DDC.Core.Check
errorAnnotDDC.Core.Check
ErrorAppArgMismatchDDC.Type.Check
ErrorAppCannotInferPolymorphicDDC.Core.Check
ErrorAppMismatchDDC.Core.Check
ErrorAppNotFun 
1 (Data Constructor)DDC.Type.Check
2 (Data Constructor)DDC.Core.Check
errorArgKindDDC.Type.Check
errorArgType 
1 (Function)DDC.Type.Check
2 (Function)DDC.Core.Check
errorBindDDC.Core.Check
errorBindsDDC.Core.Check
errorBindWitnessDDC.Core.Check
errorBindWitness1DDC.Core.Check
errorBindWitness2DDC.Core.Check
errorBodyDDC.Type.Check
errorBound 
1 (Function)DDC.Type.Check
2 (Function)DDC.Core.Check
errorBoundRegionsDDC.Core.Check
ErrorCannotJoinDDC.Core.Check
ErrorCaseAltResultMismatchDDC.Core.Check
ErrorCaseCannotInstantiateDDC.Core.Check
ErrorCaseFieldTypeMismatchDDC.Core.Check
ErrorCaseNoAlternativesDDC.Core.Check
ErrorCaseNonExhaustiveDDC.Core.Check
ErrorCaseNonExhaustiveLargeDDC.Core.Check
ErrorCaseOverlappingDDC.Core.Check
ErrorCaseScrutineeNotAlgebraicDDC.Core.Check
ErrorCaseScrutineeTypeMismatchDDC.Core.Check
ErrorCaseScrutineeTypeUndeclaredDDC.Core.Check
ErrorCaseTooManyBindersDDC.Core.Check
ErrorCheckExpDDC.Core.Load
errorChecking 
1 (Function)DDC.Type.Check
2 (Function)DDC.Core.Check
errorCheckingSumDDC.Type.Check
ErrorCheckTypeDDC.Core.Load
errorClosureDDC.Core.Check
ErrorComplianceDDC.Core.Load
errorCtorDaConDDC.Core.Check
errorCtorFieldsDDC.Core.Check
errorCtorNamesMissingDDC.Core.Check
ErrorData 
1 (Type/Class)DDC.Type.Check
2 (Data Constructor)DDC.Core.Check
errorDataDDC.Core.Check
errorDataCtorNameDDC.Type.Check
errorDataCtorResultActualDDC.Type.Check
errorDataCtorResultExpectedDDC.Type.Check
ErrorDataDupCtorNameDDC.Type.Check
ErrorDataDupTypeNameDDC.Type.Check
errorDataDupTypeNameDDC.Type.Check
ErrorDataWrongResultDDC.Type.Check
errorDefTypeDDC.Core.Check
errorEffectDDC.Core.Check
errorExpDDC.Core.Check
errorExpected 
1 (Function)DDC.Type.Check
2 (Function)DDC.Core.Check
ErrorExportDuplicateDDC.Core.Check
ErrorExportMismatchDDC.Core.Check
errorExportTypeDDC.Core.Check
ErrorExportUndefinedDDC.Core.Check
ErrorForallKindInvalidDDC.Type.Check
ErrorFragmentDDC.Core.Load
errorFunKindDDC.Type.Check
errorFunTypeDDC.Type.Check
errorFunTypeKindDDC.Type.Check
ErrorImportDuplicateDDC.Core.Check
ErrorImportValueNotDataDDC.Core.Check
errorInferred 
1 (Function)DDC.Type.Check
2 (Function)DDC.Core.Check
errorKind 
1 (Function)DDC.Type.Check
2 (Function)DDC.Core.Check
errorKindExpectedDDC.Type.Check
errorKinds 
1 (Function)DDC.Type.Check
2 (Function)DDC.Core.Check
ErrorLamBindBadKindDDC.Core.Check
ErrorLamBodyNotDataDDC.Core.Check
ErrorLamNotEmptyDDC.Core.Check
ErrorLamNotPureDDC.Core.Check
ErrorLAMParamBadSortDDC.Core.Check
ErrorLAMParamUnannotatedDDC.Core.Check
ErrorLamParamUnannotatedDDC.Core.Check
ErrorLamShadowDDC.Core.Check
errorLeftKindDDC.Type.Check
errorLeftTypeDDC.Type.Check
ErrorLetBindingNotDataDDC.Core.Check
ErrorLetBodyNotDataDDC.Core.Check
ErrorLetMismatchDDC.Core.Check
ErrorLetrecBindingNotLambdaDDC.Core.Check
ErrorLetrecMissingAnnotDDC.Core.Check
ErrorLetrecReboundDDC.Core.Check
ErrorLetRegionFreeDDC.Core.Check
ErrorLetRegionsNotRegionDDC.Core.Check
ErrorLetRegionsReboundDDC.Core.Check
ErrorLetRegionsWitnessOtherDDC.Core.Check
ErrorLetRegionWitnessConflictDDC.Core.Check
ErrorLetRegionWitnessInvalidDDC.Core.Check
ErrorMismatch 
1 (Data Constructor)DDC.Type.Check
2 (Data Constructor)DDC.Core.Check
ErrorNakedSortDDC.Type.Check
ErrorNakedType 
1 (Data Constructor)DDC.Core.Fragment
2 (Data Constructor)DDC.Core.Check
ErrorNakedWitness 
1 (Data Constructor)DDC.Core.Fragment
2 (Data Constructor)DDC.Core.Check
errorNameDDC.Core.Check
errorNotFunTypeDDC.Core.Check
errorParamTypeDDC.Core.Check
ErrorParserDDC.Core.Load
errorPatternFieldsDDC.Core.Check
ErrorReadDDC.Core.Load
errorRightKindDDC.Type.Check
errorRightTypeDDC.Type.Check
ErrorRunCannotInferDDC.Core.Check
ErrorRunNotSupportedDDC.Core.Check
ErrorRunNotSuspensionDDC.Core.Check
ErrorShadowedBindDDC.Core.Fragment
errorSort 
1 (Function)DDC.Type.Check
2 (Function)DDC.Core.Check
ErrorSumKindInvalidDDC.Type.Check
ErrorSumKindMismatchDDC.Type.Check
ErrorTypeDDC.Core.Check
errorType 
1 (Function)DDC.Type.Check
2 (Function)DDC.Core.Check
errorTypeAnnotDDC.Core.Check
errorTypeCtorDDC.Core.Check
errorTypeErrorDDC.Core.Check
errorTypeFieldDDC.Core.Check
errorTypeLeftDDC.Core.Check
errorTypePatternDDC.Core.Check
errorTypeRightDDC.Core.Check
errorTypeScrutineeDDC.Core.Check
errorTypeSumDDC.Type.Check
ErrorUnappliedKindFunDDC.Type.Check
ErrorUndefinedDDC.Type.Check
ErrorUndefinedCtorDDC.Core.Check
ErrorUndefinedPrimDDC.Core.Fragment
ErrorUndefinedTypeCtorDDC.Type.Check
ErrorUndefinedVar 
1 (Data Constructor)DDC.Core.Fragment
2 (Data Constructor)DDC.Core.Check
errorUniverse 
1 (Function)DDC.Type.Check
2 (Function)DDC.Core.Check
ErrorUniverseMalfunctionDDC.Type.Check
ErrorUnsupportedDDC.Core.Fragment
ErrorUnusedBindDDC.Core.Fragment
ErrorWAppMismatchDDC.Core.Check
ErrorWAppNotCtorDDC.Core.Check
ErrorWeakEffNotEffDDC.Core.Check
ErrorWithRegionFreeDDC.Core.Check
ErrorWithRegionNotRegionDDC.Core.Check
errorWitnessDDC.Core.Check
ErrorWitnessImplInvalidDDC.Type.Check
errorWitnessLeftDDC.Core.Check
ErrorWitnessNotEmptyDDC.Core.Check
ErrorWitnessNotPurityDDC.Core.Check
errorWitnessRightDDC.Core.Check
errrorAnnotDDC.Core.Check
Exp 
1 (Type/Class)DDC.Core.Exp.Simple
2 (Type/Class)DDC.Core.Exp.Annot, DDC.Core.Exp
expOfParamsDDC.Core.Parser
ExportSourceDDC.Core.Module
ExportSourceLocalDDC.Core.Module
exportSourceLocalNameDDC.Core.Module
ExportSourceLocalNoTypeDDC.Core.Module
exportSourceLocalTypeDDC.Core.Module
extendDDC.Type.Env
extendsDDC.Type.Env