Commit graph

9 commits

Author SHA1 Message Date
Simon Cruanes
d694d20b26 modify CCPersistentHashtbl.merge and add CCMap.merge_safe 2016-03-14 20:13:20 +01:00
Simon Cruanes
33dd681acd update headers 2016-03-14 20:04:52 +01:00
jkloos
fecbd7683a Make CCPersistentHashtbl.S.merge more general.
This patch brings the merge function of CCPersistentHashtbl
in line with the merge functions of other maps
(Map, BatMap from batteries). In particular, its signature
changes from the restrictive
  merge: (key -> 'a option -> 'a option -> 'a option) ->
    'a t -> 'a t -> 'a t
to a more general
  merge: (key -> 'a option -> 'b option -> 'c option) ->
    'a t -> 'b t -> 'c t
2016-03-09 11:28:55 +01:00
Fourchaux
44387de784 Correction typos (fichiers src) 2015-11-08 22:27:59 +01:00
Simon Cruanes
60aea81750 prepare for 0.14 2015-11-08 13:04:09 +01:00
Simon Cruanes
e1e51470f1 add CCHashtbl.add mimicking the stdlib Hashtbl.add 2015-10-22 22:43:00 +02:00
Simon Cruanes
54c2e4541e add CCPersistentHashtbl.stats 2015-10-21 22:48:51 +02:00
Simon Cruanes
ac180aa339 remove trailing whitespace 2015-03-02 23:39:10 +01:00
Simon Cruanes
61465fa19a remove cgi/; move sub-libraries to their own subdir each; mv everything into src/ 2014-12-16 23:41:59 +01:00
Renamed from core/CCPersistentHashtbl.mli (Browse further)