Add example to express foldrM in terms of foldr
commit30c5a56ff9d6cb9047d7111e656a31578dc0694e
authorHarendra Kumar <harendra@composewell.com>
dateThu 25 Jan 2024, 23:24 (3 years ago)
parent84b4c91
core/src/Streamly/Internal/Data/Stream/Type.hs+4
@@ -572,8 +572,12 @@ foldAdd f =
572572-- >>> Stream.foldrM step (return False) s
573573-- True
574574--
575+-- >>> import Control.Monad (join)
576+-- >>> foldrM f z = join $ Stream.foldr f z
577+--
575578{-# INLINE_NORMAL foldrM #-}
576579foldrM :: Monad m => (a -> m b -> m b) -> m b -> Stream m a -> m b
580+-- foldrM f z = join . Streamly.Internal.Data.Stream.StreamD.Type.foldr f z
577581foldrM f z (Stream step state) = go SPEC state
578582 where
579583 {-# INLINE_LATE go #-}