Haskell：=运算符？

Question

http://www.haskell.org/haskellwiki/Memoization

显示此：

Map()   b := b 
    Map (Either a a') b := (Map a b, Map a' b) 
    Map (a,a')  b := Map a (Map a' b) 

毫无疑问，简单的东西，但我不认识的语法，也不谷歌也不知道了么“：=”操作符一样。 :-) 看起来像一个重载的构造函数定义，也许对于Assoc类？

一个老（戴维斯）哈斯克尔本书展示了这个PreludeArray模块中，但我没有发现，身边了。

Answer 1

在该网页的情况下，:=不作为一个真正的运营商。阅读它“翻译成”或“是同构的”。