k0001/network-simple — pull request #2 by k0001 (2013-08-27 15:22:31+00:00)
Title: Generalize IO

While working on `pipes-network` I realized that the end-user code would be much more straightforward if the functions exported by `network-simple` would generalize the `IO` base monad to `MonadIO`, because they wouldn't need to be `liftIO`-ed in order to be used within `Effect'` or `MonadSafe`; they would just work in all cases.

In this patch I go ahead and make that change, and also generalize functions that take `IO` arguments in negative position by using `MonadCatch` from the `exceptions` package (which is not in The Haskell Platform). In `pipes-network` I would still need to provide alternative versions of these functions that protect against premature pipeline termination in case you want to use them with `pipes-safe`.

@Gabriel439, I'd like to know your thoughts on this since you are much more familiar than I am with `MonadIO` and `MonadCatch`. Does this sound good to you? Overall, I think that the API is now more flexible and without introducing noticeable complexity.