Safe Haskell | Safe-Infered |
---|
- isReallyEmptyType :: Type -> TCM ()
- isEmptyType :: Type -> TCM ()
Documentation
isReallyEmptyType :: Type -> TCM ()Source
Make sure that a type is empty.
isEmptyType :: Type -> TCM ()Source
Safe Haskell | Safe-Infered |
---|
isReallyEmptyType :: Type -> TCM ()Source
Make sure that a type is empty.
isEmptyType :: Type -> TCM ()Source