Add dev anoma print-config command

app/Commands/Dev/Anoma.hs

@@ -13,6 +13,7 @@ import Commands.Dev.Anoma.Base
 import Commands.Dev.Anoma.Client
 import Commands.Dev.Anoma.Indexer qualified as Indexer
 import Commands.Dev.Anoma.Options
+import Commands.Dev.Anoma.PrintConfig qualified as PrintConfig
 import Commands.Dev.Anoma.Prove qualified as Prove
 import Commands.Dev.Anoma.Start qualified as Start
 import Juvix.Data.CodeAnn
@@ -22,8 +23,9 @@ runCommand :: forall r. (Members AppEffects r) => AnomaCommandGlobal -> Sem r ()
 runCommand g =
   runAppError @SimpleError $ case (g ^. anomaCommandGlobalCommand) of
     AnomaCommandStart opts -> Start.runCommand opts
-    AnomaCommandStatus -> checkRunning >>= renderStdOutLn . ppCodeAnn
-    AnomaCommandStop -> checkRunning >>= stopClient >> removeConfig
+    AnomaCommandStatus -> getClientConfig >>= renderStdOutLn . ppCodeAnn
+    AnomaCommandStop -> getClientConfig >>= stopClient >> removeConfig
+    AnomaCommandPrintConfig opts -> PrintConfig.runCommand opts
     AnomaCommandProve opts ->
       runAnomaWithHostConfig
         (Prove.runCommand opts)
@@ -37,13 +39,10 @@ runCommand g =
       host <- getHostConfig
       runAnomaWithClient host eff
 
