5ec6816 · effectful · git.iko.soy

src/Effectful/Error/Dynamic.hs+2−2

compare with master

unifiedsplit

@@ -23,8 +23,8 @@ runError

23 -> Eff es (Either (CallStack, e) a)

24runError = reinterpretM E.runError $ \env -> \case

25 ThrowError e -> E.throwError e

26− CatchError m h -> localSeqUnlift env $ \run -> do

26+ CatchError m h -> localSeqUnlift env $ \unlift -> do

27− E.catchError (run m) (\cs -> run . h cs)

27+ E.catchError (unlift m) (\cs -> unlift . h cs)

28

29throwError

30 :: (HasCallStack, Error e :> es)

src/Effectful/State/Dynamic.hs+2−2

@@ -66,7 +66,7 @@ localState env = \case

66 Get -> L.get

67 Put s -> L.put s

68 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)

70

71----------------------------------------

72-- Shared

@@ -89,7 +89,7 @@ sharedState env = \case

89 Get -> S.get

90 Put s -> S.put s

91 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)

93

94----------------------------------------

95-- Operations

src/Effectful/Writer/Dynamic.hs+2−2

@@ -40,7 +40,7 @@ localWriter

40 -> Eff es a

41localWriter env = \case

42 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)

44

45----------------------------------------

46-- Shared

@@ -58,7 +58,7 @@ sharedWriter

58 -> Eff es a

59sharedWriter env = \case

60 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)

62

63----------------------------------------

64-- Operations