From 74cf3fb3ec76a9dee5b4a56ff4e856f0f99b9073 Mon Sep 17 00:00:00 2001 From: kedashoe Date: Tue, 4 Feb 2025 22:51:25 -0800 Subject: [PATCH] doc example imports --- effectful-core/src/Effectful/EarlyReturn/Dynamic.hs | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/effectful-core/src/Effectful/EarlyReturn/Dynamic.hs b/effectful-core/src/Effectful/EarlyReturn/Dynamic.hs index 540a2ef..cb1ea12 100644 --- a/effectful-core/src/Effectful/EarlyReturn/Dynamic.hs +++ b/effectful-core/src/Effectful/EarlyReturn/Dynamic.hs @@ -8,6 +8,12 @@ -- to return early from. As example of the former, with the handler in @main@: -- -- >>> :{ +-- import Control.Monad (when) +-- import Effectful (Eff, IOE, liftIO, runEff, (:>)) +-- import Effectful.Dispatch.Dynamic (HasCallStack) +-- :} +-- +-- >>> :{ -- early1 :: forall es. (HasCallStack, IOE :> es, EarlyReturn Bool :> es) => Int -> Eff es Bool -- early1 n = do -- when (n > 10) $ do