18 commits

Author	SHA1	Message	Date
Simon Cruanes	836049b6f1	Sequence.to_stream implemented (O(n) memory and time)	2013-03-01 15:56:35 +01:00
Simon Cruanes	f825f71dc6	test Sexpr parsing and printing, with ... an example type (a kind of lambda terms)	2013-02-08 23:21:48 +01:00
Simon Cruanes	07cc9df645	offer two different functions for combining Map and Seq. Both build ... an extended version of Map, with additional conversion functions relative to Sequence. One can Adapt an already existing Map module, or Make an extended Map directly	2013-02-07 16:07:16 +01:00
Simon Cruanes	f0c3d399bc	update tests	2013-02-06 14:53:47 +01:00
Simon Cruanes	855dd739e1	more tests with sexprs	2013-02-05 09:57:42 +01:00
Simon Cruanes	10df563bd8	demonstrate the Sequence.map construct on S-expressions	2013-02-05 00:09:16 +01:00
Simon Cruanes	14d651b836	S-expression module, with a strong accent on ... sequences (o'rly?). S-exprs can be converted to and from streams of 'tokens'	2013-02-04 23:30:31 +01:00
Simon Cruanes	74fb0a4725	test of fast iteration over integers	2013-02-04 20:41:58 +01:00
Simon Cruanes	087c38aa0c	more efficient Array.of_seq (only allocates one intermediate list, then reverse the array); ... test of Array.to_seq and Sequence.append	2013-01-29 14:31:21 +01:00
Simon Cruanes	1e90120295	use a functor rather than first-class modules, for Set	2013-01-29 14:11:47 +01:00
Simon Cruanes	ee4ce9c9ba	generic sequence pretty-printing function	2013-01-29 11:13:46 +01:00
Simon Cruanes	2ca708d41a	test the conversion to set	2013-01-28 14:32:17 +01:00
Simon Cruanes	64f7afb6a7	test Sequence.rev, since its implementation is non totally trivial	2013-01-28 01:18:10 +01:00
Simon Cruanes	57b778f6cc	iterate on integers	2013-01-28 00:34:54 +01:00
Simon Cruanes	bd7ecf0b96	more tests	2013-01-28 00:27:02 +01:00
Simon Cruanes	546a77ba8f	modules to convert lists and hashtables from/to sequences	2013-01-28 00:09:48 +01:00
Simon Cruanes	0f04cb8f5c	take, concat and drop functions	2013-01-27 23:37:47 +01:00
Simon Cruanes	d29a21f4f5	tests module	2013-01-27 23:17:41 +01:00