master..84b4c91 · streamly

git.iko.soy/streamly

on 84b4c91 help sign in

core/src/Streamly/Internal/Data/Stream/Type.hs−4

@@ -572,12 +572,8 @@ foldAdd f =

572-- >>> Stream.foldrM step (return False) s

573-- True

574--

575−-- >>> import Control.Monad (join)

576−-- >>> foldrM f z = join $ Stream.foldr f z

577−--

578{-# INLINE_NORMAL foldrM #-}

575{-# INLINE_NORMAL foldrM #-}

579foldrM :: Monad m => (a -> m b -> m b) -> m b -> Stream m a -> m b

576foldrM :: 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

581foldrM f z (Stream step state) = go SPEC state

577foldrM f z (Stream step state) = go SPEC state

582 where

578 where

583 {-# INLINE_LATE go #-}

579 {-# INLINE_LATE go #-}