Move parsing helpers from API

IntersectMBO · Sep 12, 2024 · f660fc0 · f660fc0
1 parent 39af17e
commit f660fc0
Showing 1 changed file with 20 additions and 3 deletions.
diff --git a/cardano-cli/src/Cardano/CLI/EraBased/Options/Common.hs b/cardano-cli/src/Cardano/CLI/EraBased/Options/Common.hs
@@ -12,9 +12,9 @@
 
 module Cardano.CLI.EraBased.Options.Common where
 
-import           Cardano.Api
+import           Cardano.Api hiding (bounded, parseFilePath)
 import qualified Cardano.Api.Ledger as L
-import           Cardano.Api.Shelley
+import           Cardano.Api.Shelley hiding (bounded, parseFilePath)
 
 import           Cardano.CLI.Environment (EnvCli (..), envCliAnyShelleyBasedEra,
                    envCliAnyShelleyToBabbageEra)
@@ -26,7 +26,7 @@ import           Cardano.CLI.Types.Key
 import           Cardano.CLI.Types.Key.VerificationKey
 import qualified Ouroboros.Network.Protocol.LocalStateQuery.Type as Consensus
 
-import           Control.Monad (mfilter, void)
+import           Control.Monad (mfilter, void, when)
 import qualified Data.Aeson as Aeson
 import           Data.Bifunctor
 import           Data.Bits (Bits, toIntegralSized)
@@ -55,6 +55,7 @@ import qualified Text.Parsec.Error as Parsec
 import qualified Text.Parsec.Language as Parsec
 import qualified Text.Parsec.String as Parsec
 import qualified Text.Parsec.Token as Parsec
+import qualified Text.Read as Read
 import           Text.Read (readEither, readMaybe)
 
 command' :: String -> String -> Parser a -> Mod CommandFields a
@@ -72,6 +73,22 @@ prefixFlag prefix longFlag =
     Nothing -> longFlag
     Just prefix' -> prefix' <> "-" <> longFlag
 
+bounded :: forall a. (Bounded a, Integral a, Show a) => String -> Opt.ReadM a
+bounded t = Opt.eitherReader $ \s -> do
+  i <- Read.readEither @Integer s
+  when (i < fromIntegral (minBound @a)) $ Left $ t <> " must not be less than " <> show (minBound @a)
+  when (i > fromIntegral (maxBound @a)) $ Left $ t <> " must not greater than " <> show (maxBound @a)
+  pure (fromIntegral i)
+
+parseFilePath :: String -> String -> Opt.Parser FilePath
+parseFilePath optname desc =
+  Opt.strOption
+    ( Opt.long optname
+        <> Opt.metavar "FILEPATH"
+        <> Opt.help desc
+        <> Opt.completer (Opt.bashCompleter "file")
+    )
+
 pNetworkIdDeprecated :: Parser NetworkId
 pNetworkIdDeprecated =
   asum