{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}

module Cardano.CLI.Legacy.Option
  ( -- * CLI command parser
    parseLegacyCmds

    -- * CLI command and flag types
  , module Cardano.CLI.Legacy.Command

    -- * Field parser and renderers
  , parseTxIn
  , pKeyRegistDeposit
  , pStakePoolVerificationKeyOrHashOrFile
  )
where

import Cardano.Api hiding (QueryInShelleyBasedEra (..))

import Cardano.CLI.Environment
import Cardano.CLI.EraBased.Common.Option
import Cardano.CLI.Legacy.Command
import Cardano.CLI.Legacy.Genesis.Command
import Cardano.CLI.Parser
import Cardano.CLI.Type.Common
import Cardano.Ledger.BaseTypes (NonZero, knownNonZeroBounded)

import Data.Char (toLower)
import Data.Foldable
import Data.Maybe
import Data.Word (Word64)
import Options.Applicative hiding (help, str)
import Options.Applicative qualified as Opt

--
-- Shelley CLI command parsers
--
-- This is necessary for QA to create update proposals pre-Conway
parseLegacyCmds :: EnvCli -> Parser LegacyCmds
parseLegacyCmds :: EnvCli -> Parser LegacyCmds
parseLegacyCmds EnvCli
envCli =
  Mod CommandFields LegacyCmds -> Parser LegacyCmds
forall a. Mod CommandFields a -> Parser a
Opt.hsubparser (Mod CommandFields LegacyCmds -> Parser LegacyCmds)
-> Mod CommandFields LegacyCmds -> Parser LegacyCmds
forall a b. (a -> b) -> a -> b
$
    [Mod CommandFields LegacyCmds] -> Mod CommandFields LegacyCmds
forall a. Monoid a => [a] -> a
mconcat
      [ FilePath -> Mod CommandFields LegacyCmds
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"COMMAND"
      , FilePath -> ParserInfo LegacyCmds -> Mod CommandFields LegacyCmds
forall a. FilePath -> ParserInfo a -> Mod CommandFields a
Opt.command FilePath
"genesis" (ParserInfo LegacyCmds -> Mod CommandFields LegacyCmds)
-> ParserInfo LegacyCmds -> Mod CommandFields LegacyCmds
forall a b. (a -> b) -> a -> b
$
          Parser LegacyCmds -> InfoMod LegacyCmds -> ParserInfo LegacyCmds
forall a. Parser a -> InfoMod a -> ParserInfo a
Opt.info (LegacyGenesisCmds -> LegacyCmds
LegacyGenesisCmds (LegacyGenesisCmds -> LegacyCmds)
-> Parser LegacyGenesisCmds -> Parser LegacyCmds
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> EnvCli -> Parser LegacyGenesisCmds
pGenesisCmds EnvCli
envCli) (InfoMod LegacyCmds -> ParserInfo LegacyCmds)
-> InfoMod LegacyCmds -> ParserInfo LegacyCmds
forall a b. (a -> b) -> a -> b
$
            FilePath -> InfoMod LegacyCmds
forall a. FilePath -> InfoMod a
Opt.progDesc FilePath
"Genesis block commands"
      ]

pGenesisCmds :: EnvCli -> Parser LegacyGenesisCmds
pGenesisCmds :: EnvCli -> Parser LegacyGenesisCmds
pGenesisCmds EnvCli
envCli =
  [Parser LegacyGenesisCmds] -> Parser LegacyGenesisCmds
