5 commits

Author	SHA1	Message	Date
Grzegorz Gierlach	e442eba625	Cleaning up stream pinning.	2019-11-12 19:51:58 +01:00
Grzegorz Gierlach	f0875d2dca	Cleaning up stream pinning.	2019-11-12 19:34:08 +01:00
Stjepan Glavina	548733e5d5	Cleanup stream traits (#487) ... * Cleanup stream traits * Fix docs	2019-11-09 11:22:09 +01:00
Stjepan Glavina	f8e82564d9	Rename stream_extend to extend (#464) ... * Rename stream_extend to extend * Remove Extend from prelude * Add stream::extend()	2019-11-07 21:46:58 +00:00
Sunjay Varma	6bc3cd0ab2	FromStream for ()	2019-10-04 10:08:07 -04:00