haskell - 有没有办法使用泛型将 Maybe 构造函数应用于记录的每个字段？

Question

我有两种数据类型，第二个是第一个数据类型的副本，但每个字段上都有 Maybe。

data A = {a :: Int, b :: String}
data B = {c :: Maybe Int, d :: Maybe String}

有没有办法制作一个函数

f :: A -> B
g :: B -> A -> A

对字段本身没有任何了解？ (如果第一个参数的值什么都没有 g 将从第二个参数中获取默认值)

Answer 1

这可以通过 generics-sop 来完成，一个扩展 GHC 默认泛型机制的库。

“generics-sop”可以获取常规记录并推导出它的通用表示。这种表示形式有一个包装每个字段的类型参数，并且该库允许 Applicative sequence-like跨记录字段的操作。

{-# language TypeOperators #-}
{-# language DeriveGeneric #-}
{-# language TypeFamilies #-}
{-# language DataKinds #-}

import qualified GHC.Generics as GHC
import Generics.SOP

data A = A {a :: Int, b :: String} deriving (Show,GHC.Generic)

instance Generic A -- this Generic is from generics-sop

defaulty :: (Generic a, Code a ~ '[ xs ]) => NP Maybe xs -> a -> a 
defaulty maybes r = case (from r) of
    SOP (Z np) -> let result = hliftA2 (\m i -> maybe i I m) maybes np
                  in  to (SOP (Z result))

main :: IO ()
main = do
   print $ defaulty (Nothing :* Just "bar" :* Nil) (A 99 "foo") 

Nothing :* Just "bar":* Nil 是与原始记录定义中的字段列表匹配的通用表示形式。请注意，表示中的每个字段都包含在 Maybe 中。

参见here另一个关于 generics-sop 的例子。