Data.Pipe

Documentation

class PipeClass p where

Methods

(=$=) :: Monad m => p a b m x -> p b c m y -> p a c m y

yield :: Monad m => o -> p i o m ()

await :: Monad m => p i o m (Maybe i)

Instances

PipeClass Pipe

data Pipe i o m r

Instances

PipeClass Pipe

MonadTrans (Pipe i o)

Monad m => Monad (Pipe i o m)

Monad m => Functor (Pipe i o m)

Monad m => Applicative (Pipe i o m)

runPipe :: Monad m => Pipe i o m r -> m (Maybe r)

finalize :: Monad m => Pipe i o m r -> m b -> Pipe i o m r

finally :: MonadBaseControl IO m => Pipe i o m r -> m b -> Pipe i o m r

bracket :: MonadBaseControl IO m => m a -> (a -> m b) -> (a -> Pipe i o m r) -> Pipe i o m r