DDC.Type.Predicates

Binders

isBNone

isBAnon

isBName

Atoms

isTVar

isBot

isAtomT

isTExists

Kinds

isDataKind

isRegionKind

isEffectKind

isClosureKind

isWitnessKind

Data Types

isAlgDataType

isWitnessType

isConstWitType

isMutableWitType

isDistinctWitType

Effect Types

isReadEffect

isWriteEffect

isAllocEffect

isSomeReadEffect

isSomeWriteEffect

isSomeAllocEffect