Add MonadUnliftIO instances for eligible carrier types.

ChangeLog.md

@@ -1,4 +1,4 @@
-# v1.1.2.0
+- Adds `MonadUnliftIO` instances for `ReaderC`, `LiftC`, and `InterpretC`. ([#420](https://github.com/fused-effects/fused-effects/pull/420))
 
 - Adds `Accum` ([#391](https://github.com/fused-effects/fused-effects/pull/391)) (by @turion)
   - Adds an `Accum` effect

fused-effects.cabal

@@ -116,6 +116,7 @@ library
   build-depends:
       base          >= 4.9 && < 4.17
     , transformers  >= 0.4 && < 0.6
+    , unliftio-core >= 0.2 && < 0.3
 
 
 test-suite examples

src/Control/Carrier/Interpret.hs

@@ -33,6 +33,7 @@ import Control.Monad.Fail as Fail
 import Control.Monad.Fix
 import Control.Monad.IO.Class
 import Control.Monad.Trans.Class
+import Control.Monad.IO.Unlift (MonadUnliftIO)
 import Data.Functor.Const (Const(..))
 import Data.Kind (Type)
 import Unsafe.Coerce (unsafeCoerce)
@@ -87,7 +88,7 @@ runInterpretState handler state m
 
 -- | @since 1.0.0.0
 newtype InterpretC s (sig :: (Type -> Type) -> (Type -> Type)) m a = InterpretC { runInterpretC :: m a }
-  deriving (Alternative, Applicative, Functor, Monad, Fail.MonadFail, MonadFix, MonadIO, MonadPlus)
+  deriving (Alternative, Applicative, Functor, Monad, Fail.MonadFail, MonadFix, MonadIO, MonadPlus, MonadUnliftIO)
 
 instance MonadTrans (InterpretC s sig) where
   lift = InterpretC

src/Control/Carrier/Lift.hs

@@ -20,6 +20,7 @@ import Control.Monad.Fail as Fail
 import Control.Monad.Fix
 import Control.Monad.IO.Class
 import Control.Monad.Trans.Class
+import Control.Monad.IO.Unlift (MonadUnliftIO)
 
 -- | Extract a 'Lift'ed 'Monad'ic action from an effectful computation.
 --
@@ -30,7 +31,7 @@ runM (LiftC m) = m
 
 -- | @since 1.0.0.0
 newtype LiftC m a = LiftC (m a)
-  deriving (Alternative, Applicative, Functor, Monad, Fail.MonadFail, MonadFix, MonadIO, MonadPlus)
+  deriving (Alternative, Applicative, Functor, Monad, Fail.MonadFail, MonadFix, MonadIO, MonadPlus, MonadUnliftIO)
 
 instance MonadTrans LiftC where
   lift = LiftC

src/Control/Carrier/Reader.hs

@@ -24,6 +24,7 @@ import Control.Monad.Fail as Fail
 import Control.Monad.Fix
 import Control.Monad.IO.Class
 import Control.Monad.Trans.Class
+import Control.Monad.IO.Unlift
 
 -- | Run a 'Reader' effect with the passed environment value.
 --
@@ -98,3 +99,7 @@ instance Algebra sig m => Algebra (Reader r :+: sig) (ReaderC r m) where
     L (Local f m) -> runReader (f r) (hdl (m <$ ctx))
     R other       -> alg (runReader r . hdl) other ctx
   {-# INLINE alg #-}
+
+instance MonadUnliftIO m => MonadUnliftIO (ReaderC r m) where
+  withRunInIO inner = ReaderC $ \ r -> withRunInIO $ \ run -> inner (run . runReader r)
+  {-# INLINE withRunInIO #-}