diff --git a/cardano-cli/cardano-cli.cabal b/cardano-cli/cardano-cli.cabal index 322d2bcd7..c55f2b779 100644 --- a/cardano-cli/cardano-cli.cabal +++ b/cardano-cli/cardano-cli.cabal @@ -121,29 +121,12 @@ library Cardano.CLI.IO.Lazy Cardano.CLI.Json.Friendly Cardano.CLI.Legacy.Commands - Cardano.CLI.Legacy.Commands.Address Cardano.CLI.Legacy.Commands.Genesis Cardano.CLI.Legacy.Commands.Governance - Cardano.CLI.Legacy.Commands.Key - Cardano.CLI.Legacy.Commands.Node - Cardano.CLI.Legacy.Commands.Query - Cardano.CLI.Legacy.Commands.StakeAddress - Cardano.CLI.Legacy.Commands.StakePool - Cardano.CLI.Legacy.Commands.TextView - Cardano.CLI.Legacy.Commands.Transaction Cardano.CLI.Legacy.Options - Cardano.CLI.Legacy.Options.Key Cardano.CLI.Legacy.Run - Cardano.CLI.Legacy.Run.Address Cardano.CLI.Legacy.Run.Genesis Cardano.CLI.Legacy.Run.Governance - Cardano.CLI.Legacy.Run.Key - Cardano.CLI.Legacy.Run.Node - Cardano.CLI.Legacy.Run.Query - Cardano.CLI.Legacy.Run.StakeAddress - Cardano.CLI.Legacy.Run.StakePool - Cardano.CLI.Legacy.Run.TextView - Cardano.CLI.Legacy.Run.Transaction Cardano.CLI.OS.Posix Cardano.CLI.Options Cardano.CLI.Options.Debug diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Commands/Address.hs b/cardano-cli/src/Cardano/CLI/Legacy/Commands/Address.hs deleted file mode 100644 index 30bc8c59f..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Commands/Address.hs +++ /dev/null @@ -1,43 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE LambdaCase #-} - -module Cardano.CLI.Legacy.Commands.Address - ( LegacyAddressCmds (..) - , renderLegacyAddressCmds - ) -where - -import Cardano.Api.Shelley hiding (QueryInShelleyBasedEra (..)) - -import Cardano.CLI.Types.Common -import Cardano.CLI.Types.Key - -import Prelude - -import Data.Text (Text) - -data LegacyAddressCmds - = AddressKeyGen - KeyOutputFormat - AddressKeyType - (VerificationKeyFile Out) - (SigningKeyFile Out) - | AddressKeyHash - VerificationKeyTextOrFile - (Maybe (File () Out)) - | AddressBuild - PaymentVerifier - (Maybe StakeIdentifier) - NetworkId - (Maybe (File () Out)) - | AddressInfo - Text - (Maybe (File () Out)) - deriving Show - -renderLegacyAddressCmds :: LegacyAddressCmds -> Text -renderLegacyAddressCmds = \case - AddressKeyGen{} -> "address key-gen" - AddressKeyHash{} -> "address key-hash" - AddressBuild{} -> "address build" - AddressInfo{} -> "address info" diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Commands/Key.hs b/cardano-cli/src/Cardano/CLI/Legacy/Commands/Key.hs deleted file mode 100644 index 8614e6749..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Commands/Key.hs +++ /dev/null @@ -1,55 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE LambdaCase #-} - -module Cardano.CLI.Legacy.Commands.Key - ( LegacyKeyCmds (..) - , renderLegacyKeyCmds - ) -where - -import Cardano.Api.Shelley - -import Cardano.CLI.Types.Common - -import Data.Text (Text) - -data LegacyKeyCmds - = KeyVerificationKeyCmd - (SigningKeyFile In) - (VerificationKeyFile Out) - | KeyNonExtendedKeyCmd - (VerificationKeyFile In) - (VerificationKeyFile Out) - | KeyConvertByronKeyCmd - (Maybe Text) - ByronKeyType - (SomeKeyFile In) - (File () Out) - | KeyConvertByronGenesisVKeyCmd - VerificationKeyBase64 - (File () Out) - | KeyConvertITNKeyCmd - (SomeKeyFile In) - (File () Out) - | KeyConvertITNExtendedKeyCmd - (SomeKeyFile In) - (File () Out) - | KeyConvertITNBip32KeyCmd - (SomeKeyFile In) - (File () Out) - | KeyConvertCardanoAddressKeyCmd - CardanoAddressKeyType - (SigningKeyFile In) - (File () Out) - deriving Show - -renderLegacyKeyCmds :: LegacyKeyCmds -> Text -renderLegacyKeyCmds = \case - KeyVerificationKeyCmd{} -> "key verification-key" - KeyNonExtendedKeyCmd{} -> "key non-extended-key" - KeyConvertByronKeyCmd{} -> "key convert-byron-key" - KeyConvertByronGenesisVKeyCmd{} -> "key convert-byron-genesis-vkey" - KeyConvertITNKeyCmd{} -> "key convert-itn-key" - KeyConvertITNExtendedKeyCmd{} -> "key convert-itn-extended-key" - KeyConvertITNBip32KeyCmd{} -> "key convert-itn-bip32-key" - KeyConvertCardanoAddressKeyCmd{} -> "key convert-cardano-address-key" diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Commands/Node.hs b/cardano-cli/src/Cardano/CLI/Legacy/Commands/Node.hs deleted file mode 100644 index 59c9d6f5b..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Commands/Node.hs +++ /dev/null @@ -1,30 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE LambdaCase #-} - -module Cardano.CLI.Legacy.Commands.Node - ( LegacyNodeCmds (..) - , renderLegacyNodeCmds - ) -where - -import qualified Cardano.CLI.EraBased.Commands.Node as Cmd - -import Data.Text (Text) - -data LegacyNodeCmds - = LegacyNodeKeyGenColdCmd !Cmd.NodeKeyGenColdCmdArgs - | LegacyNodeKeyGenKESCmd !Cmd.NodeKeyGenKESCmdArgs - | LegacyNodeKeyGenVRFCmd !Cmd.NodeKeyGenVRFCmdArgs - | LegacyNodeKeyHashVRFCmd !Cmd.NodeKeyHashVRFCmdArgs - | LegacyNodeNewCounterCmd !Cmd.NodeNewCounterCmdArgs - | LegacyNodeIssueOpCertCmd !Cmd.NodeIssueOpCertCmdArgs - deriving Show - -renderLegacyNodeCmds :: LegacyNodeCmds -> Text -renderLegacyNodeCmds = \case - LegacyNodeKeyGenColdCmd{} -> "node key-gen" - LegacyNodeKeyGenKESCmd{} -> "node key-gen-KES" - LegacyNodeKeyGenVRFCmd{} -> "node key-gen-VRF" - LegacyNodeKeyHashVRFCmd{} -> "node key-hash-VRF" - LegacyNodeNewCounterCmd{} -> "node new-counter" - LegacyNodeIssueOpCertCmd{} -> "node issue-op-cert" diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Commands/Query.hs b/cardano-cli/src/Cardano/CLI/Legacy/Commands/Query.hs deleted file mode 100644 index 94895e55e..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Commands/Query.hs +++ /dev/null @@ -1,199 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE DeriveGeneric #-} -{-# LANGUAGE DuplicateRecordFields #-} -{-# LANGUAGE LambdaCase #-} - -module Cardano.CLI.Legacy.Commands.Query - ( LegacyQueryCmds (..) - , LegacyQueryLeadershipScheduleCmdArgs (..) - , LegacyQueryProtocolParametersCmdArgs (..) - , LegacyQueryTipCmdArgs (..) - , LegacyQueryStakePoolsCmdArgs (..) - , LegacyQueryStakeDistributionCmdArgs (..) - , LegacyQueryStakeAddressInfoCmdArgs (..) - , LegacyQueryUTxOCmdArgs (..) - , LegacyQueryLedgerStateCmdArgs (..) - , LegacyQueryProtocolStateCmdArgs (..) - , LegacyQueryStakeSnapshotCmdArgs (..) - , LegacyQueryKesPeriodInfoCmdArgs (..) - , LegacyQueryPoolStateCmdArgs (..) - , LegacyQueryTxMempoolCmdArgs (..) - , LegacyQuerySlotNumberCmdArgs (..) - , renderLegacyQueryCmds - ) -where - -import Cardano.Api.Shelley hiding (QueryInShelleyBasedEra (..)) - -import Cardano.CLI.Types.Common -import Cardano.CLI.Types.Key - -import Data.Text (Text) -import Data.Time.Clock -import GHC.Generics - -data LegacyQueryCmds - = QueryLeadershipScheduleCmd !LegacyQueryLeadershipScheduleCmdArgs - | QueryProtocolParametersCmd !LegacyQueryProtocolParametersCmdArgs - | QueryTipCmd !LegacyQueryTipCmdArgs - | QueryStakePoolsCmd !LegacyQueryStakePoolsCmdArgs - | QueryStakeDistributionCmd !LegacyQueryStakeDistributionCmdArgs - | QueryStakeAddressInfoCmd !LegacyQueryStakeAddressInfoCmdArgs - | QueryUTxOCmd !LegacyQueryUTxOCmdArgs - | QueryLedgerStateCmd !LegacyQueryLedgerStateCmdArgs - | QueryProtocolStateCmd !LegacyQueryProtocolStateCmdArgs - | QueryStakeSnapshotCmd !LegacyQueryStakeSnapshotCmdArgs - | QueryKesPeriodInfoCmd !LegacyQueryKesPeriodInfoCmdArgs - | QueryPoolStateCmd !LegacyQueryPoolStateCmdArgs - | QueryTxMempoolCmd !LegacyQueryTxMempoolCmdArgs - | QuerySlotNumberCmd !LegacyQuerySlotNumberCmdArgs - deriving (Generic, Show) - -data LegacyQueryLeadershipScheduleCmdArgs = LegacyQueryLeadershipScheduleCmdArgs - { nodeSocketPath :: !SocketPath - , consensusModeParams :: !ConsensusModeParams - , networkId :: !NetworkId - , genesisFp :: !GenesisFile - , poolColdVerKeyFile :: !(VerificationKeyOrHashOrFile StakePoolKey) - , vrkSkeyFp :: !(SigningKeyFile In) - , whichSchedule :: !EpochLeadershipSchedule - , format :: Maybe OutputFormatJsonOrText - , mOutFile :: !(Maybe (File () Out)) - } - deriving (Generic, Show) - -data LegacyQueryProtocolParametersCmdArgs = LegacyQueryProtocolParametersCmdArgs - { nodeSocketPath :: !SocketPath - , consensusModeParams :: !ConsensusModeParams - , networkId :: !NetworkId - , mOutFile :: !(Maybe (File () Out)) - } - deriving (Generic, Show) - -data LegacyQueryTipCmdArgs = LegacyQueryTipCmdArgs - { nodeSocketPath :: !SocketPath - , consensusModeParams :: !ConsensusModeParams - , networkId :: !NetworkId - , mOutFile :: !(Maybe (File () Out)) - } - deriving (Generic, Show) - -data LegacyQueryStakePoolsCmdArgs = LegacyQueryStakePoolsCmdArgs - { nodeSocketPath :: !SocketPath - , consensusModeParams :: !ConsensusModeParams - , networkId :: !NetworkId - , format :: Maybe OutputFormatJsonOrText - , mOutFile :: !(Maybe (File () Out)) - } - deriving (Generic, Show) - -data LegacyQueryStakeDistributionCmdArgs = LegacyQueryStakeDistributionCmdArgs - { nodeSocketPath :: !SocketPath - , consensusModeParams :: !ConsensusModeParams - , networkId :: !NetworkId - , format :: Maybe OutputFormatJsonOrText - , mOutFile :: !(Maybe (File () Out)) - } - deriving (Generic, Show) - -data LegacyQueryStakeAddressInfoCmdArgs = LegacyQueryStakeAddressInfoCmdArgs - { nodeSocketPath :: !SocketPath - , consensusModeParams :: !ConsensusModeParams - , addr :: !StakeAddress - , networkId :: !NetworkId - , mOutFile :: !(Maybe (File () Out)) - } - deriving (Generic, Show) - -data LegacyQueryUTxOCmdArgs = LegacyQueryUTxOCmdArgs - { nodeSocketPath :: !SocketPath - , consensusModeParams :: !ConsensusModeParams - , queryFilter :: !QueryUTxOFilter - , networkId :: !NetworkId - , format :: Maybe OutputFormatJsonOrText - , mOutFile :: !(Maybe (File () Out)) - } - deriving (Generic, Show) - -data LegacyQueryLedgerStateCmdArgs = LegacyQueryLedgerStateCmdArgs - { nodeSocketPath :: !SocketPath - , consensusModeParams :: !ConsensusModeParams - , networkId :: !NetworkId - , mOutFile :: !(Maybe (File () Out)) - } - deriving (Generic, Show) - -data LegacyQueryProtocolStateCmdArgs = LegacyQueryProtocolStateCmdArgs - { nodeSocketPath :: !SocketPath - , consensusModeParams :: !ConsensusModeParams - , networkId :: !NetworkId - , mOutFile :: !(Maybe (File () Out)) - } - deriving (Generic, Show) - -data LegacyQueryStakeSnapshotCmdArgs = LegacyQueryStakeSnapshotCmdArgs - { nodeSocketPath :: !SocketPath - , consensusModeParams :: !ConsensusModeParams - , networkId :: !NetworkId - , allOrOnlyPoolIds :: !(AllOrOnly (Hash StakePoolKey)) - , mOutFile :: !(Maybe (File () Out)) - } - deriving (Generic, Show) - -data LegacyQueryKesPeriodInfoCmdArgs = LegacyQueryKesPeriodInfoCmdArgs - { nodeSocketPath :: !SocketPath - , consensusModeParams :: !ConsensusModeParams - , networkId :: !NetworkId - , nodeOpCertFp :: !(File () In) - -- ^ Node operational certificate - , mOutFile :: !(Maybe (File () Out)) - } - deriving (Generic, Show) - -data LegacyQueryPoolStateCmdArgs = LegacyQueryPoolStateCmdArgs - { nodeSocketPath :: !SocketPath - , consensusModeParams :: !ConsensusModeParams - , networkId :: !NetworkId - , allOrOnlyPoolIds :: !(AllOrOnly (Hash StakePoolKey)) - , mOutFile :: !(Maybe (File () Out)) - } - deriving (Generic, Show) - -data LegacyQueryTxMempoolCmdArgs = LegacyQueryTxMempoolCmdArgs - { nodeSocketPath :: !SocketPath - , consensusModeParams :: !ConsensusModeParams - , networkId :: !NetworkId - , query :: !TxMempoolQuery - , mOutFile :: !(Maybe (File () Out)) - } - deriving (Generic, Show) - -data LegacyQuerySlotNumberCmdArgs = LegacyQuerySlotNumberCmdArgs - { nodeSocketPath :: !SocketPath - , consensusModeParams :: !ConsensusModeParams - , networkId :: !NetworkId - , utcTime :: !UTCTime - } - deriving (Generic, Show) - -renderLegacyQueryCmds :: LegacyQueryCmds -> Text -renderLegacyQueryCmds = \case - QueryLeadershipScheduleCmd{} -> "query leadership-schedule" - QueryProtocolParametersCmd{} -> "query protocol-parameters " - QueryTipCmd{} -> "query tip" - QueryStakePoolsCmd{} -> "query stake-pools" - QueryStakeDistributionCmd{} -> "query stake-distribution" - QueryStakeAddressInfoCmd{} -> "query stake-address-info" - QueryUTxOCmd{} -> "query utxo" - QueryLedgerStateCmd{} -> "query ledger-state" - QueryProtocolStateCmd{} -> "query protocol-state" - QueryStakeSnapshotCmd{} -> "query stake-snapshot" - QueryKesPeriodInfoCmd{} -> "query kes-period-info" - QueryPoolStateCmd{} -> "query pool-state" - QueryTxMempoolCmd (LegacyQueryTxMempoolCmdArgs _ _ _ txMempoolQuery _) -> "query tx-mempool" <> renderTxMempoolQuery txMempoolQuery - QuerySlotNumberCmd{} -> "query slot-number" - where - renderTxMempoolQuery = \case - TxMempoolQueryTxExists tx -> "tx-exists " <> serialiseToRawBytesHexText tx - TxMempoolQueryNextTx -> "next-tx" - TxMempoolQueryInfo -> "info" diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Commands/StakeAddress.hs b/cardano-cli/src/Cardano/CLI/Legacy/Commands/StakeAddress.hs deleted file mode 100644 index 8f1a4cbe3..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Commands/StakeAddress.hs +++ /dev/null @@ -1,57 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE LambdaCase #-} - --- | Shelley CLI command types -module Cardano.CLI.Legacy.Commands.StakeAddress - ( LegacyStakeAddressCmds (..) - , renderLegacyStakeAddressCmds - ) -where - -import Cardano.Api.Ledger (Coin) -import Cardano.Api.Shelley - -import Cardano.CLI.Types.Common -import Cardano.CLI.Types.Key - -import Prelude - -import Data.Text (Text) - -data LegacyStakeAddressCmds - = StakeAddressKeyGenCmd - KeyOutputFormat - (VerificationKeyFile Out) - (SigningKeyFile Out) - | StakeAddressKeyHashCmd - (VerificationKeyOrFile StakeKey) - (Maybe (File () Out)) - | StakeAddressBuildCmd - StakeVerifier - NetworkId - (Maybe (File () Out)) - | StakeAddressRegistrationCertificateCmd - (EraInEon ShelleyBasedEra) - StakeIdentifier - (Maybe Coin) - (File () Out) - | StakeAddressDelegationCertificateCmd - (EraInEon ShelleyBasedEra) - StakeIdentifier - (VerificationKeyOrHashOrFile StakePoolKey) - (File () Out) - | StakeAddressDeregistrationCertificateCmd - (EraInEon ShelleyBasedEra) - StakeIdentifier - (Maybe Coin) - (File () Out) - deriving Show - -renderLegacyStakeAddressCmds :: LegacyStakeAddressCmds -> Text -renderLegacyStakeAddressCmds = \case - StakeAddressKeyGenCmd{} -> "stake-address key-gen" - StakeAddressKeyHashCmd{} -> "stake-address key-hash" - StakeAddressBuildCmd{} -> "stake-address build" - StakeAddressRegistrationCertificateCmd{} -> "stake-address registration-certificate" - StakeAddressDelegationCertificateCmd{} -> "stake-address delegation-certificate" - StakeAddressDeregistrationCertificateCmd{} -> "stake-address deregistration-certificate" diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Commands/StakePool.hs b/cardano-cli/src/Cardano/CLI/Legacy/Commands/StakePool.hs deleted file mode 100644 index e688e93bf..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Commands/StakePool.hs +++ /dev/null @@ -1,70 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE LambdaCase #-} - -module Cardano.CLI.Legacy.Commands.StakePool - ( LegacyStakePoolCmds (..) - , renderLegacyStakePoolCmds - ) -where - -import Cardano.Api.Ledger (Coin) -import Cardano.Api.Shelley hiding (QueryInShelleyBasedEra (..)) - -import Cardano.CLI.Types.Common -import Cardano.CLI.Types.Key - -import Prelude - -import Data.Text (Text) - -data LegacyStakePoolCmds - = StakePoolDeregistrationCertificateCmd - (EraInEon ShelleyBasedEra) - -- ^ Era in which to retire the stake pool. - (VerificationKeyOrFile StakePoolKey) - -- ^ Stake pool verification key. - EpochNo - -- ^ Epoch in which to retire the stake pool. - (File () Out) - | StakePoolIdCmd - (VerificationKeyOrFile StakePoolKey) - IdOutputFormat - (Maybe (File () Out)) - | StakePoolMetadataHashCmd - (StakePoolMetadataFile In) - (Maybe (File () Out)) - | StakePoolRegistrationCertificateCmd - (EraInEon ShelleyBasedEra) - -- ^ Era in which to register the stake pool. - (VerificationKeyOrFile StakePoolKey) - -- ^ Stake pool verification key. - (VerificationKeyOrFile VrfKey) - -- ^ VRF Verification key. - Coin - -- ^ Pool pledge. - Coin - -- ^ Pool cost. - Rational - -- ^ Pool margin. - (VerificationKeyOrFile StakeKey) - -- ^ Reward account verification staking key. - [VerificationKeyOrFile StakeKey] - -- ^ Pool owner verification staking key(s). - [StakePoolRelay] - -- ^ Stake pool relays. - (Maybe StakePoolMetadataReference) - -- ^ Stake pool metadata. - NetworkId - (File () Out) - deriving Show - -renderLegacyStakePoolCmds :: LegacyStakePoolCmds -> Text -renderLegacyStakePoolCmds = \case - StakePoolDeregistrationCertificateCmd{} -> - "stake-pool deregistration-certificate" - StakePoolIdCmd{} -> - "stake-pool id" - StakePoolMetadataHashCmd{} -> - "stake-pool metadata-hash" - StakePoolRegistrationCertificateCmd{} -> - "stake-pool registration-certificate" diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Commands/TextView.hs b/cardano-cli/src/Cardano/CLI/Legacy/Commands/TextView.hs deleted file mode 100644 index 6e0b82f09..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Commands/TextView.hs +++ /dev/null @@ -1,20 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE LambdaCase #-} - -module Cardano.CLI.Legacy.Commands.TextView - ( LegacyTextViewCmds (..) - , renderLegacyTextViewCmds - ) -where - -import Cardano.Api.Shelley - -import Data.Text (Text) - -data LegacyTextViewCmds - = TextViewInfo !FilePath (Maybe (File () Out)) - deriving Show - -renderLegacyTextViewCmds :: LegacyTextViewCmds -> Text -renderLegacyTextViewCmds = \case - TextViewInfo _ _ -> "text-view decode-cbor" diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Commands/Transaction.hs b/cardano-cli/src/Cardano/CLI/Legacy/Commands/Transaction.hs deleted file mode 100644 index 8c8684cc9..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Commands/Transaction.hs +++ /dev/null @@ -1,152 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE LambdaCase #-} - -module Cardano.CLI.Legacy.Commands.Transaction - ( LegacyTransactionCmds (..) - , renderLegacyTransactionCmds - ) -where - -import Cardano.Api.Ledger (Coin) -import Cardano.Api.Shelley - -import Cardano.CLI.Types.Common -import Cardano.CLI.Types.Governance - -import Data.Text (Text) - -data LegacyTransactionCmds - = TransactionBuildRawCmd - AnyCardanoEra - (Maybe ScriptValidity) - -- ^ Mark script as expected to pass or fail validation - [(TxIn, Maybe (ScriptWitnessFiles WitCtxTxIn))] - -- ^ Transaction inputs with optional spending scripts - [TxIn] - -- ^ Read only reference inputs - [TxIn] - -- ^ Transaction inputs for collateral, only key witnesses, no scripts. - (Maybe TxOutShelleyBasedEra) - -- ^ Return collateral - (Maybe Coin) - -- ^ Total collateral - [RequiredSigner] - -- ^ Required signers - [TxOutAnyEra] - (Maybe (Value, [ScriptWitnessFiles WitCtxMint])) - -- ^ Multi-Asset value with script witness - (Maybe SlotNo) - -- ^ Transaction lower bound - (Maybe SlotNo) - -- ^ Transaction upper bound - Coin - -- ^ Tx fee - [(CertificateFile, Maybe (ScriptWitnessFiles WitCtxStake))] - -- ^ Certificates with potential script witness - [(StakeAddress, Coin, Maybe (ScriptWitnessFiles WitCtxStake))] - TxMetadataJsonSchema - [ScriptFile] - -- ^ Auxiliary scripts - [MetadataFile] - (Maybe ProtocolParamsFile) - (Maybe UpdateProposalFile) - (TxBodyFile Out) - | -- | Like 'TransactionBuildRaw' but without the fee, and with a change output. - TransactionBuildCmd - SocketPath - (EraInEon ShelleyBasedEra) - ConsensusModeParams - NetworkId - (Maybe ScriptValidity) - -- ^ Mark script as expected to pass or fail validation - (Maybe Word) - -- ^ Override the required number of tx witnesses - [(TxIn, Maybe (ScriptWitnessFiles WitCtxTxIn))] - -- ^ Transaction inputs with optional spending scripts - [TxIn] - -- ^ Read only reference inputs - [RequiredSigner] - -- ^ Required signers - [TxIn] - -- ^ Transaction inputs for collateral, only key witnesses, no scripts. - (Maybe TxOutShelleyBasedEra) - -- ^ Return collateral - (Maybe Coin) - -- ^ Total collateral - [TxOutAnyEra] - -- ^ Normal outputs - TxOutChangeAddress - -- ^ A change output - (Maybe (Value, [ScriptWitnessFiles WitCtxMint])) - -- ^ Multi-Asset value with script witness - (Maybe SlotNo) - -- ^ Transaction lower bound - (Maybe SlotNo) - -- ^ Transaction upper bound - [(CertificateFile, Maybe (ScriptWitnessFiles WitCtxStake))] - -- ^ Certificates with potential script witness - [(StakeAddress, Coin, Maybe (ScriptWitnessFiles WitCtxStake))] - -- ^ Withdrawals with potential script witness - TxMetadataJsonSchema - [ScriptFile] - -- ^ Auxiliary scripts - [MetadataFile] - (Maybe UpdateProposalFile) - [(VoteFile In, Maybe (ScriptWitnessFiles WitCtxStake))] - [(ProposalFile In, Maybe (ScriptWitnessFiles WitCtxStake))] - (Maybe TxTreasuryDonation) - TxBuildOutputOptions - | TransactionSignCmd - InputTxBodyOrTxFile - [WitnessSigningData] - (Maybe NetworkId) - (TxFile Out) - | TransactionWitnessCmd - (TxBodyFile In) - WitnessSigningData - (Maybe NetworkId) - (File () Out) - | TransactionSignWitnessCmd - (TxBodyFile In) - [WitnessFile] - (File () Out) - | TransactionSubmitCmd - SocketPath - ConsensusModeParams - NetworkId - FilePath - | TransactionPolicyIdCmd - ScriptFile - | -- | The total size in bytes of the transaction reference scripts. - TransactionCalculateMinFeeCmd - (TxBodyFile In) - ProtocolParamsFile - TxShelleyWitnessCount - TxByronWitnessCount - ReferenceScriptSize - (Maybe OutputFormatJsonOrText) - (Maybe (File () Out)) - | TransactionCalculateMinValueCmd - (EraInEon ShelleyBasedEra) - ProtocolParamsFile - TxOutShelleyBasedEra - | TransactionHashScriptDataCmd - ScriptDataOrFile - | TransactionTxIdCmd - InputTxBodyOrTxFile - | TransactionViewCmd - -renderLegacyTransactionCmds :: LegacyTransactionCmds -> Text -renderLegacyTransactionCmds = \case - TransactionBuildCmd{} -> "transaction build" - TransactionBuildRawCmd{} -> "transaction build-raw" - TransactionSignCmd{} -> "transaction sign" - TransactionWitnessCmd{} -> "transaction witness" - TransactionSignWitnessCmd{} -> "transaction sign-witness" - TransactionSubmitCmd{} -> "transaction submit" - TransactionPolicyIdCmd{} -> "transaction policyid" - TransactionCalculateMinFeeCmd{} -> "transaction calculate-min-fee" - TransactionCalculateMinValueCmd{} -> "transaction calculate-min-value" - TransactionHashScriptDataCmd{} -> "transaction hash-script-data" - TransactionTxIdCmd{} -> "transaction txid" - TransactionViewCmd{} -> "transaction view" diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Options.hs b/cardano-cli/src/Cardano/CLI/Legacy/Options.hs index f368ccf0f..40010cd4d 100644 --- a/cardano-cli/src/Cardano/CLI/Legacy/Options.hs +++ b/cardano-cli/src/Cardano/CLI/Legacy/Options.hs @@ -12,8 +12,6 @@ module Cardano.CLI.Legacy.Options -- * Field parser and renderers , parseTxIn - , pLegacyCardanoEra - , pLegacyShelleyBasedEra , pKeyRegistDeposit , pStakePoolRegistrationParserRequirements , pStakePoolVerificationKeyOrHashOrFile @@ -438,78 +436,3 @@ pGenesisCmds envCli = , Opt.help "Each bulk pool to contain this many pool credential sets [default is 0]." , Opt.value 0 ] - -pLegacyCardanoEra :: EnvCli -> Parser AnyCardanoEra -pLegacyCardanoEra envCli = - asum $ - mconcat - [ - [ Opt.flag' (AnyCardanoEra ByronEra) $ - mconcat - [ Opt.long "byron-era" - , Opt.help $ "Specify the Byron era" <> deprecationText - ] - , Opt.flag' (AnyCardanoEra ShelleyEra) $ - mconcat - [ Opt.long "shelley-era" - , Opt.help $ "Specify the Shelley era" <> deprecationText - ] - , Opt.flag' (AnyCardanoEra AllegraEra) $ - mconcat - [ Opt.long "allegra-era" - , Opt.help $ "Specify the Allegra era" <> deprecationText - ] - , Opt.flag' (AnyCardanoEra MaryEra) $ - mconcat - [ Opt.long "mary-era" - , Opt.help $ "Specify the Mary era" <> deprecationText - ] - , Opt.flag' (AnyCardanoEra AlonzoEra) $ - mconcat - [ Opt.long "alonzo-era" - , Opt.help $ "Specify the Alonzo era" <> deprecationText - ] - , Opt.flag' (AnyCardanoEra BabbageEra) $ - mconcat - [ Opt.long "babbage-era" - , Opt.help $ "Specify the Babbage era (default)" <> deprecationText - ] - ] - , maybeToList $ pure <$> envCliAnyCardanoEra envCli - , pure . pure $ AnyCardanoEra BabbageEra - ] - -pLegacyShelleyBasedEra :: EnvCli -> Parser (EraInEon ShelleyBasedEra) -pLegacyShelleyBasedEra envCli = - asum $ - mconcat - [ - [ Opt.flag' (EraInEon ShelleyBasedEraShelley) $ - mconcat - [ Opt.long "shelley-era" - , Opt.help $ "Specify the Shelley era" <> deprecationText - ] - , Opt.flag' (EraInEon ShelleyBasedEraAllegra) $ - mconcat - [ Opt.long "allegra-era" - , Opt.help $ "Specify the Allegra era" <> deprecationText - ] - , Opt.flag' (EraInEon ShelleyBasedEraMary) $ - mconcat - [ Opt.long "mary-era" - , Opt.help $ "Specify the Mary era" <> deprecationText - ] - , Opt.flag' (EraInEon ShelleyBasedEraAlonzo) $ - mconcat - [ Opt.long "alonzo-era" - , Opt.help $ "Specify the Alonzo era" <> deprecationText - ] - , Opt.flag' (EraInEon ShelleyBasedEraBabbage) $ - mconcat - [ Opt.long "babbage-era" - , Opt.help $ "Specify the Babbage era (default)" <> deprecationText - ] - ] - , maybeToList $ pure <$> envCliAnyShelleyBasedEra envCli - , pure . pure $ EraInEon ShelleyBasedEraBabbage - ] diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Options/Key.hs b/cardano-cli/src/Cardano/CLI/Legacy/Options/Key.hs deleted file mode 100644 index 4448343f9..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Options/Key.hs +++ /dev/null @@ -1,265 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE FlexibleContexts #-} -{-# LANGUAGE GADTs #-} -{-# LANGUAGE ScopedTypeVariables #-} - -module Cardano.CLI.Legacy.Options.Key - ( pKeyCmds - ) -where - -import Cardano.Api hiding (QueryInShelleyBasedEra (..), parseFilePath) - -import Cardano.CLI.EraBased.Options.Common -import Cardano.CLI.Legacy.Commands.Key -import Cardano.CLI.Types.Common - -import Data.Foldable -import Data.Text (Text) -import Options.Applicative hiding (help, str) -import qualified Options.Applicative as Opt - -pKeyCmds :: Parser LegacyKeyCmds -pKeyCmds = - asum - [ subParser "verification-key" $ - Opt.info pKeyVerificationKeyCmd $ - Opt.progDesc $ - mconcat - [ "Get a verification key from a signing key. This " - , " supports all key types." - ] - , subParser "non-extended-key" $ - Opt.info pKeyNonExtendedKeyCmd $ - Opt.progDesc $ - mconcat - [ "Get a non-extended verification key from an " - , "extended verification key. This supports all " - , "extended key types." - ] - , subParser "convert-byron-key" $ - Opt.info pKeyConvertByronKeyCmd $ - Opt.progDesc $ - mconcat - [ "Convert a Byron payment, genesis or genesis " - , "delegate key (signing or verification) to a " - , "corresponding Shelley-format key." - ] - , subParser "convert-byron-genesis-vkey" $ - Opt.info pKeyConvertByronGenesisVKeyCmd $ - Opt.progDesc $ - mconcat - [ "Convert a Base64-encoded Byron genesis " - , "verification key to a Shelley genesis " - , "verification key" - ] - , subParser "convert-itn-key" $ - Opt.info pKeyConvertITNKeyCmd $ - Opt.progDesc $ - mconcat - [ "Convert an Incentivized Testnet (ITN) non-extended " - , "(Ed25519) signing or verification key to a " - , "corresponding Shelley stake key" - ] - , subParser "convert-itn-extended-key" $ - Opt.info pKeyConvertITNExtendedKeyCmd $ - Opt.progDesc $ - mconcat - [ "Convert an Incentivized Testnet (ITN) extended " - , "(Ed25519Extended) signing key to a corresponding " - , "Shelley stake signing key" - ] - , subParser "convert-itn-bip32-key" $ - Opt.info pKeyConvertITNBip32KeyCmd $ - Opt.progDesc $ - mconcat - [ "Convert an Incentivized Testnet (ITN) BIP32 " - , "(Ed25519Bip32) signing key to a corresponding " - , "Shelley stake signing key" - ] - , subParser "convert-cardano-address-key" $ - Opt.info pKeyConvertCardanoAddressKeyCmd $ - Opt.progDesc $ - mconcat - [ "Convert a cardano-address extended signing key " - , "to a corresponding Shelley-format key." - ] - ] - -pKeyVerificationKeyCmd :: Parser LegacyKeyCmds -pKeyVerificationKeyCmd = - KeyVerificationKeyCmd - <$> pSigningKeyFileIn - <*> pVerificationKeyFileOut - -pKeyNonExtendedKeyCmd :: Parser LegacyKeyCmds -pKeyNonExtendedKeyCmd = - KeyNonExtendedKeyCmd - <$> pExtendedVerificationKeyFileIn - <*> pVerificationKeyFileOut - -pKeyConvertByronKeyCmd :: Parser LegacyKeyCmds -pKeyConvertByronKeyCmd = - KeyConvertByronKeyCmd - <$> optional pPassword - <*> pByronKeyType - <*> pByronKeyFile - <*> pOutputFile - -pPassword :: Parser Text -pPassword = - Opt.strOption $ - mconcat - [ Opt.long "password" - , Opt.metavar "TEXT" - , Opt.help "Password for signing key (if applicable)." - ] - -pByronKeyType :: Parser ByronKeyType -pByronKeyType = - asum - [ Opt.flag' (ByronPaymentKey NonLegacyByronKeyFormat) $ - mconcat - [ Opt.long "byron-payment-key-type" - , Opt.help "Use a Byron-era payment key." - ] - , Opt.flag' (ByronPaymentKey LegacyByronKeyFormat) $ - mconcat - [ Opt.long "legacy-byron-payment-key-type" - , Opt.help "Use a Byron-era payment key, in legacy SL format." - ] - , Opt.flag' (ByronGenesisKey NonLegacyByronKeyFormat) $ - mconcat - [ Opt.long "byron-genesis-key-type" - , Opt.help "Use a Byron-era genesis key." - ] - , Opt.flag' (ByronGenesisKey LegacyByronKeyFormat) $ - mconcat - [ Opt.long "legacy-byron-genesis-key-type" - , Opt.help "Use a Byron-era genesis key, in legacy SL format." - ] - , Opt.flag' (ByronDelegateKey NonLegacyByronKeyFormat) $ - mconcat - [ Opt.long "byron-genesis-delegate-key-type" - , Opt.help "Use a Byron-era genesis delegate key." - ] - , Opt.flag' (ByronDelegateKey LegacyByronKeyFormat) $ - mconcat - [ Opt.long "legacy-byron-genesis-delegate-key-type" - , Opt.help "Use a Byron-era genesis delegate key, in legacy SL format." - ] - ] - -pByronKeyFile :: Parser (SomeKeyFile In) -pByronKeyFile = - asum - [ ASigningKeyFile <$> pByronSigningKeyFile - , AVerificationKeyFile <$> pByronVerificationKeyFile - ] - -pByronSigningKeyFile :: Parser (SigningKeyFile In) -pByronSigningKeyFile = - File <$> parseFilePath "byron-signing-key-file" "Input filepath of the Byron-format signing key." - -pByronVerificationKeyFile :: Parser (VerificationKeyFile In) -pByronVerificationKeyFile = - File - <$> parseFilePath "byron-verification-key-file" "Input filepath of the Byron-format verification key." - -pKeyConvertByronGenesisVKeyCmd :: Parser LegacyKeyCmds -pKeyConvertByronGenesisVKeyCmd = - KeyConvertByronGenesisVKeyCmd - <$> pByronGenesisVKeyBase64 - <*> pOutputFile - -pByronGenesisVKeyBase64 :: Parser VerificationKeyBase64 -pByronGenesisVKeyBase64 = - fmap VerificationKeyBase64 $ - Opt.strOption $ - mconcat - [ Opt.long "byron-genesis-verification-key" - , Opt.metavar "BASE64" - , Opt.help "Base64 string for the Byron genesis verification key." - ] - -pKeyConvertITNKeyCmd :: Parser LegacyKeyCmds -pKeyConvertITNKeyCmd = - KeyConvertITNKeyCmd - <$> pITNKeyFIle - <*> pOutputFile - -pKeyConvertITNExtendedKeyCmd :: Parser LegacyKeyCmds -pKeyConvertITNExtendedKeyCmd = - KeyConvertITNExtendedKeyCmd - <$> pITNSigningKeyFile - <*> pOutputFile - -pKeyConvertITNBip32KeyCmd :: Parser LegacyKeyCmds -pKeyConvertITNBip32KeyCmd = - KeyConvertITNBip32KeyCmd - <$> pITNSigningKeyFile - <*> pOutputFile - -pITNKeyFIle :: Parser (SomeKeyFile direction) -pITNKeyFIle = - asum - [ pITNSigningKeyFile - , pITNVerificationKeyFile - ] - -pITNSigningKeyFile :: Parser (SomeKeyFile direction) -pITNSigningKeyFile = - ASigningKeyFile . File - <$> parseFilePath "itn-signing-key-file" "Filepath of the ITN signing key." - -pITNVerificationKeyFile :: Parser (SomeKeyFile direction) -pITNVerificationKeyFile = - AVerificationKeyFile . File - <$> parseFilePath "itn-verification-key-file" "Filepath of the ITN verification key." - -pKeyConvertCardanoAddressKeyCmd :: Parser LegacyKeyCmds -pKeyConvertCardanoAddressKeyCmd = - KeyConvertCardanoAddressKeyCmd - <$> pCardanoAddressKeyType - <*> pSigningKeyFileIn - <*> pOutputFile - -pCardanoAddressKeyType :: Parser CardanoAddressKeyType -pCardanoAddressKeyType = - asum - [ Opt.flag' CardanoAddressCommitteeColdKey $ - mconcat - [ Opt.long "cc-cold-key" - , Opt.help "Use a committee cold key." - ] - , Opt.flag' CardanoAddressCommitteeHotKey $ - mconcat - [ Opt.long "cc-hot-key" - , Opt.help "Use a committee hot key." - ] - , Opt.flag' CardanoAddressDRepKey $ - mconcat - [ Opt.long "drep-key" - , Opt.help "Use a DRep key." - ] - , Opt.flag' CardanoAddressShelleyPaymentKey $ - mconcat - [ Opt.long "shelley-payment-key" - , Opt.help "Use a Shelley-era extended payment key." - ] - , Opt.flag' CardanoAddressShelleyStakeKey $ - mconcat - [ Opt.long "shelley-stake-key" - , Opt.help "Use a Shelley-era extended stake key." - ] - , Opt.flag' CardanoAddressIcarusPaymentKey $ - mconcat - [ Opt.long "icarus-payment-key" - , Opt.help "Use a Byron-era extended payment key formatted in the Icarus style." - ] - , Opt.flag' CardanoAddressByronPaymentKey $ - mconcat - [ Opt.long "byron-payment-key" - , Opt.help "Use a Byron-era extended payment key formatted in the deprecated Byron style." - ] - ] diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Run/Address.hs b/cardano-cli/src/Cardano/CLI/Legacy/Run/Address.hs deleted file mode 100644 index d9bcd2086..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Run/Address.hs +++ /dev/null @@ -1,68 +0,0 @@ -{-# LANGUAGE CPP #-} -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE FlexibleContexts #-} -{-# LANGUAGE LambdaCase #-} -{-# LANGUAGE RankNTypes #-} -{-# LANGUAGE ScopedTypeVariables #-} - -module Cardano.CLI.Legacy.Run.Address - ( runLegacyAddressCmds - ) -where - -import Cardano.Api - -import Cardano.CLI.EraBased.Run.Address -import Cardano.CLI.EraBased.Run.Address.Info -import Cardano.CLI.Legacy.Commands.Address -import Cardano.CLI.Types.Common -import Cardano.CLI.Types.Errors.AddressCmdError -import Cardano.CLI.Types.Errors.AddressInfoError -import Cardano.CLI.Types.Key (PaymentVerifier (..), StakeIdentifier (..), - VerificationKeyTextOrFile) - -import Data.Function -import Data.Text (Text) - -runLegacyAddressCmds :: LegacyAddressCmds -> ExceptT AddressCmdError IO () -runLegacyAddressCmds = \case - AddressKeyGen fmt kt vkf skf -> - runLegacyAddressKeyGenCmd fmt kt vkf skf - AddressKeyHash vkf mOFp -> - runLegacyAddressKeyHashCmd vkf mOFp - AddressBuild paymentVerifier mbStakeVerifier nw mOutFp -> - runLegacyAddressBuildCmd paymentVerifier mbStakeVerifier nw mOutFp - AddressInfo txt mOFp -> - runLegacyAddressInfoCmd txt mOFp & firstExceptT AddressCmdAddressInfoError - -runLegacyAddressKeyGenCmd - :: () - => KeyOutputFormat - -> AddressKeyType - -> VerificationKeyFile Out - -> SigningKeyFile Out - -> ExceptT AddressCmdError IO () -runLegacyAddressKeyGenCmd = runAddressKeyGenCmd - -runLegacyAddressKeyHashCmd - :: () - => VerificationKeyTextOrFile - -> Maybe (File () Out) - -> ExceptT AddressCmdError IO () -runLegacyAddressKeyHashCmd = runAddressKeyHashCmd - -runLegacyAddressBuildCmd - :: () - => PaymentVerifier - -> Maybe StakeIdentifier - -> NetworkId - -> Maybe (File () Out) - -> ExceptT AddressCmdError IO () -runLegacyAddressBuildCmd = runAddressBuildCmd - -runLegacyAddressInfoCmd - :: () - => Text - -> Maybe (File () Out) - -> ExceptT AddressInfoError IO () -runLegacyAddressInfoCmd = runAddressInfoCmd diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Run/Key.hs b/cardano-cli/src/Cardano/CLI/Legacy/Run/Key.hs deleted file mode 100644 index 4a454f714..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Run/Key.hs +++ /dev/null @@ -1,123 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE LambdaCase #-} - -module Cardano.CLI.Legacy.Run.Key - ( runLegacyKeyCmds - ) -where - -import Cardano.Api - -import qualified Cardano.CLI.EraBased.Commands.Key as Cmd -import Cardano.CLI.EraBased.Run.Key -import Cardano.CLI.Legacy.Commands.Key -import Cardano.CLI.Types.Common -import Cardano.CLI.Types.Errors.KeyCmdError - -import Data.Text (Text) - -runLegacyKeyCmds - :: () - => LegacyKeyCmds - -> ExceptT KeyCmdError IO () -runLegacyKeyCmds = \case - KeyVerificationKeyCmd skf vkf -> - runLegacyVerificationKeyCmd skf vkf - KeyNonExtendedKeyCmd evkf vkf -> - runLegacyNonExtendedKeyCmd evkf vkf - KeyConvertByronKeyCmd mPassword keytype skfOld skfNew -> - runLegacyConvertByronKeyCmd mPassword keytype skfOld skfNew - KeyConvertByronGenesisVKeyCmd oldVk newVkf -> - runLegacyConvertByronGenesisVKeyCmd oldVk newVkf - KeyConvertITNKeyCmd itnKeyFile outFile -> - runLegacyConvertITNStakeKeyCmd itnKeyFile outFile - KeyConvertITNExtendedKeyCmd itnPrivKeyFile outFile -> - runLegacyConvertITNExtendedKeyCmd itnPrivKeyFile outFile - KeyConvertITNBip32KeyCmd itnPrivKeyFile outFile -> - runLegacyConvertITNBip32KeyCmd itnPrivKeyFile outFile - KeyConvertCardanoAddressKeyCmd keyType skfOld skfNew -> - runLegacyConvertCardanoAddressKeyCmd keyType skfOld skfNew - -runLegacyVerificationKeyCmd - :: () - => SigningKeyFile In - -> VerificationKeyFile Out - -> ExceptT KeyCmdError IO () -runLegacyVerificationKeyCmd skf vkf = - runVerificationKeyCmd $ - Cmd.KeyVerificationKeyCmdArgs skf vkf - -runLegacyNonExtendedKeyCmd - :: () - => VerificationKeyFile In - -> VerificationKeyFile Out - -> ExceptT KeyCmdError IO () -runLegacyNonExtendedKeyCmd evkf vkf = - runNonExtendedKeyCmd $ - Cmd.KeyNonExtendedKeyCmdArgs evkf vkf - -runLegacyConvertByronKeyCmd - :: () - => Maybe Text - -- ^ Password (if applicable) - -> ByronKeyType - -> SomeKeyFile In - -- ^ Input file: old format - -> File () Out - -- ^ Output file: new format - -> ExceptT KeyCmdError IO () -runLegacyConvertByronKeyCmd mPassword keytype skfOld skfNew = - runConvertByronKeyCmd $ - Cmd.KeyConvertByronKeyCmdArgs mPassword keytype skfOld skfNew - -runLegacyConvertByronGenesisVKeyCmd - :: () - => VerificationKeyBase64 - -- ^ Input key raw old format - -> File () Out - -- ^ Output file: new format - -> ExceptT KeyCmdError IO () -runLegacyConvertByronGenesisVKeyCmd oldVk newVkf = - runConvertByronGenesisVKeyCmd $ - Cmd.KeyConvertByronGenesisVKeyCmdArgs oldVk newVkf - --------------------------------------------------------------------------------- --- ITN verification/signing key conversion to Haskell verficiation/signing keys --------------------------------------------------------------------------------- - -runLegacyConvertITNStakeKeyCmd - :: () - => SomeKeyFile In - -> File () Out - -> ExceptT KeyCmdError IO () -runLegacyConvertITNStakeKeyCmd itnKeyFile outFile = - runConvertITNKeyCmd $ - Cmd.KeyConvertITNKeyCmdArgs itnKeyFile outFile - -runLegacyConvertITNExtendedKeyCmd - :: () - => SomeKeyFile In - -> File () Out - -> ExceptT KeyCmdError IO () -runLegacyConvertITNExtendedKeyCmd itnPrivKeyFile outFile = - runConvertITNExtendedKeyCmd $ - Cmd.KeyConvertITNExtendedKeyCmdArgs itnPrivKeyFile outFile - -runLegacyConvertITNBip32KeyCmd - :: () - => SomeKeyFile In - -> File () Out - -> ExceptT KeyCmdError IO () -runLegacyConvertITNBip32KeyCmd itnPrivKeyFile outFile = - runConvertITNBip32KeyCmd $ - Cmd.KeyConvertITNBip32KeyCmdArgs itnPrivKeyFile outFile - -runLegacyConvertCardanoAddressKeyCmd - :: () - => CardanoAddressKeyType - -> SigningKeyFile In - -> File () Out - -> ExceptT KeyCmdError IO () -runLegacyConvertCardanoAddressKeyCmd keyType skfOld skfNew = - runConvertCardanoAddressKeyCmd $ - Cmd.KeyConvertCardanoAddressKeyCmdArgs keyType skfOld skfNew diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Run/Node.hs b/cardano-cli/src/Cardano/CLI/Legacy/Run/Node.hs deleted file mode 100644 index ac16054de..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Run/Node.hs +++ /dev/null @@ -1,64 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE LambdaCase #-} - -module Cardano.CLI.Legacy.Run.Node - ( runLegacyNodeCmds - ) -where - -import qualified Cardano.CLI.EraBased.Commands.Node as Cmd -import Cardano.CLI.EraBased.Run.Node -import Cardano.CLI.Legacy.Commands.Node -import Cardano.CLI.Types.Errors.NodeCmdError - -import Control.Monad.Trans.Except (ExceptT) - -{- HLINT ignore "Reduce duplication" -} - -runLegacyNodeCmds - :: () - => LegacyNodeCmds - -> ExceptT NodeCmdError IO () -runLegacyNodeCmds = \case - LegacyNodeKeyGenColdCmd args -> runLegacyNodeKeyGenColdCmd args - LegacyNodeKeyGenKESCmd args -> runLegacyNodeKeyGenKesCmd args - LegacyNodeKeyGenVRFCmd args -> runLegacyNodeKeyGenVrfCmd args - LegacyNodeKeyHashVRFCmd args -> runLegacyNodeKeyHashVrfCmd args - LegacyNodeNewCounterCmd args -> runLegacyNodeNewCounterCmd args - LegacyNodeIssueOpCertCmd args -> runLegacyNodeIssueOpCertCmd args - -runLegacyNodeKeyGenColdCmd - :: () - => Cmd.NodeKeyGenColdCmdArgs - -> ExceptT NodeCmdError IO () -runLegacyNodeKeyGenColdCmd = runNodeKeyGenColdCmd - -runLegacyNodeKeyGenKesCmd - :: () - => Cmd.NodeKeyGenKESCmdArgs - -> ExceptT NodeCmdError IO () -runLegacyNodeKeyGenKesCmd = runNodeKeyGenKesCmd - -runLegacyNodeKeyGenVrfCmd - :: () - => Cmd.NodeKeyGenVRFCmdArgs - -> ExceptT NodeCmdError IO () -runLegacyNodeKeyGenVrfCmd = runNodeKeyGenVrfCmd - -runLegacyNodeKeyHashVrfCmd - :: () - => Cmd.NodeKeyHashVRFCmdArgs - -> ExceptT NodeCmdError IO () -runLegacyNodeKeyHashVrfCmd = runNodeKeyHashVrfCmd - -runLegacyNodeNewCounterCmd - :: () - => Cmd.NodeNewCounterCmdArgs - -> ExceptT NodeCmdError IO () -runLegacyNodeNewCounterCmd = runNodeNewCounterCmd - -runLegacyNodeIssueOpCertCmd - :: () - => Cmd.NodeIssueOpCertCmdArgs - -> ExceptT NodeCmdError IO () -runLegacyNodeIssueOpCertCmd = runNodeIssueOpCertCmd diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Run/Query.hs b/cardano-cli/src/Cardano/CLI/Legacy/Run/Query.hs deleted file mode 100644 index cf554583c..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Run/Query.hs +++ /dev/null @@ -1,150 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE GADTs #-} -{-# LANGUAGE LambdaCase #-} -{-# LANGUAGE RecordWildCards #-} -{-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-} - -module Cardano.CLI.Legacy.Run.Query - ( runLegacyQueryCmds - ) -where - -import qualified Cardano.CLI.EraBased.Commands.Query as EraBased -import qualified Cardano.CLI.EraBased.Run.Query as EraBased -import qualified Cardano.CLI.Legacy.Commands.Query as Cmd -import Cardano.CLI.Types.Errors.QueryCmdError -import qualified Ouroboros.Network.Protocol.LocalStateQuery.Type as Consensus - -import Control.Monad.Trans.Except - -runLegacyQueryCmds :: Cmd.LegacyQueryCmds -> ExceptT QueryCmdError IO () -runLegacyQueryCmds = \case - Cmd.QueryLeadershipScheduleCmd args -> runLegacyQueryLeadershipScheduleCmd args - Cmd.QueryProtocolParametersCmd args -> runLegacyQueryProtocolParametersCmd args - Cmd.QueryTipCmd args -> runLegacyQueryTipCmd args - Cmd.QueryStakePoolsCmd args -> runLegacyQueryStakePoolsCmd args - Cmd.QueryStakeDistributionCmd args -> runLegacyQueryStakeDistributionCmd args - Cmd.QueryStakeAddressInfoCmd args -> runLegacyQueryStakeAddressInfoCmd args - Cmd.QueryLedgerStateCmd args -> runLegacyQueryLedgerStateCmd args - Cmd.QueryStakeSnapshotCmd args -> runLegacyQueryStakeSnapshotCmd args - Cmd.QueryProtocolStateCmd args -> runLegacyQueryProtocolStateCmd args - Cmd.QueryUTxOCmd args -> runLegacyQueryUTxOCmd args - Cmd.QueryKesPeriodInfoCmd args -> runLegacyQueryKesPeriodInfoCmd args - Cmd.QueryPoolStateCmd args -> runLegacyQueryPoolStateCmd args - Cmd.QueryTxMempoolCmd args -> runLegacyQueryTxMempoolCmd args - Cmd.QuerySlotNumberCmd args -> runLegacyQuerySlotNumberCmd args - -runLegacyQueryProtocolParametersCmd - :: () - => Cmd.LegacyQueryProtocolParametersCmdArgs - -> ExceptT QueryCmdError IO () -runLegacyQueryProtocolParametersCmd Cmd.LegacyQueryProtocolParametersCmdArgs{..} = - EraBased.runQueryProtocolParametersCmd EraBased.QueryProtocolParametersCmdArgs{..} - -runLegacyQueryTipCmd - :: () - => Cmd.LegacyQueryTipCmdArgs - -> ExceptT QueryCmdError IO () -runLegacyQueryTipCmd Cmd.LegacyQueryTipCmdArgs{..} = - EraBased.runQueryTipCmd EraBased.QueryTipCmdArgs{target = Consensus.VolatileTip, ..} - --- | Query the UTxO, filtered by a given set of addresses, from a Shelley node --- via the local state query protocol. -runLegacyQueryUTxOCmd - :: () - => Cmd.LegacyQueryUTxOCmdArgs - -> ExceptT QueryCmdError IO () -runLegacyQueryUTxOCmd Cmd.LegacyQueryUTxOCmdArgs{..} = - EraBased.runQueryUTxOCmd EraBased.QueryUTxOCmdArgs{target = Consensus.VolatileTip, ..} - -runLegacyQueryKesPeriodInfoCmd - :: () - => Cmd.LegacyQueryKesPeriodInfoCmdArgs - -> ExceptT QueryCmdError IO () -runLegacyQueryKesPeriodInfoCmd Cmd.LegacyQueryKesPeriodInfoCmdArgs{..} = - EraBased.runQueryKesPeriodInfoCmd - EraBased.QueryKesPeriodInfoCmdArgs{target = Consensus.VolatileTip, ..} - --- | Query the current and future parameters for a stake pool, including the retirement date. --- Any of these may be empty (in which case a null will be displayed). -runLegacyQueryPoolStateCmd - :: () - => Cmd.LegacyQueryPoolStateCmdArgs - -> ExceptT QueryCmdError IO () -runLegacyQueryPoolStateCmd Cmd.LegacyQueryPoolStateCmdArgs{..} = - EraBased.runQueryPoolStateCmd EraBased.QueryPoolStateCmdArgs{target = Consensus.VolatileTip, ..} - --- | Query the local mempool state -runLegacyQueryTxMempoolCmd - :: () - => Cmd.LegacyQueryTxMempoolCmdArgs - -> ExceptT QueryCmdError IO () -runLegacyQueryTxMempoolCmd Cmd.LegacyQueryTxMempoolCmdArgs{..} = - EraBased.runQueryTxMempoolCmd EraBased.QueryTxMempoolCmdArgs{..} - -runLegacyQuerySlotNumberCmd - :: () - => Cmd.LegacyQuerySlotNumberCmdArgs - -> ExceptT QueryCmdError IO () -runLegacyQuerySlotNumberCmd Cmd.LegacyQuerySlotNumberCmdArgs{..} = - EraBased.runQuerySlotNumberCmd EraBased.QuerySlotNumberCmdArgs{target = Consensus.VolatileTip, ..} - --- | Obtain stake snapshot information for a pool, plus information about the total active stake. --- This information can be used for leader slot calculation, for example, and has been requested by SPOs. --- Obtaining the information directly is significantly more time and memory efficient than using a full ledger state dump. -runLegacyQueryStakeSnapshotCmd - :: () - => Cmd.LegacyQueryStakeSnapshotCmdArgs - -> ExceptT QueryCmdError IO () -runLegacyQueryStakeSnapshotCmd Cmd.LegacyQueryStakeSnapshotCmdArgs{..} = - EraBased.runQueryStakeSnapshotCmd - EraBased.QueryStakeSnapshotCmdArgs{target = Consensus.VolatileTip, ..} - -runLegacyQueryLedgerStateCmd - :: () - => Cmd.LegacyQueryLedgerStateCmdArgs - -> ExceptT QueryCmdError IO () -runLegacyQueryLedgerStateCmd Cmd.LegacyQueryLedgerStateCmdArgs{..} = - EraBased.runQueryLedgerStateCmd - EraBased.QueryLedgerStateCmdArgs{target = Consensus.VolatileTip, ..} - -runLegacyQueryProtocolStateCmd - :: () - => Cmd.LegacyQueryProtocolStateCmdArgs - -> ExceptT QueryCmdError IO () -runLegacyQueryProtocolStateCmd Cmd.LegacyQueryProtocolStateCmdArgs{..} = - EraBased.runQueryProtocolStateCmd - EraBased.QueryProtocolStateCmdArgs{target = Consensus.VolatileTip, ..} - --- | Query the current delegations and reward accounts, filtered by a given --- set of addresses, from a Shelley node via the local state query protocol. -runLegacyQueryStakeAddressInfoCmd - :: () - => Cmd.LegacyQueryStakeAddressInfoCmdArgs - -> ExceptT QueryCmdError IO () -runLegacyQueryStakeAddressInfoCmd Cmd.LegacyQueryStakeAddressInfoCmdArgs{..} = - EraBased.runQueryStakeAddressInfoCmd - EraBased.QueryStakeAddressInfoCmdArgs{target = Consensus.VolatileTip, ..} - -runLegacyQueryStakePoolsCmd - :: () - => Cmd.LegacyQueryStakePoolsCmdArgs - -> ExceptT QueryCmdError IO () -runLegacyQueryStakePoolsCmd Cmd.LegacyQueryStakePoolsCmdArgs{..} = - EraBased.runQueryStakePoolsCmd EraBased.QueryStakePoolsCmdArgs{target = Consensus.VolatileTip, ..} - -runLegacyQueryStakeDistributionCmd - :: () - => Cmd.LegacyQueryStakeDistributionCmdArgs - -> ExceptT QueryCmdError IO () -runLegacyQueryStakeDistributionCmd Cmd.LegacyQueryStakeDistributionCmdArgs{..} = - EraBased.runQueryStakeDistributionCmd - EraBased.QueryStakeDistributionCmdArgs{target = Consensus.VolatileTip, ..} - -runLegacyQueryLeadershipScheduleCmd - :: () - => Cmd.LegacyQueryLeadershipScheduleCmdArgs - -> ExceptT QueryCmdError IO () -runLegacyQueryLeadershipScheduleCmd Cmd.LegacyQueryLeadershipScheduleCmdArgs{..} = - EraBased.runQueryLeadershipScheduleCmd - EraBased.QueryLeadershipScheduleCmdArgs{target = Consensus.VolatileTip, ..} diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Run/StakeAddress.hs b/cardano-cli/src/Cardano/CLI/Legacy/Run/StakeAddress.hs deleted file mode 100644 index 87fa7df8a..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Run/StakeAddress.hs +++ /dev/null @@ -1,98 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE LambdaCase #-} - -module Cardano.CLI.Legacy.Run.StakeAddress - ( runLegacyStakeAddressCmds - ) -where - -import Cardano.Api -import Cardano.Api.Ledger (Coin) -import Cardano.Api.Shelley - -import Cardano.CLI.EraBased.Run.StakeAddress -import Cardano.CLI.Legacy.Commands.StakeAddress -import Cardano.CLI.Types.Common -import Cardano.CLI.Types.Errors.StakeAddressCmdError -import Cardano.CLI.Types.Key - -import Control.Monad (void) - -runLegacyStakeAddressCmds - :: () - => LegacyStakeAddressCmds - -> ExceptT StakeAddressCmdError IO () -runLegacyStakeAddressCmds = \case - StakeAddressKeyGenCmd fmt vk sk -> - runLegacyStakeAddressKeyGenCmd fmt vk sk - StakeAddressKeyHashCmd vk mOutputFp -> - runLegacyStakeAddressKeyHashCmd vk mOutputFp - StakeAddressBuildCmd stakeVerifier nw mOutputFp -> - runLegacyStakeAddressBuildCmd stakeVerifier nw mOutputFp - StakeAddressRegistrationCertificateCmd anyEra stakeIdentifier mDeposit outputFp -> - runLegacyStakeAddressRegistrationCertificateCmd anyEra stakeIdentifier mDeposit outputFp - StakeAddressDelegationCertificateCmd anyEra stakeIdentifier stkPoolVerKeyHashOrFp outputFp -> - runLegacyStakeAddresslDelegationCertificateCmd anyEra stakeIdentifier stkPoolVerKeyHashOrFp outputFp - StakeAddressDeregistrationCertificateCmd anyEra stakeIdentifier mDeposit outputFp -> - runLegacyStakeAddressDeregistrationCertificateCmd anyEra stakeIdentifier mDeposit outputFp - -runLegacyStakeAddressKeyGenCmd - :: () - => KeyOutputFormat - -> VerificationKeyFile Out - -> SigningKeyFile Out - -> ExceptT StakeAddressCmdError IO () -runLegacyStakeAddressKeyGenCmd vk sk = - void <$> runStakeAddressKeyGenCmd vk sk - -runLegacyStakeAddressKeyHashCmd - :: () - => VerificationKeyOrFile StakeKey - -> Maybe (File () Out) - -> ExceptT StakeAddressCmdError IO () -runLegacyStakeAddressKeyHashCmd = - runStakeAddressKeyHashCmd - -runLegacyStakeAddressBuildCmd - :: () - => StakeVerifier - -> NetworkId - -> Maybe (File () Out) - -> ExceptT StakeAddressCmdError IO () -runLegacyStakeAddressBuildCmd = - runStakeAddressBuildCmd - -runLegacyStakeAddressRegistrationCertificateCmd - :: () - => EraInEon ShelleyBasedEra - -> StakeIdentifier - -> Maybe Coin - -- ^ Deposit required in conway era - -> File () Out - -> ExceptT StakeAddressCmdError IO () -runLegacyStakeAddressRegistrationCertificateCmd (EraInEon sbe) = - runStakeAddressRegistrationCertificateCmd sbe - -runLegacyStakeAddresslDelegationCertificateCmd - :: () - => EraInEon ShelleyBasedEra - -> StakeIdentifier - -- ^ Delegator stake verification key, verification key file or script file. - -> VerificationKeyOrHashOrFile StakePoolKey - -- ^ Delegatee stake pool verification key or verification key file or - -- verification key hash. - -> File () Out - -> ExceptT StakeAddressCmdError IO () -runLegacyStakeAddresslDelegationCertificateCmd (EraInEon sbe) = - runStakeAddressStakeDelegationCertificateCmd sbe - -runLegacyStakeAddressDeregistrationCertificateCmd - :: () - => EraInEon ShelleyBasedEra - -> StakeIdentifier - -> Maybe Coin - -- ^ Deposit required in conway era - -> File () Out - -> ExceptT StakeAddressCmdError IO () -runLegacyStakeAddressDeregistrationCertificateCmd (EraInEon sbe) = - runStakeAddressDeregistrationCertificateCmd sbe diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Run/StakePool.hs b/cardano-cli/src/Cardano/CLI/Legacy/Run/StakePool.hs deleted file mode 100644 index 7ffe0bbb4..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Run/StakePool.hs +++ /dev/null @@ -1,155 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE GADTs #-} -{-# LANGUAGE LambdaCase #-} - -module Cardano.CLI.Legacy.Run.StakePool - ( runLegacyStakePoolCmds - ) -where - -import Cardano.Api -import qualified Cardano.Api.Ledger as L -import Cardano.Api.Shelley - -import qualified Cardano.CLI.EraBased.Commands.StakePool as Cmd -import Cardano.CLI.EraBased.Run.StakePool -import Cardano.CLI.Legacy.Commands.StakePool -import Cardano.CLI.Types.Common -import Cardano.CLI.Types.Errors.StakePoolCmdError -import Cardano.CLI.Types.Key (VerificationKeyOrFile) - -runLegacyStakePoolCmds - :: () - => LegacyStakePoolCmds - -> ExceptT StakePoolCmdError IO () -runLegacyStakePoolCmds = \case - StakePoolDeregistrationCertificateCmd anyEra sPvkeyFp retireEpoch outFile -> - runLegacyStakePoolDeregistrationCertificateCmd anyEra sPvkeyFp retireEpoch outFile - StakePoolIdCmd poolVerificationKeyOrFile outputFormat mOutFile -> - runLegacyStakePoolIdCmd poolVerificationKeyOrFile outputFormat mOutFile - StakePoolMetadataHashCmd poolMdFile mOutFile -> - runLegacyStakePoolMetadataHashCmd poolMdFile mOutFile - StakePoolRegistrationCertificateCmd - anyEra - poolVerificationKeyOrFile - vrfVkey - poolPledge - pCost - pMrgn - rwdVerFp - ownerVerFps - relays - mbMetadata - network - outFile -> - runLegacyStakePoolRegistrationCertificateCmd - anyEra - poolVerificationKeyOrFile - vrfVkey - poolPledge - pCost - pMrgn - rwdVerFp - ownerVerFps - relays - mbMetadata - network - outFile - --- | Create a stake pool registration cert. --- TODO: Metadata and more stake pool relay support to be --- added in the future. -runLegacyStakePoolRegistrationCertificateCmd - :: () - => EraInEon ShelleyBasedEra - -> VerificationKeyOrFile StakePoolKey - -- ^ Stake pool verification key. - -> VerificationKeyOrFile VrfKey - -- ^ VRF Verification key. - -> Lovelace - -- ^ Pool pledge. - -> Lovelace - -- ^ Pool cost. - -> Rational - -- ^ Pool margin. - -> VerificationKeyOrFile StakeKey - -- ^ Stake verification key for reward account. - -> [VerificationKeyOrFile StakeKey] - -- ^ Pool owner stake verification key(s). - -> [StakePoolRelay] - -- ^ Stake pool relays. - -> Maybe StakePoolMetadataReference - -- ^ Stake pool metadata. - -> NetworkId - -> File () Out - -> ExceptT StakePoolCmdError IO () -runLegacyStakePoolRegistrationCertificateCmd - inSbe - poolVerificationKeyOrFile - vrfVerificationKeyOrFile - poolPledge - poolCost - poolMargin - rewardStakeVerificationKeyOrFile - ownerStakeVerificationKeyOrFiles - relays - mbMetadata - network - outFile = - case inSbe of - EraInEon sbe -> - runStakePoolRegistrationCertificateCmd $ - Cmd.StakePoolRegistrationCertificateCmdArgs - sbe - poolVerificationKeyOrFile - vrfVerificationKeyOrFile - poolPledge - poolCost - poolMargin - rewardStakeVerificationKeyOrFile - ownerStakeVerificationKeyOrFiles - relays - mbMetadata - network - outFile - -runLegacyStakePoolDeregistrationCertificateCmd - :: () - => EraInEon ShelleyBasedEra - -> VerificationKeyOrFile StakePoolKey - -> L.EpochNo - -> File () Out - -> ExceptT StakePoolCmdError IO () -runLegacyStakePoolDeregistrationCertificateCmd inSbe poolVerificationKeyOrFile retireEpoch outFile = - case inSbe of - EraInEon sbe -> - runStakePoolDeregistrationCertificateCmd $ - Cmd.StakePoolDeregistrationCertificateCmdArgs - sbe - poolVerificationKeyOrFile - retireEpoch - outFile - -runLegacyStakePoolIdCmd - :: () - => VerificationKeyOrFile StakePoolKey - -> IdOutputFormat - -> Maybe (File () Out) - -> ExceptT StakePoolCmdError IO () -runLegacyStakePoolIdCmd poolVerificationKeyOrFile outputFormat mOutFile = - runStakePoolIdCmd $ - Cmd.StakePoolIdCmdArgs - poolVerificationKeyOrFile - outputFormat - mOutFile - -runLegacyStakePoolMetadataHashCmd - :: () - => StakePoolMetadataFile In - -> Maybe (File () Out) - -> ExceptT StakePoolCmdError IO () -runLegacyStakePoolMetadataHashCmd poolMetadataFile mOutFile = - runStakePoolMetadataHashCmd $ - Cmd.StakePoolMetadataHashCmdArgs - poolMetadataFile - mOutFile diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Run/TextView.hs b/cardano-cli/src/Cardano/CLI/Legacy/Run/TextView.hs deleted file mode 100644 index 05a7c554d..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Run/TextView.hs +++ /dev/null @@ -1,24 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE LambdaCase #-} - -module Cardano.CLI.Legacy.Run.TextView - ( runLegacyTextViewCmds - ) -where - -import Cardano.Api - -import Cardano.CLI.EraBased.Run.TextView -import Cardano.CLI.Legacy.Commands.TextView -import Cardano.CLI.Types.Errors.TextViewFileError - -runLegacyTextViewCmds :: LegacyTextViewCmds -> ExceptT TextViewFileError IO () -runLegacyTextViewCmds = \case - TextViewInfo fpath mOutfile -> runLegacyTextViewInfoCmd fpath mOutfile - -runLegacyTextViewInfoCmd - :: () - => FilePath - -> Maybe (File () Out) - -> ExceptT TextViewFileError IO () -runLegacyTextViewInfoCmd = runTextViewInfoCmd diff --git a/cardano-cli/src/Cardano/CLI/Legacy/Run/Transaction.hs b/cardano-cli/src/Cardano/CLI/Legacy/Run/Transaction.hs deleted file mode 100644 index 11cb62998..000000000 --- a/cardano-cli/src/Cardano/CLI/Legacy/Run/Transaction.hs +++ /dev/null @@ -1,551 +0,0 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE FlexibleContexts #-} -{-# LANGUAGE GADTs #-} -{-# LANGUAGE LambdaCase #-} -{-# LANGUAGE RankNTypes #-} -{-# LANGUAGE ScopedTypeVariables #-} - -module Cardano.CLI.Legacy.Run.Transaction - ( runLegacyTransactionCmds - ) -where - -import Cardano.Api -import qualified Cardano.Api.Byron as Api -import Cardano.Api.Ledger (Coin) - -import qualified Cardano.CLI.EraBased.Commands.Transaction as Cmd -import Cardano.CLI.EraBased.Run.Transaction -import Cardano.CLI.Legacy.Commands.Transaction -import Cardano.CLI.Types.Common -import Cardano.CLI.Types.Errors.TxCmdError -import Cardano.CLI.Types.Errors.TxValidationError -import Cardano.CLI.Types.Governance - -import Data.Function - -runLegacyTransactionCmds :: LegacyTransactionCmds -> ExceptT TxCmdError IO () -runLegacyTransactionCmds = \case - TransactionBuildCmd - mNodeSocketPath - era - consensusModeParams - nid - mScriptValidity - mOverrideWits - txins - readOnlyRefIns - reqSigners - txinsc - mReturnColl - mTotCollateral - txouts - changeAddr - mValue - mLowBound - mUpperBound - certs - wdrls - metadataSchema - scriptFiles - metadataFiles - mUpProp - mconwayVote - mNewConstitution - mTreasuryDonation - outputOptions -> do - runLegacyTransactionBuildCmd - mNodeSocketPath - era - consensusModeParams - nid - mScriptValidity - mOverrideWits - txins - readOnlyRefIns - reqSigners - txinsc - mReturnColl - mTotCollateral - txouts - changeAddr - mValue - mLowBound - mUpperBound - certs - wdrls - metadataSchema - scriptFiles - metadataFiles - mUpProp - mconwayVote - mNewConstitution - mTreasuryDonation - outputOptions - TransactionBuildRawCmd - era - mScriptValidity - txins - readOnlyRefIns - txinsc - mReturnColl - mTotColl - reqSigners - txouts - mValue - mLowBound - mUpperBound - fee - certs - wdrls - metadataSchema - scriptFiles - metadataFiles - mProtocolParamsFile - mUpProp - out -> do - runLegacyTransactionBuildRawCmd - era - mScriptValidity - txins - readOnlyRefIns - txinsc - mReturnColl - mTotColl - reqSigners - txouts - mValue - mLowBound - mUpperBound - fee - certs - wdrls - metadataSchema - scriptFiles - metadataFiles - mProtocolParamsFile - mUpProp - out - TransactionSignCmd txinfile skfiles network txoutfile -> - runLegacyTransactionSignCmd txinfile skfiles network txoutfile - TransactionSubmitCmd mNodeSocketPath consensusModeParams network txFp -> - runLegacyTransactionSubmitCmd mNodeSocketPath consensusModeParams network txFp - TransactionCalculateMinFeeCmd - txbody - pParamsFile - nShelleyKeyWitnesses - nByronKeyWitnesses - referenceScriptSize - format - mOutFile -> - runLegacyTransactionCalculateMinFeeCmd - txbody - pParamsFile - nShelleyKeyWitnesses - nByronKeyWitnesses - referenceScriptSize - format - mOutFile - TransactionCalculateMinValueCmd (EraInEon sbe) pParamsFile txOuts' -> - runLegacyTransactionCalculateMinValueCmd (AnyShelleyBasedEra sbe) pParamsFile txOuts' - TransactionHashScriptDataCmd scriptDataOrFile -> - runLegacyTransactionHashScriptDataCmd scriptDataOrFile - TransactionTxIdCmd txinfile -> - runLegacyTransactionTxIdCmd txinfile - TransactionViewCmd -> - runLegacyTransactionViewCmd - TransactionPolicyIdCmd sFile -> - runLegacyTransactionPolicyIdCmd sFile - TransactionWitnessCmd txBodyfile witSignData mbNw outFile -> - runLegacyTransactionWitnessCmd txBodyfile witSignData mbNw outFile - TransactionSignWitnessCmd txBodyFile witnessFile outFile -> - runLegacyTransactionSignWitnessCmd txBodyFile witnessFile outFile - --- ---------------------------------------------------------------------------- --- Building transactions --- - -runLegacyTransactionBuildCmd - :: () - => SocketPath - -> EraInEon ShelleyBasedEra - -> ConsensusModeParams - -> NetworkId - -> Maybe ScriptValidity - -> Maybe Word - -- ^ Override the required number of tx witnesses - -> [(TxIn, Maybe (ScriptWitnessFiles WitCtxTxIn))] - -- ^ Transaction inputs with optional spending scripts - -> [TxIn] - -- ^ Read only reference inputs - -> [RequiredSigner] - -- ^ Required signers - -> [TxIn] - -- ^ Transaction inputs for collateral, only key witnesses, no scripts. - -> Maybe TxOutShelleyBasedEra - -- ^ Return collateral - -> Maybe Coin - -- ^ Total collateral - -> [TxOutAnyEra] - -> TxOutChangeAddress - -> Maybe (Value, [ScriptWitnessFiles WitCtxMint]) - -> Maybe SlotNo - -- ^ Validity lower bound - -> Maybe SlotNo - -- ^ Validity upper bound - -> [(CertificateFile, Maybe (ScriptWitnessFiles WitCtxStake))] - -> [(StakeAddress, Coin, Maybe (ScriptWitnessFiles WitCtxStake))] - -- ^ Withdrawals with potential script witness - -> TxMetadataJsonSchema - -> [ScriptFile] - -> [MetadataFile] - -> Maybe UpdateProposalFile - -> [(VoteFile In, Maybe (ScriptWitnessFiles WitCtxStake))] - -> [(ProposalFile In, Maybe (ScriptWitnessFiles WitCtxStake))] - -> Maybe TxTreasuryDonation - -> TxBuildOutputOptions - -> ExceptT TxCmdError IO () -runLegacyTransactionBuildCmd - socketPath - (EraInEon sbe) - consensusModeParams - nid - mScriptValidity - mOverrideWits - txins - readOnlyRefIns - reqSigners - txinsc - mReturnColl - mTotCollateral - txouts - changeAddr - mValue - mLowBound - mUpperBound - certs - wdrls - metadataSchema - scriptFiles - metadataFiles - mUpdateProposal - voteFiles - proposalFiles - mTreasuryDonation - outputOptions = do - mUpdateProposalFile <- - validateUpdateProposalFile (toCardanoEra sbe) mUpdateProposal - & hoistEither - & firstExceptT TxCmdNotSupportedInEraValidationError - - let upperBound = TxValidityUpperBound sbe mUpperBound - - runTransactionBuildCmd - ( Cmd.TransactionBuildCmdArgs - sbe - socketPath - consensusModeParams - nid - mScriptValidity - mOverrideWits - txins - readOnlyRefIns - reqSigners - txinsc - mReturnColl - mTotCollateral - txouts - changeAddr - mValue - mLowBound - upperBound - certs - wdrls - metadataSchema - scriptFiles - metadataFiles - mUpdateProposalFile - voteFiles - proposalFiles - mTreasuryDonation - outputOptions - ) - --- TODO: Neither QA nor Sam is using `cardano-cli byron transaction build-raw` --- for Byron era transactions. So we can parameterize this function on ShelleyBasedEra. --- They are using `issue-utxo-expenditure`. However we will deprecate it in a follow up PR. --- TODO: As a follow up we need to expose a simple tx building command that only --- uses inputs, outputs and update proposals. NB: Update proposals are a separate --- thing in the Byron era so we need to figure out how we are handling that at the --- cli command level. -runLegacyTransactionBuildRawCmd - :: () - => AnyCardanoEra - -> Maybe ScriptValidity - -> [(TxIn, Maybe (ScriptWitnessFiles WitCtxTxIn))] - -> [TxIn] - -- ^ Read only reference inputs - -> [TxIn] - -- ^ Transaction inputs for collateral, only key witnesses, no scripts. - -> Maybe TxOutShelleyBasedEra - -- ^ Return collateral - -> Maybe Coin - -- ^ Total collateral - -> [RequiredSigner] - -> [TxOutAnyEra] - -> Maybe (Value, [ScriptWitnessFiles WitCtxMint]) - -- ^ Multi-Asset value with script witness - -> Maybe SlotNo - -- ^ Validity lower bound - -> Maybe SlotNo - -- ^ Validity upper bound - -> Coin - -- ^ Tx fee - -> [(CertificateFile, Maybe (ScriptWitnessFiles WitCtxStake))] - -> [(StakeAddress, Coin, Maybe (ScriptWitnessFiles WitCtxStake))] - -> TxMetadataJsonSchema - -> [ScriptFile] - -> [MetadataFile] - -> Maybe ProtocolParamsFile - -> Maybe UpdateProposalFile - -> TxBodyFile Out - -> ExceptT TxCmdError IO () -runLegacyTransactionBuildRawCmd - (AnyCardanoEra ByronEra) - _ - txins - _ - _ - _ - _ - _ - txouts - _ - _ - _ - _ - _ - _ - _ - _ - _ - _ - _ - outFile = do - let apiTxIns = [(txIn, BuildTxWith (KeyWitness KeyWitnessForSpending)) | (txIn, _) <- txins] - byronOuts <- mapM toTxOutByronEra txouts - case makeByronTransactionBody apiTxIns byronOuts of - Left err -> error $ "Error occurred while creating a Byron based UTxO transaction: " <> show err - Right txBody -> do - let noWitTx = makeSignedByronTransaction [] txBody - lift (Api.writeByronTxFileTextEnvelopeCddl outFile noWitTx) - & onLeft (left . TxCmdWriteFileError) -runLegacyTransactionBuildRawCmd - (AnyCardanoEra era) - mScriptValidity - txins - readOnlyRefIns - txinsc - mReturnColl - mTotColl - reqSigners - txouts - mValue - mLowBound - mUpperBound - fee - certs - wdrls - metadataSchema - scriptFiles - metadataFiles - mProtocolParamsFile - mUpdateProposal - outFile = do - caseByronOrShelleyBasedEra - (error "runLegacyTransactionBuildRawCmd: This should be impossible") - ( \sbe -> do - mUpdateProposalFile <- - validateUpdateProposalFile era mUpdateProposal - & hoistEither - & firstExceptT TxCmdNotSupportedInEraValidationError - - let upperBound = TxValidityUpperBound sbe mUpperBound - - runTransactionBuildRawCmd - ( Cmd.TransactionBuildRawCmdArgs - sbe - mScriptValidity - txins - readOnlyRefIns - txinsc - mReturnColl - mTotColl - reqSigners - txouts - mValue - mLowBound - upperBound - fee - certs - wdrls - metadataSchema - scriptFiles - metadataFiles - mProtocolParamsFile - mUpdateProposalFile - [] - [] - Nothing - outFile - ) - ) - era - -runLegacyTransactionSignCmd - :: InputTxBodyOrTxFile - -> [WitnessSigningData] - -> Maybe NetworkId - -> TxFile Out - -> ExceptT TxCmdError IO () -runLegacyTransactionSignCmd - txOrTxBody - witSigningData - mnw - outTxFile = - runTransactionSignCmd - ( Cmd.TransactionSignCmdArgs - txOrTxBody - witSigningData - mnw - outTxFile - ) - -runLegacyTransactionSubmitCmd - :: () - => SocketPath - -> ConsensusModeParams - -> NetworkId - -> FilePath - -> ExceptT TxCmdError IO () -runLegacyTransactionSubmitCmd - socketPath - consensusModeParams - network - txFilePath = - runTransactionSubmitCmd - ( Cmd.TransactionSubmitCmdArgs - socketPath - consensusModeParams - network - txFilePath - ) - -runLegacyTransactionCalculateMinFeeCmd - :: () - => TxBodyFile In - -> ProtocolParamsFile - -> TxShelleyWitnessCount - -> TxByronWitnessCount - -> ReferenceScriptSize - -> Maybe OutputFormatJsonOrText - -> Maybe (File () Out) - -> ExceptT TxCmdError IO () -runLegacyTransactionCalculateMinFeeCmd - txbodyFile - pParamsFile - txShelleyWitnessCount - txByronWitnessCount - referenceScriptSize - outputFormat - outFile = - runTransactionCalculateMinFeeCmd - ( Cmd.TransactionCalculateMinFeeCmdArgs - txbodyFile - pParamsFile - txShelleyWitnessCount - txByronWitnessCount - referenceScriptSize - outputFormat - outFile - ) - -runLegacyTransactionCalculateMinValueCmd - :: () - => AnyShelleyBasedEra - -> ProtocolParamsFile - -> TxOutShelleyBasedEra - -> ExceptT TxCmdError IO () -runLegacyTransactionCalculateMinValueCmd - (AnyShelleyBasedEra era) - pParamsFile - txOut = - runTransactionCalculateMinValueCmd - ( Cmd.TransactionCalculateMinValueCmdArgs - era - pParamsFile - txOut - ) - -runLegacyTransactionPolicyIdCmd :: ScriptFile -> ExceptT TxCmdError IO () -runLegacyTransactionPolicyIdCmd scriptFile = - runTransactionPolicyIdCmd - ( Cmd.TransactionPolicyIdCmdArgs - scriptFile - ) - -runLegacyTransactionHashScriptDataCmd :: ScriptDataOrFile -> ExceptT TxCmdError IO () -runLegacyTransactionHashScriptDataCmd scriptDataOrFile = - runTransactionHashScriptDataCmd - ( Cmd.TransactionHashScriptDataCmdArgs - scriptDataOrFile - ) - -runLegacyTransactionTxIdCmd :: InputTxBodyOrTxFile -> ExceptT TxCmdError IO () -runLegacyTransactionTxIdCmd txfile = - runTransactionTxIdCmd - ( Cmd.TransactionTxIdCmdArgs - txfile - ) - -runLegacyTransactionViewCmd :: ExceptT TxCmdError IO () -runLegacyTransactionViewCmd = - runTransactionViewCmd - Cmd.TransactionViewCmdArgs - -runLegacyTransactionWitnessCmd - :: () - => TxBodyFile In - -> WitnessSigningData - -> Maybe NetworkId - -> File () Out - -> ExceptT TxCmdError IO () -runLegacyTransactionWitnessCmd - txbodyFile - witSignData - mbNw - outFile = - runTransactionWitnessCmd - ( Cmd.TransactionWitnessCmdArgs - txbodyFile - witSignData - mbNw - outFile - ) - -runLegacyTransactionSignWitnessCmd - :: () - => TxBodyFile In - -> [WitnessFile] - -> File () Out - -> ExceptT TxCmdError IO () -runLegacyTransactionSignWitnessCmd - txbodyFile - witnessFiles - outFile = - runTransactionSignWitnessCmd - ( Cmd.TransactionSignWitnessCmdArgs - txbodyFile - witnessFiles - outFile - )