Question

Dec的最新（2.8.0.0）定义具有以下实例构造函数：

InstanceD Cxt Type [Dec]

似乎只能实例化一种类型。有办法解决这个问题吗？

Answer 1

是的，支持多参数类型类。

有些令人困惑的是， Type参数指的是整个实例头，即使它不是真正的类型，它看起来就像语法类型一样Type被重用于此目的。

因此，如果您要生成多参数instance Foo Int Bool，则需要使用＆＃34;类型＆＃34; Foo Int Bool，例如：{/ p>

(ConT (mkName "Foo") `AppT` ConT (mkName "Int")) `AppT` ConT (mkName "Bool")

这是一个完整的例子：

{-# LANGUAGE MultiParamTypeClasses, TemplateHaskell #-}

import Language.Haskell.TH

class Foo a b where
  foo :: (a, b)

$(return [InstanceD [] (((ConT (mkName "Foo")) `AppT` ConT (mkName "Int")) `AppT` ConT (mkName "Bool"))
   [ValD (VarP (mkName "foo")) 
         (NormalB (TupE [LitE (IntegerL 42), ConE (mkName "False")])) []]])

main = print (foo :: (Int, Bool))

Answer 2

回答这个问题的简单方法是使用runQ拼接定义。例如在ghci：

$ ghci
GHCi, version 7.4.1: http://www.haskell.org/ghc/  :? for help
Prelude> :set -XTemplateHaskell
Prelude> :set -XMultiParamTypeClasses 
Prelude> import Language.Haskell.TH
Prelude Language.Haskell.TH> class Class a b where
Prelude Language.Haskell.TH> runQ [d| instance Class Int Bool where |]
[InstanceD [] (AppT (AppT (ConT :Interactive.Class) (ConT GHC.Types.Int)) (ConT GHC.Types.Bool)) []]

这显示了所需的确切形式，将Class替换为您正在使用的任何类。

Template Haskell可以生成多参数类型类实例吗？

2 个答案: