summaryrefslogtreecommitdiff
path: root/stdlib/hashtbl.mli
Commit message (Expand)AuthorAgeFilesLines
* fix over-eager label erasure in documentation (#11870)Florian Angeletti2023-01-061-1/+1
* rename the type of the accumulator of fold functions to 'accValentin Gatien-Baron2023-01-021-3/+6
* stdlib: add an unsynchronized_access alert to mutable datatypesFlorian Angeletti2022-11-181-0/+12
* Remove .0 from all @since, @before and @afterDavid Allsopp2022-10-311-19/+19
* documentation: fixed labelled argumentsFardale2022-09-231-6/+6
* Add some examples to the stdlib's documentation (#11476)Simon Cruanes2022-09-141-2/+120
* make Hashtbl's randomized atomicFlorian Angeletti2022-05-031-1/+1
* Rename `Hashtbl.SeededHashedType.{hash => seeded_hash}` (#11157)Nicolás Ojeda Bär2022-04-061-3/+3
* documentation: fix broken references in moreLabelsFlorian Angeletti2022-03-071-1/+1
* odoc: References inside module types must be fully qualifiedJules Aguillon2022-01-281-2/+2
* Documentation of iterators and concurrent modificationXavier Leroy2021-06-251-3/+3
* Remove duplicate Iterators sections, unify elsewhereJohn Whitington2021-01-121-1/+1
* Rename tools/unlabel --> tools/sync_stdlib_docsJohn Whitington2020-09-101-4/+6
* "final" fixesJohn Whitington2020-08-061-2/+2
* Tildes back in ~random parameter in Hashtbl.createJohn Whitington2020-08-031-5/+5
* Check-typo and indenting all doneJohn Whitington2020-07-311-10/+13
* Fix smaller review comments from @dra27John Whitington2020-07-301-1/+1
* Tilde removal in place. Now will put them back in.John Whitington2020-07-291-14/+13
* check-typo fixesJohn Whitington2020-07-271-1/+2
* Restore Hashtbl.rebuild in .mli, fix docstringJohn Whitington2020-07-271-2/+18
* Resolving conflicts with injectivity workJohn Whitington2020-07-271-1/+1
* Replacing {!X.y} in doc comments with {!y}John Whitington2020-07-271-23/+23
* Added injectivity annots back (clash with GPR9781)John Whitington2020-07-231-2/+2
* Match documentation and labelsJohn Whitington2020-07-191-9/+10
* Make hashtbl.mli / set.mli / map.mli from labeledJohn Whitington2020-07-181-2/+5
* Stronger spec for Hashtbl.to_seq w.r.t. multiple bindings on the same keyalainfrisch2019-04-101-1/+4
* Fix doc for Hashtbl.to_seq_keys, to_seq_valuesalainfrisch2019-04-101-2/+2
* Stdlib doc: harmonize heading levels again. (#2142)Daniel Bünzli2018-11-081-1/+1
* Deprecate Pervasives (#1605)Jérémie Dimino2018-08-271-2/+2
* Stdlib functional iterators (#1002)Simon Cruanes2018-03-161-0/+69
* PR#7363: start documentation headers at {1octachron2017-10-041-3/+3
* Documentation: improve @since annotationsTörök Edwin2017-02-211-4/+13
* Option-returning variants of stdlib functions (#885)Alain Frisch2016-11-071-0/+7
* Merge remote-tracking branch 'origin/4.03' into trunkDamien Doligez2016-07-071-3/+1
|\
| * add missings since 4.03.0 tags in stdlib.Grégoire Lionnet2016-05-211-1/+2
| * Turn on warning 50 for the standard libraryLeo White2016-03-281-0/+4
| * Remove ;; from stdlib mli filesLeo White2016-03-281-1/+1
* | Add missing @since attributes.alainfrisch2016-06-201-1/+4
* | Merge tag 4.03.0 into trunk.Damien Doligez2016-04-281-1/+1
* | Also enable more warnings in stdlib/ and fix them.Alain Frisch2016-03-151-4/+8
|/
* Update headers for the new license.Damien Doligez2016-02-181-12/+14
* [Stdlib] Hashtbl: add a getter for randomizeFrançois Bobot2016-01-231-0/+5
* GPR#337: Hashtbl.filter_map_inplace.alainfrisch2016-01-221-2/+21
* merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16...Damien Doligez2015-07-171-1/+3
* [minor] documentation typo in HashtblGabriel Scherer2014-04-191-1/+1
* [minor] improvement over the Hashtbl docGabriel Scherer2014-04-191-5/+12
* an example of functor application for HashtblGabriel Scherer2014-04-191-0/+21
* PR#6208: Hashtbl.reset @since 4.00.0Damien Doligez2014-02-191-1/+2
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* Fix PR#5555Fabrice Le Fessant2012-05-151-3/+10
View Lorry Controller Status