Update docs of foldr in StreamD
commitdff87c7e2ef5ec91783369cf618bf8f67b9817b5
authorHarendra Kumar <harendra@composewell.com>
dateTue 7 Mar 2023, 22:52 (4 years ago)
parent9d12431
core/src/Streamly/Internal/Data/Stream/StreamD/Type.hs+3
@@ -602,6 +602,9 @@ foldrMx fstep final convert (Stream step state) = convert $ go SPEC state
602602--
603603-- >>> foldr f z = Stream.foldrM (\a b -> f a <$> b) (return z)
604604--
605+-- Note: This is similar to Fold.foldr' (the right fold via left fold), but
606+-- could be more efficient.
607+--
605608{-# INLINE_NORMAL foldr #-}
606609foldr :: Monad m => (a -> b -> b) -> b -> Stream m a -> m b
607610foldr f z = foldrM (liftA2 f . return) (return z)