DuplicateRecordFields로 레코드 업데이트를 명확히합니다.

Question

DuplicateRecordFields (+ OverloadedLabels) 확장 프로그램을 사용하고 있으며 레코드 업데이트에서 명확하게 구분할 수없는 상황이 발생했습니다. 이 일을 할 수있는 방법이

data A = A { name :: String } 
data B = B { name :: String } 

combine :: A -> B -> A 
combine a b = a { name = name b } 

있습니까 : 여기

은 간단한 예입니다?

Answer 1

당신은 패턴에서 이름과 일치 수 :

data A = A { name :: String } 
data B = B { name :: String } 

combine :: A -> B -> A 
combine a B{name = nb} = a { name = nb } 

그래도 난 DuplicateRecordFields의 팬이 아니에요. 왜 대신 the lens route 가야합니까?

{-# LANGUAGE TemplateHaskell, FlexibleInstances, FunctionalDependencies #-} 

import Control.Lens 
import Control.Lens.TH 

data A = A { _aName :: String } 
makeFields ''A 
data B = B { _bName :: String } 
makeFields ''B 

combine :: A -> B -> A 
combine a b = a & name .~ b^.name 

Answer 2

나는 현재 GHC는 인수에서 레코드 필드의 유형을 추론하지 않습니다 -XDuplicateRecordFields에 대한 이전 질문 중 하나에 대답

• Silly duplicated record fields error

당신은 지금 할 수있는 일 다음과 같이 name 추출기 유형을 명시 적으로 지정하는 것입니다.

{-# LANGUAGE DuplicateRecordFields #-} 

data A = A { name :: String } 
data B = B { name :: String } 

combine :: A -> B -> A 
combine a b = a { name = (name :: B -> String) b }