4

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

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

4

1 回答 1

3

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。

于 2012-06-09T01:42:33.903 回答