keen/col/mut-cuckoo-filter

mut-cuckoo-filter record mut (has private fields)

Probabilistic set (has some false positives).

new mut-cuckoo-filter(capacity nat32)

Use a capacity higher than the number of hashes you will add. It's recommended to create a single mut-cuckoo-filter with a large capacity up-front and reuse it after calling clear.

size nat32(a mut-cuckoo-filter)

Number of values that have been successfully added

capacity nat32(a mut-cuckoo-filter)

Same value that was passed to new-with-capacity

clear void(a mut-cuckoo-filter)

This works in O(1) time (by incrementing an internal version).

probably-contains bool(a mut-cuckoo-filter, hash nat32)

If hash has been inserted, this will definitely return true. If hash was never inserted, this will probably return false. In other words, a response of false means the key is certainly not in the filter, but a response of true is uncertain.

try-add-result enum

already-contained

added

failed-to-add

try-add try-add-result(a mut-cuckoo-filter, hash nat32)

If this returns try-add-result, calls to probably-contains given hash will definitely return true. This may return try-add-result even if this exact hash was not added before. In that case it also guarantees that calls to probably-contains given hash will definitely return true. If there are too many conflics this will return try-add-result. In that case the call has no effect.