Haskell Mapキーのタイプによって値のタイプが決定される

値のタイプがキーのタイプに依存するような方法でData.Mapを使用する方法はありますか？私は地図に間違った型付きの値を挿入することがないようにする必要があります。例えばHaskell Mapキーのタイプによって値のタイプが決定される

：その後、地図

Map (KeyType a) (ValType a)

に似たタイプを持つ必要があります。しかしaがバインドされていないため、これは明らかに動作しないのは、私がタイプKeyType aとValType a があるとしましょう。

それはあなたの KeyTypeと ValTypeで同じである必要がありますように、あなたは aをバインドするために型シノニムを使用することができます

ボールトのように聞こえるhttps://www.stackage.org/package/vault –

['dependent-map']（https://hackage.haskell.org/package/dependent-map）も参考にしてください –

：

type MapFor a = Map (KeyType a) (ValType a)

今、あなたはどこでもあなたが使用していたでしょう（いくつかの特定のa用）MapFor aを使用することができますMap (KeyType a) (ValType a)。

2017-05-09 06:00:49

これはある地図では、「a」が固定されているので、私のためには機能しません。私は 'a'を別のキーで違うものにしたい。私は「依存マップ」が私のために働くと思う。 –

答えて