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

Index

$:DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
<$$>DDC.Core.Pretty
<$>DDC.Core.Pretty
<+>DDC.Core.Pretty
<//>DDC.Core.Pretty
</>DDC.Core.Pretty
<>DDC.Core.Pretty
AAlt 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
alignDDC.Core.Pretty
Alt 
1 (Type/Class)DDC.Core.Exp.Simple
2 (Type/Class)DDC.Core.Exp.Annot, DDC.Core.Exp
anglesDDC.Core.Pretty
AnnotateDDC.Core.Transform.Annotate
annotateDDC.Core.Transform.Annotate
annotClosureDDC.Core.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load
annotEffectDDC.Core.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load
annotOfExpDDC.Core.Compounds.Annot, DDC.Core.Compounds
annotOfWitnessDDC.Core.Compounds.Annot, DDC.Core.Compounds
annotTail 
1 (Function)DDC.Core.Annot.AnT
2 (Function)DDC.Core.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load
annotType 
1 (Function)DDC.Core.Annot.AnT
2 (Function)DDC.Core.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load
AnT 
1 (Type/Class)DDC.Core.Annot.AnT
2 (Data Constructor)DDC.Core.Annot.AnT
AnTEC 
1 (Type/Class)DDC.Core.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load
2 (Data Constructor)DDC.Core.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load
arityOfTypeDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
backslashDDC.Core.Pretty
BAnonDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
BindDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
bind0DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
bind0sDDC.Type.Transform.Rename, DDC.Core.Transform.Rename
bind1DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
bind1sDDC.Type.Transform.Rename, DDC.Core.Transform.Rename
BindCasePatDDC.Type.Collect
BindConDDC.Type.Collect
BindDefDDC.Type.Collect
bindDefTDDC.Type.Collect
BinderDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
binderOfBindDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
BindForallDDC.Type.Collect
BindLAMDDC.Type.Collect
BindLamDDC.Type.Collect
BindLetDDC.Type.Collect
BindLetRecDDC.Type.Collect
BindLetRegionsDDC.Type.Collect
BindLetRegionWithDDC.Type.Collect
bindsOfLets 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
bindsOfPat 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
BindStack 
1 (Type/Class)DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT
2 (Data Constructor)DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT
BindStructDDC.Type.Collect
BindTreeDDC.Type.Collect
BindUseDDC.Type.Collect
BindWayDDC.Type.Collect
BNameDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
BNoneDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
boolDDC.Core.Pretty
BoundDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
BoundExpDDC.Type.Collect
BoundLevelDDC.Type.Collect
boundLevelOfBindWayDDC.Type.Collect
boundMatchesBindDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
BoundSpecDDC.Type.Collect
BoundWitDDC.Type.Collect
bracesDDC.Core.Pretty
bracketsDDC.Core.Pretty
Cast 
1 (Type/Class)DDC.Core.Exp.Simple
2 (Type/Class)DDC.Core.Exp.Annot, DDC.Core.Exp
CastBox 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
CastForget 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
CastPurify 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
CastRun 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
CastWeakenClosure 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
CastWeakenEffect 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
catDDC.Core.Pretty
charDDC.Core.Pretty
CheckDDC.Core.Check, DDC.Core.Load
checkExpDDC.Core.Check
checkModuleDDC.Core.Check
checkSpecDDC.Type.Check
CheckTrace 
1 (Type/Class)DDC.Core.Check, DDC.Core.Load
2 (Data Constructor)DDC.Core.Check, DDC.Core.Load
checkTraceDocDDC.Core.Check, DDC.Core.Load
checkTypeDDC.Type.Check
checkTypeMDDC.Type.Check
checkWitnessDDC.Core.Check
ClosureDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
collectBindsDDC.Type.Collect, DDC.Core.Collect
collectBoundDDC.Type.Collect, DDC.Core.Collect
colonDDC.Core.Pretty
columnDDC.Core.Pretty
commaDDC.Core.Pretty
CompliesDDC.Core.Fragment
compliesDDC.Core.Fragment
compliesWithEnvsDDC.Core.Fragment
Config 
1 (Type/Class)DDC.Type.Check, DDC.Core.Check
2 (Data Constructor)DDC.Type.Check, DDC.Core.Check
configDataDefsDDC.Type.Check, DDC.Core.Check
configEffectCapabilitiesDDC.Type.Check, DDC.Core.Check
configFunctionalClosuresDDC.Type.Check, DDC.Core.Check
configFunctionalEffectsDDC.Type.Check, DDC.Core.Check
configNameIsHoleDDC.Type.Check, DDC.Core.Check
configOfProfileDDC.Type.Check, DDC.Core.Check
configPrimKindsDDC.Type.Check, DDC.Core.Check
configPrimTypesDDC.Type.Check, DDC.Core.Check
configTrackedClosuresDDC.Type.Check, DDC.Core.Check
configTrackedEffectsDDC.Type.Check, DDC.Core.Check
Context 
1 (Type/Class)DDC.Core.Parser
2 (Data Constructor)DDC.Core.Parser
contextFunctionalClosuresDDC.Core.Parser
contextFunctionalEffectsDDC.Core.Parser
contextOfProfileDDC.Core.Parser
contextTrackedClosuresDDC.Core.Parser
contextTrackedEffectsDDC.Core.Parser
crushEffectDDC.Type.Transform.Crush
crushSomeTDDC.Type.Transform.Crush
DaConDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
DaConBoundDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
daConNameDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
DaConPrimDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
daConTypeDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
DaConUnitDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
DataCtor 
1 (Type/Class)DDC.Type.DataDef
2 (Data Constructor)DDC.Type.DataDef
dataCtorFieldTypesDDC.Type.DataDef
dataCtorNameDDC.Type.DataDef
dataCtorNamesOfDataDefDDC.Type.DataDef
dataCtorResultTypeDDC.Type.DataDef
dataCtorTagDDC.Type.DataDef
dataCtorTypeNameDDC.Type.DataDef
dataCtorTypeParamsDDC.Type.DataDef
DataDef 
1 (Type/Class)DDC.Type.DataDef
2 (Data Constructor)DDC.Type.DataDef
dataDefCtorsDDC.Type.DataDef
dataDefIsAlgebraicDDC.Type.DataDef
dataDefParamsDDC.Type.DataDef
DataDefs 
1 (Type/Class)DDC.Type.DataDef
2 (Data Constructor)DDC.Type.DataDef
dataDefsCtorsDDC.Type.DataDef
dataDefsTypesDDC.Type.DataDef
dataDefTypeNameDDC.Type.DataDef
DataModeDDC.Type.DataDef
DataModeLargeDDC.Type.DataDef
DataModeSmallDDC.Type.DataDef
DataType 
1 (Type/Class)DDC.Type.DataDef
2 (Data Constructor)DDC.Type.DataDef
dataTypeIsAlgebraicDDC.Type.DataDef
dataTypeModeDDC.Type.DataDef
dataTypeNameDDC.Type.DataDef
dataTypeOfDataDefDDC.Type.DataDef
dataTypeParamsDDC.Type.DataDef
dcUnitDDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
DeannotateDDC.Core.Transform.Deannotate
deannotateDDC.Core.Transform.Deannotate
DebruijnBindersDDC.Core.Fragment
deleteDDC.Type.Sum
depthDDC.Type.Env
describeTokDDC.Core.Lexer.Tokens, DDC.Core.Lexer
describeTokAtomDDC.Core.Lexer.Tokens, DDC.Core.Lexer
describeTokMetaDDC.Core.Lexer.Tokens, DDC.Core.Lexer
describeTokNamedDDC.Core.Lexer.Tokens, DDC.Core.Lexer
differenceDDC.Type.Sum
displayIODDC.Core.Pretty
displaySDDC.Core.Pretty
DocDDC.Core.Pretty
dotDDC.Core.Pretty
doubleDDC.Core.Pretty
dquoteDDC.Core.Pretty
dquotesDDC.Core.Pretty
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
FeatureDDC.Core.Fragment
Features 
1 (Type/Class)DDC.Core.Fragment
2 (Data Constructor)DDC.Core.Fragment
featuresDebruijnBindersDDC.Core.Fragment
featuresEffectCapabilitiesDDC.Core.Fragment
featuresFunctionalClosuresDDC.Core.Fragment
featuresFunctionalEffectsDDC.Core.Fragment
featuresGeneralApplicationDDC.Core.Fragment
featuresNameShadowingDDC.Core.Fragment
featuresNestedFunctionsDDC.Core.Fragment
featuresPartialApplicationDDC.Core.Fragment
featuresPartialPrimsDDC.Core.Fragment
featuresTrackedClosuresDDC.Core.Fragment
featuresTrackedEffectsDDC.Core.Fragment
featuresUnboundLevel0VarsDDC.Core.Fragment
featuresUnboxedInstantiationDDC.Core.Fragment
featuresUnusedBindingsDDC.Core.Fragment
featuresUnusedMatchesDDC.Core.Fragment
fillDDC.Core.Pretty
fillBreakDDC.Core.Pretty
fillCatDDC.Core.Pretty
fillSepDDC.Core.Pretty
floatDDC.Core.Pretty
Fragment 
1 (Type/Class)DDC.Core.Fragment
2 (Data Constructor)DDC.Core.Fragment
fragmentCheckExpDDC.Core.Fragment
fragmentCheckModuleDDC.Core.Fragment
fragmentExtensionDDC.Core.Fragment
fragmentLexExpDDC.Core.Fragment
fragmentLexModuleDDC.Core.Fragment
fragmentProfileDDC.Core.Fragment
fragmentReadNameDDC.Core.Fragment
freeTDDC.Type.Collect, DDC.Core.Collect
FreeVarConTDDC.Type.Collect
freeVarConTDDC.Type.Collect
freeVarsTDDC.Type.Collect
freeXDDC.Core.Collect
fromAnTDDC.Core.Annot.AnTEC
fromList 
1 (Function)DDC.Type.Sum
2 (Function)DDC.Type.Env
fromListDataDefsDDC.Type.DataDef
fromTypeMapDDC.Type.Env
FunctionalClosuresDDC.Core.Fragment
FunctionalEffectsDDC.Core.Fragment
funTypeOfParamsDDC.Core.Parser
GeneralApplicationDDC.Core.Fragment
getBindTypeDDC.Type.Bind
groupDDC.Core.Pretty
hangDDC.Core.Pretty
hashTyConDDC.Type.Sum
hashTyConRangeDDC.Type.Sum
hcatDDC.Core.Pretty
hPutDocDDC.Core.Pretty
hsepDDC.Core.Pretty
ImportSourceDDC.Core.Module
ImportSourceAbstractDDC.Core.Module
importSourceAbstractTypeDDC.Core.Module
ImportSourceModuleDDC.Core.Module
importSourceModuleNameDDC.Core.Module
importSourceModuleTypeDDC.Core.Module
importSourceModuleVarDDC.Core.Module
ImportSourceSeaDDC.Core.Module
importSourceSeaTypeDDC.Core.Module
importSourceSeaVarDDC.Core.Module
indentDDC.Core.Pretty
insertDDC.Type.Sum
insertDataDefDDC.Type.DataDef
instantiateTDDC.Type.Transform.Instantiate
instantiateTsDDC.Type.Transform.Instantiate
intDDC.Core.Pretty
integerDDC.Core.Pretty
isAlgDataTypeDDC.Type.Predicates, DDC.Core.Predicates
isAllocEffectDDC.Type.Predicates, DDC.Core.Predicates
isAtomTDDC.Type.Predicates, DDC.Core.Predicates
isAtomWDDC.Core.Predicates
isAtomXDDC.Core.Predicates
isBAnonDDC.Type.Predicates, DDC.Core.Predicates
isBNameDDC.Type.Predicates, DDC.Core.Predicates
isBNoneDDC.Type.Predicates, DDC.Core.Predicates
isBotDDC.Type.Predicates, DDC.Core.Predicates
isBoundExpWitDDC.Type.Collect
isClosureKindDDC.Type.Predicates, DDC.Core.Predicates
isConBodyDDC.Core.Lexer.Names, DDC.Core.Lexer
isConNameDDC.Core.Lexer.Names, DDC.Core.Lexer
isConStartDDC.Core.Lexer.Names, DDC.Core.Lexer
isConstWitTypeDDC.Type.Predicates, DDC.Core.Predicates
isDataKindDDC.Type.Predicates, DDC.Core.Predicates
isDistinctWitTypeDDC.Type.Predicates, DDC.Core.Predicates
isEffectKindDDC.Type.Predicates, DDC.Core.Predicates
isLambdaXDDC.Core.Predicates
isLitBodyDDC.Core.Lexer.Names, DDC.Core.Lexer
isLitNameDDC.Core.Lexer.Names, DDC.Core.Lexer
isLitStartDDC.Core.Lexer.Names, DDC.Core.Lexer
isMainModuleDDC.Core.Module
isMainModuleNameDDC.Core.Module
isMutableWitTypeDDC.Type.Predicates, DDC.Core.Predicates
isOpBodyDDC.Core.Lexer.Names, DDC.Core.Lexer
isOpNameDDC.Core.Lexer.Names, DDC.Core.Lexer
isOpStartDDC.Core.Lexer.Names, DDC.Core.Lexer
isPDefaultDDC.Core.Predicates
isPrimDDC.Type.Env
isReadEffectDDC.Type.Predicates, DDC.Core.Predicates
isRegionKindDDC.Type.Predicates, DDC.Core.Predicates
isSomeAllocEffectDDC.Type.Predicates, DDC.Core.Predicates
isSomeReadEffectDDC.Type.Predicates, DDC.Core.Predicates
isSomeWriteEffectDDC.Type.Predicates, DDC.Core.Predicates
isTExistsDDC.Type.Predicates, DDC.Core.Predicates
isTVarDDC.Type.Predicates, DDC.Core.Predicates
isVarBodyDDC.Core.Lexer.Names, DDC.Core.Lexer
isVarNameDDC.Core.Lexer.Names, DDC.Core.Lexer
isVarStartDDC.Core.Lexer.Names, DDC.Core.Lexer
isWitnessKindDDC.Type.Predicates, DDC.Core.Predicates
isWitnessTypeDDC.Type.Predicates, DDC.Core.Predicates
isWriteEffectDDC.Type.Predicates, DDC.Core.Predicates
isXAppDDC.Core.Predicates
isXConDDC.Core.Predicates
isXLAMDDC.Core.Predicates
isXLamDDC.Core.Predicates
isXLetDDC.Core.Predicates
isXTypeDDC.Core.Predicates
isXVarDDC.Core.Predicates
isXWitnessDDC.Core.Predicates
KADDC.Core.Lexer.Tokens, DDC.Core.Lexer
KArrowDashDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KArrowDashLeftDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KArrowEqualsDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KArrowTildeDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KBackSlashDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KBigLambdaDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KBotClosureDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KBotEffectDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KBoxDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KBraceBraDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KBraceColonBraDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KBraceColonKetDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KBraceKetDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KCaseDDC.Core.Lexer.Tokens, DDC.Core.Lexer
kClosureDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
KCommaDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KCommentBlockEndDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KCommentBlockStartDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KCommentLineStartDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KCommentUnterminatedDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KConDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KDaConUnitDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KDataDDC.Core.Lexer.Tokens, DDC.Core.Lexer
kDataDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
KDoDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KDotDDC.Core.Lexer.Tokens, DDC.Core.Lexer
kEffectDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
KElseDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KExportDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KExtendDDC.Core.Lexer.Tokens, DDC.Core.Lexer
keywordsDDC.Core.Lexer.Names, DDC.Core.Lexer
KForeignDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KForgetDDC.Core.Lexer.Tokens, DDC.Core.Lexer
kFunDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
kFunsDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
KHatDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KiConDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
KiConClosureDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
KiConDataDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
KiConEffectDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
KiConFunDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
KiConRegionDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
KiConWitnessDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
KImportDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KInDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KindDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
KindEnvDDC.Type.Env
KIndexDDC.Core.Lexer.Tokens, DDC.Core.Lexer
kindOfDataDefDDC.Type.DataDef
kindOfDataTypeDDC.Type.DataDef
kindOfSpecDDC.Type.Check
kindOfSumDDC.Type.Sum
kindOfTcConDDC.Type.Check
kindOfTwConDDC.Type.Check
KJunkDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KKiConBuiltinDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KLetDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KLetCaseDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KLetRecDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KLitDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KMDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KMatchDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KModuleDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KNDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KNewLineDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KOfDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KOffsideClosingBraceDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KOpDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KOpVarDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KPrivateDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KPurifyDDC.Core.Lexer.Tokens, DDC.Core.Lexer
kRegionDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
KRoundBraDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KRoundKetDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KRunDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KSemiColonDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KSoConBuiltinDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KSquareBraDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KSquareColonBraDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KSquareColonKetDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KSquareKetDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KTcConBuiltinDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KTwConBuiltinDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KTypeDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KUnderscoreDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KUsingDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KValueDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KVarDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KWbConBuiltinDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KWeakCloDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KWeakEffDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KWhereDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KWithDDC.Core.Lexer.Tokens, DDC.Core.Lexer
KWithRegionDDC.Core.Lexer.Tokens, DDC.Core.Lexer
kWitnessDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
langleDDC.Core.Pretty
lbraceDDC.Core.Pretty
lbracketDDC.Core.Pretty
Lets 
1 (Type/Class)DDC.Core.Exp.Simple
2 (Type/Class)DDC.Core.Exp.Annot, DDC.Core.Exp
lexExpDDC.Core.Lexer
lexModuleWithOffsideDDC.Core.Lexer
liftDDC.Type.Env
liftAtDepthTDDC.Type.Transform.LiftT, DDC.Core.Transform.LiftT
liftAtDepthXDDC.Core.Transform.LiftX
liftTDDC.Type.Transform.LiftT, DDC.Core.Transform.LiftT
liftXDDC.Core.Transform.LiftX
lineDDC.Core.Pretty
linebreakDDC.Core.Pretty
listDDC.Core.Pretty
LLet 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
loadExpFromStringDDC.Core.Load
loadExpFromTokensDDC.Core.Load
loadModuleFromFileDDC.Core.Load
loadModuleFromStringDDC.Core.Load
loadModuleFromTokensDDC.Core.Load
loadTypeFromStringDDC.Core.Load
loadTypeFromTokensDDC.Core.Load
loadWitnessFromStringDDC.Core.Load
loadWitnessFromTokensDDC.Core.Load
lookupDDC.Type.Env
lookupModeOfDataTypeDDC.Type.DataDef
lookupNameDDC.Type.Env
lowerAtDepthTDDC.Type.Transform.LiftT
lowerAtDepthXDDC.Core.Transform.LiftX
lowerTDDC.Type.Transform.LiftT
lowerXDDC.Core.Transform.LiftX
lparenDDC.Core.Pretty
LPrivate 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
LRec 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
LWithRegion 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
makeBindFromBinderDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
makeDataDefAbsDDC.Type.DataDef
makeDataDefAlgDDC.Type.DataDef
makeXAppsWithAnnotsDDC.Core.Compounds.Annot, DDC.Core.Compounds
makeXLamFlags 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
mapBoundAtDepthTDDC.Type.Transform.LiftT, DDC.Core.Transform.LiftT
mapBoundAtDepthXDDC.Core.Transform.LiftX
MapBoundTDDC.Type.Transform.LiftT, DDC.Core.Transform.LiftT
MapBoundXDDC.Core.Transform.LiftX
mapTDDC.Core.Transform.MapT
mapTypeOfExportSourceDDC.Core.Module
mapTypeOfImportSourceDDC.Core.Module
memberDDC.Type.Env
memberBindDDC.Type.Env
ModeDDC.Core.Check, DDC.Core.Load
modeAltExpDDC.Core.Pretty
modeExpAltDDC.Core.Pretty
modeExpConTypesDDC.Core.Pretty
modeExpLetsDDC.Core.Pretty
modeExpUseLetCaseDDC.Core.Pretty
modeExpVarTypesDDC.Core.Pretty
modeLetsExpDDC.Core.Pretty
modeLetsSuppressTypesDDC.Core.Pretty
modeModuleLetsDDC.Core.Pretty
modeModuleSuppressExportsDDC.Core.Pretty
modeModuleSuppressImportsDDC.Core.Pretty
ModuleDDC.Core.Module
moduleBodyDDC.Core.Module
ModuleCoreDDC.Core.Module
moduleDataDefsLocalDDC.Core.Module
moduleExportTypesDDC.Core.Module
moduleExportValuesDDC.Core.Module
moduleImportTypesDDC.Core.Module
moduleImportValuesDDC.Core.Module
moduleKindEnvDDC.Core.Module
ModuleMapDDC.Core.Module
ModuleName 
1 (Type/Class)DDC.Core.Module
2 (Data Constructor)DDC.Core.Module
moduleNameDDC.Core.Module
modulesExportTypesDDC.Core.Module
modulesExportValuesDDC.Core.Module
moduleTopBindsDDC.Core.Module
moduleTopBindTypesDDC.Core.Module
moduleTypeEnvDDC.Core.Module
namedBoundMatchesBindDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
NameShadowingDDC.Core.Fragment
nestDDC.Core.Pretty
NestedFunctionsDDC.Core.Fragment
nestingDDC.Core.Pretty
ParamSpecDDC.Core.Parser
ParamTypeDDC.Core.Parser
ParamValueDDC.Core.Parser
ParamWitnessDDC.Core.Parser
parensDDC.Core.Pretty
ParserDDC.Core.Parser
PartialApplicationDDC.Core.Fragment
PartialPrimsDDC.Core.Fragment
partitionBindsByTypeDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
PatDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
patOfAltDDC.Core.Compounds.Annot, DDC.Core.Compounds
pBinderDDC.Core.Parser
pBindParamSpecDDC.Core.Parser
pBindParamSpecAnnotDDC.Core.Parser
pConDDC.Core.Parser
pConSPDDC.Core.Parser
PDataDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
PDefaultDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
pExpDDC.Core.Parser
pExpAppDDC.Core.Parser
pExpAtomDDC.Core.Parser
pIndexDDC.Core.Parser
pIndexSPDDC.Core.Parser
pLitDDC.Core.Parser
pLitSPDDC.Core.Parser
pModuleDDC.Core.Parser
pModuleNameDDC.Core.Parser
pNameDDC.Core.Parser
pOpSPDDC.Core.Parser
pOpVarSPDDC.Core.Parser
pprDDC.Core.Pretty
pprDefaultModeDDC.Core.Pretty
pprExportTypeDDC.Core.Pretty
pprExportValueDDC.Core.Pretty
pprImportTypeDDC.Core.Pretty
pprImportValueDDC.Core.Pretty
pprModePrecDDC.Core.Pretty
pprParenDDC.Core.Pretty
pprPrecDDC.Core.Pretty
PrettyDDC.Core.Pretty
PrettyModeDDC.Core.Pretty
PrettyModeAltDDC.Core.Pretty
PrettyModeExpDDC.Core.Pretty
PrettyModeLetsDDC.Core.Pretty
PrettyModeModuleDDC.Core.Pretty
Profile 
1 (Type/Class)DDC.Core.Fragment
2 (Data Constructor)DDC.Core.Fragment
profileFeaturesDDC.Core.Fragment
profileNameDDC.Core.Fragment
profileNameIsHoleDDC.Core.Fragment
profilePrimDataDefsDDC.Core.Fragment
profilePrimKindsDDC.Core.Fragment
profilePrimTypesDDC.Core.Fragment
profileTypeIsUnboxedDDC.Core.Fragment
pTokDDC.Core.Parser
pTokAsDDC.Core.Parser
pTokSPDDC.Core.Parser
pTypeDDC.Core.Parser
pTypeAppDDC.Core.Parser
pTypeAtomDDC.Core.Parser
punctuateDDC.Core.Pretty
pushBindDDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT
pushBindsDDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT
putDocDDC.Core.Pretty
putDocLnDDC.Core.Pretty
pVarDDC.Core.Parser
pVarSPDDC.Core.Parser
pWitnessDDC.Core.Parser
pWitnessAppDDC.Core.Parser
pWitnessAtomDDC.Core.Parser
QualName 
1 (Type/Class)DDC.Core.Module
2 (Data Constructor)DDC.Core.Module
rangleDDC.Core.Pretty
RAnonDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
rationalDDC.Core.Pretty
rbraceDDC.Core.Pretty
rbracketDDC.Core.Pretty
readConDDC.Core.Lexer.Names, DDC.Core.Lexer
readKiConBuiltinDDC.Core.Lexer.Names, DDC.Core.Lexer
readSoConBuiltinDDC.Core.Lexer.Names, DDC.Core.Lexer
readTcConBuiltinDDC.Core.Lexer.Names, DDC.Core.Lexer
readTwConBuiltinDDC.Core.Lexer.Names, DDC.Core.Lexer
readVarDDC.Core.Lexer.Names, DDC.Core.Lexer
readWbConBuiltinDDC.Core.Lexer.Names, DDC.Core.Lexer
ReannotateDDC.Core.Transform.Reannotate
reannotateDDC.Core.Transform.Reannotate
ReconDDC.Core.Check, DDC.Core.Load
RegionDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
RenameDDC.Type.Transform.Rename, DDC.Core.Transform.Rename
renameTokDDC.Core.Lexer.Tokens, DDC.Core.Lexer
renameWithDDC.Type.Transform.Rename, DDC.Core.Transform.Rename
renderDDC.Core.Pretty
renderCompactDDC.Core.Pretty
RenderIndentDDC.Core.Pretty
renderIndentDDC.Core.Pretty
RenderModeDDC.Core.Pretty
RenderPlainDDC.Core.Pretty
renderPlainDDC.Core.Pretty
replaceTypeOfBindDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
replaceTypeOfBoundDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
RNameDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
RNoneDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
rparenDDC.Core.Pretty
SCharDDC.Core.Pretty
sCompDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
semiDDC.Core.Pretty
semiBracesDDC.Core.Pretty
SEmptyDDC.Core.Pretty
sepDDC.Core.Pretty
setPrimFunDDC.Type.Env
SimpleDocDDC.Core.Pretty
singleton 
1 (Function)DDC.Type.Sum
2 (Function)DDC.Type.Env
SLineDDC.Core.Pretty
slurpBindTreeDDC.Type.Collect
SoConDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
SoConCompDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
SoConPropDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
softbreakDDC.Core.Pretty
softlineDDC.Core.Pretty
SortDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
sortOfKindDDC.Type.Check
spaceDDC.Core.Pretty
specBindsOfLets 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
splitXLets 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
SpreadTDDC.Type.Transform.SpreadT
spreadTDDC.Type.Transform.SpreadT
SpreadXDDC.Core.Transform.SpreadX
spreadXDDC.Core.Transform.SpreadX
sPropDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
squoteDDC.Core.Pretty
squotesDDC.Core.Pretty
stackAllDDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT
stackAnonsDDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT
stackBindsDDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT
stackNamedDDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT
STextDDC.Core.Pretty
stringDDC.Core.Pretty
Sub 
1 (Type/Class)DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
2 (Data Constructor)DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
subBoundDDC.Type.Transform.Rename, DDC.Core.Transform.Rename
subConflict0DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
subConflict1DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
subShadow0DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
subStack0DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
subStack1DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
substBoundDDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT
substituteBoundTDDC.Type.Transform.SubstituteT
substituteBoundTXDDC.Core.Transform.SubstituteTX
SubstituteTDDC.Type.Transform.SubstituteT
substituteTDDC.Type.Transform.SubstituteT
substituteTsDDC.Type.Transform.SubstituteT
SubstituteTXDDC.Core.Transform.SubstituteTX
substituteTXDDC.Core.Transform.SubstituteTX
substituteTXsDDC.Core.Transform.SubstituteTX
substituteWithTDDC.Type.Transform.SubstituteT
substituteWithTXDDC.Core.Transform.SubstituteTX
substituteWithWXDDC.Core.Transform.SubstituteWX
substituteWithXXDDC.Core.Transform.SubstituteXX
SubstituteWXDDC.Core.Transform.SubstituteWX
substituteWXDDC.Core.Transform.SubstituteWX
substituteWXsDDC.Core.Transform.SubstituteWX
substituteXArgDDC.Core.Transform.SubstituteXX
substituteXArgsDDC.Core.Transform.SubstituteXX
SubstituteXXDDC.Core.Transform.SubstituteXX
substituteXXDDC.Core.Transform.SubstituteXX
substituteXXsDDC.Core.Transform.SubstituteXX
subsumesTDDC.Type.Subsumes
SuperEnvDDC.Type.Env
Support 
1 (Type/Class)DDC.Core.Collect
2 (Data Constructor)DDC.Core.Collect
supportDDC.Core.Collect
supportDaVarDDC.Core.Collect
supportSpVarDDC.Core.Collect
supportSpVarXArgDDC.Core.Collect
supportTyConDDC.Core.Collect
supportTyConXArgDDC.Core.Collect
supportWiVarDDC.Core.Collect
SupportXDDC.Core.Collect
SynthDDC.Core.Check, DDC.Core.Load
takeCtorNameOfAlt 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeDataTyConAppsDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeKFunDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeKFunsDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeKFuns'DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeNameOfBindDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeNameOfBoundDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeNameOfDaConDDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takePrimeRegionDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takePrimTyConAppsDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takePrimWiConApps 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeResultKindDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeSortOfKiConDDC.Type.Check
takeSubstBoundOfBindDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeSubstBoundsOfBindsDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTAppsDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTExistsDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTForallsDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTFunDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTFunAllArgResultDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTFunArgResultDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTFunECDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTFunWitArgResultDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTyConAppsDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTypeOfBoundDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTypeOfDaConDDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeTypeOfExportSourceDDC.Core.Module
takeWAppsAsList 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXApps 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXApps1 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXAppsAsList 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXAppsWithAnnotsDDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXConApps 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXLamFlags 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXLAMs 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXLams 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXPrimApps 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXType 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
takeXWitness 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
tAllocDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
TAppDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
tAppDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tAppsDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tBotDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
TcConDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConAllocDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConDeepAllocDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConDeepReadDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConDeepUseDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConDeepWriteDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConFunDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConFunECDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConHeadReadDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConReadDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConSuspDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConUnitDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConUseDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TcConWriteDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TConDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
tConData0DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tConData1DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tConstDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDeepAllocDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDeepConstDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDeepGlobalDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDeepMutableDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDeepReadDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDeepUseDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDeepWriteDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tDistinctDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tEmptyDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
textDDC.Core.Pretty
TForallDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
tForallDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tForall'DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tForallsDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tForalls'DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tFunDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tFunECDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tFunOfListDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tFunOfListPEDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tFunPEDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tGlobalDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tHeadLazyDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tHeadReadDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tImplDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tIxDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tLazyDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tManifestDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tMutableDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
TokDDC.Core.Lexer.Tokens, DDC.Core.Lexer
TokAtomDDC.Core.Lexer.Tokens, DDC.Core.Lexer
TokMetaDDC.Core.Lexer.Tokens, DDC.Core.Lexer
TokNamedDDC.Core.Lexer.Tokens, DDC.Core.Lexer
toListDDC.Type.Sum
tPureDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
TrackedClosuresDDC.Core.Fragment
TrackedEffectsDDC.Core.Fragment
tReadDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
trimClosureDDC.Type.Transform.Trim
trimClosuresDDC.Core.Transform.Trim
trimXDDC.Core.Transform.Trim
TSumDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
tSumDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tSuspDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tUnitDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
tupledDDC.Core.Pretty
tUseDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
TVarDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConConstDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConDeepConstDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConDeepGlobalDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConDeepMutableDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConDisjointDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConDistinctDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConEmptyDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConGlobalDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConHeadLazyDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConImplDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConLazyDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConManifestDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConMutableDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TwConPureDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
tWriteDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
TyConDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TyConBoundDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TyConExistsDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TyConHash 
1 (Type/Class)DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
2 (Data Constructor)DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TyConKindDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TyConSortDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TyConSpecDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TyConWitnessDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TypeDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TypeEnvDDC.Type.Env
typeOfBindDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
typeOfDataCtorDDC.Type.DataDef
typeOfExpDDC.Core.Check
typeOfImportSourceDDC.Core.Module
typeOfWiConDDC.Core.Check
typeOfWitnessDDC.Core.Check
TypeSumDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TypeSumBotDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
typeSumBoundAnonDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
typeSumBoundNamedDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TypeSumConDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
typeSumElemsDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
typeSumKindDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TypeSumSetDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
typeSumSpillDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TypeSumVarDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
TypeSumVarConDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
UIxDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
UNameDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
UnboundLevel0VarsDDC.Core.Fragment
UnboxedInstantiationDDC.Core.Fragment
unhashTyConDDC.Type.Sum
union 
1 (Function)DDC.Type.Sum
2 (Function)DDC.Type.Env
unionDataDefsDDC.Type.DataDef
unions 
1 (Function)DDC.Type.Sum
2 (Function)DDC.Type.Env
UniverseDDC.Type.Universe
UniverseDataDDC.Type.Universe
universeFromType1DDC.Type.Universe
universeFromType2DDC.Type.Universe
universeFromType3DDC.Type.Universe
UniverseKindDDC.Type.Universe
universeOfTypeDDC.Type.Universe
UniverseSortDDC.Type.Universe
UniverseSpecDDC.Type.Universe
UniverseWitnessDDC.Type.Universe
UnusedBindingsDDC.Core.Fragment
UnusedMatchesDDC.Core.Fragment
UPrimDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
use0DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
use1DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
valwitBindsOfLets 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
vcatDDC.Core.Pretty
vsepDDC.Core.Pretty
WAnnotDDC.Core.Exp.Simple
WApp 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
wApp 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
wApps 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
WbConDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
WbConAllocDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
WbConEmptyDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
WbConPureDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
WbConReadDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
WbConUseDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
WCon 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
WiConDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
WiConBoundDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
WiConBuiltinDDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
widthDDC.Core.Pretty
Witness 
1 (Type/Class)DDC.Core.Exp.Simple
2 (Type/Class)DDC.Core.Exp.Annot, DDC.Core.Exp
WJoin 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
wrapTForallsDDC.Type.Env
WType 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
WVar 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
XAnnotDDC.Core.Exp.Simple
XApp 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
xApps 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
XCase 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
XCast 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
XCon 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
XLAM 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
XLam 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
xLAMs 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
xLams 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
XLet 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
xLets 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
xLetsAnnotDDC.Core.Compounds.Annot, DDC.Core.Compounds
XType 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
xUnit 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
XVar 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
XWitness 
1 (Data Constructor)DDC.Core.Exp.Simple
2 (Data Constructor)DDC.Core.Exp.Annot, DDC.Core.Exp
zeroFeaturesDDC.Core.Fragment
zeroProfileDDC.Core.Fragment