$: | DDC.Type.Compounds |
<$$> | DDC.Core.Pretty |
<$> | DDC.Core.Pretty |
<+> | DDC.Core.Pretty |
<//> | DDC.Core.Pretty |
</> | DDC.Core.Pretty |
<> | DDC.Core.Pretty |
<?> | DDC.Type.Parser, DDC.Core.Parser |
AAlt | DDC.Core.Exp |
align | DDC.Core.Pretty |
Alt | DDC.Core.Exp |
angles | DDC.Core.Pretty |
backslash | DDC.Core.Pretty |
BAnon | DDC.Type.Exp, DDC.Core.Exp |
Bind | DDC.Type.Exp, DDC.Core.Exp |
bind0 | DDC.Type.Rewrite |
bind0s | DDC.Type.Rewrite |
bind1 | DDC.Type.Rewrite |
Binder | DDC.Type.Exp, DDC.Core.Exp |
binderOfBind | DDC.Type.Compounds |
bindsOfLets | DDC.Core.Compounds |
bindsOfPat | DDC.Core.Compounds |
BindStack | |
1 (Type/Class) | DDC.Type.Rewrite, DDC.Type.Transform.SubstituteT |
2 (Data Constructor) | DDC.Type.Rewrite, DDC.Type.Transform.SubstituteT |
BName | DDC.Type.Exp, DDC.Core.Exp |
BNone | DDC.Type.Exp, DDC.Core.Exp |
bool | DDC.Core.Pretty |
Bound | DDC.Type.Exp, DDC.Core.Exp |
boundMatchesBind | DDC.Type.Compounds |
braces | DDC.Core.Pretty |
brackets | DDC.Core.Pretty |
Cast | DDC.Core.Exp |
CastForget | DDC.Core.Exp |
CastPurify | DDC.Core.Exp |
CastWeakenClosure | DDC.Core.Exp |
CastWeakenEffect | DDC.Core.Exp |
cat | DDC.Core.Pretty |
char | DDC.Core.Pretty |
checkExp | DDC.Core.Check.CheckExp, DDC.Core.Check |
checkExpM | DDC.Core.Check.CheckExp |
CheckM | |
1 (Type/Class) | DDC.Type.Check.Monad |
2 (Data Constructor) | DDC.Type.Check.Monad |
3 (Type/Class) | DDC.Core.Check.CheckWitness, DDC.Core.Check.CheckExp |
checkType | DDC.Type.Check |
checkWitness | DDC.Core.Check.CheckWitness, DDC.Core.Check |
checkWitnessM | DDC.Core.Check.CheckWitness |
Closure | DDC.Type.Exp, DDC.Core.Exp |
closureOfTagged | DDC.Core.Check.TaggedClosure |
closureOfTaggedSet | DDC.Core.Check.TaggedClosure |
collectBound | DDC.Core.Collect |
collectSpecBinds | DDC.Core.Collect |
colon | DDC.Core.Pretty |
column | DDC.Core.Pretty |
comma | DDC.Core.Pretty |
crushEffect | DDC.Type.Transform.Crush |
cutTaggedClosureT | DDC.Core.Check.TaggedClosure |
cutTaggedClosureX | DDC.Core.Check.TaggedClosure |
cutTaggedClosureXs | DDC.Core.Check.TaggedClosure |
DataCtor | |
1 (Type/Class) | DDC.Core.DataDef |
2 (Data Constructor) | DDC.Core.DataDef |
dataCtorFieldTypes | DDC.Core.DataDef |
dataCtorName | DDC.Core.DataDef |
dataCtorTypeName | DDC.Core.DataDef |
DataDef | |
1 (Type/Class) | DDC.Core.DataDef |
2 (Data Constructor) | DDC.Core.DataDef |
dataDefCtors | DDC.Core.DataDef |
dataDefParamKinds | DDC.Core.DataDef |
DataDefs | |
1 (Type/Class) | DDC.Core.DataDef |
2 (Data Constructor) | DDC.Core.DataDef |
dataDefsCtors | DDC.Core.DataDef |
dataDefsTypes | DDC.Core.DataDef |
dataDefTypeName | DDC.Core.DataDef |
DataMode | DDC.Core.DataDef |
DataModeLarge | DDC.Core.DataDef |
DataModeSmall | DDC.Core.DataDef |
DataType | |
1 (Type/Class) | DDC.Core.DataDef |
2 (Data Constructor) | DDC.Core.DataDef |
dataTypeMode | DDC.Core.DataDef |
dataTypeName | DDC.Core.DataDef |
dataTypeParamKinds | DDC.Core.DataDef |
delete | DDC.Type.Sum |
depth | DDC.Type.Env |
describeTok | DDC.Core.Parser.Tokens |
describeTokAtom | DDC.Core.Parser.Tokens |
describeTokNamed | DDC.Core.Parser.Tokens |
difference | DDC.Type.Sum |
displayIO | DDC.Core.Pretty |
displayS | DDC.Core.Pretty |
Doc | DDC.Core.Pretty |
dot | DDC.Core.Pretty |
double | DDC.Core.Pretty |
dquote | DDC.Core.Pretty |
dquotes | DDC.Core.Pretty |
Effect | DDC.Type.Exp, DDC.Core.Exp |
elem | DDC.Type.Sum |
empty | |
1 (Function) | DDC.Core.Pretty |
2 (Function) | DDC.Type.Sum |
3 (Function) | DDC.Type.Env |
emptyDataDefs | DDC.Core.DataDef |
enclose | DDC.Core.Pretty |
encloseSep | DDC.Core.Pretty |
Env | |
1 (Type/Class) | DDC.Type.Env |
2 (Data Constructor) | DDC.Type.Env |
envMap | DDC.Type.Env |
envPrimFun | DDC.Type.Env |
envStack | DDC.Type.Env |
envStackLength | DDC.Type.Env |
equals | DDC.Core.Pretty |
equivT | DDC.Type.Equiv |
Error | |
1 (Type/Class) | DDC.Type.Check |
2 (Type/Class) | DDC.Core.Check.Error, DDC.Core.Check |
errorAltType1 | DDC.Core.Check.Error, DDC.Core.Check |
errorAltType2 | DDC.Core.Check.Error, DDC.Core.Check |
ErrorAppArgMismatch | DDC.Type.Check |
ErrorAppMismatch | DDC.Core.Check.Error, DDC.Core.Check |
ErrorAppNotFun | |
1 (Data Constructor) | DDC.Type.Check |
2 (Data Constructor) | DDC.Core.Check.Error, DDC.Core.Check |
errorArgKind | DDC.Type.Check |
errorArgType | |
1 (Function) | DDC.Type.Check |
2 (Function) | DDC.Core.Check.Error, DDC.Core.Check |
errorArgTypeKind | DDC.Type.Check |
errorBind | DDC.Core.Check.Error, DDC.Core.Check |
errorBindType | DDC.Core.Check.Error, DDC.Core.Check |
errorBindWitness | DDC.Core.Check.Error, DDC.Core.Check |
errorBindWitness1 | DDC.Core.Check.Error, DDC.Core.Check |
errorBindWitness2 | DDC.Core.Check.Error, DDC.Core.Check |
errorBody | DDC.Type.Check |
errorBound | |
1 (Function) | DDC.Type.Check |
2 (Function) | DDC.Core.Check.Error, DDC.Core.Check |
errorBoundRegion | DDC.Core.Check.Error, DDC.Core.Check |
ErrorCannotJoin | DDC.Core.Check.Error, DDC.Core.Check |
ErrorCaseAltResultMismatch | DDC.Core.Check.Error, DDC.Core.Check |
ErrorCaseCannotInstantiate | DDC.Core.Check.Error, DDC.Core.Check |
ErrorCaseDiscrimNotAlgebraic | DDC.Core.Check.Error, DDC.Core.Check |
ErrorCaseDiscrimTypeMismatch | DDC.Core.Check.Error, DDC.Core.Check |
ErrorCaseDiscrimTypeUndeclared | DDC.Core.Check.Error, DDC.Core.Check |
ErrorCaseFieldTypeMismatch | DDC.Core.Check.Error, DDC.Core.Check |
ErrorCaseNoAlternatives | DDC.Core.Check.Error, DDC.Core.Check |
ErrorCaseNonExhaustive | DDC.Core.Check.Error, DDC.Core.Check |
ErrorCaseNonExhaustiveLarge | DDC.Core.Check.Error, DDC.Core.Check |
ErrorCaseOverlapping | DDC.Core.Check.Error, DDC.Core.Check |
ErrorCaseTooManyBinders | DDC.Core.Check.Error, DDC.Core.Check |
errorChecking | |
1 (Function) | DDC.Type.Check |
2 (Function) | DDC.Core.Check.Error, DDC.Core.Check |
errorCheckingSum | DDC.Type.Check |
errorClosure | DDC.Core.Check.Error, DDC.Core.Check |
errorCtorBound | DDC.Core.Check.Error, DDC.Core.Check |
errorCtorFields | DDC.Core.Check.Error, DDC.Core.Check |
errorCtorNamesMissing | DDC.Core.Check.Error, DDC.Core.Check |
errorEffect | DDC.Core.Check.Error, DDC.Core.Check |
errorExp | DDC.Core.Check.Error, DDC.Core.Check |
ErrorForallKindInvalid | DDC.Type.Check |
errorFunType | DDC.Type.Check |
errorFunTypeKind | DDC.Type.Check |
errorKind | |
1 (Function) | DDC.Type.Check |
2 (Function) | DDC.Core.Check.Error, DDC.Core.Check |
errorKindExpected | DDC.Type.Check |
errorKinds | DDC.Type.Check |
ErrorLamBindNotData | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLamBodyNotData | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLamNotPure | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLamShadow | DDC.Core.Check.Error, DDC.Core.Check |
errorLeftKind | DDC.Type.Check |
errorLeftType | DDC.Type.Check |
ErrorLetBindingNotData | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLetBodyNotData | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLetLazyNotEmpty | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLetLazyNotPure | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLetLazyNoWitness | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLetLazyWitnessTypeMismatch | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLetMismatch | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLetrecBindingNotLambda | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLetRegionFree | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLetRegionNotRegion | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLetRegionRebound | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLetRegionWitnessConflict | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLetRegionWitnessInvalid | DDC.Core.Check.Error, DDC.Core.Check |
ErrorLetRegionWitnessOther | DDC.Core.Check.Error, DDC.Core.Check |
ErrorMalformedExp | DDC.Core.Check.Error, DDC.Core.Check |
ErrorMalformedType | DDC.Core.Check.Error, DDC.Core.Check |
ErrorMaxcloMalformed | DDC.Core.Check.Error, DDC.Core.Check |
ErrorMaxcloNotClo | DDC.Core.Check.Error, DDC.Core.Check |
ErrorMaxeffNotEff | DDC.Core.Check.Error, DDC.Core.Check |
ErrorNakedSort | DDC.Type.Check |
ErrorNakedType | DDC.Core.Check.Error, DDC.Core.Check |
ErrorNakedWitness | DDC.Core.Check.Error, DDC.Core.Check |
errorNotFunType | DDC.Core.Check.Error, DDC.Core.Check |
errorParamKind | DDC.Type.Check |
errorParamType | DDC.Core.Check.Error, DDC.Core.Check |
errorPatternFields | DDC.Core.Check.Error, DDC.Core.Check |
errorRightKind | DDC.Type.Check |
errorRightType | DDC.Type.Check |
errorSort | DDC.Type.Check |
ErrorSumKindInvalid | DDC.Type.Check |
ErrorSumKindMismatch | DDC.Type.Check |
ErrorType | DDC.Core.Check.Error, DDC.Core.Check |
errorType | DDC.Core.Check.Error, DDC.Core.Check |
errorTypeAnnot | DDC.Core.Check.Error, DDC.Core.Check |
errorTypeCtor | DDC.Core.Check.Error, DDC.Core.Check |
errorTypeDiscrim | DDC.Core.Check.Error, DDC.Core.Check |
errorTypeEnv | |
1 (Function) | DDC.Type.Check |
2 (Function) | DDC.Core.Check.Error, DDC.Core.Check |
errorTypeError | DDC.Core.Check.Error, DDC.Core.Check |
errorTypeField | DDC.Core.Check.Error, DDC.Core.Check |
errorTypeLeft | DDC.Core.Check.Error, DDC.Core.Check |
errorTypePattern | DDC.Core.Check.Error, DDC.Core.Check |
errorTypeRight | DDC.Core.Check.Error, DDC.Core.Check |
errorTypeSum | DDC.Type.Check |
ErrorUnappliedKindFun | DDC.Type.Check |
ErrorUndefined | DDC.Type.Check |
ErrorUndefinedCtor | |
1 (Data Constructor) | DDC.Type.Check |
2 (Data Constructor) | DDC.Core.Check.Error, DDC.Core.Check |
ErrorVarAnnotMismatch | |
1 (Data Constructor) | DDC.Type.Check |
2 (Data Constructor) | DDC.Core.Check.Error, DDC.Core.Check |
ErrorWAppMismatch | DDC.Core.Check.Error, DDC.Core.Check |
ErrorWAppNotCtor | DDC.Core.Check.Error, DDC.Core.Check |
ErrorWithRegionNotRegion | DDC.Core.Check.Error, DDC.Core.Check |
errorWitness | DDC.Core.Check.Error, DDC.Core.Check |
ErrorWitnessImplInvalid | DDC.Type.Check |
errorWitnessLeft | DDC.Core.Check.Error, DDC.Core.Check |
ErrorWitnessNotEmpty | DDC.Core.Check.Error, DDC.Core.Check |
ErrorWitnessNotPurity | DDC.Core.Check.Error, DDC.Core.Check |
errorWitnessRight | DDC.Core.Check.Error, DDC.Core.Check |
errorWitnessTypeExpect | DDC.Core.Check.Error, DDC.Core.Check |
errorWitnessTypeHave | DDC.Core.Check.Error, DDC.Core.Check |
Exp | DDC.Core.Exp |
extend | DDC.Type.Env |
extends | DDC.Type.Env |
fill | DDC.Core.Pretty |
fillBreak | DDC.Core.Pretty |
fillCat | DDC.Core.Pretty |
fillSep | DDC.Core.Pretty |
float | DDC.Core.Pretty |
freeT | DDC.Core.Collect |
freeX | DDC.Core.Collect |
fromList | |
1 (Function) | DDC.Type.Sum |
2 (Function) | DDC.Type.Env |
fromListDataDefs | DDC.Core.DataDef |
GBoundRgnCon | DDC.Core.Check.TaggedClosure, DDC.Core.Check.CheckExp |
GBoundRgnVar | DDC.Core.Check.TaggedClosure, DDC.Core.Check.CheckExp |
GBoundVal | DDC.Core.Check.TaggedClosure, DDC.Core.Check.CheckExp |
group | DDC.Core.Pretty |
hang | DDC.Core.Pretty |
hashTyCon | DDC.Type.Sum |
hashTyConRange | DDC.Type.Sum |
hcat | DDC.Core.Pretty |
hPutDoc | DDC.Core.Pretty |
hsep | DDC.Core.Pretty |
indent | DDC.Core.Pretty |
insert | DDC.Type.Sum |
insertDataDef | DDC.Core.DataDef |
instantiateT | DDC.Type.Transform.Instantiate |
instantiateTs | DDC.Type.Transform.Instantiate |
int | DDC.Core.Pretty |
integer | DDC.Core.Pretty |
isAlgDataType | DDC.Type.Predicates |
isAtomT | DDC.Type.Predicates |
isAtomW | DDC.Core.Predicates |
isAtomX | DDC.Core.Predicates |
isBot | DDC.Type.Predicates |
isClosureKind | DDC.Type.Predicates |
isConBody | DDC.Core.Parser.Lexer |
isConName | DDC.Core.Parser.Lexer |
isConStart | DDC.Core.Parser.Lexer |
isDataKind | DDC.Type.Predicates |
isEffectKind | DDC.Type.Predicates |
isLambdaX | DDC.Core.Predicates |
isPDefault | DDC.Core.Predicates |
isPrim | DDC.Type.Env |
isRegionKind | DDC.Type.Predicates |
isVarBody | DDC.Core.Parser.Lexer |
isVarName | DDC.Core.Parser.Lexer |
isVarStart | DDC.Core.Parser.Lexer |
isWitnessKind | DDC.Type.Predicates |
isXApp | DDC.Core.Predicates |
isXCon | DDC.Core.Predicates |
isXLAM | DDC.Core.Predicates |
isXLam | DDC.Core.Predicates |
isXVar | DDC.Core.Predicates |
KA | DDC.Core.Parser.Tokens |
KAmpersand | DDC.Core.Parser.Tokens |
KAngleBra | DDC.Core.Parser.Tokens |
KAngleColonBra | DDC.Core.Parser.Tokens |
KAngleColonKet | DDC.Core.Parser.Tokens |
KAngleKet | DDC.Core.Parser.Tokens |
KArrowDash | DDC.Core.Parser.Tokens |
KArrowEquals | DDC.Core.Parser.Tokens |
KArrowTilde | DDC.Core.Parser.Tokens |
KBackSlash | DDC.Core.Parser.Tokens |
KBar | DDC.Core.Parser.Tokens |
KBigLambda | DDC.Core.Parser.Tokens |
KBotClosure | DDC.Core.Parser.Tokens |
KBotEffect | DDC.Core.Parser.Tokens |
KBraceBra | DDC.Core.Parser.Tokens |
KBraceKet | DDC.Core.Parser.Tokens |
KCase | DDC.Core.Parser.Tokens |
kClosure | DDC.Type.Compounds |
KColon | DDC.Core.Parser.Tokens |
KColonColon | DDC.Core.Parser.Tokens |
KComma | DDC.Core.Parser.Tokens |
KCon | DDC.Core.Parser.Tokens |
KDash | DDC.Core.Parser.Tokens |
kData | DDC.Type.Compounds |
KDot | DDC.Core.Parser.Tokens |
kEffect | DDC.Type.Compounds |
KEquals | DDC.Core.Parser.Tokens |
KForget | DDC.Core.Parser.Tokens |
kFun | DDC.Type.Compounds |
kFuns | DDC.Type.Compounds |
KHat | DDC.Core.Parser.Tokens |
KiCon | DDC.Type.Exp, DDC.Core.Exp |
KiConClosure | DDC.Type.Exp, DDC.Core.Exp |
KiConData | DDC.Type.Exp, DDC.Core.Exp |
KiConEffect | DDC.Type.Exp, DDC.Core.Exp |
KiConFun | DDC.Type.Exp, DDC.Core.Exp |
KiConRegion | DDC.Type.Exp, DDC.Core.Exp |
KiConWitness | DDC.Type.Exp, DDC.Core.Exp |
KIn | DDC.Core.Parser.Tokens |
Kind | DDC.Type.Exp, DDC.Core.Exp |
KIndex | DDC.Core.Parser.Tokens |
kindOfSum | DDC.Type.Sum |
kindOfTcCon | DDC.Type.Check |
kindOfTwCon | DDC.Type.Check |
kindOfType | DDC.Type.Check |
KJunk | DDC.Core.Parser.Tokens |
KKindClosure | DDC.Core.Parser.Tokens |
KKindEffect | DDC.Core.Parser.Tokens |
KKindRegion | DDC.Core.Parser.Tokens |
KKindValue | DDC.Core.Parser.Tokens |
KKindWitness | DDC.Core.Parser.Tokens |
KLazy | DDC.Core.Parser.Tokens |
KLet | DDC.Core.Parser.Tokens |
KLetRec | DDC.Core.Parser.Tokens |
KLetRegion | DDC.Core.Parser.Tokens |
KLit | DDC.Core.Parser.Tokens |
KN | DDC.Core.Parser.Tokens |
KOf | DDC.Core.Parser.Tokens |
KPlus | DDC.Core.Parser.Tokens |
KPurify | DDC.Core.Parser.Tokens |
kRegion | DDC.Type.Compounds |
KRoundBra | DDC.Core.Parser.Tokens |
KRoundKet | DDC.Core.Parser.Tokens |
KSemiColon | DDC.Core.Parser.Tokens |
KSortComp | DDC.Core.Parser.Tokens |
KSortProp | DDC.Core.Parser.Tokens |
KSquareBra | DDC.Core.Parser.Tokens |
KSquareColonBra | DDC.Core.Parser.Tokens |
KSquareColonKet | DDC.Core.Parser.Tokens |
KSquareKet | DDC.Core.Parser.Tokens |
KTcConBuiltin | DDC.Core.Parser.Tokens |
KTwConBuiltin | DDC.Core.Parser.Tokens |
KUnderscore | DDC.Core.Parser.Tokens |
KVar | DDC.Core.Parser.Tokens |
KWbConBuiltin | DDC.Core.Parser.Tokens |
KWeakClo | DDC.Core.Parser.Tokens |
KWeakEff | DDC.Core.Parser.Tokens |
KWhere | DDC.Core.Parser.Tokens |
KWith | DDC.Core.Parser.Tokens |
KWithRegion | DDC.Core.Parser.Tokens |
kWitness | DDC.Type.Compounds |
langle | DDC.Core.Pretty |
lbrace | DDC.Core.Pretty |
lbracket | DDC.Core.Pretty |
LetLazy | DDC.Core.Exp |
LetMode | DDC.Core.Exp |
Lets | DDC.Core.Exp |
LetStrict | DDC.Core.Exp |
lexExp | DDC.Core.Parser.Lexer |
lift | DDC.Type.Env |
liftAtDepthT | DDC.Type.Transform.LiftT |
liftAtDepthW | DDC.Core.Transform.LiftW |
liftAtDepthX | DDC.Core.Transform.LiftX |
LiftT | DDC.Type.Transform.LiftT |
liftT | DDC.Type.Transform.LiftT |
LiftW | DDC.Core.Transform.LiftW |
liftW | DDC.Core.Transform.LiftW |
LiftX | DDC.Core.Transform.LiftX |
liftX | DDC.Core.Transform.LiftX |
line | DDC.Core.Pretty |
linebreak | DDC.Core.Pretty |
list | DDC.Core.Pretty |
LLet | DDC.Core.Exp |
LLetRegion | DDC.Core.Exp |
lookup | DDC.Type.Env |
lookupModeOfDataType | DDC.Core.DataDef |
lookupName | DDC.Type.Env |
lowerAtDepthT | DDC.Type.Transform.LowerT |
LowerT | DDC.Type.Transform.LowerT |
lowerT | DDC.Type.Transform.LowerT |
lparen | DDC.Core.Pretty |
LRec | DDC.Core.Exp |
LWithRegion | DDC.Core.Exp |
makeBindFromBinder | DDC.Type.Compounds |
makeSumArrayElem | DDC.Type.Sum |
makeXApps | DDC.Core.Compounds |
makeXLamFlags | DDC.Core.Compounds |
makeXLAMs | DDC.Core.Compounds |
makeXLams | DDC.Core.Compounds |
maskFromTaggedSet | DDC.Core.Check.TaggedClosure |
member | DDC.Type.Env |
memberBind | DDC.Type.Env |
namedBoundMatchesBind | DDC.Type.Compounds |
nest | DDC.Core.Pretty |
nesting | DDC.Core.Pretty |
parens | DDC.Core.Pretty |
Parser | |
1 (Type/Class) | DDC.Type.Parser |
2 (Type/Class) | DDC.Core.Parser |
partitionBindsByType | DDC.Type.Compounds |
Pat | DDC.Core.Exp |
pBinder | DDC.Type.Parser |
PData | DDC.Core.Exp |
PDefault | DDC.Core.Exp |
pExp | DDC.Core.Parser |
pIndex | DDC.Type.Parser |
ppr | DDC.Core.Pretty |
pprParen | DDC.Core.Pretty |
pprPrec | DDC.Core.Pretty |
Pretty | DDC.Core.Pretty |
pTok | DDC.Type.Parser |
pTokAs | DDC.Type.Parser |
pType | DDC.Type.Parser |
pTypeApp | DDC.Type.Parser |
pTypeAtom | DDC.Type.Parser |
punctuate | DDC.Core.Pretty |
pushBind | DDC.Type.Rewrite, DDC.Type.Transform.SubstituteT |
pushBinds | DDC.Type.Rewrite, DDC.Type.Transform.SubstituteT |
putDoc | DDC.Core.Pretty |
putDocLn | DDC.Core.Pretty |
pWitness | DDC.Core.Parser |
rangle | DDC.Core.Pretty |
RAnon | DDC.Type.Exp, DDC.Core.Exp |
rational | DDC.Core.Pretty |
rbrace | DDC.Core.Pretty |
rbracket | DDC.Core.Pretty |
readCon | DDC.Core.Parser.Lexer |
readTcConBuiltin | DDC.Core.Parser.Lexer |
readTwConBuiltin | DDC.Core.Parser.Lexer |
readVar | DDC.Core.Parser.Lexer |
readWbConBuiltin | DDC.Core.Parser.Lexer |
Region | DDC.Type.Exp, DDC.Core.Exp |
renameTok | DDC.Core.Parser.Tokens |
render | DDC.Core.Pretty |
renderCompact | DDC.Core.Pretty |
RenderIndent | DDC.Core.Pretty |
renderIndent | DDC.Core.Pretty |
RenderMode | DDC.Core.Pretty |
RenderPlain | DDC.Core.Pretty |
renderPlain | DDC.Core.Pretty |
replaceTypeOfBind | DDC.Type.Compounds |
replaceTypeOfBound | DDC.Type.Compounds |
result | DDC.Type.Check.Monad |
Rewrite | DDC.Type.Rewrite |
rewriteWith | DDC.Type.Rewrite |
RName | DDC.Type.Exp, DDC.Core.Exp |
RNone | DDC.Type.Exp, DDC.Core.Exp |
rparen | DDC.Core.Pretty |
SChar | DDC.Core.Pretty |
sComp | DDC.Type.Compounds |
semi | DDC.Core.Pretty |
semiBraces | DDC.Core.Pretty |
SEmpty | DDC.Core.Pretty |
sep | DDC.Core.Pretty |
setPrimFun | DDC.Type.Env |
SimpleDoc | DDC.Core.Pretty |
singleton | DDC.Type.Sum |
SLine | DDC.Core.Pretty |
SoCon | DDC.Type.Exp, DDC.Core.Exp |
SoConComp | DDC.Type.Exp, DDC.Core.Exp |
SoConProp | DDC.Type.Exp, DDC.Core.Exp |
softbreak | DDC.Core.Pretty |
softline | DDC.Core.Pretty |
Sort | DDC.Type.Exp, DDC.Core.Exp |
space | DDC.Core.Pretty |
specBindsOfLets | DDC.Core.Compounds |
SpreadT | DDC.Type.Transform.SpreadT |
spreadT | DDC.Type.Transform.SpreadT |
SpreadX | DDC.Core.Transform.SpreadX |
spreadX | DDC.Core.Transform.SpreadX |
sProp | DDC.Type.Compounds |
squote | DDC.Core.Pretty |
squotes | DDC.Core.Pretty |
stackAll | DDC.Type.Rewrite, DDC.Type.Transform.SubstituteT |
stackAnons | DDC.Type.Rewrite, DDC.Type.Transform.SubstituteT |
stackBinds | DDC.Type.Rewrite, DDC.Type.Transform.SubstituteT |
stackNamed | DDC.Type.Rewrite, DDC.Type.Transform.SubstituteT |
SText | DDC.Core.Pretty |
string | DDC.Core.Pretty |
Sub | |
1 (Type/Class) | DDC.Type.Rewrite |
2 (Data Constructor) | DDC.Type.Rewrite |
subBound | DDC.Type.Rewrite |
subConflict0 | DDC.Type.Rewrite |
subConflict1 | DDC.Type.Rewrite |
subShadow0 | DDC.Type.Rewrite |
subStack0 | DDC.Type.Rewrite |
subStack1 | DDC.Type.Rewrite |
substBound | DDC.Type.Rewrite, 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.Subsumes |
TaggedClosure | DDC.Core.Check.TaggedClosure, DDC.Core.Check.CheckExp |
taggedClosureOfTyArg | DDC.Core.Check.TaggedClosure |
taggedClosureOfValBound | DDC.Core.Check.TaggedClosure |
taggedClosureOfWeakClo | DDC.Core.Check.TaggedClosure |
takeCtorNameOfAlt | DDC.Core.Compounds |
takeDataTyConApps | DDC.Type.Compounds |
takeKFun | DDC.Type.Compounds |
takeKFuns | DDC.Type.Compounds |
takeKFuns' | DDC.Type.Compounds |
takeNameOfBind | DDC.Type.Compounds |
takeNameOfBound | DDC.Type.Compounds |
takeResultKind | DDC.Type.Compounds |
takeSortOfKiCon | DDC.Type.Check |
takeSubstBoundOfBind | DDC.Type.Compounds |
takeSumArrayElem | DDC.Type.Sum |
takeTApps | DDC.Type.Compounds |
takeTForalls | DDC.Type.Compounds |
takeTFun | DDC.Type.Compounds |
takeTFunArgResult | DDC.Type.Compounds |
takeTyConApps | DDC.Type.Compounds |
takeXApps | DDC.Core.Compounds |
takeXConApps | DDC.Core.Compounds |
takeXLamFlags | DDC.Core.Compounds |
takeXLAMs | DDC.Core.Compounds |
takeXLams | DDC.Core.Compounds |
takeXPrimApps | DDC.Core.Compounds |
tAlloc | DDC.Type.Compounds |
TApp | DDC.Type.Exp, DDC.Core.Exp |
tApp | DDC.Type.Compounds |
tApps | DDC.Type.Compounds |
tBot | DDC.Type.Compounds |
TcCon | DDC.Type.Exp, DDC.Core.Exp |
TcConAlloc | DDC.Type.Exp, DDC.Core.Exp |
TcConDeepAlloc | DDC.Type.Exp, DDC.Core.Exp |
TcConDeepRead | DDC.Type.Exp, DDC.Core.Exp |
TcConDeepUse | DDC.Type.Exp, DDC.Core.Exp |
TcConDeepWrite | DDC.Type.Exp, DDC.Core.Exp |
TcConFun | DDC.Type.Exp, DDC.Core.Exp |
TcConHeadRead | DDC.Type.Exp, DDC.Core.Exp |
TcConRead | DDC.Type.Exp, DDC.Core.Exp |
TcConUse | DDC.Type.Exp, DDC.Core.Exp |
TcConWrite | DDC.Type.Exp, DDC.Core.Exp |
TCon | DDC.Type.Exp, DDC.Core.Exp |
tConData0 | DDC.Type.Compounds |
tConData1 | DDC.Type.Compounds |
tConst | DDC.Type.Compounds |
tDeepAlloc | DDC.Type.Compounds |
tDeepConst | DDC.Type.Compounds |
tDeepGlobal | DDC.Type.Compounds |
tDeepMutable | DDC.Type.Compounds |
tDeepRead | DDC.Type.Compounds |
tDeepUse | DDC.Type.Compounds |
tDeepWrite | DDC.Type.Compounds |
tEmpty | DDC.Type.Compounds |
text | DDC.Core.Pretty |
TForall | DDC.Type.Exp, DDC.Core.Exp |
tForall | DDC.Type.Compounds |
tForalls | DDC.Type.Compounds |
tFun | DDC.Type.Compounds |
tFunPE | DDC.Type.Compounds |
tGlobal | DDC.Type.Compounds |
tHeadLazy | DDC.Type.Compounds |
tHeadRead | DDC.Type.Compounds |
throw | DDC.Type.Check.Monad |
tImpl | DDC.Type.Compounds |
tIx | DDC.Type.Compounds |
tLazy | DDC.Type.Compounds |
tManifest | DDC.Type.Compounds |
tMutable | DDC.Type.Compounds |
Tok | DDC.Core.Parser.Tokens |
TokAtom | DDC.Core.Parser.Tokens |
TokNamed | DDC.Core.Parser.Tokens |
toList | DDC.Type.Sum |
tPure | DDC.Type.Compounds |
tRead | DDC.Type.Compounds |
trimClosure | DDC.Type.Transform.Trim |
TSum | DDC.Type.Exp, DDC.Core.Exp |
tSum | DDC.Type.Compounds |
tupled | DDC.Core.Pretty |
tUse | DDC.Type.Compounds |
TVar | DDC.Type.Exp, DDC.Core.Exp |
TwCon | DDC.Type.Exp, DDC.Core.Exp |
TwConConst | DDC.Type.Exp, DDC.Core.Exp |
TwConDeepConst | DDC.Type.Exp, DDC.Core.Exp |
TwConDeepGlobal | DDC.Type.Exp, DDC.Core.Exp |
TwConDeepMutable | DDC.Type.Exp, DDC.Core.Exp |
TwConEmpty | DDC.Type.Exp, DDC.Core.Exp |
TwConGlobal | DDC.Type.Exp, DDC.Core.Exp |
TwConHeadLazy | DDC.Type.Exp, DDC.Core.Exp |
TwConImpl | DDC.Type.Exp, DDC.Core.Exp |
TwConLazy | DDC.Type.Exp, DDC.Core.Exp |
TwConManifest | DDC.Type.Exp, DDC.Core.Exp |
TwConMutable | DDC.Type.Exp, DDC.Core.Exp |
TwConPure | DDC.Type.Exp, DDC.Core.Exp |
tWrite | DDC.Type.Compounds |
TyCon | DDC.Type.Exp, DDC.Core.Exp |
TyConBound | DDC.Type.Exp, DDC.Core.Exp |
TyConHash | |
1 (Type/Class) | DDC.Type.Exp, DDC.Core.Exp |
2 (Data Constructor) | DDC.Type.Exp, DDC.Core.Exp |
TyConKind | DDC.Type.Exp, DDC.Core.Exp |
TyConSort | DDC.Type.Exp, DDC.Core.Exp |
TyConSpec | DDC.Type.Exp, DDC.Core.Exp |
TyConWitness | DDC.Type.Exp, DDC.Core.Exp |
Type | DDC.Type.Exp, DDC.Core.Exp |
typeOfBind | DDC.Type.Compounds |
typeOfBound | DDC.Type.Compounds |
typeOfExp | DDC.Core.Check.CheckExp, DDC.Core.Check |
typeOfWbCon | DDC.Core.Check.CheckWitness |
typeOfWiCon | DDC.Core.Check.CheckWitness, DDC.Core.Check |
typeOfWitness | DDC.Core.Check.CheckWitness, DDC.Core.Check |
TypeSum | |
1 (Type/Class) | DDC.Type.Exp, DDC.Core.Exp |
2 (Data Constructor) | DDC.Type.Exp, DDC.Core.Exp |
typeSumBoundAnon | DDC.Type.Exp, DDC.Core.Exp |
typeSumBoundNamed | DDC.Type.Exp, DDC.Core.Exp |
TypeSumCon | DDC.Type.Exp, DDC.Core.Exp |
typeSumElems | DDC.Type.Exp, DDC.Core.Exp |
typeSumKind | DDC.Type.Exp, DDC.Core.Exp |
typeSumSpill | DDC.Type.Exp, DDC.Core.Exp |
TypeSumVar | DDC.Type.Exp, DDC.Core.Exp |
TypeSumVarCon | DDC.Type.Exp, DDC.Core.Exp |
UIx | DDC.Type.Exp, DDC.Core.Exp |
UName | DDC.Type.Exp, DDC.Core.Exp |
unhashTyCon | DDC.Type.Sum |
union | |
1 (Function) | DDC.Type.Sum |
2 (Function) | DDC.Type.Env |
unions | DDC.Type.Sum |
Universe | DDC.Type.Universe |
UniverseData | DDC.Type.Universe |
universeFromType1 | DDC.Type.Universe |
universeFromType2 | DDC.Type.Universe |
universeFromType3 | DDC.Type.Universe |
UniverseKind | DDC.Type.Universe |
universeOfType | DDC.Type.Universe |
UniverseSort | DDC.Type.Universe |
UniverseSpec | DDC.Type.Universe |
UniverseWitness | DDC.Type.Universe |
UPrim | DDC.Type.Exp, DDC.Core.Exp |
use0 | DDC.Type.Rewrite |
use1 | DDC.Type.Rewrite |
valwitBindsOfLets | DDC.Core.Compounds |
vcat | DDC.Core.Pretty |
vsep | DDC.Core.Pretty |
WApp | DDC.Core.Exp |
WbCon | DDC.Core.Exp |
WbConAlloc | DDC.Core.Exp |
WbConEmpty | DDC.Core.Exp |
WbConPure | DDC.Core.Exp |
WbConRead | DDC.Core.Exp |
WbConUse | DDC.Core.Exp |
WCon | DDC.Core.Exp |
WiCon | DDC.Core.Exp |
WiConBound | DDC.Core.Exp |
WiConBuiltin | DDC.Core.Exp |
width | DDC.Core.Pretty |
Witness | DDC.Core.Exp |
WJoin | DDC.Core.Exp |
wrapTForalls | DDC.Type.Env |
WType | DDC.Core.Exp |
WVar | DDC.Core.Exp |
XApp | DDC.Core.Exp |
XCase | DDC.Core.Exp |
XCast | DDC.Core.Exp |
XCon | DDC.Core.Exp |
XLAM | DDC.Core.Exp |
XLam | DDC.Core.Exp |
XLet | DDC.Core.Exp |
XType | DDC.Core.Exp |
XVar | DDC.Core.Exp |
XWitness | DDC.Core.Exp |