Add intepretation of Anoma that connects to an existing client

anoma · Nov 19, 2024 · 11a4333 · 11a4333
1 parent eab02a7
commit 11a4333
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/Anoma/Effect/Base.hs b/src/Anoma/Effect/Base.hs
@@ -13,6 +13,7 @@ module Anoma.Effect.Base
     anomaProcessHandle,
     anomaPath,
     runAnomaEphemeral,
+    runAnomaWithClient,
     launchAnoma,
     module Anoma.Rpc.Base,
     module Juvix.Compiler.Nockma.Translation.FromTree,
@@ -117,6 +118,12 @@ runAnomaEphemeral anomapath body = runReader anomapath . runProcess $ do
       (`interpret` inject body) $ \case
         AnomaRpc method i -> anomaRpc' method i
 
+runAnomaWithClient :: forall r a. (Members '[Logger, EmbedIO, Error SimpleError] r) => AnomaGrpcClientInfo -> Sem (Anoma ': r) a -> Sem r a
+runAnomaWithClient grpcInfo body = runProcess $ do
+  runReader grpcInfo $ do
+    (`interpret` inject body) $ \case
+      AnomaRpc method i -> anomaRpc' method i
+
 launchAnoma :: (Members '[Logger, EmbedIO, Error SimpleError] r) => AnomaPath -> Sem r ProcessHandle
 launchAnoma anomapath = runReader anomapath . runProcess $ do
   cproc <- anomaCreateProcess