List.exists for Db

私はList.exists（）を使用しました。私は、Dbに相当するものがあるかどうかを知りたいと思っています。List.exists for Db

私は関数f（e）：boolを持っていれば、f（e） - > trueの要素eが少なくとも1つあるかどうかを知りたいと思います。現在、Db.intmap_fold_range（）を使用していますが、すべてのDbを反復処理しますが、最初の戻り値がtrueのときにパフォーマンスが停止する方が良いでしょう。

出典

2011-07-13 trecouvr

Db.intmap_fold_rangeを使用できる場合は、DBがIntMapだとします。

これはサンプルコードです：

// Testing function 
f(key, val) = key == 42 

// Check existence in "mymap" 
res = IntMap.exists(f, /mymap)

あなたがソースコードを見れば、あなたはそれが必要な要素:)（ファイル：stdlib/core/map/map.opa）にのみ折りたたみのために実装されていることがわかります

出典

2011-07-14 08:26:32 Fred

こんにちはIntMap.exists（f、/ mymap）は実行する前にDbから新しいマップを作成すると思いませんか？私は、毎回新しいマップが作成されるので、DbのMap関数を使用するのはパフォーマンスが悪いと聞いたことがあります（これはDb.intmap_fold_range（）を使用しているためです） – trecouvr

答えて

関連する問題