opa - Db の List.exists に相当するもの

Question

私は List.exists( ) を使用しました。Db に相当するものがあるかどうか知りたいです。

関数 f(e) : bool がある場合、f(e) -> true の要素 e が少なくとも 1 つあるかどうかを知りたいです。現在、私は Db.intmap_fold_range( ) を使用していますが、すべての Db を反復処理しますが、最初に true が返された時点でパフォーマンスを停止する方がよいでしょう。

Answer 1

を使用できる場合、DB は IntMap であると思いますDb.intmap_fold_range。

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

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

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

ソースコードを見ると、必要な要素だけを折りたたむように実装されていることがわかります:) (ファイル: stdlib/core/map/map.opa )