Haskell,typesig Map.Map,LYAH

Question

我不太了解Map.Map部分.据我所知,当我导入限定为Map时,我需要将寻址前缀为"Map".但是通常后面跟着一个函数(例如"查找"),这里使用了两种类型.

import qualified Data.Map as Map 
phonebook :: Map.Map String String

我得到的电话簿需要一个字符串和一个字符串,但严格来说Map.Map表示它是一个关联列表,还是有更多呢？为什么省略箭头？

Answer 1

Data.Map导出一个名为的类型Map:

data Map k a

其定义是隐藏的.限定导入意味着要引用该类型,您需要在其前面添加您之后粘贴的名称as.所以Map.Map只是有限映射类型构造函数的名称.

Map.Map String String

只是从字符串到字符串的有限映射类型.