Safe Haskell	None
Language	Haskell2010

Cardano.CLI.EraBased.Transaction.SubTransaction.Command

Synopsis

data SubTransactionCmds
data SubTransactionBuildRawCmdArgs = SubTransactionBuildRawCmdArgs {
- txIns :: ![(TxIn, Maybe AnySpendScript)]
- readOnlyRefIns :: ![TxIn]
- txouts :: ![TxOutAnyEra]
- mMintedAssets :: !(Maybe (MultiAsset, [AnyMintScript]))
- mValidityLowerBound :: !(Maybe SlotNo)
- mValidityUpperBound :: !(Maybe SlotNo)
- certificates :: ![(CertificateFile, Maybe AnyNonAssetScript)]
- withdrawals :: ![(StakeAddress, Coin, Maybe AnyNonAssetScript)]
- metadataSchema :: !TxMetadataJsonSchema
- scriptFiles :: ![ScriptFile]
- metadataFiles :: ![MetadataFile]
- mProtocolParamsFile :: !(Maybe ProtocolParamsFile)
- voteFiles :: ![(VoteFile 'In, Maybe AnyNonAssetScript)]
- proposalFiles :: ![(ProposalFile 'In, Maybe AnyNonAssetScript)]
- mCurrentTreasuryValue :: !(Maybe TxCurrentTreasuryValue)
- mTreasuryDonation :: !(Maybe TxTreasuryDonation)
- guards :: ![Guard]
- topLevelGuards :: ![TopLevelGuard]
- isCborOutCanonical :: !TxCborFormat
- outFile :: !(UnsignedSubTxFile 'Out)
}
data SubTransactionSignCmdArgs = SubTransactionSignCmdArgs {
- subTxFile :: !(UnsignedSubTxFile 'In)
- witnessSigningData :: ![WitnessSigningData]
- outFile :: !(SignedSubTxFile 'Out)
}
data SubTransactionTxIdCmdArgs = SubTransactionTxIdCmdArgs {
- inputSubTxFile :: !InputSubTxFile
- outputFormat :: !(Vary '[FormatJson, FormatText, FormatYaml])
}
data Guard
- = KeyGuard (VerificationKeyOrHashOrFile PaymentKey)
- | ScriptGuard GuardScript (Maybe (ScriptDataOrFile, ExecutionUnits))
data GuardScript
- = GuardScriptHash ScriptHash
- | GuardScriptFile ScriptFile
data TopLevelGuard
- = TopLevelKeyGuard (VerificationKeyOrHashOrFile PaymentKey)
- | TopLevelScriptGuard GuardScript (Maybe ScriptDataOrFile)
renderSubTransactionCmds :: SubTransactionCmds -> Text

Documentation

data SubTransactionCmds Source #

Commands for Dijkstra sub-transactions: the pieces a top-level transaction embeds with --signed-sub-tx-file. Sub-transactions only exist in Dijkstra, so these carry no era index.

Constructors

SubTransactionBuildRawCmd !SubTransactionBuildRawCmdArgs
SubTransactionSignCmd !SubTransactionSignCmdArgs
SubTransactionTxIdCmd !SubTransactionTxIdCmdArgs

data SubTransactionBuildRawCmdArgs Source #

Like TransactionBuildRawCmdArgs for a sub-transaction body. A sub-transaction has no fee, collateral, required signers or script validity flag; guards replace required signers.

Constructors

SubTransactionBuildRawCmdArgs

Fields

txIns :: ![(TxIn, Maybe AnySpendScript)]
Transaction inputs with optional spending scripts
readOnlyRefIns :: ![TxIn]
Read only reference inputs
txouts :: ![TxOutAnyEra]
mMintedAssets :: !(Maybe (MultiAsset, [AnyMintScript]))
Multi-Asset minted value with script witness
mValidityLowerBound :: !(Maybe SlotNo)
Transaction validity lower bound
mValidityUpperBound :: !(Maybe SlotNo)
Transaction validity upper bound
certificates :: ![(CertificateFile, Maybe AnyNonAssetScript)]
Certificates with potential script witness
withdrawals :: ![(StakeAddress, Coin, Maybe AnyNonAssetScript)]
metadataSchema :: !TxMetadataJsonSchema
scriptFiles :: ![ScriptFile]
Auxiliary scripts
metadataFiles :: ![MetadataFile]
mProtocolParamsFile :: !(Maybe ProtocolParamsFile)
voteFiles :: ![(VoteFile 'In, Maybe AnyNonAssetScript)]
proposalFiles :: ![(ProposalFile 'In, Maybe AnyNonAssetScript)]
mCurrentTreasuryValue :: !(Maybe TxCurrentTreasuryValue)
mTreasuryDonation :: !(Maybe TxTreasuryDonation)
guards :: ![Guard]
Credentials whose authorisation the sub-transaction requires
topLevelGuards :: ![TopLevelGuard]
Credentials required as guards in the enclosing transaction
isCborOutCanonical :: !TxCborFormat
outFile :: !(UnsignedSubTxFile 'Out)

Instances

Instances details

Show SubTransactionBuildRawCmdArgs Source #
Instance details Defined in Cardano.CLI.EraBased.Transaction.SubTransaction.Command Methods showsPrec :: Int -> SubTransactionBuildRawCmdArgs -> ShowS Source # show :: SubTransactionBuildRawCmdArgs -> String Source # showList :: [SubTransactionBuildRawCmdArgs] -> ShowS Source #

data SubTransactionSignCmdArgs Source #

Constructors

SubTransactionSignCmdArgs
Fields subTxFile :: !(UnsignedSubTxFile 'In) witnessSigningData :: ![WitnessSigningData] outFile :: !(SignedSubTxFile 'Out)

Instances

Instances details

Show SubTransactionSignCmdArgs Source #
Instance details Defined in Cardano.CLI.EraBased.Transaction.SubTransaction.Command Methods showsPrec :: Int -> SubTransactionSignCmdArgs -> ShowS Source # show :: SubTransactionSignCmdArgs -> String Source # showList :: [SubTransactionSignCmdArgs] -> ShowS Source #

data SubTransactionTxIdCmdArgs Source #

Constructors

SubTransactionTxIdCmdArgs
Fields inputSubTxFile :: !InputSubTxFile outputFormat :: !(Vary '[FormatJson, FormatText, FormatYaml])

Instances

Instances details

Show SubTransactionTxIdCmdArgs Source #
Instance details Defined in Cardano.CLI.EraBased.Transaction.SubTransaction.Command Methods showsPrec :: Int -> SubTransactionTxIdCmdArgs -> ShowS Source # show :: SubTransactionTxIdCmdArgs -> String Source # showList :: [SubTransactionTxIdCmdArgs] -> ShowS Source #

data Guard Source #

A script guard may carry its guarding redeemer and execution budget. They are required for Plutus scripts and forbidden for native scripts.

Constructors

KeyGuard (VerificationKeyOrHashOrFile PaymentKey)
ScriptGuard GuardScript (Maybe (ScriptDataOrFile, ExecutionUnits))

Instances

Instances details

Show Guard Source #
Instance details Defined in Cardano.CLI.EraBased.Transaction.SubTransaction.Command Methods showsPrec :: Int -> Guard -> ShowS Source # show :: Guard -> String Source # showList :: [Guard] -> ShowS Source #

data GuardScript Source #

Constructors

GuardScriptHash ScriptHash
GuardScriptFile ScriptFile

Instances

Instances details

Show GuardScript Source #
Instance details Defined in Cardano.CLI.EraBased.Transaction.SubTransaction.Command Methods showsPrec :: Int -> GuardScript -> ShowS Source # show :: GuardScript -> String Source # showList :: [GuardScript] -> ShowS Source #

data TopLevelGuard Source #

Only script requirements can carry a datum; key requirements never do.

Constructors

TopLevelKeyGuard (VerificationKeyOrHashOrFile PaymentKey)
TopLevelScriptGuard GuardScript (Maybe ScriptDataOrFile)

Instances

Instances details

Show TopLevelGuard Source #
Instance details Defined in Cardano.CLI.EraBased.Transaction.SubTransaction.Command Methods showsPrec :: Int -> TopLevelGuard -> ShowS Source # show :: TopLevelGuard -> String Source # showList :: [TopLevelGuard] -> ShowS Source #

renderSubTransactionCmds :: SubTransactionCmds -> Text Source #