タイプレベルのレコード内のすべてのフィールドに関数を適用する

Question

タイプシステムで次のように簡単に行う方法はありますか？

data Product = Product { 
    id :: ProductId 
    , name :: Text 
    , sku :: SKU, quantity :: Int 
    , description :: Maybe Text 
    } 

data Omittable a = Omit | Present a 
type ProductWithOmittableFields = Omittable Product 

-- ProductWithOmittableFields is now equivalent to:\ 
-- 
-- data ProductWithOmittableFields = ProductWithOmmitableFields { 
--  id :: Omittable ProductId 
-- ,name :: Omittable Text 
-- ,sku : : Omittable SKU 
-- ,quantity :: Omittable Int 
-- ,desciption :: Omittable (Maybe Text) 
-- } 

これは、基本的には、コンテナ（ファンクタ？）タイプ・レベルでのレコードのすべてのフィールドに適用されるのいくつかの並べ替えです。

この考え方は、拡張可能なレコードライブラリでよりよく表現されますか？

編集ユースケースは、ユーザーによって変更されたフィールドのセットを表すUIレイヤーからProductWithOmittableFieldsが得られることです。我々は、DBからProductを取得する、と私たちはProduct

Answer 1

の新しい値に可能な方法を得るためにそれらをマージします：

import Control.Functor.Identity 

data Product k = Product { 
    id :: k ProductId 
    , name :: k Text 
    , sku :: k SKU 
    , quantity :: k Int 
    , description :: k (Maybe Text) 
    } 

data Omittable a = Omit | Present a 
type ProductWithOmittableFields = Product Omittable 
type ProductWithRegularFields = Product Identity 

例：

testOmit :: ProductWithOmittableFields 
testOmit = Product 
    { id = Present someProductId 
    , name = Omit 
    ... } 

testReg :: ProductWithRegularFields 
testReg = Product 
    { id = Identity someProductId 
    , name = Identity someText 
    ... } 

このアプローチは、唯一持っているが通常のケースではIdentityで各フィールドを折り返す小さな不便さ。