Question

例如：

let context = sequence [classP (mkName "Eq") [varT (mkName "a")]]
in
  [d| instance $(context) => Bar (Foo a) where
         quux _ = undefined
  |]

我想要的结果是instance Eq a => Bar (Foo a) where quux _ = undefined，但是，模板Haskell正确地抱怨context的类型为Q Cxt，而不是预期的Q Type。

有没有办法在不必直接使用构造函数InstanceD的情况下指定实例声明的约束？

Answer 1

我不认为Template Haskell目前直接支持拼接类型上下文（这只是猜测）。

但是，您可以定义一个函数来在所有DecsQ类型类实例上附加上下文：

appendInstancesCxtQ :: DecsQ -> Q Cxt -> DecsQ
appendInstancesCxtQ = liftM2 $ \ds c -> map (`appendInstanceCxt` c) ds
  where appendInstanceCxt (InstanceD c ts ds) c' = InstanceD (c++c') ts ds
        appendInstanceCxt d                   _  = d

然后，您可以使用它来修改准引用表达式的结果：

let v = varT $ mkName "a"
    context = sequence [[t| Eq $v |]]
in
  [d| instance Bar (Foo $v) where
        quux _ = undefined
  |] `appendInstancesCxtQ` context

它看起来不太好，但它仍然比在InstanceD构造函数之上构建所有内容更好。

如何在类实例声明中拼接类型上下文？

1 个答案: