haskell通過映射在參數

Question

我怎麼可以將一個Data.Map映射Int到haskell中的[Char]？函數標題的外觀如何？讓我們假設該函數將返回一個int

import qualified Data.Map as M 
someFunction :: <insert your answer here> -> Int

Answer 1

一個工作和編譯的例子：

module Foo where 
import qualified Data.Map as M 
mapSize :: M.Map Int [Char] -> Int 
mapSize m = M.size m 

，它可以讓你做的事情，說在GHCI，像

*Foo> let m = M.fromList [(2,"abc"), (3,"cde")] :: M.Map Int [Char] 
*Foo> mapSize m 
2 

Answer 2

這取決於您如何導入Data.Map。如果你導入的Data.Map不合格（你很可能不這樣做，這就是爲什麼我選擇它作爲例子）），它將是Map Int [Char]。我怎麼知道？簡單，documentation說：

data Map k a

一個地圖從鍵k到值。

Answer 3

那麼，例如，const 5 :: Map Int [Char] -> Int。