Stream

Contents

• Types
• Common
• Sources
  • Pure
• Transformers
  • Pure
  • Monadic
• Sinks
  • Pure
  • Monadic
• I/O
• Textual
• Reexports

Synopsis

• data StreamT o m r
• runStreamT :: Monad m => StreamT o m r -> m r
• enumFromToS :: (Ord a, Enum a, Applicative m) => a -> a -> StreamT a m ()
• yieldS :: (Foldable f, Applicative m) => f o -> StreamT o m ()
• mapS :: Applicative m => (a -> b) -> StreamT a m r -> StreamT b m r
• foldlS :: Monad m => (accum -> a -> accum) -> accum -> StreamT a m r -> m accum
• sumS :: (Monad m, Num a) => StreamT a m r -> m a
• sinkListS :: Monad m => StreamT i m r -> m [i]
• mapM_S :: Monad m => (i -> m a) -> StreamT i m r -> m ()
• readFileS :: (MonadMask m, MonadIO m) => FilePath -> StreamT ByteString m ()
• writeFileS :: (MonadMask m, MonadIO m) => FilePath -> StreamT ByteString m () -> m ()
• linesAsciiS :: Monad m => (accum -> StreamT ByteString m () -> StreamT o m accum) -> accum -> StreamT ByteString m r -> StreamT o m accum
• newtype Identity a :: * -> * = Identity {
  • runIdentity :: a
  }

Types

Common

Sources

Pure

Transformers

Pure

Monadic

Sinks

Pure

Monadic

I/O

Textual

Reexports