Data.Map 类型声明

Question

import Data.Map as Map

test :: Int -> Int -> Map -> Map
test key value cache = Map.insert key value cache

错误：

`Map' is not applied to enough type arguments
Expected kind `??', but `Map' has kind `* -> * -> *'
In the type signature for `test': test :: Int -> Int -> Map -> Map

如何声明函数以将 Data.Map 作为参数传递？

Answer 1

你必须说出它是什么地图。

test :: Int -> Int -> Map Int Int -> Map Int Int
test key value cache = Map.insert key value cache

您的键是Ints，您存储的值也是Ints，因此您的地图类型为Map Int Int。

如果键是Strings，值是Bools，则映射的类型为Map String Bool。