ViewPatterns GHC 확장을 사용하지 않고 타입 동의어의 데이터 생성자를 가져올 수 있습니까?

Question

모듈 A와 B 모두 Event 유형을 내보내고 있습니다. 모듈 C는 모듈 A의 Event에 대한 동의어를 정의하고이를 InputEvent이라고합니다.

내가 다음 모듈 D의 두 모듈 B와 모듈 C 소모 : 나는 InputEvent의 타입 생성자를 (예를 들어, MakeEvent)를 가져 오려고 할 경우, 그러나

module D where 

import B (Event) 
import C (InputEvent) 

를, 나는 오류가 발생합니다 :

Module 
‘C’ 
does not export 
‘InputEvent(MakeEvent)’ 

이것은 ViewPatterns GHC 확장을 이용하여 C 모듈로부터 MakeEvent 별칭 수출 의해 해결 될 수있다 :

makeEvent = MakeEvent 

그러나 ViewPatterns 확장명을 사용하지 않고 MakeEvent 데이터 생성자를 가져 오는 방법이 있습니까?

Answer 1

유형 동의어를 사용하여 추상화 장벽을 적용하지 마십시오. 작은 개인용 문자는 제외합니다. 그들은 잘하지 못합니다. Event을 숨기려면 newtype 및 패턴 동의어를 사용하십시오.