From 742db3d17e79733a9c4d2d456e054b4b7a7c68f3 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 10 Oct 2019 15:54:54 -0400 Subject: [PATCH] :fire: the Carrier instance. --- semantic-core/src/Control/Carrier/Readline/Haskeline.hs | 3 --- 1 file changed, 3 deletions(-) diff --git a/semantic-core/src/Control/Carrier/Readline/Haskeline.hs b/semantic-core/src/Control/Carrier/Readline/Haskeline.hs index 91d2bef65..7c44c11e9 100644 --- a/semantic-core/src/Control/Carrier/Readline/Haskeline.hs +++ b/semantic-core/src/Control/Carrier/Readline/Haskeline.hs @@ -62,9 +62,6 @@ newtype ControlIOC m a = ControlIOC { runControlIO :: m a } instance MonadUnliftIO m => MonadUnliftIO (ControlIOC m) where withRunInIO inner = ControlIOC $ withRunInIO $ \ go -> inner (go . runControlIO) -instance Carrier sig m => Carrier sig (ControlIOC m) where - eff op = ControlIOC (eff (handleCoercible op)) - instance MonadUnliftIO m => MonadException (ControlIOC m) where controlIO f = withRunInIO (\ runInIO -> f (RunIO (fmap pure . runInIO)) >>= runInIO)