定义新的参数化异常类型

Question

我需要抛出一个异常,其中包含一些多态类型的东西a供处理程序处理,比如

data MyException a = MyException a
    deriving (Typeable)

我最初有一个Exception实例的地方:

instance Show (MyException a) where
    show _ = "MyException"
instance Exception (MyException a)

但是这是一个类型错误

No instance for (Typeable a)
  arising from the superclasses of an instance declaration
In the instance declaration for
  ‘Exception (MyException a)’

我需要做a一个Dynamic吗？这似乎是错的,因为我们已经在处理程序中做了那种强制性的东西.这样做的惯用方法是什么？

我在GHC 7.8上

Answer 1

我没有测试过,但这可能足以以这种方式修改你的代码:

instance Typeable a => Exception (MyException a)

(事实上​​,你真正要求的是

instance Typeable (MyException a) => Exception (MyException a)

但是因为这个deriving条款,你知道你随时都有上下文所要求的实例Typeable a.)