유형 수준의 레코드에있는 모든 필드에 함수 적용

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) 
-- } 

(펑?).

이 아이디어가 확장 가능한 레코드 라이브러리로 더 잘 표현되어 있습니까?

편집 사용 사례는 사용자가 변경 한 필드 집합을 나타내는 ProductWithOmittableFields을 UI 레이어에서 가져옵니다. 우리는 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으로 감싸는 사소한 불편 함.