GHC-api和类型检查类约束

Question

我正在尝试使用ghc-api构建一个简单的类似于ghci的控制台。我已经可以使用exprType来提取表达式的Type并计算它们了，有没有一种简单的方法来检查表达式的类型是否有一个给定类的实例？

编辑:似乎我正在寻找的函数需要一个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。