@@ -8,12 +8,10 @@ module Effectful.Interpreter
88 -- ** Interpretation
99 , interpret
1010 , interpretM
11− , interpretIO
1211
1312 -- ** Reinterpretation
1413 , reinterpret
1514 , reinterpretM
16− , reinterpretIO
1715 ) where
1816
1917import Control.Exception
@@ -81,17 +79,6 @@ interpretM interpreter m = unsafeEff $ \es -> do
8179 les <- forkEnv es
8280 runInterpreter es (Interpreter les $ \k -> interpreter $ unsafeEff_ . k) m
8381
84−-- | Interpret a higher order effect with help of a function running local 'Eff'
85−-- operations in 'IO'.
86−interpretIO
87− :: (forall r localEs. HasCallStack => RunIn localEs IO -> e (Eff localEs) r -> Eff es r)
88− -- ^ The effect handler.
89− -> Eff (e : es) a
90− -> Eff es a
91−interpretIO interpreter m = unsafeEff $ \es -> do
92− les <- forkEnv es
93− runInterpreter es (Interpreter les interpreter) m
94−
9582----------------------------------------
9683-- Reinterpretation
9784
@@ -121,17 +108,3 @@ reinterpretM runLocal interpreter m = unsafeEff $ \es -> do
121108 les0 <- forkEnv es
122109 (`unEff` les0) . runLocal . unsafeEff $ \les -> do
123110 runInterpreter es (Interpreter les $ \k -> interpreter $ unsafeEff_ . k) m
124−
125−-- | Interpret a higher order effect using other effects with help of a function
126−-- running local 'Eff' operations in 'IO'.
127−reinterpretIO
128− :: (Eff handlerEs a -> Eff es b)
129− -- ^ Introduction of effects encapsulated within the handler.
130− -> (forall r localEs. HasCallStack => RunIn localEs IO -> e (Eff localEs) r -> Eff handlerEs r)
131− -- ^ The effect handler.
132− -> Eff (e : es) a
133− -> Eff es b
134−reinterpretIO runLocal interpreter m = unsafeEff $ \es -> do
135− les0 <- forkEnv es
136− (`unEff` les0) . runLocal . unsafeEff $ \les -> do
137− runInterpreter es (Interpreter les interpreter) m