ilyakooo0/streamly
1
0
Fork 0
mirror of https://github.com/ilyakooo0/streamly.git synced 2024-10-03 19:57:08 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add example to express foldrM in terms of foldr

Browse Source
This commit is contained in:
Harendra Kumar 2024-01-25 23:24:12 +05:30
parent 84b4c91d44
commit 30c5a56ff9
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
core/src/Streamly/Internal/Data/Stream/Type.hs
View File

@ -572,8 +572,12 @@ foldAdd f =
-- >>> Stream.foldrM step (return False) s
-- True
--
-- >>> import Control.Monad (join)
-- >>> foldrM f z = join $ Stream.foldr f z
--
{-# INLINE_NORMAL foldrM #-}
foldrM :: Monad m => (a -> m b -> m b) -> m b -> Stream m a -> m b
-- foldrM f z = join . Streamly.Internal.Data.Stream.StreamD.Type.foldr f z
foldrM f z (Stream step state) = go SPEC state
where
{-# INLINE_LATE go #-}