remove example

anoma · Feb 12, 2024 · 24d2457 · 24d2457
1 parent b105730
commit 24d2457
Showing 1 changed file with 0 additions and 13 deletions.
diff --git a/src/Juvix/Prelude/Effects/Output.hs b/src/Juvix/Prelude/Effects/Output.hs
@@ -26,16 +26,3 @@ runOutputList = reinterpret runAccumList $ \_ -> \case
 ignoreOutput :: Eff (Output o ': r) a -> Eff r a
 ignoreOutput = interpret $ \_ -> \case
   Output {} -> return ()
-
-example1 :: IO ()
-example1 =
-  runEff $
-    runOutputEff (\n -> putStrLn ("hey " <> show @Natural n)) (go 3)
-
-go :: (Output Natural :> r, IOE :> r) => Natural -> Eff r ()
-go = \case
-  0 -> return ()
-  n -> do
-    output n
-    liftIO (sleep 1)
-    go (pred n)