From 0ca568cbced6d8b5c4f9adce24fe057f66aa9649 Mon Sep 17 00:00:00 2001 From: Patrick Thomson Date: Thu, 31 Oct 2019 15:40:29 -0400 Subject: [PATCH] No need for a runM. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 111be14..065328e 100644 --- a/README.md +++ b/README.md @@ -9,7 +9,7 @@ This package provides `Control.Effect.Exception`, a module that wraps the [`Cont Please be aware that injudicious use of these functions may provoke surprising interactions with carriers that thread a monadic state as a parameter, à la the `Control.Carrier.State` types provided by `fused-effects`. For example, a function like `finally`, which does not thread any state from its body to its handler block, may discard state writes in cleanup handlers: ```haskell -λ runM (runState 'a' ((throwIO (userError "urk") `finally` put @Char 'z') +λ run (runState 'a' ((throwIO (userError "urk") `finally` put @Char 'z') `catch` (\(_ :: IOException) -> pure ()))) ('a', ()) ```