我正在尝试使用 ghc-api 构建一个简单的类似 ghci 的控制台。我已经到了可以提取Type
's 的表达式使用exprType
和评估它们的地步。还有一种简单的方法可以检查表达式的类型是否具有给定类的实例?
编辑:似乎我正在寻找的功能需要一个InstEnv
,但我不知道在哪里可以找到它。
该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。