Index - I
| 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 |
| indent | DDC.Core.Pretty |
| insert | DDC.Type.Sum |
| insertDataDef | DDC.Type.DataDef |
| instantiateT | DDC.Type.Transform.Instantiate |
| instantiateTs | DDC.Type.Transform.Instantiate |
| int | DDC.Core.Pretty |
| integer | DDC.Core.Pretty |
| isAlgDataType | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isAllocEffect | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isAtomR | DDC.Core.Exp.Generic.Predicates |
| isAtomT | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isAtomW | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isAtomX | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isBAnon | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isBName | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isBNone | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isBot | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isBoundExpWit | DDC.Type.Collect |
| isClosureKind | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isConBody | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isConName | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isConsBox | DDC.Core.Call |
| isConStart | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isConstWitType | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isConsType | DDC.Core.Call |
| isConsValue | DDC.Core.Call |
| isDataKind | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isDistinctWitType | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isEffectKind | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isElimRun | DDC.Core.Call |
| isElimType | DDC.Core.Call |
| isElimValue | DDC.Core.Call |
| isLambdaX | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| isLitBody | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isLitName | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isLitStart | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isMainModule | DDC.Core.Module |
| isMainModuleName | DDC.Core.Module |
| isMutableWitType | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isOpBody | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isOpName | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isOpStart | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isPDefault | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isPrim | DDC.Type.Env |
| isReadEffect | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isRegionKind | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isSimpleR | DDC.Core.Exp.Generic.Pretty |
| isSimpleX | DDC.Core.Exp.Generic.Pretty |
| isSomeAllocEffect | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isSomeReadEffect | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isSomeWriteEffect | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isTExists | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isTopLetCtx | DDC.Core.Exp.Annot.Ctx |
| isTVar | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isVarBody | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isVarName | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isVarStart | DDC.Core.Lexer.Names, DDC.Core.Lexer |
| isWitnessKind | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isWitnessType | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isWriteEffect | DDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot |
| isXAbs | DDC.Core.Exp.Generic.Predicates |
| isXApp | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isXCast | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| isXCastBox | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| isXCastRun | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| isXCon | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isXLAM | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isXLam | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isXLet | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isXType | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| isXVar | |
| 1 (Function) | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Predicates |
| isXWitness | DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot |