├── .gitignore ├── .ocamlformat ├── CHANGES.md ├── CONTRIBUTING.md ├── LICENSE.md ├── Makefile ├── README.org ├── bench └── src │ ├── dune │ ├── import.ml │ ├── incr_map_bench_lib.ml │ ├── linear.ml │ ├── linear.mli │ ├── map.ml │ ├── map.mli │ ├── merge.ml │ ├── merge.mli │ ├── nested_sum.ml │ ├── nested_sum.mli │ ├── shares_per_symbol.ml │ ├── shares_per_symbol.mli │ ├── stats.ml │ ├── stats.mli │ ├── sum.ml │ └── sum.mli ├── collate ├── README.md ├── src │ ├── collate_params.ml │ ├── collate_params.mli │ ├── collated.ml │ ├── collated.mli │ ├── collated_intf.ml │ ├── dune │ ├── incr_map_collate.ml │ ├── incr_map_collate.mli │ ├── rank_from_start.ml │ └── rank_from_start.mli └── test │ ├── bench │ ├── bench.ml │ ├── bench.mli │ ├── dune │ ├── incr_map_collate_bench.ml │ └── incr_map_collate_bench.mli │ ├── collate_and_fold_tests.ml │ ├── collate_and_fold_tests.mli │ ├── concrete_tests.ml │ ├── concrete_tests.mli │ ├── dune │ ├── incr_map_collate_non_incremental.ml │ ├── incr_map_collate_non_incremental.mli │ ├── incr_map_collate_test.ml │ ├── key_and_range_tests.ml │ ├── key_and_range_tests.mli │ ├── key_rank_tests.ml │ ├── key_rank_tests.mli │ ├── quickcheck_generators.ml │ ├── quickcheck_generators.mli │ ├── test_collate_bisimulation.ml │ ├── test_collate_bisimulation.mli │ ├── test_edge_cases.ml │ ├── test_edge_cases.mli │ ├── test_rank_range_edge_cases.ml │ └── test_rank_range_edge_cases.mli ├── counting_multi_set └── src │ ├── counting_multi_set.ml │ ├── counting_multi_set.mli │ ├── dune │ └── import.ml ├── dune-project ├── erase_key ├── README.md ├── dune ├── src │ ├── dune │ ├── opaque_map.ml │ └── opaque_map.mli └── test │ ├── dune │ ├── import.ml │ └── opaque_map_test.ml ├── incr_map.opam ├── incr_set ├── dune ├── src │ ├── dune │ ├── import.ml │ ├── incr_set.ml │ └── incr_set.mli └── test │ ├── dune │ ├── import.ml │ ├── incr_set_test.ml │ ├── incr_set_test.mli │ ├── test_cartesian_product.ml │ ├── test_cartesian_product.mli │ ├── test_diff.ml │ ├── test_diff.mli │ ├── test_filter.ml │ ├── test_filter.mli │ ├── test_inter.ml │ ├── test_inter.mli │ ├── test_observe_changes_exn.ml │ ├── test_observe_changes_exn.mli │ ├── test_union.ml │ ├── test_union.mli │ ├── test_unordered_fold.ml │ ├── test_unordered_fold.mli │ ├── union_map_data.ml │ └── union_map_data.mli ├── src ├── dune ├── incr_map.ml ├── incr_map.mli └── incr_map_intf.ml └── test ├── benchmarks ├── dune ├── flamegraph_generation_tools │ ├── dune │ ├── generate_flamegraph_for_command.sh │ └── html_table.ml ├── html_table_like_benchmark.ml ├── html_table_like_benchmark.mli ├── import.ml ├── incr_map_benchmarks.ml ├── subrange_by_rank.ml └── subrange_by_rank.mli ├── dune ├── import.ml ├── incr_map_test.ml ├── map_operations.ml ├── map_operations.mli ├── merge_both_some.ml ├── merge_disjoint.ml ├── rand_map_helper.ml ├── rand_map_helper.mli ├── subrange_quickcheck_helper.ml ├── subrange_quickcheck_helper.mli ├── test_cartesian_map.ml ├── test_cartesian_map.mli ├── test_collapse.ml ├── test_counti.ml ├── test_counti.mli ├── test_counting_map.ml ├── test_counting_map.mli ├── test_cutoff.ml ├── test_expand.ml ├── test_expand.mli ├── test_flatten.ml ├── test_for_alli_and_existsi.ml ├── test_for_alli_and_existsi.mli ├── test_generics.ml ├── test_generics.mli ├── test_index_by.ml ├── test_instrument.ml ├── test_join.ml ├── test_keys.ml ├── test_lookup.ml ├── test_mapping.ml ├── test_merge.ml ├── test_observe_changes_exn.ml ├── test_observe_changes_exn.mli ├── test_of_set.ml ├── test_partition_map.ml ├── test_rank.ml ├── test_rekey.ml ├── test_separate.ml ├── test_subrange.ml ├── test_sum.ml ├── test_sum.mli ├── test_transpose.ml ├── test_unordered_fold.ml ├── test_unordered_fold_nested_maps.ml ├── test_unordered_fold_with_extra.ml ├── test_unzip.ml ├── test_unzip3.ml └── unzip_fails.ml /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | *.install 3 | *.merlin 4 | _opam 5 | 6 | -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- 1 | profile=janestreet 2 | -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/CHANGES.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/Makefile -------------------------------------------------------------------------------- /README.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/README.org -------------------------------------------------------------------------------- /bench/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/bench/src/dune -------------------------------------------------------------------------------- /bench/src/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/bench/src/import.ml -------------------------------------------------------------------------------- /bench/src/incr_map_bench_lib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/bench/src/incr_map_bench_lib.ml -------------------------------------------------------------------------------- /bench/src/linear.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/bench/src/linear.ml -------------------------------------------------------------------------------- /bench/src/linear.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /bench/src/map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/bench/src/map.ml -------------------------------------------------------------------------------- /bench/src/map.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /bench/src/merge.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/bench/src/merge.ml -------------------------------------------------------------------------------- /bench/src/merge.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /bench/src/nested_sum.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/bench/src/nested_sum.ml -------------------------------------------------------------------------------- /bench/src/nested_sum.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /bench/src/shares_per_symbol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/bench/src/shares_per_symbol.ml -------------------------------------------------------------------------------- /bench/src/shares_per_symbol.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /bench/src/stats.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/bench/src/stats.ml -------------------------------------------------------------------------------- /bench/src/stats.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/bench/src/stats.mli -------------------------------------------------------------------------------- /bench/src/sum.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/bench/src/sum.ml -------------------------------------------------------------------------------- /bench/src/sum.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/bench/src/sum.mli -------------------------------------------------------------------------------- /collate/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/README.md -------------------------------------------------------------------------------- /collate/src/collate_params.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/src/collate_params.ml -------------------------------------------------------------------------------- /collate/src/collate_params.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/src/collate_params.mli -------------------------------------------------------------------------------- /collate/src/collated.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/src/collated.ml -------------------------------------------------------------------------------- /collate/src/collated.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/src/collated.mli -------------------------------------------------------------------------------- /collate/src/collated_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/src/collated_intf.ml -------------------------------------------------------------------------------- /collate/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/src/dune -------------------------------------------------------------------------------- /collate/src/incr_map_collate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/src/incr_map_collate.ml -------------------------------------------------------------------------------- /collate/src/incr_map_collate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/src/incr_map_collate.mli -------------------------------------------------------------------------------- /collate/src/rank_from_start.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/src/rank_from_start.ml -------------------------------------------------------------------------------- /collate/src/rank_from_start.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/src/rank_from_start.mli -------------------------------------------------------------------------------- /collate/test/bench/bench.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/bench/bench.ml -------------------------------------------------------------------------------- /collate/test/bench/bench.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/bench/bench.mli -------------------------------------------------------------------------------- /collate/test/bench/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/bench/dune -------------------------------------------------------------------------------- /collate/test/bench/incr_map_collate_bench.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/bench/incr_map_collate_bench.ml -------------------------------------------------------------------------------- /collate/test/bench/incr_map_collate_bench.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /collate/test/collate_and_fold_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/collate_and_fold_tests.ml -------------------------------------------------------------------------------- /collate/test/collate_and_fold_tests.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /collate/test/concrete_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/concrete_tests.ml -------------------------------------------------------------------------------- /collate/test/concrete_tests.mli: -------------------------------------------------------------------------------- 1 | (* intentionally blank *) 2 | -------------------------------------------------------------------------------- /collate/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/dune -------------------------------------------------------------------------------- /collate/test/incr_map_collate_non_incremental.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/incr_map_collate_non_incremental.ml -------------------------------------------------------------------------------- /collate/test/incr_map_collate_non_incremental.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/incr_map_collate_non_incremental.mli -------------------------------------------------------------------------------- /collate/test/incr_map_collate_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/incr_map_collate_test.ml -------------------------------------------------------------------------------- /collate/test/key_and_range_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/key_and_range_tests.ml -------------------------------------------------------------------------------- /collate/test/key_and_range_tests.mli: -------------------------------------------------------------------------------- 1 | (* intentionally blank *) 2 | -------------------------------------------------------------------------------- /collate/test/key_rank_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/key_rank_tests.ml -------------------------------------------------------------------------------- /collate/test/key_rank_tests.mli: -------------------------------------------------------------------------------- 1 | (*_ Intentionally left empty. *) 2 | -------------------------------------------------------------------------------- /collate/test/quickcheck_generators.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/quickcheck_generators.ml -------------------------------------------------------------------------------- /collate/test/quickcheck_generators.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/quickcheck_generators.mli -------------------------------------------------------------------------------- /collate/test/test_collate_bisimulation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/test_collate_bisimulation.ml -------------------------------------------------------------------------------- /collate/test/test_collate_bisimulation.mli: -------------------------------------------------------------------------------- 1 | (* Bisimulation tests that avoid known bugs *) 2 | -------------------------------------------------------------------------------- /collate/test/test_edge_cases.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/test_edge_cases.ml -------------------------------------------------------------------------------- /collate/test/test_edge_cases.mli: -------------------------------------------------------------------------------- 1 | (* This file is intentionally empty *) 2 | -------------------------------------------------------------------------------- /collate/test/test_rank_range_edge_cases.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/test_rank_range_edge_cases.ml -------------------------------------------------------------------------------- /collate/test/test_rank_range_edge_cases.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/collate/test/test_rank_range_edge_cases.mli -------------------------------------------------------------------------------- /counting_multi_set/src/counting_multi_set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/counting_multi_set/src/counting_multi_set.ml -------------------------------------------------------------------------------- /counting_multi_set/src/counting_multi_set.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/counting_multi_set/src/counting_multi_set.mli -------------------------------------------------------------------------------- /counting_multi_set/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/counting_multi_set/src/dune -------------------------------------------------------------------------------- /counting_multi_set/src/import.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 3.17) 2 | -------------------------------------------------------------------------------- /erase_key/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/erase_key/README.md -------------------------------------------------------------------------------- /erase_key/dune: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /erase_key/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/erase_key/src/dune -------------------------------------------------------------------------------- /erase_key/src/opaque_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/erase_key/src/opaque_map.ml -------------------------------------------------------------------------------- /erase_key/src/opaque_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/erase_key/src/opaque_map.mli -------------------------------------------------------------------------------- /erase_key/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/erase_key/test/dune -------------------------------------------------------------------------------- /erase_key/test/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/erase_key/test/import.ml -------------------------------------------------------------------------------- /erase_key/test/opaque_map_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/erase_key/test/opaque_map_test.ml -------------------------------------------------------------------------------- /incr_map.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/incr_map.opam -------------------------------------------------------------------------------- /incr_set/dune: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /incr_set/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/incr_set/src/dune -------------------------------------------------------------------------------- /incr_set/src/import.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /incr_set/src/incr_set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/incr_set/src/incr_set.ml -------------------------------------------------------------------------------- /incr_set/src/incr_set.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/incr_set/src/incr_set.mli -------------------------------------------------------------------------------- /incr_set/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/incr_set/test/dune -------------------------------------------------------------------------------- /incr_set/test/import.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /incr_set/test/incr_set_test.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /incr_set/test/incr_set_test.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /incr_set/test/test_cartesian_product.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/incr_set/test/test_cartesian_product.ml -------------------------------------------------------------------------------- /incr_set/test/test_cartesian_product.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /incr_set/test/test_diff.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/incr_set/test/test_diff.ml -------------------------------------------------------------------------------- /incr_set/test/test_diff.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /incr_set/test/test_filter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/incr_set/test/test_filter.ml -------------------------------------------------------------------------------- /incr_set/test/test_filter.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /incr_set/test/test_inter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/incr_set/test/test_inter.ml -------------------------------------------------------------------------------- /incr_set/test/test_inter.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /incr_set/test/test_observe_changes_exn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/incr_set/test/test_observe_changes_exn.ml -------------------------------------------------------------------------------- /incr_set/test/test_observe_changes_exn.mli: -------------------------------------------------------------------------------- 1 | (** Empty *) 2 | -------------------------------------------------------------------------------- /incr_set/test/test_union.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/incr_set/test/test_union.ml -------------------------------------------------------------------------------- /incr_set/test/test_union.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /incr_set/test/test_unordered_fold.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/incr_set/test/test_unordered_fold.ml -------------------------------------------------------------------------------- /incr_set/test/test_unordered_fold.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /incr_set/test/union_map_data.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/incr_set/test/union_map_data.ml -------------------------------------------------------------------------------- /incr_set/test/union_map_data.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/src/dune -------------------------------------------------------------------------------- /src/incr_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/src/incr_map.ml -------------------------------------------------------------------------------- /src/incr_map.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/src/incr_map.mli -------------------------------------------------------------------------------- /src/incr_map_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/src/incr_map_intf.ml -------------------------------------------------------------------------------- /test/benchmarks/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/benchmarks/dune -------------------------------------------------------------------------------- /test/benchmarks/flamegraph_generation_tools/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/benchmarks/flamegraph_generation_tools/dune -------------------------------------------------------------------------------- /test/benchmarks/flamegraph_generation_tools/generate_flamegraph_for_command.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/benchmarks/flamegraph_generation_tools/generate_flamegraph_for_command.sh -------------------------------------------------------------------------------- /test/benchmarks/flamegraph_generation_tools/html_table.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/benchmarks/flamegraph_generation_tools/html_table.ml -------------------------------------------------------------------------------- /test/benchmarks/html_table_like_benchmark.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/benchmarks/html_table_like_benchmark.ml -------------------------------------------------------------------------------- /test/benchmarks/html_table_like_benchmark.mli: -------------------------------------------------------------------------------- 1 | open Core 2 | 3 | val for_perf_cmd : Command.t 4 | -------------------------------------------------------------------------------- /test/benchmarks/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/benchmarks/import.ml -------------------------------------------------------------------------------- /test/benchmarks/incr_map_benchmarks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/benchmarks/incr_map_benchmarks.ml -------------------------------------------------------------------------------- /test/benchmarks/subrange_by_rank.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/benchmarks/subrange_by_rank.ml -------------------------------------------------------------------------------- /test/benchmarks/subrange_by_rank.mli: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/dune -------------------------------------------------------------------------------- /test/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/import.ml -------------------------------------------------------------------------------- /test/incr_map_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/incr_map_test.ml -------------------------------------------------------------------------------- /test/map_operations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/map_operations.ml -------------------------------------------------------------------------------- /test/map_operations.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/map_operations.mli -------------------------------------------------------------------------------- /test/merge_both_some.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/merge_both_some.ml -------------------------------------------------------------------------------- /test/merge_disjoint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/merge_disjoint.ml -------------------------------------------------------------------------------- /test/rand_map_helper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/rand_map_helper.ml -------------------------------------------------------------------------------- /test/rand_map_helper.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/rand_map_helper.mli -------------------------------------------------------------------------------- /test/subrange_quickcheck_helper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/subrange_quickcheck_helper.ml -------------------------------------------------------------------------------- /test/subrange_quickcheck_helper.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/subrange_quickcheck_helper.mli -------------------------------------------------------------------------------- /test/test_cartesian_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_cartesian_map.ml -------------------------------------------------------------------------------- /test/test_cartesian_map.mli: -------------------------------------------------------------------------------- 1 | (* this file is intentionally empty *) 2 | -------------------------------------------------------------------------------- /test/test_collapse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_collapse.ml -------------------------------------------------------------------------------- /test/test_counti.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_counti.ml -------------------------------------------------------------------------------- /test/test_counti.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /test/test_counting_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_counting_map.ml -------------------------------------------------------------------------------- /test/test_counting_map.mli: -------------------------------------------------------------------------------- 1 | (* this file is intentionally empty *) 2 | -------------------------------------------------------------------------------- /test/test_cutoff.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_cutoff.ml -------------------------------------------------------------------------------- /test/test_expand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_expand.ml -------------------------------------------------------------------------------- /test/test_expand.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /test/test_flatten.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_flatten.ml -------------------------------------------------------------------------------- /test/test_for_alli_and_existsi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_for_alli_and_existsi.ml -------------------------------------------------------------------------------- /test/test_for_alli_and_existsi.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /test/test_generics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_generics.ml -------------------------------------------------------------------------------- /test/test_generics.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /test/test_index_by.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_index_by.ml -------------------------------------------------------------------------------- /test/test_instrument.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_instrument.ml -------------------------------------------------------------------------------- /test/test_join.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_join.ml -------------------------------------------------------------------------------- /test/test_keys.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_keys.ml -------------------------------------------------------------------------------- /test/test_lookup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_lookup.ml -------------------------------------------------------------------------------- /test/test_mapping.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_mapping.ml -------------------------------------------------------------------------------- /test/test_merge.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_merge.ml -------------------------------------------------------------------------------- /test/test_observe_changes_exn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_observe_changes_exn.ml -------------------------------------------------------------------------------- /test/test_observe_changes_exn.mli: -------------------------------------------------------------------------------- 1 | (* Empty *) 2 | -------------------------------------------------------------------------------- /test/test_of_set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_of_set.ml -------------------------------------------------------------------------------- /test/test_partition_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_partition_map.ml -------------------------------------------------------------------------------- /test/test_rank.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_rank.ml -------------------------------------------------------------------------------- /test/test_rekey.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_rekey.ml -------------------------------------------------------------------------------- /test/test_separate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_separate.ml -------------------------------------------------------------------------------- /test/test_subrange.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_subrange.ml -------------------------------------------------------------------------------- /test/test_sum.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_sum.ml -------------------------------------------------------------------------------- /test/test_sum.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /test/test_transpose.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_transpose.ml -------------------------------------------------------------------------------- /test/test_unordered_fold.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_unordered_fold.ml -------------------------------------------------------------------------------- /test/test_unordered_fold_nested_maps.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_unordered_fold_nested_maps.ml -------------------------------------------------------------------------------- /test/test_unordered_fold_with_extra.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_unordered_fold_with_extra.ml -------------------------------------------------------------------------------- /test/test_unzip.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_unzip.ml -------------------------------------------------------------------------------- /test/test_unzip3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/test_unzip3.ml -------------------------------------------------------------------------------- /test/unzip_fails.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/incr_map/HEAD/test/unzip_fails.ml --------------------------------------------------------------------------------