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

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

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

有没有办法制作一个函数

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

对领域本身没有任何了解？ （如果第一个参数的值什么都没有g将从第二个参数获取默认值）

这可以通过以下方式完成仿制药-sop，一个扩展 GHC 默认泛型机制的库。

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

{-# 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.

See here另一个关于泛型-sop 的例子。