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