haskell - 数据记录的类约束

Question

我有一个数据类型:

data BuildException a = KillBuild JobID a Stage
                      | FailBuild JobID a Stage
                      | CancelBuild JobID a Stage
                      | StopBuild JobID a Stage
                         deriving Typeable

其中 a 必须有类 Foo 的实例。我记得读过(也许是在 RWH)虽然可以在 data 定义中包含类约束，但这是不可取的。那么执行此操作的正确方法是什么？

Answer 1

只需将类型约束应用于需要它的函数。例如:

makeException :: Foo a => String -> BuildException a

甚至可能有些函数不需要 Foo 约束，这可能使您的 API 客户端无需定义 就可以使用它的子集Foo 约束!如果它是数据记录定义的一部分，那将是不可能的。