@@ -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 #-}