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

Index - E

EffectDDC.Type.Exp, DDC.Core.Exp
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
equivWithBindsTDDC.Type.Equiv
eraseTForallsDDC.Type.Compounds, DDC.Core.Compounds
Error 
1 (Type/Class)DDC.Type.Check
2 (Type/Class)DDC.Core.Check
3 (Type/Class)DDC.Core.Fragment
4 (Type/Class)DDC.Core.Load
errorAltType1DDC.Core.Check
errorAltType2DDC.Core.Check
ErrorAppArgMismatchDDC.Type.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
errorArgTypeKindDDC.Type.Check
errorBindDDC.Core.Check
errorBindsDDC.Core.Check
errorBindTypeDDC.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
errorDefTypeDDC.Core.Check
errorEffectDDC.Core.Check
errorExpDDC.Core.Check
ErrorExportMismatchDDC.Core.Check
errorExportTypeDDC.Core.Check
ErrorExportUndefinedDDC.Core.Check
ErrorForallKindInvalidDDC.Type.Check
errorFunTypeDDC.Type.Check
errorFunTypeKindDDC.Type.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
ErrorLamBindNotDataDDC.Core.Check
ErrorLamBodyNotDataDDC.Core.Check
ErrorLamNotPureDDC.Core.Check
ErrorLamShadowDDC.Core.Check
errorLeftKindDDC.Type.Check
errorLeftTypeDDC.Type.Check
ErrorLetBindingNotDataDDC.Core.Check
ErrorLetBodyNotDataDDC.Core.Check
ErrorLetLazyNotEmptyDDC.Core.Check
ErrorLetLazyNotPureDDC.Core.Check
ErrorLetLazyNoWitnessDDC.Core.Check
ErrorLetLazyWitnessTypeMismatchDDC.Core.Check
ErrorLetMismatchDDC.Core.Check
ErrorLetrecBindingNotLambdaDDC.Core.Check
ErrorLetrecReboundDDC.Core.Check
ErrorLetRegionFreeDDC.Core.Check
ErrorLetRegionsNotRegionDDC.Core.Check
ErrorLetRegionsReboundDDC.Core.Check
ErrorLetRegionsWitnessOtherDDC.Core.Check
ErrorLetRegionWitnessConflictDDC.Core.Check
ErrorLetRegionWitnessFreeDDC.Core.Check
ErrorLetRegionWitnessInvalidDDC.Core.Check
ErrorMalformedExpDDC.Core.Check
ErrorMalformedTypeDDC.Core.Check
ErrorNakedSortDDC.Type.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
errorNameDDC.Core.Check
errorNotFunTypeDDC.Core.Check
errorParamKindDDC.Type.Check
errorParamTypeDDC.Core.Check
ErrorParserDDC.Core.Load
errorPatternFieldsDDC.Core.Check
ErrorReadDDC.Core.Load
errorRightKindDDC.Type.Check
errorRightTypeDDC.Type.Check
ErrorShadowedBindDDC.Core.Fragment
errorSortDDC.Type.Check
errorSpecOrWitDDC.Core.Check
ErrorSumKindInvalidDDC.Type.Check
ErrorSumKindMismatchDDC.Type.Check
ErrorTypeDDC.Core.Check
errorTypeDDC.Core.Check
errorTypeAnnotDDC.Core.Check
errorTypeCtorDDC.Core.Check
errorTypeEnv 
1 (Function)DDC.Type.Check
2 (Function)DDC.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
ErrorUndefinedCtor 
1 (Data Constructor)DDC.Type.Check
2 (Data Constructor)DDC.Core.Check
ErrorUndefinedPrimDDC.Core.Fragment
ErrorUndefinedVar 
1 (Data Constructor)DDC.Core.Check
2 (Data Constructor)DDC.Core.Fragment
errorUniverseDDC.Core.Check
ErrorUnsupportedDDC.Core.Fragment
ErrorUnusedBindDDC.Core.Fragment
ErrorVarAnnotMismatch 
1 (Data Constructor)DDC.Type.Check
2 (Data Constructor)DDC.Core.Check
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
errorWitnessTypeExpectDDC.Core.Check
errorWitnessTypeHaveDDC.Core.Check
ExpDDC.Core.Exp
extendDDC.Type.Env
extendsDDC.Type.Env