文章/答案/技术大牛

发布

社区首页 >问答首页 >如何在类实例声明中拼接类型上下文？

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

Stack Overflow用户

提问于 2015-03-05 08:56:08

回答 1查看 66关注 0票数 3

例如：

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？

metaprogramming

template-haskell

haskell

回答 1

Stack Overflow用户

发布于 2015-12-07 01:27:55

我不认为模板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

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/28868123

复制

相似问题

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

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

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

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

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