@@ -602,6 +602,9 @@ foldrMx fstep final convert (Stream step state) = convert $ go SPEC state
603-- >>> foldr f z = Stream.foldrM (\a b -> f a <$> b) (return z)
603-- >>> foldr f z = Stream.foldrM (\a b -> f a <$> b) (return z)
605+-- Note: This is similar to Fold.foldr' (the right fold via left fold), but
606+-- could be more efficient.
605{-# INLINE_NORMAL foldr #-}
608{-# INLINE_NORMAL foldr #-}
606foldr :: Monad m => (a -> b -> b) -> b -> Stream m a -> m b
609foldr :: Monad m => (a -> b -> b) -> b -> Stream m a -> m b
607foldr f z = foldrM (liftA2 f . return) (return z)
610foldr f z = foldrM (liftA2 f . return) (return z)