aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/iStream.ml
Commit message (Expand)AuthorAge
* Update headers.Gravatar Maxime Dénès2015-01-12
* Revert "Adding a "is_val" primitive to IStream."Gravatar Pierre-Marie Pédrot2014-07-24
* Adding a "is_val" primitive to IStream.Gravatar Pierre-Marie Pédrot2014-07-22
* Adding a coiterator to IStream.Gravatar Pierre-Marie Pédrot2014-07-03
* Remove some dead-code (thanks to ocaml warnings)Gravatar Pierre Letouzey2014-03-05
* IStream: more efficient implementation of concat_map.Gravatar Arnaud Spiwack2014-02-24
* IStream: a concat_map primitive.Gravatar Arnaud Spiwack2014-02-24
* IStream: change type of thunk, spare allocations.Gravatar Arnaud Spiwack2014-02-24
* IStream: remove a useless Obj.magic.Gravatar Arnaud Spiwack2014-02-24
* A view type for IStream.Gravatar Arnaud Spiwack2014-02-24
* better IStream.concatGravatar ppedrot2013-11-06
* Small fix in IStream interface.Gravatar ppedrot2013-08-08
* More clever implemenation for IStream.Gravatar ppedrot2013-05-29
* Adding a persistent stream data structure.Gravatar ppedrot2013-05-28