하스켈 타입 동의어

Question

저는 다음과 같은 타입 동의어 인 Yesod가 무엇을하는지 이해하려고합니다. 나는에서 예를 찾을 수 없습니다

type HtmlUrlI18n msg url = Translate msg -> Render url -> Html

는 당신에게 하스켈 또는 -> 현재와 유형 동의어의 하스켈 wikibook을 배운다. 모든 링크 또는 설명을 많이 주시면 감사하겠습니다. 감사.

Answer 1

a (long to write down) 함수 유형과 동의어입니다. 예를 들어, 다음은 유효해야합니다. Haskell

--Example of a function type synonym 
type StrFn = String -> String 

foo :: StrFn 
foo s = s ++ "!" 

--Example of a function type synonym with type parameters 
type Fn a = a -> a 

bar :: Fn String 
bar s = s ++ "?"