異なるキータイプでIntMapを使用するには？

Question

私は2つのIntMaps使用した文書のレコードがあります。

data Doc = Doc { kernels :: IntMap Kernel, nodes :: IntMap Node } 

をしかし、私は両方のIntMapsから鍵が異なる意味を持っていることを発見し、私は2つの貴様の種類に分離するために失敗したときにミックスエラーを得ることはありませんカーネルタイプとノードタイプ。私は、カーネルマップとノードマップからキーをチェックする機能を持ち、ミックスアップを許可しません。例えば：

someFunction :: Doc -> KernelKey -> NodeKey -> a 
someFunction doc k1 k2 = ..... 

代わりの現在：

someFunction :: Doc -> Int -> Int -> a 
someFunction doc k1 k2 = .... -- warning check twice k1 and k2 

はそれがかのうですか？またはIntMapからMapに変更します。

おかげ

Answer 1

あなたはその意味を区別するためにInt周りのラッパーを作るためにnewtypeを使用することができます。

newtype KernelKey = KernelKey Int 
newtype NodeKey = NodeKey Int 

someFunction :: Doc -> KernelKey -> NodeKey -> a 
someFunction doc (KernelKey k1) (NodeKey k2) = ... 

そのように、あなたはまだ、内部IntMapを使用していますが、より多くのタイプセーフなインターフェイスを公開、あなたもKernelKeyとNodeKey値が作成されます方法を制御する場合は特に、あなたがユーザーように、自分のコンストラクタをエクスポートしない、つまりすることができ他の関数からの戻り値としてのみ取得します。

実行時にnewtypeラッパーが表示されなくなるため、この余分なラッピングとアンラッピングはパフォーマンスに何らかの影響を与えません。

Answer 2

統一されたキータイプを作成し、DocタイプのIntMap APIをラップすることができます。このように見えるかもしれません。

このソリューションの素晴らしい点は、必要なマップAPI関数を1つずつ必要とすることです。ここには、あなたが持っているコードに近い別の解決策があります。

newtype NodeKey = NodeKey Int 
newtype KernelKey = KernelKey Int 
lookupDocNode :: NodeKey -> Doc -> Maybe Node 
lookupDocKernel :: KernelKey -> Doc -> Maybe Kernel 

また、新しいタイプを使用せずにこの解決策を実行することもできます。これらのソリューションは両方とも型の安全性を提供します。最初のタイプでは、タイプで必要なものを指定する必要があります。 2番目の関数では、呼び出す関数を選択して指定します。