模板Haskell：在GHCi中實現

Question

是它在某種程度上可以做到具體化在GHCI？

當我使用'runQ'嘗試它時，它抱怨“無法在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中。

Answer 1

你只需要從拼接而不是使用runQ運行它：

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