strict-containers-0.1: Strict containers.
Safe HaskellSafe
LanguageHaskell2010

Data.Strict.ContainersUtils.Autogen.TypeError

Description

Unsatisfiable constraints for functions being removed.

Synopsis

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

Instances

Instances details
(TypeError ('Text a) :: Constraint) => Whoops a Source # 
Instance details

Defined in Data.Strict.ContainersUtils.Autogen.TypeError