Commit graph

12 commits

Author SHA1 Message Date
Simon Cruanes
30b9307a70
Merge pull request #325 from c-cube/ccpair_map
break(CCPair): use more standard name for some map functions
2020-07-27 22:58:58 -04:00
Fardale
01da25cead break: change pp functions to take unit printer for sep/stop/start
sep/stop/start -> pp_sep/pp_stop/pp_start
string -> unit printer
2020-07-27 22:57:29 -04:00
Fardale
3b2030f6f2 break(CCPair): use more standard name for some map functions
map1 -> map_fst
map2 -> map_snd
map_fst -> fst_map
map_snd -> snd_map
introduce map2 and map_same2
Fix #316
2020-07-27 21:39:17 +02:00
Simon Cruanes
7cefde490b prepare for 2.7
remove mdx
2019-11-12 08:49:33 -06:00
Fardale
0dafceb708 Adding to_string (#270)
* add `CCArray.to_string`
* add `CCArrayLabels.to_string`
* add `CCList.to_string`
* add `CCListLabels.to_string`
* add `CCChar.to_string`
* add `CCPair.to_string`
* add `CCHeap.to_string`
* add `CCSet.to_string`
* add `CCVector.to_string`
2019-10-30 14:26:52 -05:00
nathan moreau
00b2638ae7 Adding more comments 2018-01-30 14:07:05 +01:00
Simon Cruanes
13b283a91d remove buffer printers, rename pretty-printers to pp 2016-11-03 18:24:11 +01:00
Simon Cruanes
a2179d4355 prepare for 0.16 2016-02-24 22:08:26 +01:00
Simon Cruanes
bb37ea469d add CCPair.make 2016-02-21 18:33:44 +01:00
Simon Cruanes
34445bead0 replace headers in the rest of containers core 2016-02-20 23:24:24 +01:00
Fourchaux
44387de784 Correction typos (fichiers src) 2015-11-08 22:27:59 +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/CCPair.mli (Browse further)