Simon Cruanes
|
64fedce1b0
|
updated description in _oasis
|
2014-06-26 13:46:46 +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
|
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
|
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
|
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
|
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
|
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 |
|
Simon Cruanes
|
9a9954c420
|
Array.Sub: slice implementation
|
2014-06-15 18:58:32 +02:00 |
|
Simon Cruanes
|
e2bb0e93cb
|
CCArray.find
|
2014-06-14 14:30:15 +02:00 |
|
Simon Cruanes
|
4c69e8216c
|
CCError for functional error handling
|
2014-06-14 13:52:50 +02:00 |
|
Simon Cruanes
|
bb12ed932c
|
much better error handling in CCLinq
|
2014-06-14 13:51:50 +02:00 |
|
Simon Cruanes
|
c021a2b310
|
map, set, and IO/string adapters for CCLinq;
also a lazy constructor
|
2014-06-14 12:09:07 +02:00 |
|
Simon Cruanes
|
4550a1c2c2
|
cleaner system to specify hash/eq/cmp for operations in CCLinq;
use Map to implement most binary operations, including join
|
2014-06-14 02:16:49 +02:00 |
|
Simon Cruanes
|
2492ee48a6
|
small change in CCOrd
|
2014-06-14 02:16:14 +02:00 |
|
Simon Cruanes
|
e3bde40598
|
more operators in CCKlist
|
2014-06-14 01:01:40 +02:00 |
|
Simon Cruanes
|
174957e604
|
more reasonable increase in size in CCVector
|
2014-06-14 01:01:22 +02:00 |
|
Simon Cruanes
|
4579213e63
|
some small additions
|
2014-06-14 00:23:09 +02:00 |
|
Simon Cruanes
|
65aceba85e
|
phantom types for CCVector, for read-write and read-only vectors
|
2014-06-14 00:11:16 +02:00 |
|
Simon Cruanes
|
043003cf3b
|
big refactoring of CCVector, to fit the recent coding style;
safe functions with _exn versions, iterators, printers, comparison
and other monadic operators
|
2014-06-13 23:51:34 +02:00 |
|
Simon Cruanes
|
e7dbdeff2e
|
added zippers to CCList
|
2014-06-13 22:33:17 +02:00 |
|
Simon Cruanes
|
56fe3b0873
|
remove Qcheck (it has had its own repo for a long time)
|
2014-06-13 22:30:41 +02:00 |
|
Simon Cruanes
|
71bdc7667d
|
gen interface in leftistheap
|
2014-06-13 21:57:47 +02:00 |
|