strict-containers-0.2.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. 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

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

Defined in Data.Strict.ContainersUtils.Autogen.TypeError