From e3ff3d871100fdda1dce67b26fdb41fd6c3a92ef Mon Sep 17 00:00:00 2001 From: Andrzej Rybczak Date: Thu, 18 Jan 2024 19:34:01 +0100 Subject: [PATCH] Remove unnecessary ticks --- effectful-core/src/Effectful/Dispatch/Dynamic.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/effectful-core/src/Effectful/Dispatch/Dynamic.hs b/effectful-core/src/Effectful/Dispatch/Dynamic.hs index f94d047..35f1d9d 100644 --- a/effectful-core/src/Effectful/Dispatch/Dynamic.hs +++ b/effectful-core/src/Effectful/Dispatch/Dynamic.hs @@ -838,7 +838,7 @@ copyRef (Env hoffset hrefs hstorage) (Env offset refs0 storage) = do -- Running local actions in a more specific environment is fine: -- -- >>> :{ --- runE1 :: Eff (E ': es) a -> Eff es a +-- runE1 :: Eff (E : es) a -> Eff es a -- runE1 = interpret $ \env -> \case -- E m -> runReader () $ do -- localSeqUnlift env $ \unlift -> unlift m @@ -847,7 +847,7 @@ copyRef (Env hoffset hrefs hstorage) (Env offset refs0 storage) = do -- Running local actions in a more general environment is fine: -- -- >>> :{ --- runE2 :: Eff (E ': es) a -> Eff es a +-- runE2 :: Eff (E : es) a -> Eff es a -- runE2 = reinterpret (runReader ()) $ \env -> \case -- E m -> raise $ do -- localSeqUnlift env $ \unlift -> unlift m @@ -857,7 +857,7 @@ copyRef (Env hoffset hrefs hstorage) (Env offset refs0 storage) = do -- this would make it possible to run anything within 'runPureEff': -- -- >>> :{ --- runE3 :: Eff (E ': es) a -> Eff es a +-- runE3 :: Eff (E : es) a -> Eff es a -- runE3 = reinterpret (runReader ()) $ \env -> \case -- E m -> pure . runPureEff $ do -- localSeqUnlift env $ \unlift -> unlift m @@ -870,7 +870,7 @@ copyRef (Env hoffset hrefs hstorage) (Env offset refs0 storage) = do -- this makes a special case of the above possible: -- -- >>> :{ --- runE4 :: Eff '[E, IOE] a -> Eff '[IOE] a +-- runE4 :: Eff [E, IOE] a -> Eff '[IOE] a -- runE4 = interpret $ \env -> \case -- E m -> pure . runPureEff $ do -- localSeqUnlift env $ \unlift -> unlift m