Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- data ResumableSink i m r = ResumableSink (Sink i m r)
- connectResumeSink :: Monad m => Source m i -> ResumableSink i m r -> m (Either r (ResumableSink i m r))
- newResumableSink :: Monad m => Sink i m r -> ResumableSink i m r
- closeResumableSink :: Monad m => ResumableSink i m r -> m r
- (+$$) :: Monad m => Source m i -> Sink i m r -> m (Either r (ResumableSink i m r))
- (++$$) :: Monad m => Source m i -> ResumableSink i m r -> m (Either r (ResumableSink i m r))
- (-++$$) :: Monad m => Source m i -> ResumableSink i m r -> m r
Documentation
data ResumableSink i m r Source #
ResumableSink (Sink i m r) |
connectResumeSink :: Monad m => Source m i -> ResumableSink i m r -> m (Either r (ResumableSink i m r)) Source #
Connects a new source to a resumable sink. The result will be Right an updated ResumableSink or Left result if the Sink completes.
newResumableSink :: Monad m => Sink i m r -> ResumableSink i m r Source #
Converts a sink into a ResumableSink that can be used with ++$$
closeResumableSink :: Monad m => ResumableSink i m r -> m r Source #
Closes a ResumableSink and gets the final result.
(+$$) :: Monad m => Source m i -> Sink i m r -> m (Either r (ResumableSink i m r)) Source #
Connects a source and a sink. The result will be Right a ResumableSink or Left result if the Sink completes.
(++$$) :: Monad m => Source m i -> ResumableSink i m r -> m (Either r (ResumableSink i m r)) Source #
Connects a new source to a resumable sink. The result will be Right an updated ResumableSink or Left result if the Sink completes.