Package maintainers and Hackage trustees are allowed to edit certain bits
of package metadata after a release, without uploading a new tarball.
Note that the tarball itself is never changed, just the metadata that is
stored separately. For more information about metadata revisions, please
refer to the
Hackage Metadata Revisions FAQ.
| No. |
Time |
User |
SHA256 |
| -r1 (interruptible-0.1.0.0-r1) |
2016-04-01T21:41:18Z |
marcosdumay |
51908ce437eee32ad6e6e0fec56476e7195359c5a8a60320408ebb0dc23895ee
|
|
Changed description
from Given an inner monad and a transformer:
> (Monad m, MonadTrans t)
If @t@ is an interruptible transformer, it becomes possible to intercalate executions
on the @t@ context with executions over the inner monad @m@ by breaking the execution
on @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.
to Given an inner monad and a transformer:
> (Monad m, MonadTrans t)
If 't' is an interruptible transformer, it becomes possible to intercalate executions
on the 't' context with executions over the inner monad 'm' by breaking the execution
on '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.
|
| -r0 (interruptible-0.1.0.0-r0) |
2016-04-01T21:37:19Z |
marcosdumay |
7534dd26092c50c9ffe632392586463425b07d8fd522481d6ab7de7fbd3861ad
|
|
|