7 commits

Author	SHA1	Message	Date
Yoshua Wuyts	c82b1efb69	fix(stream): add send guards on collect ... Closes #639 Co-authored-by: dignifiedquire <me@dignifiedquire.com>	2020-06-27 16:46:14 +02:00
Oleg Nosov	134089af2c	Use filter_map(identity) + other fixes	2020-01-15 08:57:43 +03:00
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