Metadata revisions for interruptible-0.1.0.0

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 Changes
-r1 Fri Apr 1 21:41:18 UTC 2016 marcosdumay
  • 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 Fri Apr 1 21:37:19 UTC 2016 marcosdumay