Commit graph

343 commits

Author SHA1 Message Date
Drup
ae390d34f4 Add on_list. 2014-08-08 20:37:54 +02:00
Simon Cruanes
3458581ff2 Sequence.IO module, a very very simple way to read/write files 2014-08-07 12:06:59 +02:00
Simon Cruanes
185cf14f28 fix makefile.update_next_tag 2014-08-07 12:06:01 +02:00
Simon Cruanes
c79fa08b52 options: to_opt/of_opt/head/head_exn 2014-07-17 18:06:51 +02:00
Simon Cruanes
0c474eec3b update readme 2014-07-09 10:24:54 +02:00
Simon Cruanes
78fefc2178 update doc 2014-07-09 10:22:49 +02:00
Simon Cruanes
69f2fd37ab Makefile target to push into stable 2014-07-07 18:19:24 +02:00
Simon Cruanes
d5b9674124 version 0.5 2014-07-07 18:16:33 +02:00
Simon Cruanes
fea71526b0 of_list/to_list in Map/Set adapters 2014-07-07 18:14:16 +02:00
Simon Cruanes
4475d52b0f code cleaning;
exception raised in of_in_channel upon second iteration
2014-07-07 18:14:16 +02:00
Simon Cruanes
77d74953fd sequence.concat_str 2014-07-07 18:14:16 +02:00
Simon Cruanes
e0a95a3c31 cons, snoc, take_while, drop_while, doubleton 2014-07-07 17:12:49 +02:00
Simon Cruanes
75c87b0507 conversion with klist 2014-07-07 14:44:40 +02:00
Simon Cruanes
abe4ba2aaf applicative and choice infix operators 2014-07-07 14:25:37 +02:00
Simon Cruanes
20f70e721f fix tests 2014-07-07 14:05:47 +02:00
Simon Cruanes
ed5a602f4e add monadic operators and >|= 2014-07-07 13:57:20 +02:00
Simon Cruanes
a40866e9ec add several functions: product2, find, mem;
fix doc error on product
2014-07-01 16:00:09 +02:00
Simon Cruanes
54025273dd remove trailing whitespace 2014-07-01 15:54:15 +02:00
Simon Cruanes
632a820b1d aliases to existing functions 2014-07-01 15:54:00 +02:00
Simon Cruanes
bebc312b85 use delimcc in a new module, SequenceInvert, in order
to reverse the control flow (here with conversion to Gen)
2014-06-10 01:53:29 +02:00
Simon Cruanes
5d73e99652 make example compilable again 2014-05-26 14:49:50 +02:00
Simon Cruanes
dcbee64684 put benchmark compilation into oasis 2014-05-20 22:22:06 +02:00
Simon Cruanes
e1cbfedeab Merge pull request #3 from Drup/master
Remove the for loop in bench_persistent_read.
2014-05-20 22:18:58 +02:00
Drup
301c2609be Get rid of the for loop 2014-05-20 22:14:23 +02:00
Simon Cruanes
5f0bdbfa4e Merge pull request #2 from Drup/master
Add a reading bench for persistent sequences. #yolo.
2014-05-20 22:10:34 +02:00
Drup
a646cdc934 Add a reading bench for persistent sequences. 2014-05-20 22:07:26 +02:00
Simon Cruanes
1e00463cfd removed deprecated Bench and replace it with Benchmark 2014-05-20 21:56:08 +02:00
Simon Cruanes
7860dbbb95 changelog 2014-05-19 15:12:52 +02:00
Simon Cruanes
3d61de614e apparently drup doesn't like polymorphic variants 2014-05-19 14:58:11 +02:00
Simon Cruanes
6ff605ac04 Sequence.persistent_lazy added, for caching without upfront cost 2014-05-19 14:51:12 +02:00
Simon Cruanes
7464ba2488 add bin_annot 2014-04-24 01:11:46 +02:00
Simon Cruanes
281032c61f conversion with Gen 2014-04-16 17:57:11 +02:00
Simon Cruanes
93b6a18c41 cleanup of Infix (removed some operators);
remove TypeClass
2014-04-16 17:56:54 +02:00
Simon Cruanes
2d380a48ca change the interface of min/max so that they return an option
in case the sequence is empty
2014-04-16 17:39:32 +02:00
Simon Cruanes
7d5d7a497f use oasis 2014-04-13 21:54:42 +02:00
Simon Cruanes
a5385ce649 API change for Sequence.persistent: no need to
provide a block size, the unrolled list manages it (doubling block size);
new implementation for persistent is more efficient.
2014-02-27 11:51:57 +01:00
Simon Cruanes
a3ff8ee854 added a benchmark for persistent; moved all benchs to bench/ 2014-02-27 11:06:07 +01:00
Simon Cruanes
b1e5176177 printing functions 2013-11-18 15:17:22 +01:00
Simon Cruanes
61a4f64e75 decreasing int range operator 2013-11-18 15:10:07 +01:00
Simon Cruanes
b54714957a document to_list 2013-10-21 13:35:11 +02:00
Simon Cruanes
78487de758 Merge pull request #1 from Drup/master
Build and install sequence.cmxs
2013-10-21 01:00:31 -07:00
Drup
5a9dfc7939 Build and install sequence.cmxs 2013-10-21 02:56:58 +02:00
Simon Cruanes
85b063737f allow to specify the blocksize in persistent 2013-10-20 22:02:19 +02:00
Simon Cruanes
d0bedb7a76 documentation 2013-10-20 21:56:57 +02:00
Simon Cruanes
0e16d544d5 replace array functions by loops 2013-10-20 21:17:09 +02:00
Simon Cruanes
cd1cbc50be fixed makefile target push_file 2013-10-20 21:16:57 +02:00
Simon Cruanes
855428b2e9 more doc 2013-10-20 21:05:26 +02:00
Simon Cruanes
e807c693bb fixed makefile after merge 2013-10-17 14:56:09 +02:00
Simon Cruanes
bf475c1064 Merge branch 'master' of github.com:c-cube/sequence 2013-10-17 14:54:05 +02:00
Simon Cruanes
7e0deeb1cc do not use {} of shell... 2013-10-17 14:51:48 +02:00