interruptible: Monad transformers that can be run and resumed later, conserving their context.
Given an inner monad and a transformer:
> (Monad m, MonadTrans t)
t is an interruptible transformer, it becomes possible to intercalate executions
t context with executions over the inner monad
m by breaking the execution
t and resuming it later.
Interruptible monads implement the
runI function so that, given 'f :: a -> t m b' and
'g :: b -> t m c', 'resume (f >>= g)' is equivalent to 'x -> resume f x >>= resume g'.
That makes it possible to intercalate the execution of different monads, and even to return a monadic context for another function to resume it.
|Versions [faq]||0.1.0.0, 0.1.1.0, 0.1.1.1|
|Dependencies||base (>=4.7 && <4.9), either, lifted-base, monad-control, transformers [details]|
|Author||Marcos Dumay de Medeiros|
|Revised||Revision 1 made by marcosdumay at Fri Apr 1 21:41:18 UTC 2016|
|Source repo||head: git clone https://sealgram.com/git/haskell/interruptible/ -b master
this: git clone https://sealgram.com/git/haskell/interruptible/(tag 0.1.0.0)
|Uploaded||by marcosdumay at Fri Apr 1 21:37:19 UTC 2016|
|Downloads||1385 total (56 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs available [build log]
Last success reported on 2016-04-01 [all 1 reports]
- interruptible-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
For package maintainers and hackage trustees