GHC.Genericsの提供する型を見る
Genericで生成された型を見ると併せて見るとわかりやすい
data V1 p 型の数が0のもの
data U1 p = U1 型の数が1のもの
data (:+:) f g p = L1 (f p) | R1 (g p) 直和
data (:*:) f g p = (f p) :*: (g p) 直積
newtype K1 i c p = K1 { unK1 :: c } 値コンストラクタの引数に当たる型を表す
e.g.
K1 R Int , K1 R Bool K1 P というのもあったがdeprecated newtype M1 i t f p = M1 { unM1 :: f p } i は、 D , C , S のいずれかを取る D : Datatype C : Constructor S : Record Selector #?? t には、メタ情報が含まれる各
i ごとに別の値をを取る D とのとき例えば
('MetaData "Hoge" "Fuga.Hoge" "main" 'False) は、それぞれ型名、module名、(mainは知らん)、newtypeかどうかを表す
newtypeならTrue, dataならFalseになる
C のとき例えば
('MetaCons "H2" 'PrefixI 'False) は、それぞれコンストラクタ名、fixity、レコードかどうかを表す
仮に
data I a = I a :&: a みたいな型を定義すれば、 InfixI になる仮に
data R = R { a :: String } みたいな型を定義すれば、最後はTrueになる S のときSelector名が示される
Record Selectorでない場合も。
Selectorってなに #??
data U1 p とか、 data V1 p の p の意味この
p がなしで定義するとどうなるかhsdata V1
data U1 = U1
data (f :+: g) = L1 f | R1 g
data (f :*: g) = f :*: gここで定義したデータ型をrepresentationとかと呼ぶ
これらは多相ではないので、
Rep f :: * と書ける(???????????)わからん
kindが
* なのはわかる f が何なのかわからんここで、このようなデータ型を使ってFunctorのinstanceにすることを考える
fmap :: (a -> b) -> Rep f -> Rep f 通常はこんな風にやる
fmap :: (a -> b) -> List a -> List b つまり、
Rep f :: * の場合だと、型引数を取れないので、 fmap を実装できないだから
p を追加することでhsdata V1 p
data U1 p = U1
data (f :+: g) p = L1 (f p) | R1 (g p)
data (f :*: g) p = (f p) :*: (g p) fmap :: (a -> b) -> Rep f a -> Rep f b とできるBut what happens to the type classes that work with * kinds? Our choices are:
の部分、おもろいこと言ってる感じがあるが理解できないので一旦スルー
参考
良い記事
理解しきれてないので、理解が進んでから再読したい