Haskell类型的同义词

Question

我试图了解Yesod的以下类型同义词正在做什么。

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

我找不到一个例子来了解一些haskell或haskell wikibook与->存在的类型同义词。任何链接或解释都非常感谢。感谢。

Answer 1

它只是（长期写下来）函数类型的同义词。例如，以下内容应该是有效的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 ++ "?"