ハスケル型同義語

Question

私は、Yesodの次のタイプ同義語が何をしているのか理解しようとしています。

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

私はあなたにいくつかのHaskellのか->存在と型シノニムのHaskellのwikibookを学ぶの例を見つけることができませんでした。リンクや説明は大変ありがとうございます。ありがとう。

Answer 1

これはちょうどa（long to write down）関数型の同義語です。例えば、以下のものが有効でなければなりません。

--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 ++ "?"