Как я могу связать контекст типа в объявлении экземпляра класса?

Question

Например:

let context = sequence [classP (mkName "Eq") [varT (mkName "a")]] 
in 
    [d| instance $(context) => Bar (Foo a) where 
     quux _ = undefined 
    |] 

Результат, который я хочу instance Eq a => Bar (Foo a) where quux _ = undefined, однако, Template Haskell жалуется, справедливо, что context имеет тип Q Cxt вместо ожидаемого Q Type.

Есть ли способ указать ограничения объявления экземпляра без необходимости напрямую использовать конструктор InstanceD?

Answer 1

Я не думаю, что Template Haskell в настоящее время поддерживает контексты типа сращивания напрямую (это всего лишь предположение).

Однако, вы можете определить функцию для добавления контекстов всех DecsQ класса типов экземпляров:

appendInstancesCxtQ :: DecsQ -> Q Cxt -> DecsQ 
appendInstancesCxtQ = liftM2 $ \ds c -> map (`appendInstanceCxt` c) ds 
    where appendInstanceCxt (InstanceD c ts ds) c' = InstanceD (c++c') ts ds 
     appendInstanceCxt d     _ = d 

Затем, вы можете использовать его, чтобы изменить результат квази цитируемое выражения:

let v = varT $ mkName "a" 
    context = sequence [[t| Eq $v |]] 
in 
    [d| instance Bar (Foo $v) where 
     quux _ = undefined 
    |] `appendInstancesCxtQ` context 

Это не выглядит так хорошо, но все же лучше, чем строить все поверх конструктора InstanceD.