Johannes Rudolph c39dd6506e stream: filter out elements without demand ... This will also mean that completion will not be blocked by elements that will later be filtered out. One particular use case of that would be a kind of partitioning use case, where you put several streams behind a broadcast and each consumer will filter out elements not handled there. In that case, the broadcast can get head-of-line blocked when one of the consumers currently has no demand but also wouldn't have to handle any elements because they would all be filtered out.		2020-01-22 10:26:46 +01:00
..
src/main	stream: filter out elements without demand	2020-01-22 10:26:46 +01:00