gmap
gmap copied to clipboard
hannesm
heterogenous Map over a GADT
This PR provides a `compare_length_with` in the style of `List.compare_length_with` (hence the name). It serves the same purpose as `List.compare_length_with`: It can be used to replace instances like ```ocaml if...
this just uses monotonic clock for now (due to me being unable to use any fancy benchmarking libraries/tools). anyways, the results are (descriptions of TLAs are in bench.ml at top,...
leaving this here lest we forget about it. used fold and to_seq because their signature comments seem to guarantee the iteration order: https://caml.inria.fr/pub/docs/manual-ocaml/libref/Map.S.html
at the moment, every lookup (find, but also union, merge, equal) does two key comparisons: one to find the value in the map and the other to prove to the...