-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Initial project template from stack
--   
--   Please see README.md
@package stream
@version 0.1.0.0

module Stream.Core.Internal
data Step s o r
Done :: r -> Step s o r
Yield :: s -> o -> Step s o r
Skip :: s -> Step s o r
data StreamT o m r
StreamT :: (s -> m (Step s o r)) -> (forall b. (s -> m b) -> m b) -> StreamT o m r

module Stream.Core
data StreamT o m r
data Step s o r
Done :: r -> Step s o r
Yield :: s -> o -> Step s o r
Skip :: s -> Step s o r
mapStep :: (i -> o) -> Step s i r -> Step s o r
runStreamT :: Monad m => StreamT o m r -> m r
makeSource :: state -> (state -> m (Step state o r)) -> StreamT o m r
makeSourceWith :: (forall b. (state -> m b) -> m b) -> (state -> m (Step state o r)) -> StreamT o m r
makeTransformer :: myState -> (forall upState. myState -> upState -> (upState -> m (Step upState i upR)) -> m (Step (myState, upState) o myR)) -> StreamT i m upR -> StreamT o m myR
makeTransformer' :: (forall upState. upState -> (upState -> m (Step upState i upR)) -> m (Step upState o myR)) -> StreamT i m upR -> StreamT o m myR
makeSink :: (forall state. state -> (state -> m (Step state i upR)) -> m myR) -> StreamT i m upR -> m myR

module Stream
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

-- | Identity functor and monad. (a non-strict monad)
newtype Identity a :: * -> *
Identity :: a -> Identity a
[runIdentity] :: Identity a -> a