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.Predicates |
isAllocEffect | DDC.Type.Predicates, DDC.Core.Predicates |
isAtomT | DDC.Type.Predicates, DDC.Core.Predicates |
isAtomW | DDC.Core.Predicates |
isAtomX | DDC.Core.Predicates |
isBAnon | DDC.Type.Predicates, DDC.Core.Predicates |
isBName | DDC.Type.Predicates, DDC.Core.Predicates |
isBNone | DDC.Type.Predicates, DDC.Core.Predicates |
isBot | DDC.Type.Predicates, DDC.Core.Predicates |
isBoundExpWit | DDC.Type.Collect |
isClosureKind | DDC.Type.Predicates, DDC.Core.Predicates |
isConBody | DDC.Core.Lexer.Names, DDC.Core.Lexer |
isConName | DDC.Core.Lexer.Names, DDC.Core.Lexer |
isConStart | DDC.Core.Lexer.Names, DDC.Core.Lexer |
isConstWitType | DDC.Type.Predicates, DDC.Core.Predicates |
isDataKind | DDC.Type.Predicates, DDC.Core.Predicates |
isDistinctWitType | DDC.Type.Predicates, DDC.Core.Predicates |
isEffectKind | DDC.Type.Predicates, DDC.Core.Predicates |
isLambdaX | DDC.Core.Predicates |
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.Predicates |
isPDefault | DDC.Core.Predicates |
isPrim | DDC.Type.Env |
isReadEffect | DDC.Type.Predicates, DDC.Core.Predicates |
isRegionKind | DDC.Type.Predicates, DDC.Core.Predicates |
isSomeAllocEffect | DDC.Type.Predicates, DDC.Core.Predicates |
isSomeReadEffect | DDC.Type.Predicates, DDC.Core.Predicates |
isSomeWriteEffect | DDC.Type.Predicates, DDC.Core.Predicates |
isTVar | DDC.Type.Predicates, DDC.Core.Predicates |
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.Predicates |
isWitnessType | DDC.Type.Predicates, DDC.Core.Predicates |
isWriteEffect | DDC.Type.Predicates, DDC.Core.Predicates |
isXApp | DDC.Core.Predicates |
isXCon | DDC.Core.Predicates |
isXLAM | DDC.Core.Predicates |
isXLam | DDC.Core.Predicates |
isXType | DDC.Core.Predicates |
isXVar | DDC.Core.Predicates |
isXWitness | DDC.Core.Predicates |