问模板Haskell:在GHCi中实现reify
EN

Stack Overflow用户

提问于 2013-05-22 19:47:11

回答 1查看 1.7K关注 0票数 26

有没有可能用GHCi做reify？

当我尝试使用'runQ‘时，它会抱怨"can not do reify in the IO monad“。

>>> runQ (reify ''Bool)
Template Haskell error: Can't do `reify' in the IO monad
*** Exception: user error (Template Haskell failure)

我并不是在寻找:t之类的东西，只是想找到一种方法来快速检查reify返回的内容，而无需将其写入文件并将该文件加载到GHCi中。

回答已采纳

发布于 2013-05-22 20:27:07

您只需从拼接中运行它，而不是使用runQ

> $(stringE . show =<< reify ''Bool)
"TyConI (DataD [] GHC.Types.Bool [] [NormalC GHC.Types.False [],NormalC GHC.Types.True []] [])"

票数 31

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

原文链接：

https://stackoverflow.com/questions/16690925

复制

相似问题

问模板Haskell:在GHCi中实现reifyEN