Merge pull request #7 from iand675/master

Rename catchSync to catch, catch to catchAsync.

ChangeLog.md

@@ -4,6 +4,7 @@
 * Add `Control.Effect.Resource` and `Control.Carrier.Resource`, as ported from fused-effects 0.5.
 * Add `Control.Carrier.State.IORef` to help people migrating from other state carriers.
 * Move `Control.Effect.Catch.CatchC` to `Control.Carrier.Catch` and simplify its internals.
+* Rename `catch` to `catchAsync` and `catchSync` to `catch`.
 
 # 0.2.0.0
 

src/Control/Effect/Catch.hs

@@ -12,7 +12,7 @@
 module Control.Effect.Catch
   ( Catch (..)
   , catch
-  , catchSync
+  , catchAsync
   ) where
 
 import           Control.Carrier
@@ -40,21 +40,23 @@ instance Effect Catch where
 --
 -- Unhandled errors are rethrown. Use 'Exc.SomeException' if you want to catch all errors.
 --
--- | @since 0.1.0.0
+-- | @since 1.0.0.0
-catch :: (Member Catch sig, Carrier sig m, Exc.Exception e)
+catchAsync :: (Member Catch sig, Carrier sig m, Exc.Exception e)
       => m a
       -> (e -> m a)
       -> m a
-catch go cleanup = send (CatchIO go cleanup pure)
+catchAsync go cleanup = send (CatchIO go cleanup pure)
 
--- | Like 'catch', but the handler only engages on synchronous exceptions. Async exceptions are rethrown.
+-- | Like 'Control.Effect.Error.catchError', but delegating to 'Control.Exception.catch' under the hood, which allows catching errors that might occur when lifting 'IO' computations. Asynchronous exceptions are rethrown by this function. Use 'catchAsync' to catch them as well.
+--
+-- Unhandled errors are rethrown. Use 'Exc.SomeException' if you want to catch all errors.
 --
 -- | @since 0.1.0.0
-catchSync :: (Member Catch sig, Carrier sig m, Exc.Exception e, MonadIO m)
+catch :: (Member Catch sig, Carrier sig m, Exc.Exception e, MonadIO m)
           => m a
           -> (e -> m a)
           -> m a
-catchSync f g = f `catch` \e ->
+catch f g = f `catch` \e ->
   if isSyncException e
       then g e
       -- intentionally rethrowing an async exception synchronously,