From c34ee373e28c79cb35c5669f74133722aa713351 Mon Sep 17 00:00:00 2001
From: Tom Ellis <tom-git@jaguarpaw.co.uk>
Date: Sat, 2 Mar 2024 09:49:44 +0000
Subject: [PATCH] ImplicitParam experiment

---
 .../src/Bluefin/Internal/Examples.hs          | 75 +++++++++++++++++++
 1 file changed, 75 insertions(+)

diff --git a/bluefin-internal/src/Bluefin/Internal/Examples.hs b/bluefin-internal/src/Bluefin/Internal/Examples.hs
index d501c20..32cca86 100644
--- a/bluefin-internal/src/Bluefin/Internal/Examples.hs
+++ b/bluefin-internal/src/Bluefin/Internal/Examples.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE NoMonoLocalBinds #-}
 {-# LANGUAGE NoMonomorphismRestriction #-}
+{-# LANGUAGE ImplicitParams #-}
 
 module Bluefin.Internal.Examples where
 
@@ -421,6 +422,32 @@ compoundExample = runPureEff $ runMyHandle $ \h -> do
   myInc h
   myBail h
 
+throwI ::
+  (e1 :> es) =>
+  (?ex :: Exception e e1) =>
+  -- | Value to throw
+  e ->
+  Eff es a
+throwI = throw ?ex
+
+modifyI ::
+  forall st s es.
+  (st :> es) =>
+  (?st  :: State s st) =>
+  -- | Apply this function to the state.  The new value of the state
+  -- is forced before writing it to the state.
+  (s -> s) ->
+  Eff es ()
+modifyI = modify ?st
+
+getI ::
+  forall st s es.
+  (st :> es) =>
+  (?st :: State s st) =>
+  -- | The current value of the state
+  Eff es s
+getI = get ?st
+
 countExample :: IO ()
 countExample = runEff $ \io -> do
   evalState @Int 0 $ \sn -> do
@@ -898,3 +925,51 @@ rethrowIOExample = runEff $ \io -> do
   effIO io $ putStrLn $ case r of
     Left e -> "Caught IOException:\n" ++ show e
     Right contents -> contents
+
+-- welltypedwitch raised the intriguing possibility of using
+-- ImplicitParams to avoid having to pass effect handles explicitly.
+-- Unfortunately I've been snagged on two issues:
+--
+-- 1. It doesn't seem possible to bind an implicit parameter in a
+--    lambda.  (See
+--    https://discourse.haskell.org/t/why-cant-an-implicitparam-be-bound-by-a-lambda/8936/2)
+--
+-- 2. Type inference gets stuck. I don't understand why.
+countExampleI :: IO ()
+countExampleI = runEff $ ((\io -> do
+  evalState @Int 0 $ ((\st -> do
+    let ?st = st
+    withJump $ \break -> forever $ do
+      n <- getI @st
+      when (n >= 10) (jumpTo break)
+      effIO io (print n)
+      modifyI @st (+ 1))
+      :: forall st. State Int st -> Eff (st :& e :& es) ()))
+  :: forall e es. IOE e -> Eff (e :& es) ())
+
+-- We might want to resolve 1 by putting the ImplicitParam as an
+-- argument to the handler, but I can't work out how to get that to
+-- type check at all
+evalStateI ::
+  -- | Initial state
+  s ->
+  -- | Stateful computation
+  (forall st. (?st :: State s st) => Eff (st :& es) a) ->
+  -- | Result
+  Eff es a
+evalStateI s f = evalState s (\x -> let ?st = x in f)
+
+-- This just doesn't work.  Have a made a silly mistake?
+
+{-
+countExampleI2 :: IO ()
+countExampleI2 = runEff $ ((\io -> do
+  evalStateI @Int 0 $ (do
+    withJump $ \break -> forever $ do
+      n <- getI @st
+      when (n >= 10) (jumpTo break)
+      effIO io (print n)
+      modifyI @st (+ 1))
+      :: forall st. (?st :: State Int st) => Eff (st :& e :& effes) ())
+  :: forall e effes. IOE e -> Eff (e :& effes) ())
+-}