2017-10-16 4 views
0

상황읽기 유형 서명 : 유형 생성자 및 기능의 우선 순위

makeAff ∷ ∀ eff a. ((Either Error a → Eff eff Unit) → Eff eff (Canceler eff)) → Aff eff a 

https://github.com/slamdata/purescript-aff/blob/master/src/Control/Monad/Aff.purs#L365

질문

Either Error a → Eff eff Unit 

이는 ... 같은에서 읽을 수 있어야

  1. Error 또는 a → Eff eff Unit
  2. Either Error a를 받아 Eff eff Unit

을 반환하는 함수의 Either?

에는 특정 유형 중위 우선 순위가 있습니까?

+1

두 번째로 읽습니다. 타입 어플리케이션의 우선 순위는'→'보다 높습니다. 하스켈에서는 적어도'→'이 우선 순위가 가장 낮다. 또한 오른쪽에 연관되어 있습니다. – Alec

답변

2

응용 프로그램 (공백)은 하스켈에서 가장 높은 우선 순위 인 "연산자"인 반면 ->은 가장 낮습니다.