Streamly.Internal.Data.Stream.StreamDK

Contents

Description

Synopsis

data Stream m a
data Step m a
- = Yield a (Stream m a)
- | Stop
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
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
drain :: Monad m => Stream m a -> m ()

Stream Type

Constructors

Yield a (Stream m a)
Stop

Construction

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

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

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

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

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

Lazy right associative fold to a stream.

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