Add `withFilter` to Stream in order to filter in for comprehensions #1971#1972

Merged

mpilquist merged 1 commit intotypelevel:mainfrom hogiyogi597:main

Jul 29, 2020

+16

Commits on Jul 28, 2020

Added withFilter as an alias to filter to Stream to enable filtering inside of for comprehensions.
shogan
committed