Safe Haskell | None |
---|---|
Language | Haskell98 |
- isEmptyType :: Range -> Type -> TCM ()
Documentation
isEmptyType :: Range -> Type -> TCM () Source
Check whether a type is empty. This check may be postponed as emptiness constraint.
Safe Haskell | None |
---|---|
Language | Haskell98 |
isEmptyType :: Range -> Type -> TCM () Source
Check whether a type is empty. This check may be postponed as emptiness constraint.