git.iko.soy/effectful
on master help sign in
Rename run to unlift
commit5ec68161edd3ea851548a279a1f51752331fd6b1 authorAndrzej Rybczak <andrzej@rybczak.net> dateTue 13 Jul 2021, 03:11 (5 years ago) parent7c55fe0
3 files changed+6−6
compare with master
unifiedsplit
src/Effectful/Error/Dynamic.hs+2−2 src/Effectful/State/Dynamic.hs+2−2 src/Effectful/Writer/Dynamic.hs+2−2
src/Effectful/Error/Dynamic.hs+2−2
@@ -23,8 +23,8 @@ runError
2323 -> Eff es (Either (CallStack, e) a)
2424runError = reinterpretM E.runError $ \env -> \case
2525 ThrowError e -> E.throwError e
26− CatchError m h -> localSeqUnlift env $ \run -> do
27− E.catchError (run m) (\cs -> run . h cs)
26+ CatchError m h -> localSeqUnlift env $ \unlift -> do
27+ E.catchError (unlift m) (\cs -> unlift . h cs)
2828
2929throwError
3030 :: (HasCallStack, Error e :> es)
src/Effectful/State/Dynamic.hs+2−2
@@ -66,7 +66,7 @@ localState env = \case
6666 Get -> L.get
6767 Put s -> L.put s
6868 State f -> L.state f
69− StateM f -> localSeqUnlift env $ \run -> L.stateM (run . f)
69+ StateM f -> localSeqUnlift env $ \unlift -> L.stateM (unlift . f)
7070
7171----------------------------------------
7272-- Shared
@@ -89,7 +89,7 @@ sharedState env = \case
8989 Get -> S.get
9090 Put s -> S.put s
9191 State f -> S.state f
92− StateM f -> localSeqUnlift env $ \run -> S.stateM (run . f)
92+ StateM f -> localSeqUnlift env $ \unlift -> S.stateM (unlift . f)
9393
9494----------------------------------------
9595-- Operations
src/Effectful/Writer/Dynamic.hs+2−2
@@ -40,7 +40,7 @@ localWriter
4040 -> Eff es a
4141localWriter env = \case
4242 Tell w -> L.tell w
43− Listen m -> localSeqUnlift env $ \run -> L.listen (run m)
43+ Listen m -> localSeqUnlift env $ \unlift -> L.listen (unlift m)
4444
4545----------------------------------------
4646-- Shared
@@ -58,7 +58,7 @@ sharedWriter
5858 -> Eff es a
5959sharedWriter env = \case
6060 Tell w -> S.tell w
61− Listen m -> localSeqUnlift env $ \run -> S.listen (run m)
61+ Listen m -> localSeqUnlift env $ \unlift -> S.listen (unlift m)
6262
6363----------------------------------------
6464-- Operations