5

Data.Map.Lazy と Data.Map.Strict が異なることは理解しています。しかし、Data.Map をインポートするとき、正確には何をインポートしているのでしょうか? 厳密なもの、遅延的なもの、またはその組み合わせですか?

4

1 に答える 1

9

怠け者。ドキュメントを見ると、

 module Data.Map.Lazy

怠惰なものをすべて再エクスポートしていることを意味します。以前はいくつかの追加機能を提供していましたが、これらはすべて非推奨でData.Foldableあり、厳格なバージョンのMap.

編集: リンクされたページのドキュメントの 2 行目には、遅延バージョンも再エクスポートすると記載されています。

キーから値への順序付きマップ (辞書) の効率的な実装。

このモジュールは、値 lazy Lazy API と、Strict からのいくつかの値 strict 関数を再エクスポートします。

ただし、言及されている機能はすべて非推奨です。

于 2013-09-25T19:45:00.153 に答える