Safe Haskell | Safe-Inferred |
---|
- class PipeClass p where
- runPipe :: Monad m => p i o m r -> m (Maybe r)
- (=$=) :: 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)
- onBreak :: Monad m => p i o m r -> m b -> p i o m r
- onDone :: Monad m => p i o m r -> m b -> p i o m r
- finalize :: Monad m => p i o m r -> m b -> p i o m r
- mapMonad :: Monad m => (forall a. m a -> m a) -> p i o m r -> p i o m r
- class PipeClass pc => PipeChoice pc where
- appLeft :: Monad m => pc b c m () -> pc (Either b d) (Either c d) m ()
- appRight :: (Monad m, Monad (pc (Either d b) (Either b d) m), Monad (pc (Either c d) (Either d c) m)) => pc b c m () -> pc (Either d b) (Either d c) m ()
- (++++) :: (Monad m, Monad (pc (Either c' c) (Either c c') m), Monad (pc (Either c b') (Either b' c) m)) => pc b c m () -> pc b' c' m () -> pc (Either b b') (Either c c') m ()
- (||||) :: (Monad m, Monad (pc (Either d d) d m), Monad (pc (Either d c) (Either c d) m), Monad (pc (Either d d) (Either d d) m)) => pc b d m () -> pc c d m () -> pc (Either b c) d m ()
- convert :: (PipeClass p, Monad m, Monad (p a b m)) => (a -> b) -> p a b m ()
- data Pipe i o m r
- finally :: (MonadBaseControl IO m, PipeClass p) => p i o m r -> m b -> p i o m r
- bracket :: (MonadBaseControl IO m, PipeClass p, MonadTrans (p i o), Monad (p i o m)) => m a -> (a -> m b) -> (a -> p i o m r) -> p i o m r
Documentation
runPipe :: Monad m => p i o m r -> m (Maybe r)Source
(=$=) :: Monad m => p a b m x -> p b c m y -> p a c m ySource
yield :: Monad m => o -> p i o m ()Source
await :: Monad m => p i o m (Maybe i)Source
onBreak :: Monad m => p i o m r -> m b -> p i o m rSource
onDone :: Monad m => p i o m r -> m b -> p i o m rSource
finalize :: Monad m => p i o m r -> m b -> p i o m rSource
mapMonad :: Monad m => (forall a. m a -> m a) -> p i o m r -> p i o m rSource
class PipeClass pc => PipeChoice pc whereSource
Minimal complete definition: appLeft
appLeft :: Monad m => pc b c m () -> pc (Either b d) (Either c d) m ()Source
appRight :: (Monad m, Monad (pc (Either d b) (Either b d) m), Monad (pc (Either c d) (Either d c) m)) => pc b c m () -> pc (Either d b) (Either d c) m ()Source
(++++) :: (Monad m, Monad (pc (Either c' c) (Either c c') m), Monad (pc (Either c b') (Either b' c) m)) => pc b c m () -> pc b' c' m () -> pc (Either b b') (Either c c') m ()Source
(||||) :: (Monad m, Monad (pc (Either d d) d m), Monad (pc (Either d c) (Either c d) m), Monad (pc (Either d d) (Either d d) m)) => pc b d m () -> pc c d m () -> pc (Either b c) d m ()Source
PipeChoice Pipe | |
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) | |
MonadIO m => MonadIO (Pipe i o m) | |
MonadWriter m => MonadWriter (Pipe i o m) | |
MonadState m => MonadState (Pipe i o m) | |
MonadReader m => MonadReader (Pipe i o m) | |
MonadError m => MonadError (Pipe i o m) |
finally :: (MonadBaseControl IO m, PipeClass p) => p i o m r -> m b -> p i o m rSource
bracket :: (MonadBaseControl IO m, PipeClass p, MonadTrans (p i o), Monad (p i o m)) => m a -> (a -> m b) -> (a -> p i o m r) -> p i o m rSource