Streamly.Internal.Data.Stream.StreamD.Lift

Transform the underlying monad of a stream.

Generalize Inner Monad

hoist :: Monad n => (forall x. m x -> n x) -> Stream m a -> Stream n a

generally :: Monad m => Stream Identity a -> Stream m a

Transform Inner Monad

liftInner :: (Monad m, MonadTrans t, Monad (t m)) => Stream m a -> Stream (t m) a

runReaderT :: Monad m => m s -> Stream (ReaderT s m) a -> Stream m a

evalStateT :: Monad m => m s -> Stream (StateT s m) a -> Stream m a

runStateT :: Monad m => m s -> Stream (StateT s m) a -> Stream m (s, a)