| commit | 2dc21349d78caf84f2016d70432298c5febcef7b | |
| author | Waleed Khan <waleedk@fb.com> | |
| Thu, 12 Mar 2020 22:03:28 +0000 (12 15:03 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 12 Mar 2020 22:14:50 +0000 (12 15:14 -0700) | ||
| tree | 704b4de3a82603a607b63333e1c93f48d75b0904 | treesnapshot (tar.gz zip) |
| parent | 44142798d80f2e7ea1768cc80c421576e70adbd5 | commitdiff |
Enhance `HashSet` API
Summary:
Some improvements to the `HashSet` API:
* Make `create` take `unit` instead of `int`. Callers who want to create a fixed-size hashset have been ported to the new `of_list` constructor.
* Add labels to function parameters.
* Add `to_list`/`of_list` functions.
* Add a handful of utility functions (`union`, `intersect`, `filter`).
Also migrate to use `Core_kernel` internally.
Most of this commit is updating call-sites.
Differential Revision: D20269911
fbshipit-source-id: b2f1c87e6560d1c1afc02553021f869ce631df72
Summary:
Some improvements to the `HashSet` API:
* Make `create` take `unit` instead of `int`. Callers who want to create a fixed-size hashset have been ported to the new `of_list` constructor.
* Add labels to function parameters.
* Add `to_list`/`of_list` functions.
* Add a handful of utility functions (`union`, `intersect`, `filter`).
Also migrate to use `Core_kernel` internally.
Most of this commit is updating call-sites.
Differential Revision: D20269911
fbshipit-source-id: b2f1c87e6560d1c1afc02553021f869ce631df72
64 files changed: