Streamly.Internal.Data.Stream.StreamDK

Stream Type

data Stream m a

data Step m a

Constructors

Yield a (Stream m a)

Stop

Construction

nil :: Monad m => Stream m a

cons :: Monad m => a -> Stream m a -> Stream m a

consM :: Monad m => m a -> Stream m a -> Stream m a

unfoldr :: Monad m => (b -> Maybe (a, b)) -> b -> Stream m a

unfoldrM :: Monad m => (s -> m (Maybe (a, s))) -> s -> Stream m a

replicateM :: Monad m => Int -> a -> Stream m a

Folding

uncons :: Monad m => Stream m a -> m (Maybe (a, Stream m a))

foldrS :: Monad m => (a -> Stream m b -> Stream m b) -> Stream m b -> Stream m a -> Stream m b

Lazy right associative fold to a stream.

Specific Folds

drain :: Monad m => Stream m a -> m ()