데이터 생성자에 대한 확정 선언

Question

하스켈의 데이터 생성자에 대한 고정을 선언 할 수 있습니까? 예를 들어, 주어진 :

data A = (>>>) A A 

내가

infixl 4 >>> 

하나의 유형 만 생성자에 대한 정착을 선언 할 수 있습니다 보인다 the data type extensions 문서를 보면 선언하고 싶습니다. 하지만 적어도 시도한 방식으로는 작동하지 않는 것 같습니다.

infixl 7 A 
data A = (>>>) A A 

이 모든 작업을 수행 할 수 있습니까?

Answer 1

이 작업을 수행 할 수 있습니다. 중도 컴파일러는 항상 콜론으로 시작해야합니다.

infixl 7 :>>> 
data A = A :>>> A