haskell - GHC-api 和类型检查类约束

Question

我正在尝试使用 ghc-api 构建一个简单的类似 ghci 的控制台。我已经到了可以提取Type's 的表达式使用exprType和评估它们的地步。还有一种简单的方法可以检查表达式的类型是否具有给定类的实例？

编辑：似乎我正在寻找的功能需要一个InstEnv，但我不知道在哪里可以找到它。

Answer 1

该isInstance方法可以满足您的要求。

ghci 中的示例：

> :set -XTemplateHaskell
> import Language.Haskell.TH
> $(stringE . show =<< (isInstance ''Functor . (: []) =<< [t| [] |]))
"True"
> $(stringE . show =<< (isInstance ''Show . (: []) =<< [t| Maybe Int |]))
"True"
$(stringE . show =<< (isInstance ''Show . (: []) =<< [t| (Int -> Bool) |]))
"False"

它的类型 sig 是

isInstance :: Name -> [Type] -> Q Bool

''即，您为类命名（使用或使用函数检索mkName），然后传递类型以检查该类（如果该类是多参数类型类，则需要多个类型）。然后它将在 Q monad 中返回 True 或 False。