| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.Strict.ContainersUtils.Autogen.TypeError
Description
Unsatisfiable constraints for functions being removed.
Documentation
class Whoops (a :: Symbol) Source #
The constraint Whoops s is unsatisfiable for every Symbol s.
Under GHC 8.0 and above, trying to use a function with a Whoops s
constraint will lead to a pretty type error explaining how to fix
the problem. Under earlier GHC versions, it will produce an extremely
ugly type error within which the desired message is buried.
Example
oldFunction :: Whoops "oldFunction is gone now. Use newFunction."
=> Int -> IntMap a -> IntMap a