| $: | 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 |