DDC.Type.Predicates

Predicates on type expressions.

Documentation

isBot :: Type n -> Bool

Test if some type is an empty TSum

isAtomT :: Type n -> Bool

Check whether a type is a TVar, TCon or is Bottom.

isDataKind :: Kind n -> Bool

Check if some kind is the data kind.

isRegionKind :: Region n -> Bool

Check if some kind is the region kind.

isEffectKind :: Kind n -> Bool

Check if some kind is the effect kind.

isClosureKind :: Kind n -> Bool

Check if some kind is the closure kind.

isWitnessKind :: Kind n -> Bool

Check if some kind is the witness kind.

isAlgDataType :: Eq n => Type n -> Bool

Check whether this type is that of algebraic data.

It needs to have an explicit data constructor out the front, and not a type variable. The constructor must not be the function constructor, and must return a value of kind *.