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 |