Canned | |
1 (Type/Class) | DDC.Data.Canned |
2 (Data Constructor) | DDC.Data.Canned |
Cast | DDC.Core.Exp, DDC.Core.Exp.Annot |
CastBox | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
CastPurify | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
CastRun | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
CastWeakenEffect | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
cat | DDC.Data.Pretty, DDC.Core.Pretty |
chainl | DDC.Control.Parser |
chainl1 | DDC.Control.Parser |
chainr | DDC.Control.Parser |
chainr1 | DDC.Control.Parser |
char | |
1 (Function) | DDC.Data.Pretty, DDC.Core.Pretty |
2 (Function) | DDC.Control.Parser |
Check | DDC.Core.Check, DDC.Core.Load |
checkExp | DDC.Core.Check |
CheckM | |
1 (Type/Class) | DDC.Control.Check |
2 (Data Constructor) | DDC.Control.Check |
checkModule | DDC.Core.Check |
checkSpec | DDC.Core.Check |
CheckTrace | |
1 (Type/Class) | DDC.Core.Check, DDC.Core.Load |
2 (Data Constructor) | DDC.Core.Check, DDC.Core.Load |
checkTraceDoc | DDC.Core.Check, DDC.Core.Load |
checkType | DDC.Core.Check |
checkTypeM | DDC.Core.Check |
checkWitness | DDC.Core.Check |
choice | DDC.Control.Parser |
Closure | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
collectBinds | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
collectBound | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
colon | DDC.Data.Pretty, DDC.Core.Pretty |
Column | DDC.Control.Parser |
column | DDC.Data.Pretty, DDC.Core.Pretty |
columnOfLocated | DDC.Data.SourcePos, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
comma | DDC.Data.Pretty, DDC.Core.Pretty |
Complies | DDC.Core.Fragment |
complies | DDC.Core.Fragment |
compliesWithEnvs | DDC.Core.Fragment |
CompoundName | DDC.Data.Name |
Config | |
1 (Type/Class) | DDC.Core.Check |
2 (Data Constructor) | DDC.Core.Check |
configEffectCapabilities | DDC.Core.Check |
configFunctionalClosures | DDC.Core.Check |
configFunctionalEffects | DDC.Core.Check |
configGeneralLetRec | DDC.Core.Check |
configImplicitBox | DDC.Core.Check |
configImplicitRun | DDC.Core.Check |
configNameIsHole | DDC.Core.Check |
configOfProfile | DDC.Core.Check |
configPrimDataDefs | DDC.Core.Check |
configPrimKinds | DDC.Core.Check |
configPrimTypes | DDC.Core.Check |
configTrackedClosures | DDC.Core.Check |
configTrackedEffects | DDC.Core.Check |
Cons | DDC.Core.Call |
ConsBox | DDC.Core.Call |
ConsType | DDC.Core.Call |
Consumed | |
1 (Data Constructor) | DDC.Control.Parser |
2 (Type/Class) | DDC.Control.Parser |
ConsValue | DDC.Core.Call |
Context | |
1 (Type/Class) | DDC.Core.Exp.Annot.Context |
2 (Data Constructor) | DDC.Core.Exp.Annot.Context |
3 (Type/Class) | DDC.Core.Parser |
4 (Data Constructor) | DDC.Core.Parser |
contextCtx | DDC.Core.Exp.Annot.Context |
contextEnv | DDC.Core.Exp.Annot.Context |
contextFunctionalClosures | DDC.Core.Parser |
contextFunctionalEffects | DDC.Core.Parser |
contextMakeLiteralName | DDC.Core.Parser |
contextOfProfile | DDC.Core.Parser |
contextTrackedClosures | DDC.Core.Parser |
contextTrackedEffects | DDC.Core.Parser |
count | DDC.Control.Parser |
crlf | DDC.Control.Parser |
crushEffect | DDC.Type.Exp.Simple.Equiv, DDC.Type.Exp.Simple |
crushHeadT | DDC.Type.Exp.Simple.Equiv |
crushSomeT | DDC.Type.Exp.Simple.Equiv, DDC.Type.Exp.Simple |
Ctx | DDC.Core.Exp.Annot.Ctx |
CtxAppLeft | DDC.Core.Exp.Annot.Ctx |
CtxAppRight | DDC.Core.Exp.Annot.Ctx |
CtxCaseAlt | DDC.Core.Exp.Annot.Ctx |
CtxCaseScrut | DDC.Core.Exp.Annot.Ctx |
CtxCastBody | DDC.Core.Exp.Annot.Ctx |
ctxEnvX | DDC.Core.Exp.Annot.Ctx |
CtxLAM | DDC.Core.Exp.Annot.Ctx |
CtxLam | DDC.Core.Exp.Annot.Ctx |
CtxLetBody | DDC.Core.Exp.Annot.Ctx |
CtxLetLLet | DDC.Core.Exp.Annot.Ctx |
CtxLetLRec | DDC.Core.Exp.Annot.Ctx |
CtxTop | DDC.Core.Exp.Annot.Ctx |