-    checkRunning :: (Members (Error SimpleError ': AppEffects) x) => Sem x ClientConfig
-    checkRunning = fromMaybeM (logInfo "The Anoma client is not running" >> exitFailure) checkClientRunning
-
     getHostConfig :: (Members (Error SimpleError ': AppEffects) x) => Sem x AnomaClientInfo
     getHostConfig = case g ^. anomaCommandGlobalClientConfig of
       Just p -> fromAppFile p >>= readClientInfo
-      Nothing -> (^. clientConfigHost) <$> checkRunning
+      Nothing -> (^. clientConfigHost) <$> getClientConfig
 
     readClientInfo :: (Members '[Files, Error SimpleError] x) => Path Abs File -> Sem x AnomaClientInfo
     readClientInfo fp = do

app/Commands/Dev/Anoma/Client.hs

@@ -1,21 +1,30 @@
-module Commands.Dev.Anoma.Client where
+module Commands.Dev.Anoma.Client
+  ( module Commands.Dev.Anoma.Client,
+    module Anoma.Client.Config,
+  )
+where
 
 import Anoma.Client.Config
 import Anoma.Effect.Base
 import Commands.Base
 import Data.Foldable.Extra qualified as E
 import Juvix.Prelude.Posix
 
-isClientRunning :: (Members '[Files, EmbedIO, Error SimpleError, Logger] r) => ClientConfig -> Sem r Bool
+isClientRunning :: (Members '[Files, EmbedIO, Error SimpleError] r) => ClientConfig -> Sem r Bool
 isClientRunning c =
   runAnomaWithClient
     (c ^. clientConfigHost)
     (catchError @SimpleError (anomaListMethods >> return True) (\_ _ -> return False))
 
-checkClientRunning :: (Members '[Logger, Files, EmbedIO, Error SimpleError] r) => Sem r (Maybe ClientConfig)
+checkClientRunning :: (Members '[Files, EmbedIO, Error SimpleError] r) => Sem r (Maybe ClientConfig)
 checkClientRunning = do
   mconfig <- readConfig
   E.findM isClientRunning mconfig
 
+getClientConfig ::
+  (Members '[Files, EmbedIO, Error SimpleError] r) =>
+  Sem r ClientConfig
+getClientConfig = fromMaybeM (throw @SimpleError "The Anoma client is not running") checkClientRunning
+
 stopClient :: (Members '[Files, EmbedIO] r) => ClientConfig -> Sem r ()
 stopClient = terminateProcessPid . (^. clientConfigPid)

app/Commands/Dev/Anoma/Options.hs

@@ -2,13 +2,15 @@ module Commands.Dev.Anoma.Options where
 
 import Commands.Dev.Anoma.AddTransaction.Options
 import Commands.Dev.Anoma.Indexer.Options
+import Commands.Dev.Anoma.PrintConfig.Options
 import Commands.Dev.Anoma.Prove.Options
 import Commands.Dev.Anoma.Start.Options
 import CommonOptions
 
 data AnomaCommand
   = AnomaCommandStart StartOptions
   | AnomaCommandStatus
+  | AnomaCommandPrintConfig PrintConfigOptions
   | AnomaCommandStop
   | AnomaCommandProve ProveOptions
   | AnomaCommandAddTransaction AddTransactionOptions
@@ -33,11 +35,21 @@ parseAnomaCommand =
             commandStatus,
             commandStop,
             commandProve,
+            commandPrintConfig,
             commandAddTransaction,
             commandIndexer
           ]
       )
   where
+    commandPrintConfig :: Mod CommandFields AnomaCommand
+    commandPrintConfig = command "print-config" runInfo
+      where
+        runInfo :: ParserInfo AnomaCommand
+        runInfo =
+          info
+            (AnomaCommandPrintConfig <$> parsePrintConfigOptions)
+            (progDesc "Prints the yaml configuration of the Anoma client to stdout")
+
     commandStart :: Mod CommandFields AnomaCommand
     commandStart = command "start" runInfo
       where

app/Commands/Dev/Anoma/PrintConfig.hs

@@ -0,0 +1,11 @@
+module Commands.Dev.Anoma.PrintConfig where
+
+import Commands.Base
+import Commands.Dev.Anoma.Client
+import Commands.Dev.Anoma.PrintConfig.Options
+import Data.Yaml qualified as Yaml
+
+runCommand :: (Members AppEffects r) => PrintConfigOptions -> Sem r ()
+runCommand _ = runAppError @SimpleError $ do
+  cfg <- (^. clientConfigHost) <$> getClientConfig
+  renderStdOutRaw (Yaml.encode cfg)

app/Commands/Dev/Anoma/PrintConfig/Options.hs

@@ -0,0 +1,9 @@
+module Commands.Dev.Anoma.PrintConfig.Options where
+
+import CommonOptions
+
+data PrintConfigOptions = PrintConfigOptions
+  deriving stock (Data)
+
+parsePrintConfigOptions :: Parser PrintConfigOptions
+parsePrintConfigOptions = pure PrintConfigOptions

src/Anoma/Effect/Base.hs

@@ -111,7 +111,7 @@ runAnomaEphemeral anomapath body = runEnvironment . runReader anomapath . runPro
         AnomaListMethods -> anomaListMethods'
         GetNodeInfo -> return NodeInfo {_nodeInfoId = grpcInfo ^. anomaClientInfoNodeId}
 
-runAnomaWithClient :: forall r a. (Members '[Logger, EmbedIO, Error SimpleError] r) => AnomaClientInfo -> Sem (Anoma ': r) a -> Sem r a
+runAnomaWithClient :: forall r a. (Members '[EmbedIO, Error SimpleError] r) => AnomaClientInfo -> Sem (Anoma ': r) a -> Sem r a
 runAnomaWithClient grpcInfo body = do
   let grpcInfo' = hardcodeNodeId grpcInfo
   runProcess
@@ -122,7 +122,7 @@ runAnomaWithClient grpcInfo body = do
       AnomaListMethods -> anomaListMethods'
       GetNodeInfo -> return NodeInfo {_nodeInfoId = grpcInfo' ^. anomaClientInfoNodeId}
 
-fromJSONErr :: (Members '[Error SimpleError, Logger] r) => (Aeson.FromJSON a) => Value -> Sem r a
+fromJSONErr :: (Members '[Error SimpleError] r) => (Aeson.FromJSON a) => Value -> Sem r a
 fromJSONErr v = case Aeson.fromJSON v of
   Aeson.Success r -> return r
   Aeson.Error err -> throw (SimpleError (mkAnsiText err))

src/Juvix/Data/Error/GenericError.hs

@@ -30,6 +30,9 @@ newtype SimpleError = SimpleError
   { _simpleErrorMessage :: AnsiText
   }
 
+instance IsString SimpleError where
+  fromString = SimpleError . mkAnsiText
+
 makeLenses ''GenericError
 makeLenses ''GenericOptions
 makeLenses ''SimpleError