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 |