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 

당신의 키는 Int의 그리고지도가 Map Int Int을 입력있다, 그래서 당신이 저장하고있는 값도 Int들입니다.

키가 String이고 값이 Bool 인 경우 맵의 유형은 Map String Bool입니다.