package ptmap
Maps of integers implemented as Patricia trees
Install
Dune Dependency
Authors
Maintainers
Sources
ptmap-2.0.5.tbz
sha256=ebd1f8afe8679a226fdcbcdb323788e6f63db57521b151473f2ff8c05c30f3aa
sha512=4a3f20d189d905cb588de3148361495adc40d5892473bf9cd7e49bc98558de29feb51efefb5aab77cad892dd288ad8fa0348832c78cc21e66539768a5a9cab5b
Description
An implementation inspired by Okasaki & Gill's paper 'Fast Mergeable Integer Maps'
Published: 04 Sep 2020
README
README.md
Integer map implementation using Patricia trees
Follows "Fast Mergeable Integer Maps" by Chris Okasaki and Andrew Gill (Workshop on ML, 1998)
Note: In 2017, a bug was found in the paper above, which is described in "QuickChecking Patricia Trees" by Jan Midtgaard. This is fixed in the present OCaml code.
Dependencies (4)
-
dune
>= "2.0.0" - seq
- stdlib-shims
- ocaml
Dev Dependencies
None
Used by (4)
-
coin
< "0.1.2" -
haxe
>= "4.0.0" -
hts_shrink
< "3.0.1" -
uuuu
< "0.2.0"
Conflicts
None
On This Page