Safe Haskell | Safe-Infered |
---|
Predicates on type expressions.
- isBot :: Type n -> Bool
- isAtomT :: Type n -> Bool
- isDataKind :: Kind n -> Bool
- isRegionKind :: Region n -> Bool
- isEffectKind :: Kind n -> Bool
- isClosureKind :: Kind n -> Bool
- isWitnessKind :: Kind n -> Bool
- isAlgDataType :: Eq n => Type n -> Bool
Documentation
isDataKind :: Kind n -> BoolSource
Check if some kind is the data kind.
isRegionKind :: Region n -> BoolSource
Check if some kind is the region kind.
isEffectKind :: Kind n -> BoolSource
Check if some kind is the effect kind.
isClosureKind :: Kind n -> BoolSource
Check if some kind is the closure kind.
isWitnessKind :: Kind n -> BoolSource
Check if some kind is the witness kind.