Commit graph

628 commits

Author SHA1 Message Date
Simon Cruanes
9caefc0e5e mplus instance for CCOpt 2014-06-26 15:01:45 +02:00
Simon Cruanes
6c19918240 monad instance for CCFun 2014-06-26 15:01:34 +02:00
Simon Cruanes
64fedce1b0 updated description in _oasis 2014-06-26 13:46:46 +02:00
Simon Cruanes
47015057ba version 0.3 2014-06-26 13:32:20 +02:00
Simon Cruanes
b511000126 CCTrie, a compressed functorial persistent trie structure 2014-06-26 13:31:43 +02:00
Simon Cruanes
6f3cb794c4 fix CCPrint.unit, add CCPrint.silent 2014-06-26 13:31:43 +02:00
Simon Cruanes
8fbc500318 CCTrie, a compressed functorial persistent trie structure 2014-06-26 02:46:27 +02:00
Simon Cruanes
d30b36dce9 fix CCPrint.unit, add CCPrint.silent 2014-06-26 00:10:10 +02:00
Simon Cruanes
451e761c8e fix type mismatch 2014-06-25 23:34:43 +02:00
Simon Cruanes
21316bb89a fix type mismatch 2014-06-25 23:33:30 +02:00
Simon Cruanes
4c613e5857 oasis files 2014-06-25 03:29:52 +02:00
Simon Cruanes
42fd04b244 merge from master 2014-06-25 03:29:51 +02:00
Simon Cruanes
8bd2706ed5 CCKTree, abstract tree structure with dot printing 2014-06-25 03:28:41 +02:00
Simon Cruanes
10a1a0643e minor updates (new functions in CCPrint and PrintBox) 2014-06-25 03:27:30 +02:00
Simon Cruanes
4adcf95b4d merge from dev 2014-06-25 01:47:51 +02:00
Simon Cruanes
b01a302f07 updated readme 2014-06-25 01:36:45 +02:00
Simon Cruanes
9e2c8ec392 rename CCLeftistheap to CCHeap, for it is a simpler name 2014-06-25 01:36:32 +02:00
Simon Cruanes
cac3500177 updated CCLeftistheap with a brand new functorial interface,
with more conversion functions, etc.
2014-06-25 01:27:43 +02:00
Simon Cruanes
891725157e fix bug in CCFqueue 2014-06-25 01:27:17 +02:00
Simon Cruanes
2395ebb2ad make test will now run both oUnit and qtest 2014-06-25 01:26:53 +02:00
Simon Cruanes
a87a5b0315 CCFQueue is now a functional double-ended queue 2014-06-25 00:43:43 +02:00
Simon Cruanes
696d1f27cf update of FQueue with a richer, more consistent api 2014-06-24 22:46:34 +02:00
Simon Cruanes
1e2ac4c39b tests for bitvectors 2014-06-24 18:52:38 +02:00
Simon Cruanes
2b15a21570 refactored CCrandom (hide fuel, too complicated, but provide a fix operator);
bench_hash to compare hash combinators to the default hash function
2014-06-24 16:24:19 +02:00
Simon Cruanes
e5a842829e monadic combinators for lists and klists 2014-06-24 16:23:30 +02:00
Simon Cruanes
9da54f3e5a random generators in several modules, and CCRandom to bind them all with fuel 2014-06-24 14:06:48 +02:00
Simon Cruanes
6872591708 make a distinction between Hash.state and Hash.t (and private type is bad here) 2014-06-23 23:44:53 +02:00
Simon Cruanes
b56cdfa17a more hash functions 2014-06-23 23:40:10 +02:00
Simon Cruanes
1beab5268b changed comments, add _tags file 2014-06-23 23:29:47 +02:00
Simon Cruanes
fcd2085190 CCHash now uses murmur hash 2014-06-23 23:01:01 +02:00
Simon Cruanes
3a3738fda5 oasis files 2014-06-20 14:31:00 +02:00
Simon Cruanes
f25c363851 merge from master 2014-06-20 14:31:00 +02:00
Simon Cruanes
ef06d117cb api change in CClist: find is now find_idx, and find:('a->'b option) -> 'a list -> 'b option added 2014-06-20 14:28:41 +02:00
Simon Cruanes
9d194d48d8 oasis files 2014-06-18 00:18:02 +02:00
Simon Cruanes
34c663a867 merge from master 2014-06-18 00:18:02 +02:00
Simon Cruanes
0461758bf9 cosmetic details on trees 2014-06-16 21:15:05 +02:00
Simon Cruanes
373e4e8502 example: lambda, that print reduction of random lambda-terms using PrintBox 2014-06-16 20:54:29 +02:00
Simon Cruanes
29ce1e4551 change how padding works in PrintBox (now with
horizontal and vertical padding)
2014-06-16 19:29:01 +02:00
Simon Cruanes
b54068edc1 build doc for containers_string; fix upload of docs 2014-06-16 00:36:55 +02:00
Simon Cruanes
13634950b1 allow padding in PrintBox 2014-06-16 00:36:38 +02:00
Simon Cruanes
5422a6ad65 fix tests 2014-06-15 23:50:28 +02:00
Simon Cruanes
ee5c5340af oasis files 2014-06-15 23:30:32 +02:00
Simon Cruanes
7289adf13d merge from master 2014-06-15 23:30:32 +02:00
Simon Cruanes
10029acd42 some examples for PrintBox 2014-06-15 23:25:57 +02:00
Simon Cruanes
6ef51a5717 moved box constructors into PrintBoxs toplevel;
more convenience constructors;
more accurate printing of nested boxs bars
2014-06-15 23:10:51 +02:00
Simon Cruanes
ebb8310f84 bugfix 2014-06-15 23:10:16 +02:00
Simon Cruanes
74856b578a misc/PrintBox: printing of nested box into ascii 2014-06-15 22:34:09 +02:00
Simon Cruanes
d0393cd9b6 a few more functions in CCVector, including in-place filtering
and efficient non-order-preserving removal
2014-06-15 19:36:15 +02:00
Simon Cruanes
90239f2c3e CCArray.Sub.of_slice; bugfix in reverse_in_place 2014-06-15 19:35:47 +02:00
Simon Cruanes
4d2fa4ea4c small bugfix in CCArray.Sub: bound checking 2014-06-15 19:13:42 +02:00