aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/iStream.mli
Commit message (Expand)AuthorAge
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* 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
* IStream: a concat_map primitive.Gravatar Arnaud Spiwack2014-02-24
* IStream: change type of thunk, spare allocations.Gravatar Arnaud Spiwack2014-02-24
* A view type for IStream.Gravatar Arnaud Spiwack2014-02-24
* Small fix in IStream interface.Gravatar ppedrot2013-08-08
* Adding a persistent stream data structure.Gravatar ppedrot2013-05-28