Data.Strict.ContainersUtils.Autogen.TypeError

Unsatisfiable constraints for functions being removed.

Documentation

class Whoops (a :: Symbol)

The constraint Whoops s is unsatisfiable for every Symbol s. Trying to use a function with a Whoops s constraint will lead to a pretty type error explaining how to fix the problem.

Example

oldFunction :: Whoops "oldFunction is gone now. Use newFunction."
            => Int -> IntMap a -> IntMap a

Instances

(TypeError ('Text a) :: Constraint) => Whoops a

Defined in Data.Strict.ContainersUtils.Autogen.TypeError