Commit graph

33 commits

Author SHA1 Message Date
Simon Cruanes
3e50420ce8 add CCList.{head_opt,last_opt} 2016-09-25 19:34:05 +02:00
Simon Cruanes
4cfb82a3fe add test 2016-04-25 11:51:38 +02:00
Glen Mével
f57d7267ac bug fix for CCList.range_by 2016-04-25 11:39:03 +02:00
Glen Mével
fb97af680b add CCList.range_by 2016-04-25 00:56:05 +02:00
Simon Cruanes
d3b6f6020f add CCList.{sorted_insert,is_sorted} 2016-04-22 15:19:22 +02:00
Simon Cruanes
22b001c600 add CCList.fold_filter_map 2016-03-29 11:52:16 +02:00
Simon Cruanes
8d41623ba5 add {CCArray,CCVector,CCList}.(--^) for right-open ranges 2016-03-26 12:05:31 +01:00
Simon Cruanes
d6487a02a0 add CCList.Assoc.remove 2016-03-08 15:50:11 +01:00
Simon Cruanes
903dac110b add {CCList,CCOpt}.Infix modules 2016-02-24 20:38:22 +01:00
Simon Cruanes
23e3544adc add CCList.hd_tl 2016-02-23 15:34:26 +01:00
Simon Cruanes
34445bead0 replace headers in the rest of containers core 2016-02-20 23:24:24 +01:00
Simon Cruanes
b8beed4587 add CCList.Assoc.update 2016-02-18 15:49:53 +01:00
Simon Cruanes
dcfbff7827 add CCList.Assoc.mem 2016-02-18 15:40:40 +01:00
Simon Cruanes
cf931aabb1 add CCList.fold_map2 2016-01-05 16:53:33 +01:00
Fourchaux
44387de784 Correction typos (fichiers src) 2015-11-08 22:27:59 +01:00
Simon Cruanes
79f872daf4 more functions in CCList.Zipper 2015-10-16 23:29:15 +02:00
Simon Cruanes
b34986518d large update of CCList.Zipper. Breaking semantics of CCList.Zipper.is_empty 2015-10-16 23:14:27 +02:00
Simon Cruanes
dd833cc667 add CCList.fold_flat_map 2015-10-14 16:33:37 +02:00
Simon Cruanes
5e6ade9f68 add CCList.fold_map 2015-10-03 15:51:02 +02:00
Simon Cruanes
8b228ec8cb add CCList.{take,drop}_while; improve map performance 2015-09-19 17:35:59 +02:00
Simon Cruanes
eee89aa7a4 testing frenzy 2015-09-16 21:59:30 +02:00
Simon Cruanes
bd6940afbf deprecate CCList.split, introduce CCList.take_drop instead. 2015-09-11 09:04:28 +02:00
Simon Cruanes
5069580a9d add CCList.cons_maybe 2015-09-04 17:01:14 +02:00
Simon Cruanes
e68b951db5 add CCList.cons function 2015-05-25 14:43:08 +02:00
Simon Cruanes
262a2baacc add CCList.{remove,is_empty} 2015-05-24 21:38:36 +02:00
Simon Cruanes
4b704d9d1a rename CCList.find -> CClist.find_map (same for findi), deprecate old name 2015-05-24 21:38:36 +02:00
Simon Cruanes
153cababb3 add CCList.{find_pred,find_pred_exn} 2015-05-17 19:18:40 +02:00
Simon Cruanes
d2a02793e2 add CCList.partition_map 2015-05-05 23:47:22 +02:00
Simon Cruanes
531134d754 add CCList.group_succ 2015-04-28 17:34:09 +02:00
Simon Cruanes
8195f035fc add CCList.Set.{add,remove} 2015-04-22 13:45:09 +02:00
Simon Cruanes
4ab5a709ad add CCList.{sorted_merge_uniq, uniq_succ} 2015-03-25 14:50:31 +01:00
carm
397f60e6ac fold_while impl for CCList and CCArray 2015-01-01 14:32:34 -05: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/CCList.ml (Browse further)