conduit-1.3.5: Streaming data processing library.

Safe Haskell | Trustworthy
Language | Haskell2010

Data.Conduit.Internal.List.Stream

# Documentation

unfoldS :: forall (m :: Type -> Type) b a. Monad m => (b -> Maybe (a, b)) -> b -> StreamProducer m a #

unfoldEitherS :: forall (m :: Type -> Type) b r a i. 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 :: forall (m :: Type -> Type) a. Monad m => [a] -> StreamProducer m a #

enumFromToS :: forall a (m :: Type -> Type). (Enum a, Ord a, Monad m) => a -> a -> StreamProducer m a #

enumFromToS_int :: forall a (m :: Type -> Type). (Integral a, Monad m) => a -> a -> StreamProducer m a #

iterateS :: forall (m :: Type -> Type) a. Monad m => (a -> a) -> a -> StreamProducer m a #

replicateS :: forall (m :: Type -> Type) a. Monad m => Int -> a -> StreamProducer m a #

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

foldS :: forall (m :: Type -> Type) b a. 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 :: forall (m :: Type -> Type) a. Monad m => Int -> StreamConsumer a m () #

takeS :: forall (m :: Type -> Type) a. Monad m => Int -> StreamConsumer a m [a] #

headS :: forall (m :: Type -> Type) a. Monad m => StreamConsumer a m (Maybe a) #

mapS :: forall (m :: Type -> Type) a b. 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 :: forall (m :: Type -> Type) a b. Monad m => (a -> Maybe b) -> StreamConduit a m b #

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

catMaybesS :: forall (m :: Type -> Type) a. Monad m => StreamConduit (Maybe a) m a #

concatS :: forall (m :: Type -> Type) f a. (Monad m, Foldable f) => StreamConduit (f a) m a #

concatMapS :: forall (m :: Type -> Type) a b. Monad m => (a -> [b]) -> StreamConduit a m b #

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

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

mapAccumS :: forall (m :: Type -> Type) a s b. 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 :: forall (m :: Type -> Type) f a b. (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 :: forall (m :: Type -> Type) a. Monad m => StreamConsumer a m [a] #

groupByS :: forall (m :: Type -> Type) a. Monad m => (a -> a -> Bool) -> StreamConduit a m [a] #

groupOn1S :: forall (m :: Type -> Type) b a. (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 :: forall (m :: Type -> Type) a b. Monad m => (a -> b) -> (b -> b -> Bool) -> StreamConduit a m (a, [a]) #

isolateS :: forall (m :: Type -> Type) a. Monad m => Int -> StreamConduit a m a #

filterS :: forall (m :: Type -> Type) a. Monad m => (a -> Bool) -> StreamConduit a m a #

sinkNullS :: forall (m :: Type -> Type) a. Monad m => StreamConsumer a m () #

sourceNullS :: forall (m :: Type -> Type) a. Monad m => StreamProducer m a #