$: | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
<$$> | DDC.Data.Pretty, DDC.Core.Pretty |
<$> | DDC.Data.Pretty, DDC.Core.Pretty |
<+> | DDC.Data.Pretty, DDC.Core.Pretty |
<//> | DDC.Data.Pretty, DDC.Core.Pretty |
</> | DDC.Data.Pretty, DDC.Core.Pretty |
<> | DDC.Data.Pretty, DDC.Core.Pretty |
<?> | DDC.Control.Parser |
<|> | DDC.Control.Parser |
AAlt | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
addStarts | DDC.Core.Lexer.Offside |
ALAM | DDC.Core.Exp.Generic |
ALam | DDC.Core.Exp.Generic |
align | DDC.Data.Pretty, DDC.Core.Pretty |
alphaNum | DDC.Control.Parser |
Alt | DDC.Core.Exp, DDC.Core.Exp.Annot |
angles | DDC.Data.Pretty, DDC.Core.Pretty |
annotClosure | DDC.Core.Exp.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load |
annotEffect | DDC.Core.Exp.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load |
annotOfExp | DDC.Core.Exp.Annot |
annotOfWitness | DDC.Core.Exp.Annot |
annotTail | |
1 (Function) | DDC.Core.Exp.Annot.AnT |
2 (Function) | DDC.Core.Exp.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load |
annotType | |
1 (Function) | DDC.Core.Exp.Annot.AnT |
2 (Function) | DDC.Core.Exp.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load |
Anon | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
AnT | |
1 (Type/Class) | DDC.Core.Exp.Annot.AnT |
2 (Data Constructor) | DDC.Core.Exp.Annot.AnT |
AnTEC | |
1 (Type/Class) | DDC.Core.Exp.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load |
2 (Data Constructor) | DDC.Core.Exp.Annot.AnTEC, DDC.Core.Check, DDC.Core.Load |
anyChar | DDC.Control.Parser |
anyToken | DDC.Control.Parser |
applyElim | DDC.Core.Call |
applyOffside | DDC.Core.Lexer.Offside |
arityOfType | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
backslash | DDC.Data.Pretty, DDC.Core.Pretty |
BAnon | |
1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Data.Env |
BDaConUnit | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
BEmpty | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
between | DDC.Control.Parser |
Bind | |
1 (Type/Class) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Type/Class) | DDC.Data.Env |
bind0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
bind0s | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
bind1 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
bind1s | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
BindCasePat | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BindCon | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BindDef | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
bindDefT | DDC.Core.Collect.BindStruct |
bindDefX | DDC.Core.Collect.FreeX |
Binder | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
binderOfBind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
BindForall | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
Binding | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
BindLAM | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BindLam | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BindLet | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BindLetRec | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BindLetRegions | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BindLetRegionWith | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
bindsOfLets | DDC.Core.Exp.Annot |
bindsOfPat | DDC.Core.Exp.Annot |
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 |
BindStruct | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BindTAbs | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BindTree | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BindUse | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BindWay | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BKiCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
BName | |
1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Data.Env |
BNone | |
1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Data.Env |
bool | DDC.Data.Pretty, DDC.Core.Pretty |
Bound | |
1 (Type/Class) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Type/Class) | DDC.Data.Env |
BoundExp | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BoundLevel | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
boundLevelOfBindWay | DDC.Core.Collect.BindStruct |
boundMatchesBind | |
1 (Function) | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
2 (Function) | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
boundOfBind | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
BoundSpec | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BoundWit | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
BPure | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
braces | DDC.Data.Pretty, DDC.Core.Pretty |
brackets | DDC.Data.Pretty, DDC.Core.Pretty |
BSoCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
BTcCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
BTwCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
Builtin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
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 |
DaCon | DDC.Core.Exp, DDC.Core.Exp.Annot |
DaConBound | DDC.Core.Exp, DDC.Core.Exp.Annot |
daConName | DDC.Core.Exp, DDC.Core.Exp.Annot |
DaConPrim | DDC.Core.Exp, DDC.Core.Exp.Annot |
daConType | DDC.Core.Exp, DDC.Core.Exp.Annot |
DaConUnit | DDC.Core.Exp, DDC.Core.Exp.Annot |
dataArityOfType | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
DataCtor | |
1 (Type/Class) | DDC.Type.DataDef |
2 (Data Constructor) | DDC.Type.DataDef |
dataCtorFieldTypes | DDC.Type.DataDef |
dataCtorName | DDC.Type.DataDef |
dataCtorNamesOfDataDef | DDC.Type.DataDef |
dataCtorResultType | DDC.Type.DataDef |
dataCtorTag | DDC.Type.DataDef |
dataCtorTypeName | DDC.Type.DataDef |
dataCtorTypeParams | DDC.Type.DataDef |
DataDef | |
1 (Type/Class) | DDC.Type.DataDef |
2 (Data Constructor) | DDC.Type.DataDef |
dataDefCtors | DDC.Type.DataDef |
dataDefIsAlgebraic | DDC.Type.DataDef |
dataDefParams | DDC.Type.DataDef |
DataDefs | |
1 (Type/Class) | DDC.Type.DataDef |
2 (Data Constructor) | DDC.Type.DataDef |
dataDefsCtors | DDC.Type.DataDef |
dataDefsTypes | DDC.Type.DataDef |
dataDefTypeName | DDC.Type.DataDef |
DataMode | DDC.Type.DataDef |
DataModeLarge | DDC.Type.DataDef |
DataModeSmall | DDC.Type.DataDef |
DataType | |
1 (Type/Class) | DDC.Type.DataDef |
2 (Data Constructor) | DDC.Type.DataDef |
dataTypeIsAlgebraic | DDC.Type.DataDef |
dataTypeMode | DDC.Type.DataDef |
dataTypeName | DDC.Type.DataDef |
dataTypeOfDataDef | DDC.Type.DataDef |
dataTypeParams | DDC.Type.DataDef |
dcUnit | DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
DebruijnBinders | DDC.Core.Fragment |
delete | DDC.Type.Sum |
Demand | DDC.Core.Check |
DemandNone | DDC.Core.Check |
DemandRun | DDC.Core.Check |
depth | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Data.Env |
3 (Function) | DDC.Core.Env.EnvT |
4 (Function) | DDC.Core.Env.EnvX |
describeToken | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
describeTokenAtom | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
describeTokenMeta | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
describeTokenNamed | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
difference | DDC.Type.Sum |
digit | DDC.Control.Parser |
dischargeConsWithElims | DDC.Core.Call |
dischargeTypeWithElims | DDC.Core.Call |
displayIO | DDC.Data.Pretty, DDC.Core.Pretty |
displayS | DDC.Data.Pretty, DDC.Core.Pretty |
Doc | DDC.Data.Pretty, DDC.Core.Pretty |
dot | DDC.Data.Pretty, DDC.Core.Pretty |
double | DDC.Data.Pretty, DDC.Core.Pretty |
dquote | DDC.Data.Pretty, DDC.Core.Pretty |
dquotes | DDC.Data.Pretty, DDC.Core.Pretty |
EBox | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
ECapability | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
ECase | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EData | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EDo | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EElse | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EExport | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EExtend | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
Effect | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
EffectCapabilities | DDC.Core.Fragment |
EForeign | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EForget | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EIf | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EImport | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EIn | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
elem | DDC.Type.Sum |
ELet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
ELetCase | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
ELetRec | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
Elim | DDC.Core.Call |
elimForCons | DDC.Core.Call |
ElimRun | DDC.Core.Call |
ElimType | DDC.Core.Call |
ElimValue | DDC.Core.Call |
EMatch | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EModule | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
Empty | DDC.Control.Parser |
empty | |
1 (Function) | DDC.Type.Sum |
2 (Function) | DDC.Type.Env |
3 (Function) | DDC.Data.Pretty, DDC.Core.Pretty |
4 (Function) | DDC.Data.Env |
5 (Function) | DDC.Core.Env.EnvT |
6 (Function) | DDC.Core.Env.EnvX |
emptyDataDefs | DDC.Type.DataDef |
enclose | DDC.Data.Pretty, DDC.Core.Pretty |
encloseSep | DDC.Data.Pretty, DDC.Core.Pretty |
encodeCtx | DDC.Core.Exp.Annot.Ctx |
endBy | DDC.Control.Parser |
endBy1 | DDC.Control.Parser |
endOfLine | DDC.Control.Parser |
enterAppLeft | DDC.Core.Exp.Annot.Context |
enterAppRight | DDC.Core.Exp.Annot.Context |
enterCaseAlt | DDC.Core.Exp.Annot.Context |
enterCaseScrut | DDC.Core.Exp.Annot.Context |
enterCastBody | DDC.Core.Exp.Annot.Context |
enterLAM | DDC.Core.Exp.Annot.Context |
enterLam | DDC.Core.Exp.Annot.Context |
enterLetBody | DDC.Core.Exp.Annot.Context |
enterLetLLet | DDC.Core.Exp.Annot.Context |
enterLetLRec | DDC.Core.Exp.Annot.Context |
Env | |
1 (Type/Class) | DDC.Type.Env |
2 (Data Constructor) | DDC.Type.Env |
3 (Type/Class) | DDC.Data.Env |
4 (Data Constructor) | DDC.Data.Env |
envMap | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Data.Env |
envPrimFun | DDC.Type.Env |
envStack | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Data.Env |
envStackLength | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Data.Env |
EnvT | |
1 (Type/Class) | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
2 (Data Constructor) | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
envtCapabilities | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
envtEquations | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
envtMap | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
envtPrimFun | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
envtStack | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
envtStackLength | DDC.Core.Env.EnvT, DDC.Core.Env.EnvX |
EnvX | |
1 (Type/Class) | DDC.Core.Env.EnvX |
2 (Data Constructor) | DDC.Core.Env.EnvX |
envxDataDefs | DDC.Core.Env.EnvX |
envxEnvT | DDC.Core.Env.EnvX |
envxMap | DDC.Core.Env.EnvX |
envxPrimFun | DDC.Core.Env.EnvX |
envxStack | DDC.Core.Env.EnvX |
envxStackLength | DDC.Core.Env.EnvX |
EOf | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
eof | DDC.Control.Parser |
EOtherwise | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EPrivate | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EPurify | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
equals | DDC.Data.Pretty, DDC.Core.Pretty |
equivT | DDC.Type.Exp.Simple.Equiv, DDC.Type.Exp.Simple |
equivTyCon | DDC.Type.Exp.Simple.Equiv, DDC.Type.Exp.Simple |
equivWithBindsT | DDC.Type.Exp.Simple.Equiv, DDC.Type.Exp.Simple |
eraseTForalls | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
Error | |
1 (Type/Class) | DDC.Core.Check |
2 (Type/Class) | DDC.Core.Fragment |
3 (Data Constructor) | DDC.Control.Parser |
4 (Type/Class) | DDC.Core.Load |
errorAltType1 | DDC.Core.Check |
errorAltType2 | DDC.Core.Check |
errorAnnot | DDC.Core.Check |
ErrorAppCannotInferPolymorphic | DDC.Core.Check |
ErrorAppMismatch | DDC.Core.Check |
ErrorAppNotFun | DDC.Core.Check |
errorArgType | DDC.Core.Check |
errorBind | DDC.Core.Check |
errorBinds | DDC.Core.Check |
errorBindWitness | DDC.Core.Check |
errorBindWitness1 | DDC.Core.Check |
errorBindWitness2 | DDC.Core.Check |
errorBound | DDC.Core.Check |
errorBoundRegions | DDC.Core.Check |
ErrorCaseAltResultMismatch | DDC.Core.Check |
ErrorCaseCannotInstantiate | DDC.Core.Check |
ErrorCaseFieldTypeMismatch | DDC.Core.Check |
ErrorCaseNoAlternatives | DDC.Core.Check |
ErrorCaseNonExhaustive | DDC.Core.Check |
ErrorCaseNonExhaustiveLarge | DDC.Core.Check |
ErrorCaseOverlapping | DDC.Core.Check |
ErrorCaseScrutineeNotAlgebraic | DDC.Core.Check |
ErrorCaseScrutineeTypeMismatch | DDC.Core.Check |
ErrorCaseScrutineeTypeUndeclared | DDC.Core.Check |
ErrorCaseTooManyBinders | DDC.Core.Check |
ErrorCheckExp | DDC.Core.Load |
errorChecking | DDC.Core.Check |
ErrorCheckType | DDC.Core.Load |
ErrorCompliance | DDC.Core.Load |
errorCtorDaCon | DDC.Core.Check |
errorCtorFields | DDC.Core.Check |
errorCtorNamesMissing | DDC.Core.Check |
ErrorData | |
1 (Type/Class) | DDC.Core.Check |
2 (Data Constructor) | DDC.Core.Check |
errorData | DDC.Core.Check |
errorDataCtorName | DDC.Core.Check |
errorDataCtorResultActual | DDC.Core.Check |
errorDataCtorResultExpected | DDC.Core.Check |
ErrorDataDupCtorName | DDC.Core.Check |
ErrorDataDupTypeName | DDC.Core.Check |
errorDataDupTypeName | DDC.Core.Check |
ErrorDataWrongResult | DDC.Core.Check |
errorDefType | DDC.Core.Check |
errorEffect | DDC.Core.Check |
errorExp | DDC.Core.Check |
errorExpected | DDC.Core.Check |
ErrorExportDuplicate | DDC.Core.Check |
ErrorExportMismatch | DDC.Core.Check |
errorExportType | DDC.Core.Check |
ErrorExportUndefined | DDC.Core.Check |
ErrorFragment | DDC.Core.Load |
ErrorImportCapNotEffect | DDC.Core.Check |
ErrorImportDuplicate | DDC.Core.Check |
ErrorImportValueNotData | DDC.Core.Check |
errorInferred | DDC.Core.Check |
errorKind | DDC.Core.Check |
errorKinds | DDC.Core.Check |
ErrorLamBindBadKind | DDC.Core.Check |
ErrorLamBodyNotData | DDC.Core.Check |
ErrorLamNotPure | DDC.Core.Check |
ErrorLAMParamBadSort | DDC.Core.Check |
ErrorLAMParamUnannotated | DDC.Core.Check |
ErrorLamParamUnannotated | DDC.Core.Check |
ErrorLamShadow | DDC.Core.Check |
ErrorLetBindingNotData | DDC.Core.Check |
ErrorLetBodyNotData | DDC.Core.Check |
ErrorLetMismatch | DDC.Core.Check |
ErrorLetrecBindingNotLambda | DDC.Core.Check |
ErrorLetrecMissingAnnot | DDC.Core.Check |
ErrorLetrecRebound | DDC.Core.Check |
ErrorLetRegionFree | DDC.Core.Check |
ErrorLetRegionsNotRegion | DDC.Core.Check |
ErrorLetRegionsRebound | DDC.Core.Check |
ErrorLetRegionsWitnessOther | DDC.Core.Check |
ErrorLetRegionWitnessConflict | DDC.Core.Check |
ErrorLetRegionWitnessInvalid | DDC.Core.Check |
ErrorMismatch | DDC.Core.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 |
errorName | DDC.Core.Check |
errorNotFunType | DDC.Core.Check |
errorParamType | DDC.Core.Check |
ErrorParser | DDC.Core.Load |
errorPatternFields | DDC.Core.Check |
errorPos | DDC.Control.Parser |
ErrorRead | DDC.Core.Load |
ErrorRunCannotInfer | DDC.Core.Check |
ErrorRunNotSupported | DDC.Core.Check |
ErrorRunNotSuspension | DDC.Core.Check |
ErrorShadowedBind | DDC.Core.Fragment |
errorSort | DDC.Core.Check |
ErrorType | |
1 (Type/Class) | DDC.Core.Check |
2 (Data Constructor) | DDC.Core.Check |
errorType | DDC.Core.Check |
errorTypeAnnot | DDC.Core.Check |
ErrorTypeAppArgMismatch | DDC.Core.Check |
ErrorTypeAppNotFun | DDC.Core.Check |
errorTypeArgKind | DDC.Core.Check |
errorTypeArgType | DDC.Core.Check |
errorTypeBind | DDC.Core.Check |
errorTypeBody | DDC.Core.Check |
errorTypeBound | DDC.Core.Check |
errorTypeChecking | DDC.Core.Check |
errorTypeCheckingSum | DDC.Core.Check |
errorTypeCtor | DDC.Core.Check |
errorTypeError | DDC.Core.Check |
errorTypeExpected | DDC.Core.Check |
errorTypeField | DDC.Core.Check |
ErrorTypeForallKindInvalid | DDC.Core.Check |
errorTypeFunKind | DDC.Core.Check |
errorTypeFunType | DDC.Core.Check |
errorTypeFunTypeKind | DDC.Core.Check |
errorTypeInferred | DDC.Core.Check |
ErrorTypeInfinite | DDC.Core.Check |
errorTypeKind | DDC.Core.Check |
errorTypeKindExpected | DDC.Core.Check |
errorTypeKinds | DDC.Core.Check |
errorTypeLeftKind | DDC.Core.Check |
errorTypeLeftType | DDC.Core.Check |
ErrorTypeMismatch | DDC.Core.Check |
ErrorTypeNakedSort | DDC.Core.Check |
errorTypePattern | DDC.Core.Check |
errorTypeRightKind | DDC.Core.Check |
errorTypeRightType | DDC.Core.Check |
errorTypeScrutinee | DDC.Core.Check |
errorTypeSort | DDC.Core.Check |
ErrorTypeSumKindInvalid | DDC.Core.Check |
ErrorTypeSumKindMismatch | DDC.Core.Check |
errorTypeType | DDC.Core.Check |
errorTypeTypeSum | DDC.Core.Check |
ErrorTypeUnappliedKindFun | DDC.Core.Check |
ErrorTypeUndefined | DDC.Core.Check |
ErrorTypeUndefinedTypeCtor | DDC.Core.Check |
errorTypeUniverse | DDC.Core.Check |
ErrorTypeUniverseMalfunction | DDC.Core.Check |
errorTypeVar | DDC.Core.Check |
ErrorTypeWitnessImplInvalid | DDC.Core.Check |
ErrorUndefinedCtor | DDC.Core.Check |
ErrorUndefinedPrim | DDC.Core.Fragment |
ErrorUndefinedVar | |
1 (Data Constructor) | DDC.Core.Check |
2 (Data Constructor) | DDC.Core.Fragment |
errorUniverse | DDC.Core.Check |
ErrorUnsupported | DDC.Core.Fragment |
ErrorUnusedBind | DDC.Core.Fragment |
ErrorWAppMismatch | DDC.Core.Check |
ErrorWAppNotCtor | DDC.Core.Check |
ErrorWeakEffNotEff | DDC.Core.Check |
errorWitness | DDC.Core.Check |
ErrorWitnessNotPurity | DDC.Core.Check |
errrorAnnot | DDC.Core.Check |
ERun | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EThen | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EType | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EUsing | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
evalCheck | DDC.Control.Check |
EValue | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EWeakClo | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EWeakEff | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EWhere | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
EWith | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
Exp | DDC.Core.Exp, DDC.Core.Exp.Annot |
expOfParams | DDC.Core.Parser |
ExportSource | DDC.Core.Module |
ExportSourceLocal | DDC.Core.Module |
exportSourceLocalName | DDC.Core.Module |
ExportSourceLocalNoType | DDC.Core.Module |
exportSourceLocalType | DDC.Core.Module |
extend | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Data.Env |
3 (Function) | DDC.Core.Env.EnvT |
extendName | DDC.Data.Name |
extends | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Data.Env |
3 (Function) | DDC.Core.Env.EnvT |
extendsT | DDC.Core.Env.EnvX |
extendsX | DDC.Core.Env.EnvX |
extendT | DDC.Core.Env.EnvX |
extendX | DDC.Core.Env.EnvX |
Feature | DDC.Core.Fragment |
Features | |
1 (Type/Class) | DDC.Core.Fragment |
2 (Data Constructor) | DDC.Core.Fragment |
featuresDebruijnBinders | DDC.Core.Fragment |
featuresEffectCapabilities | DDC.Core.Fragment |
featuresFunctionalClosures | DDC.Core.Fragment |
featuresFunctionalEffects | DDC.Core.Fragment |
featuresGeneralApplication | DDC.Core.Fragment |
featuresGeneralLetRec | DDC.Core.Fragment |
featuresImplicitBox | DDC.Core.Fragment |
featuresImplicitRun | DDC.Core.Fragment |
featuresNameShadowing | DDC.Core.Fragment |
featuresNestedFunctions | DDC.Core.Fragment |
featuresPartialApplication | DDC.Core.Fragment |
featuresPartialPrims | DDC.Core.Fragment |
featuresTrackedClosures | DDC.Core.Fragment |
featuresTrackedEffects | DDC.Core.Fragment |
featuresUnboundLevel0Vars | DDC.Core.Fragment |
featuresUnboxedInstantiation | DDC.Core.Fragment |
featuresUnusedBindings | DDC.Core.Fragment |
featuresUnusedMatches | DDC.Core.Fragment |
fill | DDC.Data.Pretty, DDC.Core.Pretty |
fillBreak | DDC.Data.Pretty, DDC.Core.Pretty |
fillCat | DDC.Data.Pretty, DDC.Core.Pretty |
fillSep | DDC.Data.Pretty, DDC.Core.Pretty |
findDuplicates | DDC.Data.ListUtils |
Flat | |
1 (Type/Class) | DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
2 (Data Constructor) | DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
float | DDC.Data.Pretty, DDC.Core.Pretty |
Fragment | |
1 (Type/Class) | DDC.Core.Fragment |
2 (Data Constructor) | DDC.Core.Fragment |
fragmentCheckExp | DDC.Core.Fragment |
fragmentCheckModule | DDC.Core.Fragment |
fragmentExtension | DDC.Core.Fragment |
fragmentLexExp | DDC.Core.Fragment |
fragmentLexModule | DDC.Core.Fragment |
fragmentProfile | DDC.Core.Fragment |
fragmentReadName | DDC.Core.Fragment |
freeOfTreeT | DDC.Core.Collect.BindStruct |
freeT | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
FreeVarConT | DDC.Core.Collect.FreeT |
freeVarConT | DDC.Core.Collect.FreeT |
freeVarsT | DDC.Core.Collect.FreeT, DDC.Core.Collect |
freeX | DDC.Core.Collect.FreeX, DDC.Core.Collect |
fromAnT | DDC.Core.Exp.Annot.AnTEC |
fromList | |
1 (Function) | DDC.Type.Sum |
2 (Function) | DDC.Type.Env |
3 (Function) | DDC.Data.Env |
4 (Function) | DDC.Core.Env.EnvT |
5 (Function) | DDC.Core.Env.EnvX |
fromListDataDefs | DDC.Type.DataDef |
fromListNT | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Core.Env.EnvT |
3 (Function) | DDC.Core.Env.EnvX |
fromNameList | DDC.Data.Env |
fromNameMap | DDC.Data.Env |
fromPrimEnvs | DDC.Core.Env.EnvX |
fromTypeMap | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Core.Env.EnvT |
3 (Function) | DDC.Core.Env.EnvX |
FunctionalClosures | DDC.Core.Fragment |
FunctionalEffects | DDC.Core.Fragment |
funTypeOfParams | DDC.Core.Parser |
GAbs | DDC.Core.Exp.Generic |
GAlt | DDC.Core.Exp.Generic |
GAnnot | DDC.Core.Exp.Generic |
GArg | DDC.Core.Exp.Generic |
GBind | DDC.Core.Exp.Generic |
GBound | DDC.Core.Exp.Generic |
GCast | DDC.Core.Exp.Generic |
GeneralApplication | DDC.Core.Fragment |
GeneralLetRec | DDC.Core.Fragment |
get | DDC.Control.Check |
getBindType | DDC.Type.Bind |
getInput | DDC.Control.Parser |
getParserState | DDC.Control.Parser |
getPosition | DDC.Control.Parser |
getState | DDC.Control.Parser |
GExp | DDC.Core.Exp.Generic |
GLets | DDC.Core.Exp.Generic |
GPat | DDC.Core.Exp.Generic |
GPrim | DDC.Core.Exp.Generic |
group | DDC.Data.Pretty, DDC.Core.Pretty |
GTAnnot | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
GTBindCon | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
GTBindVar | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
GTBoundCon | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
GTBoundVar | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
GTPrim | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
GTyCon | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
GType | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
GWiCon | DDC.Core.Exp.Generic |
GWitness | DDC.Core.Exp.Generic |
hang | DDC.Data.Pretty, DDC.Core.Pretty |
hashTyCon | DDC.Type.Sum |
hashTyConRange | DDC.Type.Sum |
hcat | DDC.Data.Pretty, DDC.Core.Pretty |
hexDigit | DDC.Control.Parser |
hPutDoc | DDC.Data.Pretty, DDC.Core.Pretty |
hsep | DDC.Data.Pretty, DDC.Core.Pretty |
ImplicitBox | DDC.Core.Fragment |
ImplicitRun | DDC.Core.Fragment |
ImportCap | DDC.Core.Module |
ImportCapAbstract | DDC.Core.Module |
importCapAbstractType | DDC.Core.Module |
ImportType | DDC.Core.Module |
ImportTypeAbstract | DDC.Core.Module |
importTypeAbstractType | DDC.Core.Module |
ImportTypeBoxed | DDC.Core.Module |
importTypeBoxed | DDC.Core.Module |
ImportValue | DDC.Core.Module |
ImportValueModule | DDC.Core.Module |
importValueModuleArity | DDC.Core.Module |
importValueModuleName | DDC.Core.Module |
importValueModuleType | DDC.Core.Module |
importValueModuleVar | DDC.Core.Module |
ImportValueSea | DDC.Core.Module |
importValueSeaType | DDC.Core.Module |
importValueSeaVar | DDC.Core.Module |
incSourceColumn | DDC.Control.Parser |
incSourceLine | DDC.Control.Parser |
indent | DDC.Data.Pretty, DDC.Core.Pretty |
index | DDC.Data.ListUtils |
insert | DDC.Type.Sum |
insertDataDef | DDC.Type.DataDef |
instantiateT | DDC.Type.Transform.Instantiate |
instantiateTs | DDC.Type.Transform.Instantiate |
int | DDC.Data.Pretty, DDC.Core.Pretty |
integer | DDC.Data.Pretty, DDC.Core.Pretty |
isAlgDataType | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isAllocEffect | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isAtomR | DDC.Core.Exp.Generic |
isAtomT | |
1 (Function) | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
2 (Function) | DDC.Type.Exp.Generic.Predicates |
isAtomW | |
1 (Function) | DDC.Core.Exp.Annot |
2 (Function) | DDC.Core.Exp.Generic |
isAtomX | |
1 (Function) | DDC.Core.Exp.Annot |
2 (Function) | DDC.Core.Exp.Generic |
isBAnon | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isBName | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isBNone | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isBot | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isBoundExpWit | DDC.Core.Collect.BindStruct |
isClosureKind | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isConBody | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
isConName | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
isConsBox | DDC.Core.Call |
isConStart | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
isConstWitType | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isConsType | DDC.Core.Call |
isConsValue | DDC.Core.Call |
isDataKind | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isDistinctWitType | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isEffectKind | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isElimRun | DDC.Core.Call |
isElimType | DDC.Core.Call |
isElimValue | DDC.Core.Call |
isFunishTCon | DDC.Type.Exp.Simple.Predicates, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isLambdaX | DDC.Core.Exp.Annot |
isLitBody | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
isLitName | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
isLitStart | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
isMainModule | DDC.Core.Module |
isMainModuleName | DDC.Core.Module |
isMutableWitType | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isPDefault | |
1 (Function) | DDC.Core.Exp.Annot |
2 (Function) | DDC.Core.Exp.Generic |
isPrim | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Core.Env.EnvT |
3 (Function) | DDC.Core.Env.EnvX |
isReadEffect | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isRegionKind | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isSomeAllocEffect | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isSomeReadEffect | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isSomeWriteEffect | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isTExists | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isTopLetCtx | DDC.Core.Exp.Annot.Ctx |
isTVar | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isVarBody | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
isVarName | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
isVarStart | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
isWitnessKind | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isWitnessType | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isWriteEffect | DDC.Type.Exp.Simple.Predicates, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
isXAbs | DDC.Core.Exp.Generic |
isXApp | |
1 (Function) | DDC.Core.Exp.Annot |
2 (Function) | DDC.Core.Exp.Generic |
isXCast | DDC.Core.Exp.Annot |
isXCastBox | DDC.Core.Exp.Annot |
isXCastRun | DDC.Core.Exp.Annot |
isXCon | |
1 (Function) | DDC.Core.Exp.Annot |
2 (Function) | DDC.Core.Exp.Generic |
isXLAM | |
1 (Function) | DDC.Core.Exp.Annot |
2 (Function) | DDC.Core.Exp.Generic |
isXLam | |
1 (Function) | DDC.Core.Exp.Annot |
2 (Function) | DDC.Core.Exp.Generic |
isXLet | |
1 (Function) | DDC.Core.Exp.Annot |
2 (Function) | DDC.Core.Exp.Generic |
isXType | DDC.Core.Exp.Annot |
isXVar | |
1 (Function) | DDC.Core.Exp.Annot |
2 (Function) | DDC.Core.Exp.Generic |
isXWitness | DDC.Core.Exp.Annot |
KA | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KBuiltin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kClosure | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
KComment | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KCommentUnterminated | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kData | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
kEffect | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
KErrorJunk | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KErrorUnterm | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
Keyword | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kFun | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
kFuns | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
KiCon | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
KiConClosure | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
KiConData | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
KiConEffect | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
KiConFun | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
KiConRegion | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
KiConWitness | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
Kind | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
KindEnv | DDC.Type.Env |
kindEnvOfEnvT | DDC.Core.Env.EnvT |
kindEnvOfEnvX | DDC.Core.Env.EnvX |
KIndex | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kindOfDataDef | DDC.Type.DataDef |
kindOfDataType | DDC.Type.DataDef |
kindOfImportType | DDC.Core.Module |
kindOfSpec | DDC.Core.Check |
kindOfSum | DDC.Type.Sum |
kindOfTcCon | DDC.Core.Check |
kindOfTwCon | DDC.Core.Check |
KKeyword | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KLiteral | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KM | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KN | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KNewLine | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KOffsideClosingBrace | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KOp | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KOpVar | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KPragma | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kRegion | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
KSymbol | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
KVar | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
kWitness | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
label | DDC.Control.Parser |
labels | DDC.Control.Parser |
langle | DDC.Data.Pretty, DDC.Core.Pretty |
lbrace | DDC.Data.Pretty, DDC.Core.Pretty |
lbracket | DDC.Data.Pretty, DDC.Core.Pretty |
LChar | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
Lets | DDC.Core.Exp, DDC.Core.Exp.Annot |
letter | DDC.Control.Parser |
Lexeme | DDC.Core.Lexer.Offside |
LexemeStartBlock | DDC.Core.Lexer.Offside |
LexemeStartLine | DDC.Core.Lexer.Offside |
LexemeToken | DDC.Core.Lexer.Offside |
lexExp | DDC.Core.Lexer |
lexModuleWithOffside | DDC.Core.Lexer |
LFloat | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
lift | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Core.Env.EnvT |
3 (Function) | DDC.Core.Env.EnvX |
liftAtDepthT | DDC.Type.Transform.BoundT, DDC.Core.Transform.BoundT |
liftAtDepthX | DDC.Core.Transform.BoundX |
liftT | DDC.Type.Transform.BoundT, DDC.Core.Transform.BoundT |
liftX | DDC.Core.Transform.BoundX |
Line | DDC.Control.Parser |
line | DDC.Data.Pretty, DDC.Core.Pretty |
linebreak | DDC.Data.Pretty, DDC.Core.Pretty |
lineOfLocated | DDC.Data.SourcePos |
LInt | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
list | DDC.Data.Pretty, DDC.Core.Pretty |
Literal | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
LLet | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
LNat | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
loadExpFromString | DDC.Core.Load |
loadExpFromTokens | DDC.Core.Load |
loadModuleFromFile | DDC.Core.Load |
loadModuleFromString | DDC.Core.Load |
loadModuleFromTokens | DDC.Core.Load |
loadTypeFromString | DDC.Core.Load |
loadTypeFromTokens | DDC.Core.Load |
loadWitnessFromString | DDC.Core.Load |
loadWitnessFromTokens | DDC.Core.Load |
Located | |
1 (Type/Class) | DDC.Data.SourcePos, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
2 (Data Constructor) | DDC.Data.SourcePos, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
lookAhead | DDC.Control.Parser |
lookup | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Data.Env |
3 (Function) | DDC.Core.Env.EnvT |
lookupIx | DDC.Data.Env |
lookupModeOfDataType | DDC.Type.DataDef |
lookupName | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Data.Env |
3 (Function) | DDC.Core.Env.EnvT |
lookupNameX | DDC.Core.Env.EnvX |
lookupT | DDC.Core.Env.EnvX |
lookupX | DDC.Core.Env.EnvX |
lower | DDC.Control.Parser |
lowerAtDepthT | DDC.Type.Transform.BoundT |
lowerAtDepthX | DDC.Core.Transform.BoundX |
lowerT | DDC.Type.Transform.BoundT |
lowerX | DDC.Core.Transform.BoundX |
lparen | DDC.Data.Pretty, DDC.Core.Pretty |
LPrivate | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
LRec | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
LSize | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
LString | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
LWord | DDC.Core.Exp.Literal, DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
makeBindFromBinder | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
makeDataDefAbs | DDC.Type.DataDef |
makeDataDefAlg | DDC.Type.DataDef |
makeRuns | DDC.Core.Exp.Annot |
makeTApps | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
makeTExists | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
makeTForall | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
makeTForalls | DDC.Type.Exp.Generic.Compounds |
makeTFun | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
makeTFuns | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
makeTFuns' | DDC.Type.Exp.Generic.Compounds |
makeTUnions | DDC.Type.Exp.Generic.Compounds |
makeXAbs | DDC.Core.Exp.Generic |
makeXApps | DDC.Core.Exp.Generic |
makeXAppsWithAnnots | DDC.Core.Exp.Annot |
makeXLamFlags | DDC.Core.Exp.Annot |
makeXLAMs | DDC.Core.Exp.Generic |
makeXLams | DDC.Core.Exp.Generic |
many | DDC.Control.Parser |
many1 | DDC.Control.Parser |
manyAccum | DDC.Control.Parser |
manyTill | DDC.Control.Parser |
mapAnnotOfExp | DDC.Core.Exp.Annot |
mapBoundAtDepthT | DDC.Type.Transform.BoundT, DDC.Core.Transform.BoundT |
mapBoundAtDepthX | DDC.Core.Transform.BoundX |
MapBoundT | DDC.Type.Transform.BoundT, DDC.Core.Transform.BoundT |
MapBoundX | DDC.Core.Transform.BoundX |
mapFeaturesOfProfile | DDC.Core.Fragment |
mapKindOfImportType | DDC.Core.Module |
mapProfileOfFragment | DDC.Core.Fragment |
mapT | DDC.Core.Transform.MapT |
mapTopBinds | DDC.Core.Module |
mapTypeOfExportSource | DDC.Core.Module |
mapTypeOfImportCap | DDC.Core.Module |
mapTypeOfImportValue | DDC.Core.Module |
member | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Data.Env |
3 (Function) | DDC.Core.Env.EnvT |
memberBind | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Core.Env.EnvT |
memberBindX | DDC.Core.Env.EnvX |
memberX | DDC.Core.Env.EnvX |
mergeErrorReply | DDC.Control.Parser |
mkPT | DDC.Control.Parser |
Mode | DDC.Core.Check, DDC.Core.Load |
modeAltExp | DDC.Core.Pretty |
modeExpAlt | DDC.Core.Pretty |
modeExpConTypes | DDC.Core.Pretty |
modeExpLets | DDC.Core.Pretty |
modeExpUseLetCase | DDC.Core.Pretty |
modeExpVarTypes | DDC.Core.Pretty |
modeLetsExp | DDC.Core.Pretty |
modeLetsSuppressTypes | DDC.Core.Pretty |
modeModuleLets | DDC.Core.Pretty |
modeModuleSuppressExports | DDC.Core.Pretty |
modeModuleSuppressImports | DDC.Core.Pretty |
modifyState | DDC.Control.Parser |
Module | DDC.Core.Module |
moduleBody | DDC.Core.Module |
ModuleCore | DDC.Core.Module |
moduleDataDefs | DDC.Core.Module |
moduleDataDefsLocal | DDC.Core.Module |
moduleEnvT | DDC.Core.Module |
moduleEnvX | DDC.Core.Module |
moduleExportTypes | DDC.Core.Module |
moduleExportValues | DDC.Core.Module |
moduleImportCaps | DDC.Core.Module |
moduleImportDataDefs | DDC.Core.Module |
moduleImportTypeDefs | DDC.Core.Module |
moduleImportTypes | DDC.Core.Module |
moduleImportValues | DDC.Core.Module |
moduleIsHeader | DDC.Core.Module |
moduleKindEnv | DDC.Core.Module |
ModuleMap | DDC.Core.Module |
ModuleName | |
1 (Type/Class) | DDC.Core.Module |
2 (Data Constructor) | DDC.Core.Module |
moduleName | DDC.Core.Module |
moduleNameMatchesPath | DDC.Core.Module |
modulesEnvT | DDC.Core.Module |
modulesEnvX | DDC.Core.Module |
modulesExportTypes | DDC.Core.Module |
modulesExportValues | DDC.Core.Module |
moduleTopBinds | DDC.Core.Module |
moduleTopBindTypes | DDC.Core.Module |
moduleTypeDefs | DDC.Core.Module |
moduleTypeDefsLocal | DDC.Core.Module |
moduleTypeEnv | DDC.Core.Module |
namedBoundMatchesBind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
nameOfLocated | DDC.Data.SourcePos |
NameShadowing | DDC.Core.Fragment |
nest | DDC.Data.Pretty, DDC.Core.Pretty |
NestedFunctions | DDC.Core.Fragment |
nesting | DDC.Data.Pretty, DDC.Core.Pretty |
newline | DDC.Control.Parser |
newVarName | DDC.Data.Name |
NFDataLanguage | DDC.Type.Exp.Generic.NFData |
noneOf | DDC.Control.Parser |
notFollowedBy | DDC.Control.Parser |
octDigit | DDC.Control.Parser |
Ok | DDC.Control.Parser |
oneOf | DDC.Control.Parser |
option | DDC.Control.Parser |
optional | DDC.Control.Parser |
optionMaybe | DDC.Control.Parser |
padL | DDC.Data.Pretty, DDC.Core.Pretty |
panic | DDC.Control.Panic |
Param | DDC.Core.Exp.Annot |
ParamBox | DDC.Core.Exp.Annot |
ParamSpec | DDC.Core.Parser |
ParamType | |
1 (Data Constructor) | DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Parser |
ParamValue | |
1 (Data Constructor) | DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Parser |
ParamWitness | DDC.Core.Parser |
parens | DDC.Data.Pretty, DDC.Core.Pretty |
parse | DDC.Control.Parser |
Parsec | DDC.Control.Parser |
parsecMap | DDC.Control.Parser |
parsecSourcePosOfLocated | DDC.Data.SourcePos |
ParsecT | DDC.Control.Parser |
ParseError | DDC.Control.Parser |
Parser | |
1 (Type/Class) | DDC.Control.Parser |
2 (Type/Class) | DDC.Core.Parser |
parserBind | DDC.Control.Parser |
parserFail | DDC.Control.Parser |
parserPlus | DDC.Control.Parser |
parserReturn | DDC.Control.Parser |
ParserState | DDC.Control.Parser |
parserZero | DDC.Control.Parser |
ParseState | DDC.Control.Parser |
parseTest | DDC.Control.Parser |
PartialApplication | DDC.Core.Fragment |
PartialPrims | DDC.Core.Fragment |
partitionBindsByType | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
Pat | DDC.Core.Exp, DDC.Core.Exp.Annot |
patOfAlt | DDC.Core.Exp.Annot |
pBinder | DDC.Core.Parser |
pBindParamSpec | DDC.Core.Parser |
pBindParamSpecAnnot | DDC.Core.Parser |
pCon | DDC.Core.Parser |
pConSP | DDC.Core.Parser |
PData | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
PDefault | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
pExp | DDC.Core.Parser |
pExpApp | DDC.Core.Parser |
pExpAtom | DDC.Core.Parser |
pIndex | DDC.Core.Parser |
pIndexSP | DDC.Core.Parser |
pKey | DDC.Core.Parser |
pLit | DDC.Core.Parser |
pLitSP | DDC.Core.Parser |
pModule | DDC.Core.Parser |
pModuleName | DDC.Core.Parser |
pName | DDC.Core.Parser |
pOpSP | DDC.Core.Parser |
pOpVarSP | DDC.Core.Parser |
ppr | DDC.Data.Pretty, DDC.Core.Pretty |
pprDataCtor | DDC.Core.Pretty |
pprDataDef | DDC.Core.Pretty |
pprDefaultMode | DDC.Data.Pretty, DDC.Core.Pretty |
pprExportType | DDC.Core.Pretty |
pprExportValue | DDC.Core.Pretty |
pprImportType | DDC.Core.Pretty |
pprImportValue | DDC.Core.Pretty |
pprModePrec | DDC.Data.Pretty, DDC.Core.Pretty |
pprParen | DDC.Data.Pretty, DDC.Core.Pretty |
pprPrec | DDC.Data.Pretty, DDC.Core.Pretty |
pprRawC | DDC.Type.Exp.Generic.Pretty, DDC.Type.Exp.Flat.Pretty, DDC.Type.Exp.Flat |
pprRawPrecT | DDC.Type.Exp.Generic.Pretty, DDC.Type.Exp.Flat.Pretty, DDC.Type.Exp.Flat |
pprRawT | DDC.Type.Exp.Generic.Pretty, DDC.Type.Exp.Flat.Pretty, DDC.Type.Exp.Flat |
pprTypeDef | DDC.Core.Pretty |
Pretty | DDC.Data.Pretty, DDC.Core.Pretty |
PrettyConfig | DDC.Type.Exp.Generic.Pretty, DDC.Type.Exp.Flat.Pretty, DDC.Type.Exp.Flat |
PrettyMode | DDC.Data.Pretty, DDC.Core.Pretty, DDC.Core.Pretty |
PrettyModeAlt | DDC.Core.Pretty |
PrettyModeExp | DDC.Core.Pretty |
PrettyModeLets | DDC.Core.Pretty |
PrettyModeModule | DDC.Core.Pretty |
Profile | |
1 (Type/Class) | DDC.Core.Fragment |
2 (Data Constructor) | DDC.Core.Fragment |
profileFeatures | DDC.Core.Fragment |
profileMakeLiteralName | DDC.Core.Fragment |
profileName | DDC.Core.Fragment |
profileNameIsHole | DDC.Core.Fragment |
profilePrimDataDefs | DDC.Core.Fragment |
profilePrimKinds | DDC.Core.Fragment |
profilePrimTypes | DDC.Core.Fragment |
profileTypeIsUnboxed | DDC.Core.Fragment |
pSym | DDC.Core.Parser |
pTok | |
1 (Function) | DDC.Control.Parser |
2 (Function) | DDC.Core.Parser |
pTokAs | |
1 (Function) | DDC.Control.Parser |
2 (Function) | DDC.Core.Parser |
pTokAsSP | DDC.Control.Parser |
pTokMaybe | DDC.Control.Parser |
pTokMaybeSP | DDC.Control.Parser |
pTokSP | |
1 (Function) | DDC.Control.Parser |
2 (Function) | DDC.Core.Parser |
pType | DDC.Core.Parser |
pTypeApp | DDC.Core.Parser |
pTypeAtom | DDC.Core.Parser |
punctuate | DDC.Data.Pretty, DDC.Core.Pretty |
pushBind | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
pushBinds | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
put | DDC.Control.Check |
putDoc | DDC.Data.Pretty, DDC.Core.Pretty |
putDocLn | DDC.Data.Pretty, DDC.Core.Pretty |
putState | DDC.Control.Parser |
pVar | DDC.Core.Parser |
pVarSP | DDC.Core.Parser |
pWitness | DDC.Core.Parser |
pWitnessApp | DDC.Core.Parser |
pWitnessAtom | DDC.Core.Parser |
QualName | |
1 (Type/Class) | DDC.Core.Module |
2 (Data Constructor) | DDC.Core.Module |
rangle | DDC.Data.Pretty, DDC.Core.Pretty |
RAnon | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
rational | DDC.Data.Pretty, DDC.Core.Pretty |
rbrace | DDC.Data.Pretty, DDC.Core.Pretty |
rbracket | DDC.Data.Pretty, DDC.Core.Pretty |
readBinary | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
readHex | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
readLitFloatOfBits | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
readLitInt | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
readLitInteger | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
readLitNat | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
readLitSize | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
readLitWordOfBits | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
readModuleName | DDC.Core.Module |
Reannotate | DDC.Core.Transform.Reannotate |
reannotate | DDC.Core.Transform.Reannotate |
reannotateM | DDC.Core.Transform.Reannotate |
Recon | DDC.Core.Check, DDC.Core.Load |
Region | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
Rename | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
renameToken | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
renameWith | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
render | DDC.Data.Pretty, DDC.Core.Pretty |
renderCompact | DDC.Data.Pretty, DDC.Core.Pretty |
RenderIndent | DDC.Data.Pretty, DDC.Core.Pretty |
renderIndent | DDC.Data.Pretty, DDC.Core.Pretty |
RenderMode | DDC.Data.Pretty, DDC.Core.Pretty |
RenderPlain | DDC.Data.Pretty, DDC.Core.Pretty |
renderPlain | DDC.Data.Pretty, DDC.Core.Pretty |
replaceTypeOfBind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
replaceTypeOfBound | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
Reply | DDC.Control.Parser |
RExp | DDC.Core.Exp.Generic |
RName | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
RNone | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
rparen | DDC.Data.Pretty, DDC.Core.Pretty |
RType | DDC.Core.Exp.Generic |
runCheck | DDC.Control.Check |
runP | DDC.Control.Parser |
runParsecT | DDC.Control.Parser |
runParser | DDC.Control.Parser |
runParserT | DDC.Control.Parser |
runPT | DDC.Control.Parser |
runTokenParser | DDC.Control.Parser |
RWitness | DDC.Core.Exp.Generic |
SArrowDashLeft | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SArrowDashRight | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SArrowEquals | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SArrowTilde | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SAt | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
satisfy | DDC.Control.Parser |
sayBuiltin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
sayKeyword | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
saySymbol | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SBackSlash | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SBar | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SBigLambda | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SBigLambdaSlash | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SBraceBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SBraceColonBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SBraceColonKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SBraceKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SChar | DDC.Data.Pretty, DDC.Core.Pretty |
SComma | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
sComp | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
SDot | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
semi | DDC.Data.Pretty, DDC.Core.Pretty |
semiBraces | DDC.Data.Pretty, DDC.Core.Pretty |
SEmpty | DDC.Data.Pretty, DDC.Core.Pretty |
sep | DDC.Data.Pretty, DDC.Core.Pretty |
sepBy | DDC.Control.Parser |
sepBy1 | DDC.Control.Parser |
sepEndBy | DDC.Control.Parser |
sepEndBy1 | DDC.Control.Parser |
SEquals | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
setFeature | DDC.Core.Fragment |
setInput | DDC.Control.Parser |
setParserState | DDC.Control.Parser |
setPosition | DDC.Control.Parser |
setPrimFun | |
1 (Function) | DDC.Type.Env |
2 (Function) | DDC.Core.Env.EnvT |
3 (Function) | DDC.Core.Env.EnvX |
setSourceColumn | DDC.Control.Parser |
setSourceLine | DDC.Control.Parser |
setSourceName | DDC.Control.Parser |
setState | DDC.Control.Parser |
SHat | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
ShowGType | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
ShowLanguage | DDC.Core.Exp.Generic |
SimpleDoc | DDC.Data.Pretty, DDC.Core.Pretty |
singleton | |
1 (Function) | DDC.Type.Sum |
2 (Function) | DDC.Type.Env |
3 (Function) | DDC.Data.Env |
4 (Function) | DDC.Core.Env.EnvT |
5 (Function) | DDC.Core.Env.EnvX |
skipMany | DDC.Control.Parser |
skipMany1 | DDC.Control.Parser |
SLambda | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SLine | DDC.Data.Pretty, DDC.Core.Pretty |
slurpBindTree | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
SoCon | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
SoConComp | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
SoConProp | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
softbreak | DDC.Data.Pretty, DDC.Core.Pretty |
softline | DDC.Data.Pretty, DDC.Core.Pretty |
Sort | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
sortOfKind | DDC.Core.Check |
sourceColumn | DDC.Control.Parser |
sourceLine | DDC.Control.Parser |
SourceName | DDC.Control.Parser |
sourceName | DDC.Control.Parser |
SourcePos | |
1 (Type/Class) | DDC.Data.SourcePos, DDC.Control.Parser |
2 (Data Constructor) | DDC.Data.SourcePos, DDC.Control.Parser |
sourcePosColumn | DDC.Data.SourcePos, DDC.Control.Parser |
sourcePosLine | DDC.Data.SourcePos, DDC.Control.Parser |
sourcePosOfLocated | DDC.Data.SourcePos |
sourcePosSource | DDC.Data.SourcePos, DDC.Control.Parser |
space | |
1 (Function) | DDC.Data.Pretty, DDC.Core.Pretty |
2 (Function) | DDC.Control.Parser |
spaces | DDC.Control.Parser |
specBindsOfLets | DDC.Core.Exp.Annot |
splash | DDC.Version |
splitName | DDC.Data.Name |
splitStdCallCons | DDC.Core.Call |
splitStdCallElims | DDC.Core.Call |
splitTUnionsOfKind | DDC.Type.Exp.Generic.Compounds |
splitXApps | DDC.Core.Exp.Generic |
splitXLets | DDC.Core.Exp.Annot |
splitXLetsAnnot | DDC.Core.Exp.Annot |
SpreadT | DDC.Type.Transform.SpreadT |
spreadT | DDC.Type.Transform.SpreadT |
SpreadX | DDC.Core.Transform.SpreadX |
spreadX | DDC.Core.Transform.SpreadX |
sProp | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
squote | DDC.Data.Pretty, DDC.Core.Pretty |
squotes | DDC.Data.Pretty, DDC.Core.Pretty |
SRoundBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SRoundKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SSemiColon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SSquareBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SSquareColonBra | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SSquareColonKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SSquareKet | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
stackAll | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
stackAnons | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
stackBinds | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
stackNamed | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
State | |
1 (Data Constructor) | DDC.Control.Parser |
2 (Type/Class) | DDC.Control.Parser |
stateFileName | DDC.Control.Parser |
stateInput | DDC.Control.Parser |
statePos | DDC.Control.Parser |
stateTokenShow | DDC.Control.Parser |
stateUser | DDC.Control.Parser |
SText | DDC.Data.Pretty, DDC.Core.Pretty |
Stream | DDC.Control.Parser |
string | |
1 (Function) | DDC.Data.Pretty, DDC.Core.Pretty |
2 (Function) | DDC.Control.Parser |
StringName | DDC.Data.Name |
stringName | DDC.Data.Name |
stripSuffix | DDC.Data.ListUtils |
Sub | |
1 (Type/Class) | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
2 (Data Constructor) | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
subBound | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
subConflict0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
subConflict1 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
subShadow0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
subStack0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
subStack1 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
substBound | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
substituteBoundT | DDC.Type.Transform.SubstituteT |
substituteBoundTX | DDC.Core.Transform.SubstituteTX |
SubstituteT | DDC.Type.Transform.SubstituteT |
substituteT | DDC.Type.Transform.SubstituteT |
substituteTs | DDC.Type.Transform.SubstituteT |
SubstituteTX | DDC.Core.Transform.SubstituteTX |
substituteTX | DDC.Core.Transform.SubstituteTX |
substituteTXs | DDC.Core.Transform.SubstituteTX |
substituteWithT | DDC.Type.Transform.SubstituteT |
substituteWithTX | DDC.Core.Transform.SubstituteTX |
substituteWithWX | DDC.Core.Transform.SubstituteWX |
substituteWithXX | DDC.Core.Transform.SubstituteXX |
SubstituteWX | DDC.Core.Transform.SubstituteWX |
substituteWX | DDC.Core.Transform.SubstituteWX |
substituteWXs | DDC.Core.Transform.SubstituteWX |
substituteXArg | DDC.Core.Transform.SubstituteXX |
substituteXArgs | DDC.Core.Transform.SubstituteXX |
SubstituteXX | DDC.Core.Transform.SubstituteXX |
substituteXX | DDC.Core.Transform.SubstituteXX |
substituteXXs | DDC.Core.Transform.SubstituteXX |
subsumesT | DDC.Type.Exp.Simple.Subsumes, DDC.Type.Exp.Simple |
SUnderscore | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
SuperEnv | DDC.Type.Env |
Support | |
1 (Type/Class) | DDC.Core.Collect.Support, DDC.Core.Collect |
2 (Data Constructor) | DDC.Core.Collect.Support, DDC.Core.Collect |
support | DDC.Core.Collect.Support, DDC.Core.Collect |
supportDaVar | DDC.Core.Collect.Support, DDC.Core.Collect |
supportEnvFlags | DDC.Core.Collect.Support |
supportSpVar | DDC.Core.Collect.Support, DDC.Core.Collect |
supportSpVarXArg | DDC.Core.Collect.Support, DDC.Core.Collect |
supportTyCon | DDC.Core.Collect.Support, DDC.Core.Collect |
supportTyConXArg | DDC.Core.Collect.Support, DDC.Core.Collect |
supportWiVar | DDC.Core.Collect.Support, DDC.Core.Collect |
SupportX | DDC.Core.Collect.Support, DDC.Core.Collect |
Symbol | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
Synth | DDC.Core.Check, DDC.Core.Load |
sysUnExpectError | DDC.Control.Parser |
tab | DDC.Control.Parser |
TAbs | |
1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
takeCallConsFromExp | DDC.Core.Call |
takeCallConsFromType | DDC.Core.Call |
takeCallElim | DDC.Core.Call |
takeCtorNameOfAlt | DDC.Core.Exp.Annot |
takeDataTyConApps | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeEnclosingCtx | DDC.Core.Exp.Annot.Ctx |
takeHead | DDC.Data.ListUtils |
takeInit | DDC.Data.ListUtils |
takeKFun | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeKFuns | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeKFuns' | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeMaximum | DDC.Data.ListUtils |
takeNameOfBind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeNameOfBound | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeNameOfDaCon | DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takePrimeRegion | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takePrimTyConApps | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takePrimWiConApps | DDC.Core.Exp.Annot |
takeResultKind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeSortOfKiCon | DDC.Core.Check |
takeStdCallConsFromTypeArity | DDC.Core.Call |
takeSubstBoundOfBind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeSubstBoundsOfBinds | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeTAbs | DDC.Type.Exp.Generic.Compounds |
takeTail | DDC.Data.ListUtils |
takeTApp | DDC.Type.Exp.Generic.Compounds |
takeTApps | |
1 (Function) | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
2 (Function) | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
takeTCon | DDC.Type.Exp.Generic.Compounds |
takeTExists | |
1 (Function) | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
2 (Function) | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
takeTForall | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
takeTForalls | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeTFun | |
1 (Function) | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
2 (Function) | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
takeTFunAllArgResult | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeTFunArgResult | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeTFuns | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
takeTFuns' | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
takeTFunWitArgResult | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeTopLetEnvNamesOfCtx | DDC.Core.Exp.Annot.Ctx |
takeTopNameOfCtx | DDC.Core.Exp.Annot.Ctx |
takeTSusp | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeTSusps | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeTUnion | DDC.Type.Exp.Generic.Compounds |
takeTUnions | DDC.Type.Exp.Generic.Compounds |
takeTVar | DDC.Type.Exp.Generic.Compounds |
takeTyConApps | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeTypeOfBound | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeTypeOfDaCon | DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
takeTypeOfExportSource | DDC.Core.Module |
takeWAppsAsList | DDC.Core.Exp.Annot |
takeXAbs | DDC.Core.Exp.Generic |
takeXApps | |
1 (Function) | DDC.Core.Exp.Annot |
2 (Function) | DDC.Core.Exp.Generic |
takeXApps1 | DDC.Core.Exp.Annot |
takeXAppsAsList | DDC.Core.Exp.Annot |
takeXAppsWithAnnots | DDC.Core.Exp.Annot |
takeXConApps | |
1 (Function) | DDC.Core.Exp.Annot |
2 (Function) | DDC.Core.Exp.Generic |
takeXLamFlags | DDC.Core.Exp.Annot |
takeXLamParam | DDC.Core.Exp.Annot |
takeXLAMs | |
1 (Function) | DDC.Core.Exp.Annot |
2 (Function) | DDC.Core.Exp.Generic |
takeXLams | |
1 (Function) | DDC.Core.Exp.Annot |
2 (Function) | DDC.Core.Exp.Generic |
takeXPrimApps | |
1 (Function) | DDC.Core.Exp.Annot |
2 (Function) | DDC.Core.Exp.Generic |
takeXType | DDC.Core.Exp.Annot |
takeXWitness | DDC.Core.Exp.Annot |
tAlloc | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
TAnnot | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TApp | |
1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
tApp | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
TApp2 | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TApp3 | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TApp4 | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TApp5 | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
tApps | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
TBot | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
tBot | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
TcCon | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TcConAlloc | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TcConDeepAlloc | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TcConDeepRead | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TcConDeepWrite | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TcConFun | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TcConHeadRead | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TcConRead | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TcConSusp | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TcConUnit | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TcConWrite | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TCon | |
1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
tConData0 | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tConData1 | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tConst | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tDeepAlloc | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tDeepConst | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tDeepMutable | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tDeepRead | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tDeepWrite | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tDistinct | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
text | DDC.Data.Pretty, DDC.Core.Pretty |
TForall | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
tForall | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tForall' | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tForalls | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tForalls' | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
TFun | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
tFun | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tFunOfList | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tFunOfParamResult | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tHeadRead | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
throw | DDC.Control.Check |
tImpl | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tIx | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tMutable | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
Token | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
token | DDC.Control.Parser |
TokenAtom | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
TokenMeta | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
TokenNamed | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
tokenPrim | DDC.Control.Parser |
tokenPrimEx | DDC.Control.Parser |
tokens | DDC.Control.Parser |
toList | DDC.Type.Sum |
topOfCtx | DDC.Core.Exp.Annot.Ctx |
TPrim | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
tPure | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
TrackedClosures | DDC.Core.Fragment |
TrackedEffects | DDC.Core.Fragment |
tRead | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
try | DDC.Control.Parser |
TSum | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
tSum | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tSusp | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
TUnion | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TUnit | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
tUnit | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
tupled | DDC.Data.Pretty, DDC.Core.Pretty |
TVar | |
1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TVoid | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TwCon | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TwConConst | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TwConDeepConst | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TwConDeepMutable | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TwConDisjoint | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TwConDistinct | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TwConImpl | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TwConMutable | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TwConPure | DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
tWrite | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
TyCon | |
1 (Type/Class) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Type/Class) | DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TyConBot | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TyConBound | |
1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TyConExists | |
1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TyConForall | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TyConFun | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TyConHash | |
1 (Type/Class) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TyConKind | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TyConPrim | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TyConSort | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TyConSpec | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TyConUnion | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TyConUnit | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TyConVoid | DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TyConWitness | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
Type | |
1 (Type/Class) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Type/Class) | DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat |
TypeEnv | DDC.Type.Env |
typeEnvOfEnvX | DDC.Core.Env.EnvX |
typeOfBind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
typeOfDataCtor | DDC.Type.DataDef |
typeOfExp | DDC.Core.Check |
typeOfImportCap | DDC.Core.Module |
typeOfImportValue | DDC.Core.Module |
typeOfWiCon | DDC.Core.Check |
typeOfWitness | DDC.Core.Check |
TypeSum | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TypeSumBot | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
typeSumBoundAnon | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
typeSumBoundNamed | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TypeSumCon | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
typeSumElems | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
typeSumKind | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TypeSumSet | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
typeSumSpill | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TypeSumVar | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
TypeSumVarCon | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
UIx | |
1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Data.Env |
UName | |
1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Data.Env |
UnboundLevel0Vars | DDC.Core.Fragment |
UnboxedInstantiation | DDC.Core.Fragment |
uncons | DDC.Control.Parser |
unexpected | DDC.Control.Parser |
unhashTyCon | DDC.Type.Sum |
unicodeOperatorsInfix | DDC.Core.Lexer.Unicode |
union | |
1 (Function) | DDC.Type.Sum |
2 (Function) | DDC.Type.Env |
3 (Function) | DDC.Data.Env |
4 (Function) | DDC.Core.Env.EnvT |
5 (Function) | DDC.Core.Env.EnvX |
unionDataDefs | DDC.Type.DataDef |
unions | |
1 (Function) | DDC.Type.Sum |
2 (Function) | DDC.Type.Env |
3 (Function) | DDC.Data.Env |
4 (Function) | DDC.Core.Env.EnvT |
5 (Function) | DDC.Core.Env.EnvX |
Universe | DDC.Type.Universe |
UniverseData | DDC.Type.Universe |
universeFromType1 | DDC.Type.Universe |
universeFromType2 | DDC.Type.Universe |
universeFromType3 | DDC.Type.Universe |
UniverseKind | DDC.Type.Universe |
UniverseLevel | DDC.Type.Universe |
universeOfType | DDC.Type.Universe |
UniverseSort | DDC.Type.Universe |
UniverseSpec | DDC.Type.Universe |
universeUp | DDC.Type.Universe |
UniverseWitness | DDC.Type.Universe |
unknownError | DDC.Control.Parser |
UnusedBindings | DDC.Core.Fragment |
UnusedMatches | DDC.Core.Fragment |
updateParserState | DDC.Control.Parser |
updateState | DDC.Control.Parser |
upper | DDC.Control.Parser |
UPrim | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
use0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
use1 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
valueOfLocated | DDC.Data.SourcePos |
valwitBindsOfLets | DDC.Core.Exp.Annot |
vcat | DDC.Data.Pretty, DDC.Core.Pretty |
version | DDC.Version |
vsep | DDC.Data.Pretty, DDC.Core.Pretty |
WApp | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
wApp | DDC.Core.Exp.Annot |
wApps | DDC.Core.Exp.Annot |
WCon | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
WiCon | DDC.Core.Exp, DDC.Core.Exp.Annot |
WiConBound | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
width | DDC.Data.Pretty, DDC.Core.Pretty |
withBinding | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
withBindings | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
Witness | DDC.Core.Exp, DDC.Core.Exp.Annot |
WType | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
WVar | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
XAbs | DDC.Core.Exp.Generic |
XAnnot | DDC.Core.Exp.Generic |
XApp | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
xApps | DDC.Core.Exp.Annot |
XCase | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
XCast | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
XCon | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
XLAM | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
XLam | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
xLAMs | DDC.Core.Exp.Annot |
xLams | DDC.Core.Exp.Annot |
XLet | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
xLets | DDC.Core.Exp.Annot |
xLetsAnnot | DDC.Core.Exp.Annot |
XPrim | DDC.Core.Exp.Generic |
XType | DDC.Core.Exp, DDC.Core.Exp.Annot |
xUnit | DDC.Core.Exp.Annot |
XVar | |
1 (Data Constructor) | DDC.Core.Exp, DDC.Core.Exp.Annot |
2 (Data Constructor) | DDC.Core.Exp.Generic |
XWitness | DDC.Core.Exp, DDC.Core.Exp.Annot |
zeroFeatures | DDC.Core.Fragment |
zeroProfile | DDC.Core.Fragment |
~> | DDC.Type.Exp.Generic.Compounds |