catmaybes -package:yesod-paginator -package:vector-stream package:streamly-core

catMaybes :: forall (m :: Type -> Type) a b . Monad m => Fold m a b -> Fold m (Maybe a) b
streamly-core Streamly.Data.Fold Streamly.Internal.Data.Fold
Modify a fold to receive a Maybe input, the Just values are unwrapped and sent to the original fold, Nothing values are discarded. 
>>> catMaybes = Fold.mapMaybe id

>>> catMaybes = Fold.filter isJust . Fold.lmap fromJust
catMaybes :: forall (m :: Type -> Type) a b . Monad m => Scanl m a b -> Scanl m (Maybe a) b
streamly-core Streamly.Data.Scanl Streamly.Internal.Data.Scanl
Modify a scan to receive a Maybe input, the Just values are unwrapped and sent to the original scan, Nothing values are discarded. 
>>> catMaybes = Scanl.mapMaybe id

>>> catMaybes = Scanl.filter isJust . Scanl.lmap fromJust
catMaybes :: forall (m :: Type -> Type) a . Monad m => Stream m (Maybe a) -> Stream m a
streamly-core Streamly.Data.Stream Streamly.Internal.Data.Stream
In a stream of Maybes, discard Nothings and unwrap Justs. 
>>> catMaybes = Stream.mapMaybe id

>>> catMaybes = fmap fromJust . Stream.filter isJust
Pre-release