Data.Conduit.Internal.List.Stream

Documentation

unfoldS :: Monad m => (b -> Maybe (a, b)) -> b -> StreamProducer m a

unfoldEitherS :: Monad m => (b -> Either r (a, b)) -> b -> StreamConduitT i a m r

unfoldMS :: Monad m => (b -> m (Maybe (a, b))) -> b -> StreamProducer m a

unfoldEitherMS :: Monad m => (b -> m (Either r (a, b))) -> b -> StreamConduitT i a m r

sourceListS :: Monad m => [a] -> StreamProducer m a

enumFromToS :: (Enum a, Ord a, Monad m) => a -> a -> StreamProducer m a

enumFromToS_int :: (Integral a, Monad m) => a -> a -> StreamProducer m a

iterateS :: Monad m => (a -> a) -> a -> StreamProducer m a

replicateS :: Monad m => Int -> a -> StreamProducer m a

replicateMS :: Monad m => Int -> m a -> StreamProducer m a

foldS :: Monad m => (b -> a -> b) -> b -> StreamConsumer a m b

foldMS :: Monad m => (b -> a -> m b) -> b -> StreamConsumer a m b

mapM_S :: Monad m => (a -> m ()) -> StreamConsumer a m ()

dropS :: Monad m => Int -> StreamConsumer a m ()

takeS :: Monad m => Int -> StreamConsumer a m [a]

headS :: Monad m => StreamConsumer a m (Maybe a)

mapS :: Monad m => (a -> b) -> StreamConduit a m b

mapMS :: Monad m => (a -> m b) -> StreamConduit a m b

iterMS :: Monad m => (a -> m ()) -> StreamConduit a m a

mapMaybeS :: Monad m => (a -> Maybe b) -> StreamConduit a m b

mapMaybeMS :: Monad m => (a -> m (Maybe b)) -> StreamConduit a m b

catMaybesS :: Monad m => StreamConduit (Maybe a) m a

concatS :: (Monad m, Foldable f) => StreamConduit (f a) m a

concatMapS :: Monad m => (a -> [b]) -> StreamConduit a m b

concatMapMS :: Monad m => (a -> m [b]) -> StreamConduit a m b

concatMapAccumS :: Monad m => (a -> accum -> (accum, [b])) -> accum -> StreamConduit a m b

mapAccumS :: Monad m => (a -> s -> (s, b)) -> s -> StreamConduitT a b m s

mapAccumMS :: Monad m => (a -> s -> m (s, b)) -> s -> StreamConduitT a b m s

concatMapAccumMS :: Monad m => (a -> accum -> m (accum, [b])) -> accum -> StreamConduit a m b

mapFoldableS :: (Monad m, Foldable f) => (a -> f b) -> StreamConduit a m b

mapFoldableMS :: (Monad m, Foldable f) => (a -> m (f b)) -> StreamConduit a m b

consumeS :: Monad m => StreamConsumer a m [a]

groupByS :: Monad m => (a -> a -> Bool) -> StreamConduit a m [a]

groupOn1S :: (Monad m, Eq b) => (a -> b) -> StreamConduit a m (a, [a])

data GroupByState a b s

Constructors

GBStart s

GBLoop ([a] -> [a]) a b s

GBDone

groupBy1S :: Monad m => (a -> b) -> (b -> b -> Bool) -> StreamConduit a m (a, [a])

isolateS :: Monad m => Int -> StreamConduit a m a

filterS :: Monad m => (a -> Bool) -> StreamConduit a m a

sinkNullS :: Monad m => StreamConsumer a m ()

sourceNullS :: Monad m => StreamProducer m a