forall (t :: * -> *) (f :: * -> *) a.
(Foldable t, Alternative f) =>
t (f a) -> f a
asum
    [ Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a. Mod CommandFields a -> Parser a
Opt.hsubparser (Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds)
-> Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
        FilePath
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a. FilePath -> ParserInfo a -> Mod CommandFields a
commandWithMetavar FilePath
"key-gen-genesis" (ParserInfo LegacyGenesisCmds
 -> Mod CommandFields LegacyGenesisCmds)
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
          Parser LegacyGenesisCmds
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a. Parser a -> InfoMod a -> ParserInfo a
Opt.info Parser LegacyGenesisCmds
pGenesisKeyGen (InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds)
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
            FilePath -> InfoMod LegacyGenesisCmds
forall a. FilePath -> InfoMod a
Opt.progDesc FilePath
"Create a Shelley genesis key pair"
    , Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a. Mod CommandFields a -> Parser a
Opt.hsubparser (Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds)
-> Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
        FilePath
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a. FilePath -> ParserInfo a -> Mod CommandFields a
commandWithMetavar FilePath
"key-gen-delegate" (ParserInfo LegacyGenesisCmds
 -> Mod CommandFields LegacyGenesisCmds)
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
          Parser LegacyGenesisCmds
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a. Parser a -> InfoMod a -> ParserInfo a
Opt.info Parser LegacyGenesisCmds
pGenesisDelegateKeyGen (InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds)
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
            FilePath -> InfoMod LegacyGenesisCmds
forall a. FilePath -> InfoMod a
Opt.progDesc FilePath
"Create a Shelley genesis delegate key pair"
    , Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a. Mod CommandFields a -> Parser a
Opt.hsubparser (Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds)
-> Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
        FilePath
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a. FilePath -> ParserInfo a -> Mod CommandFields a
commandWithMetavar FilePath
"key-gen-utxo" (ParserInfo LegacyGenesisCmds
 -> Mod CommandFields LegacyGenesisCmds)
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
          Parser LegacyGenesisCmds
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a. Parser a -> InfoMod a -> ParserInfo a
Opt.info Parser LegacyGenesisCmds
pGenesisUTxOKeyGen (InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds)
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
            FilePath -> InfoMod LegacyGenesisCmds
forall a. FilePath -> InfoMod a
Opt.progDesc FilePath
"Create a Shelley genesis UTxO key pair"
    , Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a. Mod CommandFields a -> Parser a
Opt.hsubparser (Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds)
-> Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
        FilePath
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a. FilePath -> ParserInfo a -> Mod CommandFields a
commandWithMetavar FilePath
"key-hash" (ParserInfo LegacyGenesisCmds
 -> Mod CommandFields LegacyGenesisCmds)
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
          Parser LegacyGenesisCmds
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a. Parser a -> InfoMod a -> ParserInfo a
Opt.info Parser LegacyGenesisCmds
pGenesisKeyHash (InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds)
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
            FilePath -> InfoMod LegacyGenesisCmds
forall a. FilePath -> InfoMod a
Opt.progDesc FilePath
"Print the identifier (hash) of a public key"
    , Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a. Mod CommandFields a -> Parser a
Opt.hsubparser (Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds)
-> Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
        FilePath
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a. FilePath -> ParserInfo a -> Mod CommandFields a
commandWithMetavar FilePath
"get-ver-key" (ParserInfo LegacyGenesisCmds
 -> Mod CommandFields LegacyGenesisCmds)
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
          Parser LegacyGenesisCmds
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a. Parser a -> InfoMod a -> ParserInfo a
Opt.info Parser LegacyGenesisCmds
pGenesisVerKey (InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds)
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
            FilePath -> InfoMod LegacyGenesisCmds
forall a. FilePath -> InfoMod a
Opt.progDesc FilePath
"Derive the verification key from a signing key"
    , Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a. Mod CommandFields a -> Parser a
Opt.hsubparser (Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds)
-> Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
        FilePath
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a. FilePath -> ParserInfo a -> Mod CommandFields a
commandWithMetavar FilePath
"initial-addr" (ParserInfo LegacyGenesisCmds
 -> Mod CommandFields LegacyGenesisCmds)
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
          Parser LegacyGenesisCmds
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a. Parser a -> InfoMod a -> ParserInfo a
Opt.info Parser LegacyGenesisCmds
pGenesisAddr (InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds)
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
            FilePath -> InfoMod LegacyGenesisCmds
forall a. FilePath -> InfoMod a
Opt.progDesc FilePath
"Get the address for an initial UTxO based on the verification key"
    , Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a. Mod CommandFields a -> Parser a
Opt.hsubparser (Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds)
-> Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
        FilePath
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a. FilePath -> ParserInfo a -> Mod CommandFields a
commandWithMetavar FilePath
"initial-txin" (ParserInfo LegacyGenesisCmds
 -> Mod CommandFields LegacyGenesisCmds)
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
          Parser LegacyGenesisCmds
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a. Parser a -> InfoMod a -> ParserInfo a
Opt.info Parser LegacyGenesisCmds
pGenesisTxIn (InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds)
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
            FilePath -> InfoMod LegacyGenesisCmds
forall a. FilePath -> InfoMod a
Opt.progDesc FilePath
"Get the TxIn for an initial UTxO based on the verification key"
    , Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a. Mod CommandFields a -> Parser a
Opt.hsubparser (Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds)
-> Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
        FilePath
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a. FilePath -> ParserInfo a -> Mod CommandFields a
commandWithMetavar FilePath
"create-cardano" (ParserInfo LegacyGenesisCmds
 -> Mod CommandFields LegacyGenesisCmds)
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
          Parser LegacyGenesisCmds
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a. Parser a -> InfoMod a -> ParserInfo a
Opt.info Parser LegacyGenesisCmds
pGenesisCreateCardano (InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds)
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
            FilePath -> InfoMod LegacyGenesisCmds
forall a. FilePath -> InfoMod a
Opt.progDesc (FilePath -> InfoMod LegacyGenesisCmds)
-> FilePath -> InfoMod LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
              [FilePath] -> FilePath
forall a. Monoid a => [a] -> a
mconcat
                [ FilePath
"Create a Byron and Shelley genesis file from a genesis "
                , FilePath
"template and genesis/delegation/spending keys."
                ]
    , Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a. Mod CommandFields a -> Parser a
Opt.hsubparser (Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds)
-> Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
        FilePath
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a. FilePath -> ParserInfo a -> Mod CommandFields a
commandWithMetavar FilePath
"create" (ParserInfo LegacyGenesisCmds
 -> Mod CommandFields LegacyGenesisCmds)
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
          Parser LegacyGenesisCmds
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a. Parser a -> InfoMod a -> ParserInfo a
Opt.info Parser LegacyGenesisCmds
pGenesisCreate (InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds)
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
            FilePath -> InfoMod LegacyGenesisCmds
forall a. FilePath -> InfoMod a
Opt.progDesc (FilePath -> InfoMod LegacyGenesisCmds)
-> FilePath -> InfoMod LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
              [FilePath] -> FilePath
forall a. Monoid a => [a] -> a
mconcat
                [ FilePath
"Create a Shelley genesis file from a genesis "
                , FilePath
"template and genesis/delegation/spending keys."
                ]
    , Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a. Mod CommandFields a -> Parser a
Opt.hsubparser (Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds)
-> Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
        FilePath
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a. FilePath -> ParserInfo a -> Mod CommandFields a
commandWithMetavar FilePath
"create-staked" (ParserInfo LegacyGenesisCmds
 -> Mod CommandFields LegacyGenesisCmds)
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
          Parser LegacyGenesisCmds
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a. Parser a -> InfoMod a -> ParserInfo a
Opt.info Parser LegacyGenesisCmds
pGenesisCreateStaked (InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds)
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
            FilePath -> InfoMod LegacyGenesisCmds
forall a. FilePath -> InfoMod a
Opt.progDesc (FilePath -> InfoMod LegacyGenesisCmds)
-> FilePath -> InfoMod LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
              [FilePath] -> FilePath
forall a. Monoid a => [a] -> a
mconcat
                [ FilePath
"Create a staked Shelley genesis file from a genesis "
                , FilePath
"template and genesis/delegation/spending keys."
                ]
    , Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a. Mod CommandFields a -> Parser a
Opt.hsubparser (Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds)
-> Mod CommandFields LegacyGenesisCmds -> Parser LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
        FilePath
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a. FilePath -> ParserInfo a -> Mod CommandFields a
commandWithMetavar FilePath
"hash" (ParserInfo LegacyGenesisCmds
 -> Mod CommandFields LegacyGenesisCmds)
-> ParserInfo LegacyGenesisCmds
-> Mod CommandFields LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
          Parser LegacyGenesisCmds
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a. Parser a -> InfoMod a -> ParserInfo a
Opt.info Parser LegacyGenesisCmds
pGenesisHash (InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds)
-> InfoMod LegacyGenesisCmds -> ParserInfo LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
            FilePath -> InfoMod LegacyGenesisCmds
forall a. FilePath -> InfoMod a
Opt.progDesc (FilePath -> InfoMod LegacyGenesisCmds)
-> FilePath -> InfoMod LegacyGenesisCmds
forall a b. (a -> b) -> a -> b
$
              [FilePath] -> FilePath
unlines
                [ FilePath
"DEPRECATION WARNING! This command is deprecated and will be "
                , FilePath
"removed in a future release. Please use hash genesis-file "
                , FilePath
"instead. "
                , FilePath
"Compute the hash of a genesis file."
                ]
    ]
 where
  pGenesisKeyGen :: Parser LegacyGenesisCmds
  pGenesisKeyGen :: Parser LegacyGenesisCmds
pGenesisKeyGen =
    VerificationKeyFile 'Out
