Db的List.exists的等价物

Question

我使用过List.exists（），我想知道Db是否有等价物。

如果我有函数f（e）：bool，我想知道是否存在至少一个元素e，其中f（e） - >真正。 目前我使用的是Db.intmap_fold_range（），但它遍历所有Db，而最好在第一次返回时停止表演。

Answer 1

如果你可以使用Db.intmap_fold_range，我想你的数据库是一个IntMap。

这是一个示例代码：

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

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

如果查看源代码，可以看到它仅用于折叠必要的元素:)（文件：stdlib/core/map/map.opa）