Simon Cruanes
|
0de04d0eb8
|
depend on bytes; compliant with -safe-string
|
2014-11-04 21:45:23 +01:00 |
|
Simon Cruanes
|
d95495dc12
|
sequence.bigarray
|
2014-10-30 01:33:43 +01:00 |
|
Simon Cruanes
|
15a0b9dd30
|
fix release numbers
|
2014-10-30 01:19:06 +01:00 |
|
Simon Cruanes
|
9fc9a311e4
|
bugfix: using the same ExitSequence exception in take and is_empty cannot work
|
2014-10-19 20:51:04 +02:00 |
|
Simon Cruanes
|
a193c54081
|
added a regression test
|
2014-10-19 20:50:02 +02:00 |
|
Simon Cruanes
|
81d7315000
|
bugfix: take would fail on 0
|
2014-08-08 23:47:51 +02:00 |
|
Simon Cruanes
|
4ae9e77db3
|
Merge pull request #5 from Drup/master
Add on_list.
|
2014-08-08 20:58:30 +02:00 |
|
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 |
|