incr_mapversion
Helpers for incremental operations on map like data structures
A set of functions for operating incrementally and efficiently on map like data structures. This leverages new functionality in Incremental along with the ability to efficiently diff map data structures using =Map.symmetric_diff=.
Author | Jane Street Group, LLC |
---|---|
License | MIT |
Published | |
Homepage | https://github.com/janestreet/incr_map |
Issue Tracker | https://github.com/janestreet/incr_map/issues |
Maintainer | Jane Street developers |
Available | arch != "arm32" & arch != "x86_32" |
Dependencies |
|
Source [http] | https://github.com/janestreet/incr_map/archive/refs/tags/v0.17.0.tar.gz sha256=91acc784e4760af8544c4504bee1a9f6d7385eb0620f8e56392cd193a250b7d2 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/incr_map/incr_map.v0.17.0/opam |
Required by
- bonsai>=v0.17.0
- incr_dom>=v0.17.0
- incr_dom_interactive>=v0.17.0
- incr_dom_sexp_form>=v0.17.0