| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Data.Pipe
- 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
- mapOut :: Monad m => (o -> o') -> p i o m r -> p i o' m r
- mapIn :: Monad m => (i' -> i) -> p i o m r -> p i' o m r
- class PipeClass pc => PipeChoice pc where
- (=@=) :: (PipeClass p, PipeChoice p, Monad m, Monad (p i (Either a r) m), Monad (p a o m), Monad (p r o m), Monad (p (Either a r) o m)) => p i a m r -> p a o m r' -> p i o m r
- runPipe_ :: (PipeClass p, Monad m) => p i o m r -> 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
class PipeClass p where Source
Methods
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 y infixr 3 Source
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 r Source
onDone :: Monad m => p i o m r -> m b -> p i o m r Source
finalize :: Monad m => p i o m r -> m b -> p i o m r Source
mapMonad :: Monad m => (forall a. m a -> m a) -> p i o m r -> p i o m r Source
mapOut :: Monad m => (o -> o') -> p i o m r -> p i o' m r Source
mapIn :: Monad m => (i' -> i) -> p i o m r -> p i' o m r Source
class PipeClass pc => PipeChoice pc where Source
Minimal complete definition: appLeft
Minimal complete definition
Methods
appLeft :: Monad m => pc b c m r -> pc (Either b d) (Either c d) m r Source
appRight :: Monad m => pc b c m r -> pc (Either d b) (Either d c) m r Source
(++++) :: Monad m => pc b c m r -> pc b' c' m r -> pc (Either b b') (Either c c') m r infixr 4 Source
(||||) :: Monad m => pc b d m r -> pc c d m r -> pc (Either b c) d m r infixr 4 Source
Instances
(=@=) :: (PipeClass p, PipeChoice p, Monad m, Monad (p i (Either a r) m), Monad (p a o m), Monad (p r o m), Monad (p (Either a r) o m)) => p i a m r -> p a o m r' -> p i o m r infixr 2 Source
Instances
| PipeChoice Pipe Source | |
| PipeClass Pipe Source | |
| PipeLazy Pipe Source | |
| MonadTrans (Pipe i o) Source | |
| Monad m => Monad (Pipe i o m) Source | |
| Monad m => Functor (Pipe i o m) Source | |
| Monad m => Applicative (Pipe i o m) Source | |
| MonadIO m => MonadIO (Pipe i o m) Source | |
| MonadWriter m => MonadWriter (Pipe i o m) Source | |
| MonadState m => MonadState (Pipe i o m) Source | |
| MonadReader m => MonadReader (Pipe i o m) Source | |
| MonadError m => MonadError (Pipe i o m) Source | |
| type WriterType (Pipe i o m) = WriterType m Source | |
| type StateType (Pipe i o m) = StateType m Source | |
| type EnvType (Pipe i o m) = EnvType m Source | |
| type ErrorType (Pipe i o m) = ErrorType m Source |
finally :: (MonadBaseControl IO m, PipeClass p) => p i o m r -> m b -> p i o m r Source
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 Source