7

我正在使用该genifunctors包为定义涉及类型族的类型生成函子实例。

第一个模块定义数据类型本身：

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
module Temp where

data Record (p :: (*,*))

type family Fst p where Fst (Record '(a,b)) = a
type family Snd p where Snd (Record '(a,b)) = b

data Bar s = Bar {
  field_a :: Fst s,
  field_b :: Snd s
}

newtype Baz a = Baz { getBaz :: Bar (Record '(Maybe a, [a])) }

这正如预期的那样工作：

λ> import Temp 
λ> :t Baz $ Bar (Just "a") ["b"] 
Baz $ Bar (Just "a") ["b"] :: Baz [Char]

该Functor实例在一个单独的模块中定义：

{-# LANGUAGE TemplateHaskell #-}
module Temp2 where

import Temp

import Data.Generics.Genifunctors

instance Functor (Baz a) where
  fmap = $(genFmap ''Baz)

并给出此错误：

λ> import Temp1
src/Temp2.hs:9:12-24: Exception when trying to run compile-time code: …
  unexpected TyCon: FamilyI (ClosedTypeFamilyD Temp.Fst [PlainTV p_1627394000] (Just StarT) [TySynEqn [AppT (ConT Temp.Record) (AppT (AppT (ConT GHC.Tuple.(,)) (VarT a_1627394001)) (VarT b_1627394002))] (VarT a_1627394001)]) []
Code: genFmap ''Baz
In the splice: $(genFmap ''Baz)

发生这种情况是因为genifunctors，就像 一样geniplate，只能处理来自newtype或data声明的类型构造函数。

这可以通过在递归检查之前规范化类型来解决。

那么，有没有办法在模板 Haskell 拼接中做到这一点？（即在Q单子内？）

4

0 回答 0