-> SigningKeyFile 'Out -> LegacyGenesisCmds
GenesisKeyGenGenesis
      (VerificationKeyFile 'Out
 -> SigningKeyFile 'Out -> LegacyGenesisCmds)
-> Parser (VerificationKeyFile 'Out)
-> Parser (SigningKeyFile 'Out -> LegacyGenesisCmds)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Parser (VerificationKeyFile 'Out)
forall keyrole. Parser (File (VerificationKey keyrole) 'Out)
pVerificationKeyFileOut
      Parser (SigningKeyFile 'Out -> LegacyGenesisCmds)
-> Parser (SigningKeyFile 'Out) -> Parser LegacyGenesisCmds
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (SigningKeyFile 'Out)
forall keyrole. Parser (File (SigningKey keyrole) 'Out)
pSigningKeyFileOut

  pGenesisDelegateKeyGen :: Parser LegacyGenesisCmds
  pGenesisDelegateKeyGen :: Parser LegacyGenesisCmds
pGenesisDelegateKeyGen =
    VerificationKeyFile 'Out
-> SigningKeyFile 'Out
-> OpCertCounterFile 'Out
-> LegacyGenesisCmds
GenesisKeyGenDelegate
      (VerificationKeyFile 'Out
 -> SigningKeyFile 'Out
 -> OpCertCounterFile 'Out
 -> LegacyGenesisCmds)
-> Parser (VerificationKeyFile 'Out)
-> Parser
     (SigningKeyFile 'Out
      -> OpCertCounterFile 'Out -> LegacyGenesisCmds)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Parser (VerificationKeyFile 'Out)
forall keyrole. Parser (File (VerificationKey keyrole) 'Out)
pVerificationKeyFileOut
      Parser
  (SigningKeyFile 'Out
   -> OpCertCounterFile 'Out -> LegacyGenesisCmds)
-> Parser (SigningKeyFile 'Out)
-> Parser (OpCertCounterFile 'Out -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (SigningKeyFile 'Out)
forall keyrole. Parser (File (SigningKey keyrole) 'Out)
pSigningKeyFileOut
      Parser (OpCertCounterFile 'Out -> LegacyGenesisCmds)
-> Parser (OpCertCounterFile 'Out) -> Parser LegacyGenesisCmds
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (OpCertCounterFile 'Out)
forall (direction :: FileDirection).
Parser (File OpCertCounter direction)
pOperatorCertIssueCounterFile

  pGenesisUTxOKeyGen :: Parser LegacyGenesisCmds
  pGenesisUTxOKeyGen :: Parser LegacyGenesisCmds
pGenesisUTxOKeyGen =
    VerificationKeyFile 'Out
-> SigningKeyFile 'Out -> LegacyGenesisCmds
GenesisKeyGenUTxO
      (VerificationKeyFile 'Out
 -> SigningKeyFile 'Out -> LegacyGenesisCmds)
-> Parser (VerificationKeyFile 'Out)
-> Parser (SigningKeyFile 'Out -> LegacyGenesisCmds)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Parser (VerificationKeyFile 'Out)
forall keyrole. Parser (File (VerificationKey keyrole) 'Out)
pVerificationKeyFileOut
      Parser (SigningKeyFile 'Out -> LegacyGenesisCmds)
-> Parser (SigningKeyFile 'Out) -> Parser LegacyGenesisCmds
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (SigningKeyFile 'Out)
forall keyrole. Parser (File (SigningKey keyrole) 'Out)
pSigningKeyFileOut

  pGenesisKeyHash :: Parser LegacyGenesisCmds
  pGenesisKeyHash :: Parser LegacyGenesisCmds
pGenesisKeyHash =
    VerificationKeyFile 'In -> LegacyGenesisCmds
GenesisCmdKeyHash
      (VerificationKeyFile 'In -> LegacyGenesisCmds)
-> Parser (VerificationKeyFile 'In) -> Parser LegacyGenesisCmds
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Parser (VerificationKeyFile 'In)
pVerificationKeyFileIn

  pGenesisVerKey :: Parser LegacyGenesisCmds
  pGenesisVerKey :: Parser LegacyGenesisCmds
pGenesisVerKey =
    VerificationKeyFile 'Out -> SigningKeyFile 'In -> LegacyGenesisCmds
GenesisVerKey
      (VerificationKeyFile 'Out
 -> SigningKeyFile 'In -> LegacyGenesisCmds)
-> Parser (VerificationKeyFile 'Out)
-> Parser (SigningKeyFile 'In -> LegacyGenesisCmds)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Parser (VerificationKeyFile 'Out)
forall keyrole. Parser (File (VerificationKey keyrole) 'Out)
pVerificationKeyFileOut
      Parser (SigningKeyFile 'In -> LegacyGenesisCmds)
-> Parser (SigningKeyFile 'In) -> Parser LegacyGenesisCmds
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (SigningKeyFile 'In)
pSigningKeyFileIn

  pGenesisAddr :: Parser LegacyGenesisCmds
  pGenesisAddr :: Parser LegacyGenesisCmds
pGenesisAddr =
    VerificationKeyFile 'In
-> NetworkId -> Maybe (File () 'Out) -> LegacyGenesisCmds
GenesisAddr
      (VerificationKeyFile 'In
 -> NetworkId -> Maybe (File () 'Out) -> LegacyGenesisCmds)
-> Parser (VerificationKeyFile 'In)
-> Parser (NetworkId -> Maybe (File () 'Out) -> LegacyGenesisCmds)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Parser (VerificationKeyFile 'In)
pVerificationKeyFileIn
      Parser (NetworkId -> Maybe (File () 'Out) -> LegacyGenesisCmds)
-> Parser NetworkId
-> Parser (Maybe (File () 'Out) -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> EnvCli -> Parser NetworkId
pNetworkId EnvCli
envCli
      Parser (Maybe (File () 'Out) -> LegacyGenesisCmds)
-> Parser (Maybe (File () 'Out)) -> Parser LegacyGenesisCmds
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (Maybe (File () 'Out))
forall content. Parser (Maybe (File content 'Out))
pMaybeOutputFile

  pGenesisTxIn :: Parser LegacyGenesisCmds
  pGenesisTxIn :: Parser LegacyGenesisCmds
pGenesisTxIn =
    VerificationKeyFile 'In
-> NetworkId -> Maybe (File () 'Out) -> LegacyGenesisCmds
GenesisTxIn
      (VerificationKeyFile 'In
 -> NetworkId -> Maybe (File () 'Out) -> LegacyGenesisCmds)
-> Parser (VerificationKeyFile 'In)
-> Parser (NetworkId -> Maybe (File () 'Out) -> LegacyGenesisCmds)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Parser (VerificationKeyFile 'In)
pVerificationKeyFileIn
      Parser (NetworkId -> Maybe (File () 'Out) -> LegacyGenesisCmds)
-> Parser NetworkId
-> Parser (Maybe (File () 'Out) -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> EnvCli -> Parser NetworkId
pNetworkId EnvCli
envCli
      Parser (Maybe (File () 'Out) -> LegacyGenesisCmds)
-> Parser (Maybe (File () 'Out)) -> Parser LegacyGenesisCmds
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (Maybe (File () 'Out))
forall content. Parser (Maybe (File content 'Out))
pMaybeOutputFile

  pGenesisCreateCardano :: Parser LegacyGenesisCmds
  pGenesisCreateCardano :: Parser LegacyGenesisCmds
pGenesisCreateCardano =
    Era ConwayEra
-> GenesisDir
-> Word
-> Word
-> Maybe SystemStart
-> Maybe Coin
-> NonZero Word64
-> Word
-> Rational
-> NetworkId
-> FilePath
-> FilePath
-> FilePath
-> FilePath
-> Maybe FilePath
-> LegacyGenesisCmds
forall era.
Era era
-> GenesisDir
-> Word
-> Word
-> Maybe SystemStart
-> Maybe Coin
-> NonZero Word64
-> Word
-> Rational
-> NetworkId
-> FilePath
-> FilePath
-> FilePath
-> FilePath
-> Maybe FilePath
-> LegacyGenesisCmds
GenesisCreateCardano
      (Era ConwayEra
 -> GenesisDir
 -> Word
 -> Word
 -> Maybe SystemStart
 -> Maybe Coin
 -> NonZero Word64
 -> Word
 -> Rational
 -> NetworkId
 -> FilePath
 -> FilePath
 -> FilePath
 -> FilePath
 -> Maybe FilePath
 -> LegacyGenesisCmds)
-> Parser (Era ConwayEra)
-> Parser
     (GenesisDir
      -> Word
      -> Word
      -> Maybe SystemStart
      -> Maybe Coin
      -> NonZero Word64
      -> Word
      -> Rational
      -> NetworkId
      -> FilePath
      -> FilePath
      -> FilePath
      -> FilePath
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> EnvCli -> Parser (Era ConwayEra)
pConwayEra EnvCli
envCli
      Parser
  (GenesisDir
   -> Word
   -> Word
   -> Maybe SystemStart
   -> Maybe Coin
   -> NonZero Word64
   -> Word
   -> Rational
   -> NetworkId
   -> FilePath
   -> FilePath
   -> FilePath
   -> FilePath
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser GenesisDir
-> Parser
     (Word
      -> Word
      -> Maybe SystemStart
      -> Maybe Coin
      -> NonZero Word64
      -> Word
      -> Rational
      -> NetworkId
      -> FilePath
      -> FilePath
      -> FilePath
      -> FilePath
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser GenesisDir
pGenesisDir
      Parser
  (Word
   -> Word
   -> Maybe SystemStart
   -> Maybe Coin
   -> NonZero Word64
   -> Word
   -> Rational
   -> NetworkId
   -> FilePath
   -> FilePath
   -> FilePath
   -> FilePath
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser Word
-> Parser
     (Word
      -> Maybe SystemStart
      -> Maybe Coin
      -> NonZero Word64
      -> Word
      -> Rational
      -> NetworkId
      -> FilePath
      -> FilePath
      -> FilePath
      -> FilePath
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser Word
pGenesisNumGenesisKeys
      Parser
  (Word
   -> Maybe SystemStart
   -> Maybe Coin
   -> NonZero Word64
   -> Word
   -> Rational
   -> NetworkId
   -> FilePath
   -> FilePath
   -> FilePath
   -> FilePath
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser Word
-> Parser
     (Maybe SystemStart
      -> Maybe Coin
      -> NonZero Word64
      -> Word
      -> Rational
      -> NetworkId
      -> FilePath
      -> FilePath
      -> FilePath
      -> FilePath
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser Word
pGenesisNumUTxOKeys
      Parser
  (Maybe SystemStart
   -> Maybe Coin
   -> NonZero Word64
   -> Word
   -> Rational
   -> NetworkId
   -> FilePath
   -> FilePath
   -> FilePath
   -> FilePath
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser (Maybe SystemStart)
-> Parser
     (Maybe Coin
      -> NonZero Word64
      -> Word
      -> Rational
      -> NetworkId
      -> FilePath
      -> FilePath
      -> FilePath
      -> FilePath
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (Maybe SystemStart)
pMaybeSystemStart
      Parser
  (Maybe Coin
   -> NonZero Word64
   -> Word
   -> Rational
   -> NetworkId
   -> FilePath
   -> FilePath
   -> FilePath
   -> FilePath
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser (Maybe Coin)
-> Parser
     (NonZero Word64
      -> Word
      -> Rational
      -> NetworkId
      -> FilePath
      -> FilePath
      -> FilePath
      -> FilePath
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (Maybe Coin)
pInitialSupplyNonDelegated
      Parser
  (NonZero Word64
   -> Word
   -> Rational
   -> NetworkId
   -> FilePath
   -> FilePath
   -> FilePath
   -> FilePath
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser (NonZero Word64)
-> Parser
     (Word
      -> Rational
      -> NetworkId
      -> FilePath
      -> FilePath
      -> FilePath
      -> FilePath
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (NonZero Word64)
pSecurityParam
      Parser
  (Word
   -> Rational
   -> NetworkId
   -> FilePath
   -> FilePath
   -> FilePath
   -> FilePath
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser Word
-> Parser
     (Rational
      -> NetworkId
      -> FilePath
      -> FilePath
      -> FilePath
      -> FilePath
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser Word
pSlotLength
      Parser
  (Rational
   -> NetworkId
   -> FilePath
   -> FilePath
   -> FilePath
   -> FilePath
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser Rational
-> Parser
     (NetworkId
      -> FilePath
      -> FilePath
      -> FilePath
      -> FilePath
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser Rational
pSlotCoefficient
      Parser
  (NetworkId
   -> FilePath
   -> FilePath
   -> FilePath
   -> FilePath
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser NetworkId
-> Parser
     (FilePath
      -> FilePath
      -> FilePath
      -> FilePath
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> EnvCli -> Parser NetworkId
pNetworkId EnvCli
envCli
      Parser
  (FilePath
   -> FilePath
   -> FilePath
   -> FilePath
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser FilePath
-> Parser
     (FilePath
      -> FilePath -> FilePath -> Maybe FilePath -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> FilePath -> FilePath -> Parser FilePath
parseFilePath
        FilePath
"byron-template"
        FilePath
"JSON file with genesis defaults for each byron."
      Parser
  (FilePath
   -> FilePath -> FilePath -> Maybe FilePath -> LegacyGenesisCmds)
-> Parser FilePath
-> Parser
     (FilePath -> FilePath -> Maybe FilePath -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> FilePath -> FilePath -> Parser FilePath
parseFilePath
        FilePath
"shelley-template"
        FilePath
"JSON file with genesis defaults for each shelley."
      Parser
  (FilePath -> FilePath -> Maybe FilePath -> LegacyGenesisCmds)
-> Parser FilePath
-> Parser (FilePath -> Maybe FilePath -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> FilePath -> FilePath -> Parser FilePath
parseFilePath
        FilePath
"alonzo-template"
        FilePath
"JSON file with genesis defaults for alonzo."
      Parser (FilePath -> Maybe FilePath -> LegacyGenesisCmds)
-> Parser FilePath -> Parser (Maybe FilePath -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> FilePath -> FilePath -> Parser FilePath
parseFilePath
        FilePath
"conway-template"
        FilePath
"JSON file with genesis defaults for conway."
      Parser (Maybe FilePath -> LegacyGenesisCmds)
-> Parser (Maybe FilePath) -> Parser LegacyGenesisCmds
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (Maybe FilePath)
pNodeConfigTemplate

  pGenesisCreate :: Parser LegacyGenesisCmds
  pGenesisCreate :: Parser LegacyGenesisCmds
pGenesisCreate =
    AnyShelleyBasedEra
-> Vary '[FormatBech32, FormatTextEnvelope]
-> GenesisDir
-> Word
-> Word
-> Maybe SystemStart
-> Maybe Coin
-> NetworkId
-> LegacyGenesisCmds
GenesisCreate
      (AnyShelleyBasedEra
 -> Vary '[FormatBech32, FormatTextEnvelope]
 -> GenesisDir
 -> Word
 -> Word
 -> Maybe SystemStart
 -> Maybe Coin
 -> NetworkId
 -> LegacyGenesisCmds)
-> Parser AnyShelleyBasedEra
-> Parser
     (Vary '[FormatBech32, FormatTextEnvelope]
      -> GenesisDir
      -> Word
      -> Word
      -> Maybe SystemStart
      -> Maybe Coin
      -> NetworkId
      -> LegacyGenesisCmds)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> EnvCli -> Parser AnyShelleyBasedEra
pShelleyBasedEra EnvCli
envCli
      Parser
  (Vary '[FormatBech32, FormatTextEnvelope]
   -> GenesisDir
   -> Word
   -> Word
   -> Maybe SystemStart
   -> Maybe Coin
   -> NetworkId
   -> LegacyGenesisCmds)
-> Parser (Vary '[FormatBech32, FormatTextEnvelope])
-> Parser
     (GenesisDir
      -> Word
      -> Word
      -> Maybe SystemStart
      -> Maybe Coin
      -> NetworkId
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (Vary '[FormatBech32, FormatTextEnvelope])
pKeyOutputFormat
      Parser
  (GenesisDir
   -> Word
   -> Word
   -> Maybe SystemStart
   -> Maybe Coin
   -> NetworkId
   -> LegacyGenesisCmds)
-> Parser GenesisDir
-> Parser
     (Word
      -> Word
      -> Maybe SystemStart
      -> Maybe Coin
      -> NetworkId
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser GenesisDir
pGenesisDir
      Parser
  (Word
   -> Word
   -> Maybe SystemStart
   -> Maybe Coin
   -> NetworkId
   -> LegacyGenesisCmds)
-> Parser Word
-> Parser
     (Word
      -> Maybe SystemStart
      -> Maybe Coin
      -> NetworkId
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser Word
pGenesisNumGenesisKeys
      Parser
  (Word
   -> Maybe SystemStart
   -> Maybe Coin
   -> NetworkId
   -> LegacyGenesisCmds)
-> Parser Word
-> Parser
     (Maybe SystemStart -> Maybe Coin -> NetworkId -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser Word
pGenesisNumUTxOKeys
      Parser
  (Maybe SystemStart -> Maybe Coin -> NetworkId -> LegacyGenesisCmds)
-> Parser (Maybe SystemStart)
-> Parser (Maybe Coin -> NetworkId -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (Maybe SystemStart)
pMaybeSystemStart
      Parser (Maybe Coin -> NetworkId -> LegacyGenesisCmds)
-> Parser (Maybe Coin) -> Parser (NetworkId -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (Maybe Coin)
pInitialSupplyNonDelegated
      Parser (NetworkId -> LegacyGenesisCmds)
-> Parser NetworkId -> Parser LegacyGenesisCmds
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> EnvCli -> Parser NetworkId
pNetworkId EnvCli
envCli

  pGenesisCreateStaked :: Parser LegacyGenesisCmds
  pGenesisCreateStaked :: Parser LegacyGenesisCmds
pGenesisCreateStaked =
    Era ConwayEra
-> Vary '[FormatBech32, FormatTextEnvelope]
-> GenesisDir
-> Word
-> Word
-> Word
-> Word
-> Maybe SystemStart
-> Maybe Coin
-> Coin
-> NetworkId
-> Word
-> Word
-> Word
-> Maybe FilePath
-> LegacyGenesisCmds
forall era.
Era era
-> Vary '[FormatBech32, FormatTextEnvelope]
-> GenesisDir
-> Word
-> Word
-> Word
-> Word
-> Maybe SystemStart
-> Maybe Coin
-> Coin
-> NetworkId
-> Word
-> Word
-> Word
-> Maybe FilePath
-> LegacyGenesisCmds
GenesisCreateStaked
      (Era ConwayEra
 -> Vary '[FormatBech32, FormatTextEnvelope]
 -> GenesisDir
 -> Word
 -> Word
 -> Word
 -> Word
 -> Maybe SystemStart
 -> Maybe Coin
 -> Coin
 -> NetworkId
 -> Word
 -> Word
 -> Word
 -> Maybe FilePath
 -> LegacyGenesisCmds)
-> Parser (Era ConwayEra)
-> Parser
     (Vary '[FormatBech32, FormatTextEnvelope]
      -> GenesisDir
      -> Word
      -> Word
      -> Word
      -> Word
      -> Maybe SystemStart
      -> Maybe Coin
      -> Coin
      -> NetworkId
      -> Word
      -> Word
      -> Word
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> EnvCli -> Parser (Era ConwayEra)
pConwayEra EnvCli
envCli
      Parser
  (Vary '[FormatBech32, FormatTextEnvelope]
   -> GenesisDir
   -> Word
   -> Word
   -> Word
   -> Word
   -> Maybe SystemStart
   -> Maybe Coin
   -> Coin
   -> NetworkId
   -> Word
   -> Word
   -> Word
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser (Vary '[FormatBech32, FormatTextEnvelope])
-> Parser
     (GenesisDir
      -> Word
      -> Word
      -> Word
      -> Word
      -> Maybe SystemStart
      -> Maybe Coin
      -> Coin
      -> NetworkId
      -> Word
      -> Word
      -> Word
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (Vary '[FormatBech32, FormatTextEnvelope])
pKeyOutputFormat
      Parser
  (GenesisDir
   -> Word
   -> Word
   -> Word
   -> Word
   -> Maybe SystemStart
   -> Maybe Coin
   -> Coin
   -> NetworkId
   -> Word
   -> Word
   -> Word
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser GenesisDir
-> Parser
     (Word
      -> Word
      -> Word
      -> Word
      -> Maybe SystemStart
      -> Maybe Coin
      -> Coin
      -> NetworkId
      -> Word
      -> Word
      -> Word
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser GenesisDir
pGenesisDir
      Parser
  (Word
   -> Word
   -> Word
   -> Word
   -> Maybe SystemStart
   -> Maybe Coin
   -> Coin
   -> NetworkId
   -> Word
   -> Word
   -> Word
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser Word
-> Parser
     (Word
      -> Word
      -> Word
      -> Maybe SystemStart
      -> Maybe Coin
      -> Coin
      -> NetworkId
      -> Word
      -> Word
      -> Word
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser Word
pGenesisNumGenesisKeys
      Parser
  (Word
   -> Word
   -> Word
   -> Maybe SystemStart
   -> Maybe Coin
   -> Coin
   -> NetworkId
   -> Word
   -> Word
   -> Word
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser Word
-> Parser
     (Word
      -> Word
      -> Maybe SystemStart
      -> Maybe Coin
      -> Coin
      -> NetworkId
      -> Word
      -> Word
      -> Word
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser Word
pGenesisNumUTxOKeys
      Parser
  (Word
   -> Word
   -> Maybe SystemStart
   -> Maybe Coin
   -> Coin
   -> NetworkId
   -> Word
   -> Word
   -> Word
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser Word
-> Parser
     (Word
      -> Maybe SystemStart
      -> Maybe Coin
      -> Coin
      -> NetworkId
      -> Word
      -> Word
      -> Word
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser Word
pGenesisNumPools
      Parser
  (Word
   -> Maybe SystemStart
   -> Maybe Coin
   -> Coin
   -> NetworkId
   -> Word
   -> Word
   -> Word
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser Word
-> Parser
     (Maybe SystemStart
      -> Maybe Coin
      -> Coin
      -> NetworkId
      -> Word
      -> Word
      -> Word
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser Word
pGenesisNumStDelegs
      Parser
  (Maybe SystemStart
   -> Maybe Coin
   -> Coin
   -> NetworkId
   -> Word
   -> Word
   -> Word
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser (Maybe SystemStart)
-> Parser
     (Maybe Coin
      -> Coin
      -> NetworkId
      -> Word
      -> Word
      -> Word
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (Maybe SystemStart)
pMaybeSystemStart
      Parser
  (Maybe Coin
   -> Coin
   -> NetworkId
   -> Word
   -> Word
   -> Word
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser (Maybe Coin)
-> Parser
     (Coin
      -> NetworkId
      -> Word
      -> Word
      -> Word
      -> Maybe FilePath
      -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser (Maybe Coin)
pInitialSupplyNonDelegated
      Parser
  (Coin
   -> NetworkId
   -> Word
   -> Word
   -> Word
   -> Maybe FilePath
   -> LegacyGenesisCmds)
-> Parser Coin
-> Parser
     (NetworkId
      -> Word -> Word -> Word -> Maybe FilePath -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser Coin
pInitialSupplyDelegated
      Parser
  (NetworkId
   -> Word -> Word -> Word -> Maybe FilePath -> LegacyGenesisCmds)
-> Parser NetworkId
-> Parser
     (Word -> Word -> Word -> Maybe FilePath -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> EnvCli -> Parser NetworkId
pNetworkId EnvCli
envCli
      Parser
  (Word -> Word -> Word -> Maybe FilePath -> LegacyGenesisCmds)
-> Parser Word
-> Parser (Word -> Word -> Maybe FilePath -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser Word
pBulkPoolCredFiles
      Parser (Word -> Word -> Maybe FilePath -> LegacyGenesisCmds)
-> Parser Word
-> Parser (Word -> Maybe FilePath -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser Word
pBulkPoolsPerFile
      Parser (Word -> Maybe FilePath -> LegacyGenesisCmds)
-> Parser Word -> Parser (Maybe FilePath -> LegacyGenesisCmds)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser Word
pStuffedUtxoCount
      Parser (Maybe FilePath -> LegacyGenesisCmds)
-> Parser (Maybe FilePath) -> Parser LegacyGenesisCmds
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Parser FilePath -> Parser (Maybe FilePath)
forall (f :: * -> *) a. Alternative f => f a -> f (Maybe a)
Opt.optional Parser FilePath
pRelayJsonFp

  pGenesisHash :: Parser LegacyGenesisCmds
  pGenesisHash :: Parser LegacyGenesisCmds
pGenesisHash =
    GenesisFile -> LegacyGenesisCmds
GenesisHashFile (GenesisFile -> LegacyGenesisCmds)
-> Parser GenesisFile -> Parser LegacyGenesisCmds
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> FilePath -> Parser GenesisFile
pGenesisFile FilePath
"The genesis file."

  pGenesisDir :: Parser GenesisDir
  pGenesisDir :: Parser GenesisDir
pGenesisDir =
    (FilePath -> GenesisDir) -> Parser FilePath -> Parser GenesisDir
forall a b. (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap FilePath -> GenesisDir
GenesisDir (Parser FilePath -> Parser GenesisDir)
-> Parser FilePath -> Parser GenesisDir
forall a b. (a -> b) -> a -> b
$
      Mod OptionFields FilePath -> Parser FilePath
forall s. IsString s => Mod OptionFields s -> Parser s
Opt.strOption (Mod OptionFields FilePath -> Parser FilePath)
-> Mod OptionFields FilePath -> Parser FilePath
forall a b. (a -> b) -> a -> b
$
        [Mod OptionFields FilePath] -> Mod OptionFields FilePath
forall a. Monoid a => [a] -> a
mconcat
          [ FilePath -> Mod OptionFields FilePath
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
Opt.long FilePath
"genesis-dir"
          , FilePath -> Mod OptionFields FilePath
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"DIR"
          , FilePath -> Mod OptionFields FilePath
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help
              FilePath
"The genesis directory containing the genesis template and required genesis/delegation/spending keys."
          ]

  pMaybeSystemStart :: Parser (Maybe SystemStart)
  pMaybeSystemStart :: Parser (Maybe SystemStart)
pMaybeSystemStart =
    Parser SystemStart -> Parser (Maybe SystemStart)
forall (f :: * -> *) a. Alternative f => f a -> f (Maybe a)
Opt.optional (Parser SystemStart -> Parser (Maybe SystemStart))
-> Parser SystemStart -> Parser (Maybe SystemStart)
forall a b. (a -> b) -> a -> b
$
      (UTCTime -> SystemStart) -> Parser UTCTime -> Parser SystemStart
forall a b. (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap UTCTime -> SystemStart
SystemStart (Parser UTCTime -> Parser SystemStart)
-> Parser UTCTime -> Parser SystemStart
forall a b. (a -> b) -> a -> b
$
        ReadM UTCTime -> Mod OptionFields UTCTime -> Parser UTCTime
forall a. ReadM a -> Mod OptionFields a -> Parser a
Opt.option ReadM UTCTime
timeReader (Mod OptionFields UTCTime -> Parser UTCTime)
-> Mod OptionFields UTCTime -> Parser UTCTime
forall a b. (a -> b) -> a -> b
$
          [Mod OptionFields UTCTime] -> Mod OptionFields UTCTime
forall a. Monoid a => [a] -> a
mconcat
            [ FilePath -> Mod OptionFields UTCTime
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
Opt.long FilePath
"start-time"
            , FilePath -> Mod OptionFields UTCTime
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"UTC_TIME"
            , FilePath -> Mod OptionFields UTCTime
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help
                FilePath
"The genesis start time in YYYY-MM-DDThh:mm:ssZ format. If unspecified, will be the current time +30 seconds."
            ]

  pGenesisNumGenesisKeys :: Parser Word
  pGenesisNumGenesisKeys :: Parser Word
pGenesisNumGenesisKeys =
    ReadM Word -> Mod OptionFields Word -> Parser Word
forall a. ReadM a -> Mod OptionFields a -> Parser a
Opt.option ReadM Word
forall a. (Typeable a, Integral a, Bits a) => ReadM a
integralReader (Mod OptionFields Word -> Parser Word)
-> Mod OptionFields Word -> Parser Word
forall a b. (a -> b) -> a -> b
$
      [Mod OptionFields Word] -> Mod OptionFields Word
forall a. Monoid a => [a] -> a
mconcat
        [ FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
Opt.long FilePath
"gen-genesis-keys"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"INT"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help FilePath
"The number of genesis keys to make [default is 3]."
        , Word -> Mod OptionFields Word
forall (f :: * -> *) a. HasValue f => a -> Mod f a
Opt.value Word
3
        ]

  pNodeConfigTemplate :: Parser (Maybe FilePath)
  pNodeConfigTemplate :: Parser (Maybe FilePath)
pNodeConfigTemplate = Parser FilePath -> Parser (Maybe FilePath)
forall (f :: * -> *) a. Alternative f => f a -> f (Maybe a)
optional (Parser FilePath -> Parser (Maybe FilePath))
-> Parser FilePath -> Parser (Maybe FilePath)
forall a b. (a -> b) -> a -> b
$ FilePath -> FilePath -> Parser FilePath
parseFilePath FilePath
"node-config-template" FilePath
"the node config template"

  pGenesisNumUTxOKeys :: Parser Word
  pGenesisNumUTxOKeys :: Parser Word
pGenesisNumUTxOKeys =
    ReadM Word -> Mod OptionFields Word -> Parser Word
forall a. ReadM a -> Mod OptionFields a -> Parser a
Opt.option ReadM Word
forall a. (Typeable a, Integral a, Bits a) => ReadM a
integralReader (Mod OptionFields Word -> Parser Word)
-> Mod OptionFields Word -> Parser Word
forall a b. (a -> b) -> a -> b
$
      [Mod OptionFields Word] -> Mod OptionFields Word
forall a. Monoid a => [a] -> a
mconcat
        [ FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
Opt.long FilePath
"gen-utxo-keys"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"INT"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help FilePath
"The number of UTxO keys to make [default is 0]."
        , Word -> Mod OptionFields Word
forall (f :: * -> *) a. HasValue f => a -> Mod f a
Opt.value Word
0
        ]

  pGenesisNumPools :: Parser Word
  pGenesisNumPools :: Parser Word
pGenesisNumPools =
    ReadM Word -> Mod OptionFields Word -> Parser Word
forall a. ReadM a -> Mod OptionFields a -> Parser a
Opt.option ReadM Word
forall a. (Typeable a, Integral a, Bits a) => ReadM a
integralReader (Mod OptionFields Word -> Parser Word)
-> Mod OptionFields Word -> Parser Word
forall a b. (a -> b) -> a -> b
$
      [Mod OptionFields Word] -> Mod OptionFields Word
forall a. Monoid a => [a] -> a
mconcat
        [ FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
Opt.long FilePath
"gen-pools"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"INT"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help FilePath
"The number of stake pool credential sets to make [default is 0]."
        , Word -> Mod OptionFields Word
forall (f :: * -> *) a. HasValue f => a -> Mod f a
Opt.value Word
0
        ]

  pGenesisNumStDelegs :: Parser Word
  pGenesisNumStDelegs :: Parser Word
pGenesisNumStDelegs =
    ReadM Word -> Mod OptionFields Word -> Parser Word
forall a. ReadM a -> Mod OptionFields a -> Parser a
Opt.option ReadM Word
forall a. (Typeable a, Integral a, Bits a) => ReadM a
integralReader (Mod OptionFields Word -> Parser Word)
-> Mod OptionFields Word -> Parser Word
forall a b. (a -> b) -> a -> b
$
      [Mod OptionFields Word] -> Mod OptionFields Word
forall a. Monoid a => [a] -> a
mconcat
        [ FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
Opt.long FilePath
"gen-stake-delegs"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"INT"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help FilePath
"The number of stake delegator credential sets to make [default is 0]."
        , Word -> Mod OptionFields Word
forall (f :: * -> *) a. HasValue f => a -> Mod f a
Opt.value Word
0
        ]

  pStuffedUtxoCount :: Parser Word
  pStuffedUtxoCount :: Parser Word
pStuffedUtxoCount =
    ReadM Word -> Mod OptionFields Word -> Parser Word
forall a. ReadM a -> Mod OptionFields a -> Parser a
Opt.option ReadM Word
forall a. (Typeable a, Integral a, Bits a) => ReadM a
integralReader (Mod OptionFields Word -> Parser Word)
-> Mod OptionFields Word -> Parser Word
forall a b. (a -> b) -> a -> b
$
      [Mod OptionFields Word] -> Mod OptionFields Word
forall a. Monoid a => [a] -> a
mconcat
        [ FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
Opt.long FilePath
"num-stuffed-utxo"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"INT"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help FilePath
"The number of fake UTxO entries to generate [default is 0]."
        , Word -> Mod OptionFields Word
forall (f :: * -> *) a. HasValue f => a -> Mod f a
Opt.value Word
0
        ]

  pRelayJsonFp :: Parser FilePath
  pRelayJsonFp :: Parser FilePath
pRelayJsonFp =
    FilePath -> FilePath -> Parser FilePath
parseFilePath FilePath
"relay-specification-file" FilePath
"JSON file specified the relays of each stake pool."

  pInitialSupplyNonDelegated :: Parser (Maybe Coin)
  pInitialSupplyNonDelegated :: Parser (Maybe Coin)
pInitialSupplyNonDelegated =
    Parser Coin -> Parser (Maybe Coin)
forall (f :: * -> *) a. Alternative f => f a -> f (Maybe a)
Opt.optional (Parser Coin -> Parser (Maybe Coin))
-> Parser Coin -> Parser (Maybe Coin)
forall a b. (a -> b) -> a -> b
$
      (Integer -> Coin) -> Parser Integer -> Parser Coin
forall a b. (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Integer -> Coin
Coin (Parser Integer -> Parser Coin) -> Parser Integer -> Parser Coin
forall a b. (a -> b) -> a -> b
$
        ReadM Integer -> Mod OptionFields Integer -> Parser Integer
forall a. ReadM a -> Mod OptionFields a -> Parser a
Opt.option ReadM Integer
forall a. (Typeable a, Integral a, Bits a) => ReadM a
integralReader (Mod OptionFields Integer -> Parser Integer)
-> Mod OptionFields Integer -> Parser Integer
forall a b. (a -> b) -> a -> b
$
          [Mod OptionFields Integer] -> Mod OptionFields Integer
forall a. Monoid a => [a] -> a
mconcat
            [ FilePath -> Mod OptionFields Integer
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
Opt.long FilePath
"supply"
            , FilePath -> Mod OptionFields Integer
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"LOVELACE"
            , FilePath -> Mod OptionFields Integer
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help
                FilePath
"The initial coin supply in Lovelace which will be evenly distributed across initial, non-delegating stake holders."
            ]

  pInitialSupplyDelegated :: Parser Coin
  pInitialSupplyDelegated :: Parser Coin
pInitialSupplyDelegated =
    (Maybe Integer -> Coin) -> Parser (Maybe Integer) -> Parser Coin
forall a b. (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (Integer -> Coin
Coin (Integer -> Coin)
-> (Maybe Integer -> Integer) -> Maybe Integer -> Coin
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Integer -> Maybe Integer -> Integer
forall a. a -> Maybe a -> a
fromMaybe Integer
0) (Parser (Maybe Integer) -> Parser Coin)
-> Parser (Maybe Integer) -> Parser Coin
forall a b. (a -> b) -> a -> b
$
      Parser Integer -> Parser (Maybe Integer)
forall (f :: * -> *) a. Alternative f => f a -> f (Maybe a)
Opt.optional (Parser Integer -> Parser (Maybe Integer))
-> Parser Integer -> Parser (Maybe Integer)
forall a b. (a -> b) -> a -> b
$
        ReadM Integer -> Mod OptionFields Integer -> Parser Integer
forall a. ReadM a -> Mod OptionFields a -> Parser a
Opt.option ReadM Integer
forall a. (Typeable a, Integral a, Bits a) => ReadM a
integralReader (Mod OptionFields Integer -> Parser Integer)
-> Mod OptionFields Integer -> Parser Integer
forall a b. (a -> b) -> a -> b
$
          [Mod OptionFields Integer] -> Mod OptionFields Integer
forall a. Monoid a => [a] -> a
mconcat
            [ FilePath -> Mod OptionFields Integer
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
Opt.long FilePath
"supply-delegated"
            , FilePath -> Mod OptionFields Integer
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"LOVELACE"
            , FilePath -> Mod OptionFields Integer
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help
                FilePath
"The initial coin supply in Lovelace which will be evenly distributed across initial, delegating stake holders."
            , Integer -> Mod OptionFields Integer
forall (f :: * -> *) a. HasValue f => a -> Mod f a
Opt.value Integer
0
            ]

  pSecurityParam :: Parser (NonZero Word64)
  pSecurityParam :: Parser (NonZero Word64)
pSecurityParam =
    ReadM (NonZero Word64)
-> Mod OptionFields (NonZero Word64) -> Parser (NonZero Word64)
forall a. ReadM a -> Mod OptionFields a -> Parser a
Opt.option ReadM (NonZero Word64)
nonZeroReader (Mod OptionFields (NonZero Word64) -> Parser (NonZero Word64))
-> Mod OptionFields (NonZero Word64) -> Parser (NonZero Word64)
forall a b. (a -> b) -> a -> b
$
      [Mod OptionFields (NonZero Word64)]
-> Mod OptionFields (NonZero Word64)
forall a. Monoid a => [a] -> a
mconcat
        [ FilePath -> Mod OptionFields (NonZero Word64)
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
Opt.long FilePath
"security-param"
        , FilePath -> Mod OptionFields (NonZero Word64)
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"INT"
        , FilePath -> Mod OptionFields (NonZero Word64)
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help FilePath
"Security parameter for genesis file [default is 108]."
        , NonZero Word64 -> Mod OptionFields (NonZero Word64)
forall (f :: * -> *) a. HasValue f => a -> Mod f a
Opt.value (NonZero Word64 -> Mod OptionFields (NonZero Word64))
-> NonZero Word64 -> Mod OptionFields (NonZero Word64)
forall a b. (a -> b) -> a -> b
$ forall (n :: Natural) a.
(KnownNat n, 1 <= n, WithinBounds n a, Num a) =>
NonZero a
knownNonZeroBounded @108
        ]

  pSlotLength :: Parser Word
  pSlotLength :: Parser Word
pSlotLength =
    ReadM Word -> Mod OptionFields Word -> Parser Word
forall a. ReadM a -> Mod OptionFields a -> Parser a
Opt.option ReadM Word
forall a. (Typeable a, Integral a, Bits a) => ReadM a
integralReader (Mod OptionFields Word -> Parser Word)
-> Mod OptionFields Word -> Parser Word
forall a b. (a -> b) -> a -> b
$
      [Mod OptionFields Word] -> Mod OptionFields Word
forall a. Monoid a => [a] -> a
mconcat
        [ FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
Opt.long FilePath
"slot-length"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"INT"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help FilePath
"slot length (ms) parameter for genesis file [default is 1000]."
        , Word -> Mod OptionFields Word
forall (f :: * -> *) a. HasValue f => a -> Mod f a
Opt.value Word
1000
        ]

  pSlotCoefficient :: Parser Rational
  pSlotCoefficient :: Parser Rational
pSlotCoefficient =
    ReadM Rational -> Mod OptionFields Rational -> Parser Rational
forall a. ReadM a -> Mod OptionFields a -> Parser a
Opt.option ReadM Rational
readRationalUnitInterval (Mod OptionFields Rational -> Parser Rational)
-> Mod OptionFields Rational -> Parser Rational
forall a b. (a -> b) -> a -> b
$
      [Mod OptionFields Rational] -> Mod OptionFields Rational
forall a. Monoid a => [a] -> a
mconcat
        [ FilePath -> Mod OptionFields Rational
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
Opt.long FilePath
"slot-coefficient"
        , FilePath -> Mod OptionFields Rational
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"RATIONAL"
        , FilePath -> Mod OptionFields Rational
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help FilePath
"Slot Coefficient for genesis file [default is .05]."
        , Rational -> Mod OptionFields Rational
forall (f :: * -> *) a. HasValue f => a -> Mod f a
Opt.value Rational
0.05
        ]

  pBulkPoolCredFiles :: Parser Word
  pBulkPoolCredFiles :: Parser Word
pBulkPoolCredFiles =
    ReadM Word -> Mod OptionFields Word -> Parser Word
forall a. ReadM a -> Mod OptionFields a -> Parser a
Opt.option ReadM Word
forall a. (Typeable a, Integral a, Bits a) => ReadM a
integralReader (Mod OptionFields Word -> Parser Word)
-> Mod OptionFields Word -> Parser Word
forall a b. (a -> b) -> a -> b
$
      [Mod OptionFields Word] -> Mod OptionFields Word
forall a. Monoid a => [a] -> a
mconcat
        [ FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
Opt.long FilePath
"bulk-pool-cred-files"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"INT"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help FilePath
"Generate bulk pool credential files [default is 0]."
        , Word -> Mod OptionFields Word
forall (f :: * -> *) a. HasValue f => a -> Mod f a
Opt.value Word
0
        ]

  pBulkPoolsPerFile :: Parser Word
  pBulkPoolsPerFile :: Parser Word
pBulkPoolsPerFile =
    ReadM Word -> Mod OptionFields Word -> Parser Word
forall a. ReadM a -> Mod OptionFields a -> Parser a
Opt.option ReadM Word
forall a. (Typeable a, Integral a, Bits a) => ReadM a
integralReader (Mod OptionFields Word -> Parser Word)
-> Mod OptionFields Word -> Parser Word
forall a b. (a -> b) -> a -> b
$
      [Mod OptionFields Word] -> Mod OptionFields Word
forall a. Monoid a => [a] -> a
mconcat
        [ FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
Opt.long FilePath
"bulk-pools-per-file"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. HasMetavar f => FilePath -> Mod f a
Opt.metavar FilePath
"INT"
        , FilePath -> Mod OptionFields Word
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help FilePath
"Each bulk pool to contain this many pool credential sets [default is 0]."
        , Word -> Mod OptionFields Word
forall (f :: * -> *) a. HasValue f => a -> Mod f a
Opt.value Word
0
        ]

pShelleyBasedEra :: EnvCli -> Parser AnyShelleyBasedEra
pShelleyBasedEra :: EnvCli -> Parser AnyShelleyBasedEra
pShelleyBasedEra EnvCli
envCli =
  [Parser AnyShelleyBasedEra] -> Parser AnyShelleyBasedEra
forall (t :: * -> *) (f :: * -> *) a.
(Foldable t, Alternative f) =>
t (f a) -> f a
asum ([Parser AnyShelleyBasedEra] -> Parser AnyShelleyBasedEra)
-> [Parser AnyShelleyBasedEra] -> Parser AnyShelleyBasedEra
forall a b. (a -> b) -> a -> b
$
    [ AnyShelleyBasedEra -> Parser AnyShelleyBasedEra
shelleyBasedEraFlag AnyShelleyBasedEra
era
    | AnyShelleyBasedEra
era <- AnyShelleyBasedEra -> [AnyShelleyBasedEra]
forall a. Enum a => a -> [a]
enumFrom AnyShelleyBasedEra
forall a. Bounded a => a
minBound
    ]
      [Parser AnyShelleyBasedEra]
-> [Parser AnyShelleyBasedEra] -> [Parser AnyShelleyBasedEra]
forall a. [a] -> [a] -> [a]
++ (AnyShelleyBasedEra -> Parser AnyShelleyBasedEra
forall a. a -> Parser a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (AnyShelleyBasedEra -> Parser AnyShelleyBasedEra)
-> [AnyShelleyBasedEra] -> [Parser AnyShelleyBasedEra]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Maybe AnyShelleyBasedEra -> [AnyShelleyBasedEra]
forall a. Maybe a -> [a]
maybeToList (EnvCli -> Maybe AnyShelleyBasedEra
envCliShelleyBasedEra EnvCli
envCli))
 where
  shelleyBasedEraFlag :: AnyShelleyBasedEra -> Parser AnyShelleyBasedEra
  shelleyBasedEraFlag :: AnyShelleyBasedEra -> Parser AnyShelleyBasedEra
shelleyBasedEraFlag era :: AnyShelleyBasedEra
era@(AnyShelleyBasedEra ShelleyBasedEra era
sbe) =
    let eraName :: FilePath
eraName = Doc Any -> FilePath
forall a. Show a => a -> FilePath
show (Doc Any -> FilePath)
-> (CardanoEra era -> Doc Any) -> CardanoEra era -> FilePath
forall b c a. (b -> c) -> (a -> b) -> a -> c
. CardanoEra era -> Doc Any
forall a ann. Pretty a => a -> Doc ann
forall ann. CardanoEra era -> Doc ann
pretty (CardanoEra era -> FilePath) -> CardanoEra era -> FilePath
forall a b. (a -> b) -> a -> b
$ ShelleyBasedEra era -> CardanoEra era
forall era. ShelleyBasedEra era -> CardanoEra era
forall (eon :: * -> *) era.
ToCardanoEra eon =>
eon era -> CardanoEra era
toCardanoEra ShelleyBasedEra era
sbe
     in AnyShelleyBasedEra
-> Mod FlagFields AnyShelleyBasedEra -> Parser AnyShelleyBasedEra
forall a. a -> Mod FlagFields a -> Parser a
flag' AnyShelleyBasedEra
era (Mod FlagFields AnyShelleyBasedEra -> Parser AnyShelleyBasedEra)
-> Mod FlagFields AnyShelleyBasedEra -> Parser AnyShelleyBasedEra
forall a b. (a -> b) -> a -> b
$
          [Mod FlagFields AnyShelleyBasedEra]
-> Mod FlagFields AnyShelleyBasedEra
forall a. Monoid a => [a] -> a
mconcat
            [ FilePath -> Mod FlagFields AnyShelleyBasedEra
forall (f :: * -> *) a. HasName f => FilePath -> Mod f a
long (FilePath -> Mod FlagFields AnyShelleyBasedEra)
-> FilePath -> Mod FlagFields AnyShelleyBasedEra
forall a b. (a -> b) -> a -> b
$ (Char -> Char) -> FilePath -> FilePath
forall a b. (a -> b) -> [a] -> [b]
map Char -> Char
toLower FilePath
eraName
            , FilePath -> Mod FlagFields AnyShelleyBasedEra
forall (f :: * -> *) a. FilePath -> Mod f a
Opt.help (FilePath -> Mod FlagFields AnyShelleyBasedEra)
-> FilePath -> Mod FlagFields AnyShelleyBasedEra
forall a b. (a -> b) -> a -> b
$ FilePath
"Specify the " FilePath -> FilePath -> FilePath
forall a. Semigroup a => a -> a -> a
<> FilePath
eraName FilePath -> FilePath -> FilePath
forall a. Semigroup a => a -> a -> a
<> FilePath
" era"
            ]

envCliShelleyBasedEra :: EnvCli -> Maybe AnyShelleyBasedEra
envCliShelleyBasedEra :: EnvCli -> Maybe AnyShelleyBasedEra
envCliShelleyBasedEra EnvCli
envCli = do
  AnyCardanoEra CardanoEra era
era <- EnvCli -> Maybe AnyCardanoEra
envCliAnyCardanoEra EnvCli
envCli
  ShelleyBasedEra era -> AnyShelleyBasedEra
forall era.
Typeable era =>
ShelleyBasedEra era -> AnyShelleyBasedEra
AnyShelleyBasedEra (ShelleyBasedEra era -> AnyShelleyBasedEra)
-> Maybe (ShelleyBasedEra era) -> Maybe AnyShelleyBasedEra
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> CardanoEra era -> Maybe (ShelleyBasedEra era)
forall (eon :: * -> *) era.
Eon eon =>
CardanoEra era -> Maybe (eon era)
forEraMaybeEon CardanoEra era
era