Safe Haskell	None
Language	Haskell2010

Cardano.Api.Tx.Body

Contents

Transaction bodies
Byron only
- Transaction body builders
Transaction Ids
Transaction inputs
Transaction outputs
Other transaction body types
- Building vs viewing transactions
Inspecting ScriptWitnesses
Conversion to inline data
Internal conversion functions & types
Misc helpers
Data family instances

Description

Transaction bodies

Synopsis

parseTxId :: Parser TxId
data TxBody era where
- ShelleyTxBody :: forall era. ShelleyBasedEra era -> TxBody (ShelleyLedgerEra era) -> [Script (ShelleyLedgerEra era)] -> TxBodyScriptData era -> Maybe (TxAuxData (ShelleyLedgerEra era)) -> TxScriptValidity era -> TxBody era
- pattern TxBody :: TxBodyContent ViewTx era -> TxBody era
createTransactionBody :: ShelleyBasedEra era -> TxBodyContent BuildTx era -> Either TxBodyError (TxBody era)
createAndValidateTransactionBody :: ShelleyBasedEra era -> TxBodyContent BuildTx era -> Either TxBodyError (TxBody era)
data TxBodyContent build era = TxBodyContent {
- txIns :: TxIns build era
- txInsCollateral :: TxInsCollateral era
- txInsReference :: TxInsReference era
- txOuts :: [TxOut CtxTx era]
- txTotalCollateral :: TxTotalCollateral era
- txReturnCollateral :: TxReturnCollateral CtxTx era
- txFee :: TxFee era
- txValidityLowerBound :: TxValidityLowerBound era
- txValidityUpperBound :: TxValidityUpperBound era
- txMetadata :: TxMetadataInEra era
- txAuxScripts :: TxAuxScripts era
- txExtraKeyWits :: TxExtraKeyWitnesses era
- txProtocolParams :: BuildTxWith build (Maybe (LedgerProtocolParameters era))
- txWithdrawals :: TxWithdrawals build era
- txCertificates :: TxCertificates build era
- txUpdateProposal :: TxUpdateProposal era
- txMintValue :: TxMintValue build era
- txScriptValidity :: TxScriptValidity era
- txProposalProcedures :: Maybe (Featured ConwayEraOnwards era (TxProposalProcedures build era))
- txVotingProcedures :: Maybe (Featured ConwayEraOnwards era (TxVotingProcedures build era))
- txCurrentTreasuryValue :: Maybe (Featured ConwayEraOnwards era (Maybe Coin))
- txTreasuryDonation :: Maybe (Featured ConwayEraOnwards era Coin)
}
makeByronTransactionBody :: TxIns BuildTx ByronEra -> [TxOut CtxTx ByronEra] -> Either TxBodyError (Annotated Tx ByteString)
defaultTxBodyContent :: ShelleyBasedEra era -> TxBodyContent BuildTx era
defaultTxFee :: ShelleyBasedEra era -> TxFee era
defaultTxValidityUpperBound :: ShelleyBasedEra era -> TxValidityUpperBound era
setTxIns :: TxIns build era -> TxBodyContent build era -> TxBodyContent build era
modTxIns :: (TxIns build era -> TxIns build era) -> TxBodyContent build era -> TxBodyContent build era
addTxIn :: (TxIn, BuildTxWith build (Witness WitCtxTxIn era)) -> TxBodyContent build era -> TxBodyContent build era
setTxInsCollateral :: TxInsCollateral era -> TxBodyContent build era -> TxBodyContent build era
setTxInsReference :: TxInsReference era -> TxBodyContent build era -> TxBodyContent build era
setTxOuts :: [TxOut CtxTx era] -> TxBodyContent build era -> TxBodyContent build era
modTxOuts :: ([TxOut CtxTx era] -> [TxOut CtxTx era]) -> TxBodyContent build era -> TxBodyContent build era
addTxOut :: TxOut CtxTx era -> TxBodyContent build era -> TxBodyContent build era
setTxTotalCollateral :: TxTotalCollateral era -> TxBodyContent build era -> TxBodyContent build era
setTxReturnCollateral :: TxReturnCollateral CtxTx era -> TxBodyContent build era -> TxBodyContent build era
setTxFee :: TxFee era -> TxBodyContent build era -> TxBodyContent build era
setTxValidityLowerBound :: TxValidityLowerBound era -> TxBodyContent build era -> TxBodyContent build era
setTxValidityUpperBound :: TxValidityUpperBound era -> TxBodyContent build era -> TxBodyContent build era
setTxMetadata :: TxMetadataInEra era -> TxBodyContent build era -> TxBodyContent build era
setTxAuxScripts :: TxAuxScripts era -> TxBodyContent build era -> TxBodyContent build era
setTxExtraKeyWits :: TxExtraKeyWitnesses era -> TxBodyContent build era -> TxBodyContent build era
setTxProtocolParams :: BuildTxWith build (Maybe (LedgerProtocolParameters era)) -> TxBodyContent build era -> TxBodyContent build era
setTxWithdrawals :: TxWithdrawals build era -> TxBodyContent build era -> TxBodyContent build era
setTxCertificates :: TxCertificates build era -> TxBodyContent build era -> TxBodyContent build era
setTxUpdateProposal :: TxUpdateProposal era -> TxBodyContent build era -> TxBodyContent build era
setTxProposalProcedures :: Maybe (Featured ConwayEraOnwards era (TxProposalProcedures build era)) -> TxBodyContent build era -> TxBodyContent build era
setTxVotingProcedures :: Maybe (Featured ConwayEraOnwards era (TxVotingProcedures build era)) -> TxBodyContent build era -> TxBodyContent build era
setTxMintValue :: TxMintValue build era -> TxBodyContent build era -> TxBodyContent build era
setTxScriptValidity :: TxScriptValidity era -> TxBodyContent build era -> TxBodyContent build era
setTxCurrentTreasuryValue :: Maybe (Featured ConwayEraOnwards era (Maybe Coin)) -> TxBodyContent build era -> TxBodyContent build era
setTxTreasuryDonation :: Maybe (Featured ConwayEraOnwards era Coin) -> TxBodyContent build era -> TxBodyContent build era
data TxBodyError
- = TxBodyEmptyTxIns
- | TxBodyEmptyTxInsCollateral
- | TxBodyEmptyTxOuts
- | TxBodyOutputNegative !Quantity !TxOutInAnyEra
- | TxBodyOutputOverflow !Quantity !TxOutInAnyEra
- | TxBodyMetadataError ![(Word64, TxMetadataRangeError)]
- | TxBodyInIxOverflow !TxIn
- | TxBodyMissingProtocolParams
- | TxBodyProtocolParamsConversionError !ProtocolParametersConversionError
data TxBodyScriptData era where
- TxBodyNoScriptData :: forall era. TxBodyScriptData era
- TxBodyScriptData :: forall era. AlonzoEraOnwardsConstraints era => AlonzoEraOnwards era -> TxDats (ShelleyLedgerEra era) -> Redeemers (ShelleyLedgerEra era) -> TxBodyScriptData era
data TxScriptValidity era where
- TxScriptValidityNone :: forall era. TxScriptValidity era
- TxScriptValidity :: forall era. AlonzoEraOnwards era -> ScriptValidity -> TxScriptValidity era
data ScriptValidity
- = ScriptInvalid
- | ScriptValid
scriptValidityToIsValid :: ScriptValidity -> IsValid
isValidToScriptValidity :: IsValid -> ScriptValidity
txScriptValidityToIsValid :: TxScriptValidity era -> IsValid
txScriptValidityToScriptValidity :: TxScriptValidity era -> ScriptValidity
newtype TxId = TxId (Hash StandardCrypto EraIndependentTxBody)
getTxId :: TxBody era -> TxId
getTxIdByron :: ATxAux ByteString -> TxId
getTxIdShelley :: (EraCrypto (ShelleyLedgerEra era) ~ StandardCrypto, EraTxBody (ShelleyLedgerEra era)) => ShelleyBasedEra era -> TxBody (ShelleyLedgerEra era) -> TxId
data TxIn = TxIn TxId TxIx
type TxIns build era = [(TxIn, BuildTxWith build (Witness WitCtxTxIn era))]
newtype TxIx = TxIx Word
genesisUTxOPseudoTxIn :: NetworkId -> Hash GenesisUTxOKey -> TxIn
getReferenceInputsSizeForTxIds :: ShelleyLedgerEra era ~ ledgerera => BabbageEraOnwards era -> UTxO ledgerera -> Set TxIn -> Int
data CtxTx
data CtxUTxO
data TxOut ctx era = TxOut (AddressInEra era) (TxOutValue era) (TxOutDatum ctx era) (ReferenceScript era)
data TxOutValue era where
- TxOutValueByron :: forall era. Coin -> TxOutValue era
- TxOutValueShelleyBased :: forall era. (Eq (Value (ShelleyLedgerEra era)), Show (Value (ShelleyLedgerEra era))) => ShelleyBasedEra era -> Value (ShelleyLedgerEra era) -> TxOutValue era
data TxOutDatum ctx era where
- TxOutDatumNone :: forall ctx era. TxOutDatum ctx era
- TxOutDatumHash :: forall era ctx. AlonzoEraOnwards era -> Hash ScriptData -> TxOutDatum ctx era
- TxOutSupplementalDatum :: forall era. AlonzoEraOnwards era -> HashableScriptData -> TxOutDatum CtxTx era
- TxOutDatumInline :: forall era ctx. BabbageEraOnwards era -> HashableScriptData -> TxOutDatum ctx era
toCtxUTxOTxOut :: TxOut CtxTx era -> TxOut CtxUTxO era
lovelaceToTxOutValue :: ShelleyBasedEra era -> Coin -> TxOutValue era
prettyRenderTxOut :: TxOutInAnyEra -> Text
txOutValueToLovelace :: TxOutValue era -> Coin
txOutValueToValue :: TxOutValue era -> Value
parseHash :: SerialiseAsRawBytes (Hash a) => AsType (Hash a) -> Parser (Hash a)
data TxOutInAnyEra where
- TxOutInAnyEra :: forall era. CardanoEra era -> TxOut CtxTx era -> TxOutInAnyEra
txOutInAnyEra :: CardanoEra era -> TxOut CtxTx era -> TxOutInAnyEra
data TxInsCollateral era where
- TxInsCollateralNone :: forall era. TxInsCollateral era
- TxInsCollateral :: forall era. AlonzoEraOnwards era -> [TxIn] -> TxInsCollateral era
data TxInsReference era where
- TxInsReferenceNone :: forall era. TxInsReference era
- TxInsReference :: forall era. BabbageEraOnwards era -> [TxIn] -> TxInsReference era
data TxReturnCollateral ctx era where
- TxReturnCollateralNone :: forall ctx era. TxReturnCollateral ctx era
- TxReturnCollateral :: forall era ctx. BabbageEraOnwards era -> TxOut ctx era -> TxReturnCollateral ctx era
data TxTotalCollateral era where
- TxTotalCollateralNone :: forall era. TxTotalCollateral era
- TxTotalCollateral :: forall era. BabbageEraOnwards era -> Coin -> TxTotalCollateral era
data TxFee era where
- TxFeeExplicit :: forall era. ShelleyBasedEra era -> Coin -> TxFee era
data TxValidityLowerBound era where
- TxValidityNoLowerBound :: forall era. TxValidityLowerBound era
- TxValidityLowerBound :: forall era. AllegraEraOnwards era -> SlotNo -> TxValidityLowerBound era
data TxValidityUpperBound era where
- TxValidityUpperBound :: forall era. ShelleyBasedEra era -> Maybe SlotNo -> TxValidityUpperBound era
data TxMetadataInEra era where
- TxMetadataNone :: forall era. TxMetadataInEra era
- TxMetadataInEra :: forall era. ShelleyBasedEra era -> TxMetadata -> TxMetadataInEra era
data TxAuxScripts era where
- TxAuxScriptsNone :: forall era. TxAuxScripts era
- TxAuxScripts :: forall era. AllegraEraOnwards era -> [ScriptInEra era] -> TxAuxScripts era
data TxExtraKeyWitnesses era where
- TxExtraKeyWitnessesNone :: forall era. TxExtraKeyWitnesses era
- TxExtraKeyWitnesses :: forall era. AlonzoEraOnwards era -> [Hash PaymentKey] -> TxExtraKeyWitnesses era
data TxWithdrawals build era where
- TxWithdrawalsNone :: forall build era. TxWithdrawals build era
- TxWithdrawals :: forall era build. ShelleyBasedEra era -> [(StakeAddress, Coin, BuildTxWith build (Witness WitCtxStake era))] -> TxWithdrawals build era
data TxCertificates build era where
- TxCertificatesNone :: forall build era. TxCertificates build era
- TxCertificates :: forall era build. ShelleyBasedEra era -> [Certificate era] -> BuildTxWith build [(StakeCredential, Witness WitCtxStake era)] -> TxCertificates build era
data TxUpdateProposal era where
- TxUpdateProposalNone :: forall era. TxUpdateProposal era
- TxUpdateProposal :: forall era. ShelleyToBabbageEra era -> UpdateProposal -> TxUpdateProposal era
data TxMintValue build era where
- TxMintNone :: forall build era. TxMintValue build era
- TxMintValue :: forall era build. MaryEraOnwards era -> Map PolicyId [(AssetName, Quantity, BuildTxWith build (ScriptWitness WitCtxMint era))] -> TxMintValue build era
txMintValueToValue :: TxMintValue build era -> Value
txMintValueToIndexed :: TxMintValue build era -> [(ScriptWitnessIndex, PolicyId, AssetName, Quantity, BuildTxWith build (ScriptWitness WitCtxMint era))]
data TxVotingProcedures build era where
- TxVotingProceduresNone :: forall build era. TxVotingProcedures build era
- TxVotingProcedures :: forall era build. VotingProcedures (ShelleyLedgerEra era) -> BuildTxWith build (Map (Voter (EraCrypto (ShelleyLedgerEra era))) (ScriptWitness WitCtxStake era)) -> TxVotingProcedures build era
mkTxVotingProcedures :: Applicative (BuildTxWith build) => [(VotingProcedures era, Maybe (ScriptWitness WitCtxStake era))] -> Either (VotesMergingConflict era) (TxVotingProcedures build era)
data TxProposalProcedures build era where
- TxProposalProceduresNone :: forall build era. TxProposalProcedures build era
- TxProposalProcedures :: forall era build. EraPParams (ShelleyLedgerEra era) => OSet (ProposalProcedure (ShelleyLedgerEra era)) -> BuildTxWith build (Map (ProposalProcedure (ShelleyLedgerEra era)) (ScriptWitness WitCtxStake era)) -> TxProposalProcedures build era
mkTxProposalProcedures :: forall era build. (Applicative (BuildTxWith build), IsShelleyBasedEra era) => [(ProposalProcedure (ShelleyLedgerEra era), Maybe (ScriptWitness WitCtxStake era))] -> TxProposalProcedures build era
convProposalProcedures :: TxProposalProcedures build era -> OSet (ProposalProcedure (ShelleyLedgerEra era))
data BuildTxWith build a where
- ViewTx :: forall a. BuildTxWith ViewTx a
- BuildTxWith :: forall a. a -> BuildTxWith BuildTx a
data BuildTx
data ViewTx
buildTxWithToMaybe :: BuildTxWith build a -> Maybe a
data AnyScriptWitness era where
- AnyScriptWitness :: forall witctx era. ScriptWitness witctx era -> AnyScriptWitness era
data ScriptWitnessIndex
- = ScriptWitnessIndexTxIn !Word32
- | ScriptWitnessIndexMint !Word32
- | ScriptWitnessIndexCertificate !Word32
- | ScriptWitnessIndexWithdrawal !Word32
- | ScriptWitnessIndexVoting !Word32
- | ScriptWitnessIndexProposing !Word32
renderScriptWitnessIndex :: ScriptWitnessIndex -> String
collectTxBodyScriptWitnesses :: ShelleyBasedEra era -> TxBodyContent BuildTx era -> [(ScriptWitnessIndex, AnyScriptWitness era)]
toScriptIndex :: AlonzoEraOnwards era -> PlutusPurpose AsIx (ShelleyLedgerEra era) -> ScriptWitnessIndex
scriptDataToInlineDatum :: Era ledgerera => HashableScriptData -> Datum ledgerera
convCertificates :: ShelleyBasedEra era -> TxCertificates build era -> StrictSeq (TxCert (ShelleyLedgerEra era))
convCollateralTxIns :: TxInsCollateral era -> Set (TxIn StandardCrypto)
convExtraKeyWitnesses :: TxExtraKeyWitnesses era -> Set (KeyHash 'Witness StandardCrypto)
convLanguages :: [(ScriptWitnessIndex, AnyScriptWitness era)] -> Set Language
convMintValue :: TxMintValue build era -> MultiAsset StandardCrypto
convReferenceInputs :: TxInsReference era -> Set (TxIn StandardCrypto)
convReturnCollateral :: ShelleyBasedEra era -> TxReturnCollateral ctx era -> StrictMaybe (TxOut (ShelleyLedgerEra era))
convScripts :: ShelleyLedgerEra era ~ ledgerera => [(ScriptWitnessIndex, AnyScriptWitness era)] -> [Script ledgerera]
convScriptData :: ShelleyBasedEra era -> [TxOut CtxTx era] -> [(ScriptWitnessIndex, AnyScriptWitness era)] -> TxBodyScriptData era
convTotalCollateral :: TxTotalCollateral era -> StrictMaybe Coin
convTransactionFee :: ShelleyBasedEra era -> TxFee era -> Coin
convTxIns :: TxIns BuildTx era -> Set (TxIn StandardCrypto)
convTxOuts :: forall ctx era ledgerera. ShelleyLedgerEra era ~ ledgerera => ShelleyBasedEra era -> [TxOut ctx era] -> StrictSeq (TxOut ledgerera)
convTxUpdateProposal :: ShelleyBasedEra era -> TxUpdateProposal era -> Either TxBodyError (StrictMaybe (Update (ShelleyLedgerEra era)))
convValidityLowerBound :: TxValidityLowerBound era -> Maybe SlotNo
convValidityUpperBound :: ShelleyBasedEra era -> TxValidityUpperBound era -> Maybe SlotNo
convVotingProcedures :: TxVotingProcedures build era -> VotingProcedures (ShelleyLedgerEra era)
convWithdrawals :: TxWithdrawals build era -> Withdrawals StandardCrypto
getScriptIntegrityHash :: BuildTxWith BuildTx (Maybe (LedgerProtocolParameters era)) -> Set Language -> TxBodyScriptData era -> StrictMaybe (ScriptIntegrityHash (EraCrypto (ShelleyLedgerEra era)))
mkCommonTxBody :: ShelleyBasedEra era -> TxIns BuildTx era -> [TxOut ctx era] -> TxFee era -> TxWithdrawals build era -> Maybe (TxAuxData (ShelleyLedgerEra era)) -> TxBody era
scriptWitnessesProposing :: TxProposalProcedures BuildTx era -> [(ScriptWitnessIndex, AnyScriptWitness era)]
toAuxiliaryData :: ShelleyBasedEra era -> TxMetadataInEra era -> TxAuxScripts era -> Maybe (TxAuxData (ShelleyLedgerEra era))
toByronTxId :: TxId -> TxId
toShelleyTxId :: TxId -> TxId StandardCrypto
toShelleyTxIn :: TxIn -> TxIn StandardCrypto
toShelleyTxOut :: (HasCallStack, ShelleyLedgerEra era ~ ledgerera) => ShelleyBasedEra era -> TxOut CtxUTxO era -> TxOut ledgerera
toShelleyTxOutAny :: forall ctx era ledgerera. (HasCallStack, ShelleyLedgerEra era ~ ledgerera) => ShelleyBasedEra era -> TxOut ctx era -> TxOut ledgerera
fromShelleyTxId :: TxId StandardCrypto -> TxId
fromShelleyTxIn :: TxIn StandardCrypto -> TxIn
fromShelleyTxOut :: ShelleyBasedEra era -> TxOut (ShelleyLedgerEra era) -> TxOut ctx era
fromByronTxIn :: TxIn -> TxIn
fromLedgerTxOuts :: ShelleyBasedEra era -> TxBody (ShelleyLedgerEra era) -> TxBodyScriptData era -> [TxOut CtxTx era]
renderTxIn :: TxIn -> Text
calculateExecutionUnitsLovelace :: Prices -> ExecutionUnits -> Maybe Coin
orderStakeAddrs :: [(StakeAddress, x, v)] -> [(StakeAddress, x, v)]
orderTxIns :: [(TxIn, v)] -> [(TxIn, v)]
data family AsType t
getTxBodyContent :: TxBody era -> TxBodyContent ViewTx era
validateTxIns :: [(TxIn, BuildTxWith BuildTx (Witness WitCtxTxIn era))] -> Either TxBodyError ()
guardShelleyTxInsOverflow :: [TxIn] -> Either TxBodyError ()
validateTxOuts :: ShelleyBasedEra era -> [TxOut CtxTx era] -> Either TxBodyError ()
validateMetadata :: TxMetadataInEra era -> Either TxBodyError ()
validateTxInsCollateral :: TxInsCollateral era -> Set Language -> Either TxBodyError ()
validateProtocolParameters :: BuildTxWith BuildTx (Maybe (LedgerProtocolParameters era)) -> Set Language -> Either TxBodyError ()

Documentation

parseTxId :: Parser TxId Source #

Transaction bodies

data TxBody era where Source #

Constructors

ShelleyTxBody
Fields :: forall era. ShelleyBasedEra era -> TxBody (ShelleyLedgerEra era) -> [Script (ShelleyLedgerEra era)] -> TxBodyScriptData era -> Maybe (TxAuxData (ShelleyLedgerEra era)) -> TxScriptValidity era Mark script as expected to pass or fail validation -> TxBody era

Bundled Patterns

pattern TxBody :: TxBodyContent ViewTx era -> TxBody era

Instances

Instances details

Show (TxBody era) Source #

Instance details

Defined in Cardano.Api.Tx.Sign

Methods

showsPrec :: Int -> TxBody era -> ShowS Source #

show :: TxBody era -> String Source #

showList :: [TxBody era] -> ShowS Source #

HasTypeProxy era => HasTypeProxy (TxBody era) Source #

Instance details

Defined in Cardano.Api.Tx.Sign

Associated Types

data AsType (TxBody era)
Instance details Defined in Cardano.Api.Tx.Sign data AsType (TxBody era) = AsTxBody (AsType era)

Methods

proxyToAsType :: Proxy (TxBody era) -> AsType (TxBody era) Source #

IsShelleyBasedEra era => SerialiseAsCBOR (TxBody era) Source #

Instance details

Defined in Cardano.Api.Tx.Sign

Methods

serialiseToCBOR :: TxBody era -> ByteString Source #

deserialiseFromCBOR :: AsType (TxBody era) -> ByteString -> Either DecoderError (TxBody era) Source #

IsShelleyBasedEra era => HasTextEnvelope (TxBody era) Source #

Instance details

Defined in Cardano.Api.Tx.Sign

Methods

textEnvelopeType :: AsType (TxBody era) -> TextEnvelopeType Source #

textEnvelopeDefaultDescr :: TxBody era -> TextEnvelopeDescr Source #

Eq (TxBody era) Source #

Instance details

Defined in Cardano.Api.Tx.Sign

Methods

(==) :: TxBody era -> TxBody era -> Bool Source #

(/=) :: TxBody era -> TxBody era -> Bool Source #

data AsType (TxBody era) Source #

Instance details

Defined in Cardano.Api.Tx.Sign

data AsType (TxBody era) = AsTxBody (AsType era)

createTransactionBody :: ShelleyBasedEra era -> TxBodyContent BuildTx era -> Either TxBodyError (TxBody era) Source #

createAndValidateTransactionBody :: ShelleyBasedEra era -> TxBodyContent BuildTx era -> Either TxBodyError (TxBody era) Source #

Deprecated: Use createTransactionBody instead

data TxBodyContent build era Source #

Constructors

TxBodyContent

Fields

txIns :: TxIns build era
txInsCollateral :: TxInsCollateral era
txInsReference :: TxInsReference era
txOuts :: [TxOut CtxTx era]
txTotalCollateral :: TxTotalCollateral era
txReturnCollateral :: TxReturnCollateral CtxTx era
txFee :: TxFee era
txValidityLowerBound :: TxValidityLowerBound era
txValidityUpperBound :: TxValidityUpperBound era
txMetadata :: TxMetadataInEra era
txAuxScripts :: TxAuxScripts era
txExtraKeyWits :: TxExtraKeyWitnesses era
txProtocolParams :: BuildTxWith build (Maybe (LedgerProtocolParameters era))
txWithdrawals :: TxWithdrawals build era
txCertificates :: TxCertificates build era
txUpdateProposal :: TxUpdateProposal era
txMintValue :: TxMintValue build era
txScriptValidity :: TxScriptValidity era
txProposalProcedures :: Maybe (Featured ConwayEraOnwards era (TxProposalProcedures build era))
txVotingProcedures :: Maybe (Featured ConwayEraOnwards era (TxVotingProcedures build era))
txCurrentTreasuryValue :: Maybe (Featured ConwayEraOnwards era (Maybe Coin))
Current treasury value
txTreasuryDonation :: Maybe (Featured ConwayEraOnwards era Coin)
Treasury donation to perform

Instances

Instances details

IsShelleyBasedEra era => Show (TxBodyContent build era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxBodyContent build era -> ShowS Source # show :: TxBodyContent build era -> String Source # showList :: [TxBodyContent build era] -> ShowS Source #
IsShelleyBasedEra era => Eq (TxBodyContent build era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxBodyContent build era -> TxBodyContent build era -> Bool Source # (/=) :: TxBodyContent build era -> TxBodyContent build era -> Bool Source #

Byron only

makeByronTransactionBody :: TxIns BuildTx ByronEra -> [TxOut CtxTx ByronEra] -> Either TxBodyError (Annotated Tx ByteString) Source #

Transaction body builders

defaultTxBodyContent :: ShelleyBasedEra era -> TxBodyContent BuildTx era Source #

defaultTxFee :: ShelleyBasedEra era -> TxFee era Source #

defaultTxValidityUpperBound :: ShelleyBasedEra era -> TxValidityUpperBound era Source #

setTxIns :: TxIns build era -> TxBodyContent build era -> TxBodyContent build era Source #

modTxIns :: (TxIns build era -> TxIns build era) -> TxBodyContent build era -> TxBodyContent build era Source #

addTxIn :: (TxIn, BuildTxWith build (Witness WitCtxTxIn era)) -> TxBodyContent build era -> TxBodyContent build era Source #

setTxInsCollateral :: TxInsCollateral era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxInsReference :: TxInsReference era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxOuts :: [TxOut CtxTx era] -> TxBodyContent build era -> TxBodyContent build era Source #

modTxOuts :: ([TxOut CtxTx era] -> [TxOut CtxTx era]) -> TxBodyContent build era -> TxBodyContent build era Source #

addTxOut :: TxOut CtxTx era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxTotalCollateral :: TxTotalCollateral era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxReturnCollateral :: TxReturnCollateral CtxTx era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxFee :: TxFee era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxValidityLowerBound :: TxValidityLowerBound era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxValidityUpperBound :: TxValidityUpperBound era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxMetadata :: TxMetadataInEra era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxAuxScripts :: TxAuxScripts era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxExtraKeyWits :: TxExtraKeyWitnesses era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxProtocolParams :: BuildTxWith build (Maybe (LedgerProtocolParameters era)) -> TxBodyContent build era -> TxBodyContent build era Source #

setTxWithdrawals :: TxWithdrawals build era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxCertificates :: TxCertificates build era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxUpdateProposal :: TxUpdateProposal era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxProposalProcedures :: Maybe (Featured ConwayEraOnwards era (TxProposalProcedures build era)) -> TxBodyContent build era -> TxBodyContent build era Source #

setTxVotingProcedures :: Maybe (Featured ConwayEraOnwards era (TxVotingProcedures build era)) -> TxBodyContent build era -> TxBodyContent build era Source #

setTxMintValue :: TxMintValue build era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxScriptValidity :: TxScriptValidity era -> TxBodyContent build era -> TxBodyContent build era Source #

setTxCurrentTreasuryValue :: Maybe (Featured ConwayEraOnwards era (Maybe Coin)) -> TxBodyContent build era -> TxBodyContent build era Source #

setTxTreasuryDonation :: Maybe (Featured ConwayEraOnwards era Coin) -> TxBodyContent build era -> TxBodyContent build era Source #

data TxBodyError Source #

Constructors

TxBodyEmptyTxIns
TxBodyEmptyTxInsCollateral
TxBodyEmptyTxOuts
TxBodyOutputNegative !Quantity !TxOutInAnyEra
TxBodyOutputOverflow !Quantity !TxOutInAnyEra
TxBodyMetadataError ![(Word64, TxMetadataRangeError)]
TxBodyInIxOverflow !TxIn
TxBodyMissingProtocolParams
TxBodyProtocolParamsConversionError !ProtocolParametersConversionError

Instances

Instances details

Show TxBodyError Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxBodyError -> ShowS Source # show :: TxBodyError -> String Source # showList :: [TxBodyError] -> ShowS Source #
Error TxBodyError Source #
Instance details Defined in Cardano.Api.Tx.Body Methods prettyError :: TxBodyError -> Doc ann Source #
Eq TxBodyError Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxBodyError -> TxBodyError -> Bool Source # (/=) :: TxBodyError -> TxBodyError -> Bool Source #

data TxBodyScriptData era where Source #

Constructors

TxBodyNoScriptData :: forall era. TxBodyScriptData era
TxBodyScriptData :: forall era. AlonzoEraOnwardsConstraints era => AlonzoEraOnwards era -> TxDats (ShelleyLedgerEra era) -> Redeemers (ShelleyLedgerEra era) -> TxBodyScriptData era

Instances

Instances details

EraCrypto (ShelleyLedgerEra era) ~ StandardCrypto => Show (TxBodyScriptData era) Source #
Instance details Defined in Cardano.Api.Tx.Sign Methods showsPrec :: Int -> TxBodyScriptData era -> ShowS Source # show :: TxBodyScriptData era -> String Source # showList :: [TxBodyScriptData era] -> ShowS Source #
Eq (TxBodyScriptData era) Source #
Instance details Defined in Cardano.Api.Tx.Sign Methods (==) :: TxBodyScriptData era -> TxBodyScriptData era -> Bool Source # (/=) :: TxBodyScriptData era -> TxBodyScriptData era -> Bool Source #

data TxScriptValidity era where Source #

A representation of whether the era supports tx script validity.

The Alonzo and subsequent eras support script validity.

Constructors

TxScriptValidityNone :: forall era. TxScriptValidity era
TxScriptValidity :: forall era. AlonzoEraOnwards era -> ScriptValidity -> TxScriptValidity era	Tx script validity is supported in transactions in the `Alonzo` era onwards.

Instances

Instances details

Show (TxScriptValidity era) Source #
Instance details Defined in Cardano.Api.Tx.Sign Methods showsPrec :: Int -> TxScriptValidity era -> ShowS Source # show :: TxScriptValidity era -> String Source # showList :: [TxScriptValidity era] -> ShowS Source #
Eq (TxScriptValidity era) Source #
Instance details Defined in Cardano.Api.Tx.Sign Methods (==) :: TxScriptValidity era -> TxScriptValidity era -> Bool Source # (/=) :: TxScriptValidity era -> TxScriptValidity era -> Bool Source #

data ScriptValidity Source #

Indicates whether a script is expected to fail or pass validation.

Constructors

ScriptInvalid	Script is expected to fail validation. Transactions marked as such can include scripts that fail validation. Such transactions may be submitted to the chain, in which case the collateral will be taken upon on chain script validation failure.
ScriptValid	Script is expected to pass validation. Transactions marked as such cannot include scripts that fail validation.

Instances

Instances details

Show ScriptValidity Source #
Instance details Defined in Cardano.Api.Tx.Sign Methods showsPrec :: Int -> ScriptValidity -> ShowS Source # show :: ScriptValidity -> String Source # showList :: [ScriptValidity] -> ShowS Source #
DecCBOR ScriptValidity Source #
Instance details Defined in Cardano.Api.Tx.Sign Methods decCBOR :: Decoder s ScriptValidity Source # dropCBOR :: Proxy ScriptValidity -> Decoder s () Source # label :: Proxy ScriptValidity -> Text Source #
EncCBOR ScriptValidity Source #
Instance details Defined in Cardano.Api.Tx.Sign Methods encCBOR :: ScriptValidity -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy ScriptValidity -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [ScriptValidity] -> Size Source #
Eq ScriptValidity Source #
Instance details Defined in Cardano.Api.Tx.Sign Methods (==) :: ScriptValidity -> ScriptValidity -> Bool Source # (/=) :: ScriptValidity -> ScriptValidity -> Bool Source #

scriptValidityToIsValid :: ScriptValidity -> IsValid Source #

isValidToScriptValidity :: IsValid -> ScriptValidity Source #

txScriptValidityToIsValid :: TxScriptValidity era -> IsValid Source #

txScriptValidityToScriptValidity :: TxScriptValidity era -> ScriptValidity Source #

Transaction Ids

newtype TxId Source #

Constructors

TxId (Hash StandardCrypto EraIndependentTxBody)

Instances

Instances details

FromJSON TxId Source #

Instance details

Defined in Cardano.Api.TxIn

Methods

parseJSON :: Value -> Parser TxId #

parseJSONList :: Value -> Parser [TxId] #

omittedField :: Maybe TxId #

FromJSONKey TxId Source #

Instance details

Defined in Cardano.Api.TxIn

Methods

fromJSONKey :: FromJSONKeyFunction TxId

fromJSONKeyList :: FromJSONKeyFunction [TxId]

ToJSON TxId Source #

Instance details

Defined in Cardano.Api.TxIn

Methods

toJSON :: TxId -> Value #

toEncoding :: TxId -> Encoding #

toJSONList :: [TxId] -> Value #

toEncodingList :: [TxId] -> Encoding #

omitField :: TxId -> Bool #

ToJSONKey TxId Source #

Instance details

Defined in Cardano.Api.TxIn

Methods

toJSONKey :: ToJSONKeyFunction TxId

toJSONKeyList :: ToJSONKeyFunction [TxId]

IsString TxId Source #

Instance details

Defined in Cardano.Api.TxIn

Methods

fromString :: String -> TxId Source #

Show TxId Source #

Instance details

Defined in Cardano.Api.TxIn

Methods

showsPrec :: Int -> TxId -> ShowS Source #

show :: TxId -> String Source #

showList :: [TxId] -> ShowS Source #

HasTypeProxy TxId Source #

Instance details

Defined in Cardano.Api.TxIn

Associated Types

data AsType TxId
Instance details Defined in Cardano.Api.TxIn data AsType TxId = AsTxId

Methods

proxyToAsType :: Proxy TxId -> AsType TxId Source #

SerialiseAsRawBytes TxId Source #

Instance details

Defined in Cardano.Api.TxIn

Methods

serialiseToRawBytes :: TxId -> ByteString Source #

deserialiseFromRawBytes :: AsType TxId -> ByteString -> Either SerialiseAsRawBytesError TxId Source #

Eq TxId Source #

Instance details

Defined in Cardano.Api.TxIn

Methods

(==) :: TxId -> TxId -> Bool Source #

(/=) :: TxId -> TxId -> Bool Source #

Ord TxId Source #

Instance details

Defined in Cardano.Api.TxIn

Methods

compare :: TxId -> TxId -> Ordering Source #

(<) :: TxId -> TxId -> Bool Source #

(<=) :: TxId -> TxId -> Bool Source #

(>) :: TxId -> TxId -> Bool Source #

(>=) :: TxId -> TxId -> Bool Source #

max :: TxId -> TxId -> TxId Source #

min :: TxId -> TxId -> TxId Source #

data AsType TxId Source #

Instance details

Defined in Cardano.Api.TxIn

data AsType TxId = AsTxId

getTxId :: TxBody era -> TxId Source #

Calculate the transaction identifier for a TxBody.

getTxIdByron :: ATxAux ByteString -> TxId Source #

getTxIdShelley :: (EraCrypto (ShelleyLedgerEra era) ~ StandardCrypto, EraTxBody (ShelleyLedgerEra era)) => ShelleyBasedEra era -> TxBody (ShelleyLedgerEra era) -> TxId Source #

Transaction inputs

data TxIn Source #

Constructors

TxIn TxId TxIx

Instances

Instances details

FromJSON TxIn Source #
Instance details Defined in Cardano.Api.TxIn Methods parseJSON :: Value -> Parser TxIn # parseJSONList :: Value -> Parser [TxIn] # omittedField :: Maybe TxIn #
FromJSONKey TxIn Source #
Instance details Defined in Cardano.Api.TxIn Methods fromJSONKey :: FromJSONKeyFunction TxIn fromJSONKeyList :: FromJSONKeyFunction [TxIn]
ToJSON TxIn Source #
Instance details Defined in Cardano.Api.TxIn Methods toJSON :: TxIn -> Value # toEncoding :: TxIn -> Encoding # toJSONList :: [TxIn] -> Value # toEncodingList :: [TxIn] -> Encoding # omitField :: TxIn -> Bool #
ToJSONKey TxIn Source #
Instance details Defined in Cardano.Api.TxIn Methods toJSONKey :: ToJSONKeyFunction TxIn toJSONKeyList :: ToJSONKeyFunction [TxIn]
Show TxIn Source #
Instance details Defined in Cardano.Api.TxIn Methods showsPrec :: Int -> TxIn -> ShowS Source # show :: TxIn -> String Source # showList :: [TxIn] -> ShowS Source #
Eq TxIn Source #
Instance details Defined in Cardano.Api.TxIn Methods (==) :: TxIn -> TxIn -> Bool Source # (/=) :: TxIn -> TxIn -> Bool Source #
Ord TxIn Source #
Instance details Defined in Cardano.Api.TxIn Methods compare :: TxIn -> TxIn -> Ordering Source # (<) :: TxIn -> TxIn -> Bool Source # (<=) :: TxIn -> TxIn -> Bool Source # (>) :: TxIn -> TxIn -> Bool Source # (>=) :: TxIn -> TxIn -> Bool Source # max :: TxIn -> TxIn -> TxIn Source # min :: TxIn -> TxIn -> TxIn Source #
Pretty TxIn Source #
Instance details Defined in Cardano.Api.TxIn Methods pretty :: TxIn -> Doc ann # prettyList :: [TxIn] -> Doc ann #

type TxIns build era = [(TxIn, BuildTxWith build (Witness WitCtxTxIn era))] Source #

newtype TxIx Source #

Constructors

TxIx Word

Instances

Instances details

FromJSON TxIx Source #
Instance details Defined in Cardano.Api.TxIn Methods parseJSON :: Value -> Parser TxIx # parseJSONList :: Value -> Parser [TxIx] # omittedField :: Maybe TxIx #
ToJSON TxIx Source #
Instance details Defined in Cardano.Api.TxIn Methods toJSON :: TxIx -> Value # toEncoding :: TxIx -> Encoding # toJSONList :: [TxIx] -> Value # toEncodingList :: [TxIx] -> Encoding # omitField :: TxIx -> Bool #
Enum TxIx Source #
Instance details Defined in Cardano.Api.TxIn Methods succ :: TxIx -> TxIx Source # pred :: TxIx -> TxIx Source # toEnum :: Int -> TxIx Source # fromEnum :: TxIx -> Int Source # enumFrom :: TxIx -> [TxIx] Source # enumFromThen :: TxIx -> TxIx -> [TxIx] Source # enumFromTo :: TxIx -> TxIx -> [TxIx] Source # enumFromThenTo :: TxIx -> TxIx -> TxIx -> [TxIx] Source #
Show TxIx Source #
Instance details Defined in Cardano.Api.TxIn Methods showsPrec :: Int -> TxIx -> ShowS Source # show :: TxIx -> String Source # showList :: [TxIx] -> ShowS Source #
Eq TxIx Source #
Instance details Defined in Cardano.Api.TxIn Methods (==) :: TxIx -> TxIx -> Bool Source # (/=) :: TxIx -> TxIx -> Bool Source #
Ord TxIx Source #
Instance details Defined in Cardano.Api.TxIn Methods compare :: TxIx -> TxIx -> Ordering Source # (<) :: TxIx -> TxIx -> Bool Source # (<=) :: TxIx -> TxIx -> Bool Source # (>) :: TxIx -> TxIx -> Bool Source # (>=) :: TxIx -> TxIx -> Bool Source # max :: TxIx -> TxIx -> TxIx Source # min :: TxIx -> TxIx -> TxIx Source #

genesisUTxOPseudoTxIn :: NetworkId -> Hash GenesisUTxOKey -> TxIn Source #

Compute the TxIn of the initial UTxO pseudo-transaction corresponding to the given address in the genesis initial funds.

The Shelley initial UTxO is constructed from the sgInitialFunds which is not a full UTxO but just a map from addresses to coin values.

This gets turned into a UTxO by making a pseudo-transaction for each address, with the 0th output being the coin value. So to spend from the initial UTxO we need this same TxIn to use as an input to the spending transaction.

getReferenceInputsSizeForTxIds :: ShelleyLedgerEra era ~ ledgerera => BabbageEraOnwards era -> UTxO ledgerera -> Set TxIn -> Int Source #

Calculate the reference inputs size in bytes for provided set of transaction IDs and UTXOs.

Transaction outputs

data CtxTx Source #

The context is a transaction body

Instances

Instances details

IsShelleyBasedEra era => FromJSON (TxOut CtxTx era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods parseJSON :: Value -> Parser (TxOut CtxTx era) # parseJSONList :: Value -> Parser [TxOut CtxTx era] # omittedField :: Maybe (TxOut CtxTx era) #

data CtxUTxO Source #

The context is the UTxO

Instances

Instances details

IsShelleyBasedEra era => FromJSON (TxOut CtxUTxO era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods parseJSON :: Value -> Parser (TxOut CtxUTxO era) # parseJSONList :: Value -> Parser [TxOut CtxUTxO era] # omittedField :: Maybe (TxOut CtxUTxO era) #

data TxOut ctx era Source #

Constructors

TxOut (AddressInEra era) (TxOutValue era) (TxOutDatum ctx era) (ReferenceScript era)

Instances

Instances details

IsShelleyBasedEra era => FromJSON (TxOut CtxTx era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods parseJSON :: Value -> Parser (TxOut CtxTx era) # parseJSONList :: Value -> Parser [TxOut CtxTx era] # omittedField :: Maybe (TxOut CtxTx era) #
IsShelleyBasedEra era => FromJSON (TxOut CtxUTxO era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods parseJSON :: Value -> Parser (TxOut CtxUTxO era) # parseJSONList :: Value -> Parser [TxOut CtxUTxO era] # omittedField :: Maybe (TxOut CtxUTxO era) #
IsCardanoEra era => ToJSON (TxOut ctx era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods toJSON :: TxOut ctx era -> Value # toEncoding :: TxOut ctx era -> Encoding # toJSONList :: [TxOut ctx era] -> Value # toEncodingList :: [TxOut ctx era] -> Encoding # omitField :: TxOut ctx era -> Bool #
Show (TxOut ctx era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxOut ctx era -> ShowS Source # show :: TxOut ctx era -> String Source # showList :: [TxOut ctx era] -> ShowS Source #
Eq (TxOut ctx era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxOut ctx era -> TxOut ctx era -> Bool Source # (/=) :: TxOut ctx era -> TxOut ctx era -> Bool Source #

data TxOutValue era where Source #

Constructors

TxOutValueByron :: forall era. Coin -> TxOutValue era
TxOutValueShelleyBased :: forall era. (Eq (Value (ShelleyLedgerEra era)), Show (Value (ShelleyLedgerEra era))) => ShelleyBasedEra era -> Value (ShelleyLedgerEra era) -> TxOutValue era

Instances

Instances details

IsShelleyBasedEra era => FromJSON (TxOutValue era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods parseJSON :: Value -> Parser (TxOutValue era) # parseJSONList :: Value -> Parser [TxOutValue era] # omittedField :: Maybe (TxOutValue era) #
IsCardanoEra era => ToJSON (TxOutValue era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods toJSON :: TxOutValue era -> Value # toEncoding :: TxOutValue era -> Encoding # toJSONList :: [TxOutValue era] -> Value # toEncodingList :: [TxOutValue era] -> Encoding # omitField :: TxOutValue era -> Bool #
Show (TxOutValue era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxOutValue era -> ShowS Source # show :: TxOutValue era -> String Source # showList :: [TxOutValue era] -> ShowS Source #
Eq (TxOutValue era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxOutValue era -> TxOutValue era -> Bool Source # (/=) :: TxOutValue era -> TxOutValue era -> Bool Source #

data TxOutDatum ctx era where Source #

Constructors

TxOutDatumNone :: forall ctx era. TxOutDatum ctx era
TxOutDatumHash :: forall era ctx. AlonzoEraOnwards era -> Hash ScriptData -> TxOutDatum ctx era	A transaction output that only specifies the hash of the datum, but not the full datum value.
TxOutSupplementalDatum :: forall era. AlonzoEraOnwards era -> HashableScriptData -> TxOutDatum CtxTx era	A transaction output that specifies the whole datum value. This can only be used in the context of the transaction body (i.e this is a supplemental datum), and does not occur in the UTxO. The UTxO only contains the datum hash.
TxOutDatumInline :: forall era ctx. BabbageEraOnwards era -> HashableScriptData -> TxOutDatum ctx era	A transaction output that specifies the whole datum instead of the datum hash. Note that the datum map will not be updated with this datum, it only exists at the transaction output.

Instances

Instances details

Show (TxOutDatum ctx era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxOutDatum ctx era -> ShowS Source # show :: TxOutDatum ctx era -> String Source # showList :: [TxOutDatum ctx era] -> ShowS Source #
Eq (TxOutDatum ctx era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxOutDatum ctx era -> TxOutDatum ctx era -> Bool Source # (/=) :: TxOutDatum ctx era -> TxOutDatum ctx era -> Bool Source #

toCtxUTxOTxOut :: TxOut CtxTx era -> TxOut CtxUTxO era Source #

lovelaceToTxOutValue :: ShelleyBasedEra era -> Coin -> TxOutValue era Source #

prettyRenderTxOut :: TxOutInAnyEra -> Text Source #

txOutValueToLovelace :: TxOutValue era -> Coin Source #

txOutValueToValue :: TxOutValue era -> Value Source #

parseHash :: SerialiseAsRawBytes (Hash a) => AsType (Hash a) -> Parser (Hash a) Source #

data TxOutInAnyEra where Source #

Constructors

TxOutInAnyEra :: forall era. CardanoEra era -> TxOut CtxTx era -> TxOutInAnyEra

Instances

Instances details

Show TxOutInAnyEra Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxOutInAnyEra -> ShowS Source # show :: TxOutInAnyEra -> String Source # showList :: [TxOutInAnyEra] -> ShowS Source #
Eq TxOutInAnyEra Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxOutInAnyEra -> TxOutInAnyEra -> Bool Source # (/=) :: TxOutInAnyEra -> TxOutInAnyEra -> Bool Source #
Pretty TxOutInAnyEra Source #
Instance details Defined in Cardano.Api.Tx.Body Methods pretty :: TxOutInAnyEra -> Doc ann # prettyList :: [TxOutInAnyEra] -> Doc ann #

txOutInAnyEra :: CardanoEra era -> TxOut CtxTx era -> TxOutInAnyEra Source #

Convenience constructor for TxOutInAnyEra

Other transaction body types

data TxInsCollateral era where Source #

Constructors

TxInsCollateralNone :: forall era. TxInsCollateral era
TxInsCollateral :: forall era. AlonzoEraOnwards era -> [TxIn] -> TxInsCollateral era

Instances

Instances details

Show (TxInsCollateral era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxInsCollateral era -> ShowS Source # show :: TxInsCollateral era -> String Source # showList :: [TxInsCollateral era] -> ShowS Source #
Eq (TxInsCollateral era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxInsCollateral era -> TxInsCollateral era -> Bool Source # (/=) :: TxInsCollateral era -> TxInsCollateral era -> Bool Source #

data TxInsReference era where Source #

Constructors

TxInsReferenceNone :: forall era. TxInsReference era
TxInsReference :: forall era. BabbageEraOnwards era -> [TxIn] -> TxInsReference era

Instances

Instances details

Show (TxInsReference era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxInsReference era -> ShowS Source # show :: TxInsReference era -> String Source # showList :: [TxInsReference era] -> ShowS Source #
Eq (TxInsReference era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxInsReference era -> TxInsReference era -> Bool Source # (/=) :: TxInsReference era -> TxInsReference era -> Bool Source #

data TxReturnCollateral ctx era where Source #

Constructors

TxReturnCollateralNone :: forall ctx era. TxReturnCollateral ctx era
TxReturnCollateral :: forall era ctx. BabbageEraOnwards era -> TxOut ctx era -> TxReturnCollateral ctx era

Instances

Instances details

Show (TxReturnCollateral ctx era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxReturnCollateral ctx era -> ShowS Source # show :: TxReturnCollateral ctx era -> String Source # showList :: [TxReturnCollateral ctx era] -> ShowS Source #
Eq (TxReturnCollateral ctx era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxReturnCollateral ctx era -> TxReturnCollateral ctx era -> Bool Source # (/=) :: TxReturnCollateral ctx era -> TxReturnCollateral ctx era -> Bool Source #

data TxTotalCollateral era where Source #

Constructors

TxTotalCollateralNone :: forall era. TxTotalCollateral era
TxTotalCollateral :: forall era. BabbageEraOnwards era -> Coin -> TxTotalCollateral era

Instances

Instances details

Show (TxTotalCollateral era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxTotalCollateral era -> ShowS Source # show :: TxTotalCollateral era -> String Source # showList :: [TxTotalCollateral era] -> ShowS Source #
Eq (TxTotalCollateral era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxTotalCollateral era -> TxTotalCollateral era -> Bool Source # (/=) :: TxTotalCollateral era -> TxTotalCollateral era -> Bool Source #

data TxFee era where Source #

Constructors

TxFeeExplicit :: forall era. ShelleyBasedEra era -> Coin -> TxFee era

Instances

Instances details

Show (TxFee era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxFee era -> ShowS Source # show :: TxFee era -> String Source # showList :: [TxFee era] -> ShowS Source #
Eq (TxFee era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxFee era -> TxFee era -> Bool Source # (/=) :: TxFee era -> TxFee era -> Bool Source #

data TxValidityLowerBound era where Source #

Constructors

TxValidityNoLowerBound :: forall era. TxValidityLowerBound era
TxValidityLowerBound :: forall era. AllegraEraOnwards era -> SlotNo -> TxValidityLowerBound era

Instances

Instances details

Show (TxValidityLowerBound era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxValidityLowerBound era -> ShowS Source # show :: TxValidityLowerBound era -> String Source # showList :: [TxValidityLowerBound era] -> ShowS Source #
Eq (TxValidityLowerBound era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxValidityLowerBound era -> TxValidityLowerBound era -> Bool Source # (/=) :: TxValidityLowerBound era -> TxValidityLowerBound era -> Bool Source #

data TxValidityUpperBound era where Source #

This was formerly known as the TTL.

Constructors

TxValidityUpperBound :: forall era. ShelleyBasedEra era -> Maybe SlotNo -> TxValidityUpperBound era

Instances

Instances details

Show (TxValidityUpperBound era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxValidityUpperBound era -> ShowS Source # show :: TxValidityUpperBound era -> String Source # showList :: [TxValidityUpperBound era] -> ShowS Source #
Eq (TxValidityUpperBound era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxValidityUpperBound era -> TxValidityUpperBound era -> Bool Source # (/=) :: TxValidityUpperBound era -> TxValidityUpperBound era -> Bool Source #

data TxMetadataInEra era where Source #

Constructors

TxMetadataNone :: forall era. TxMetadataInEra era
TxMetadataInEra :: forall era. ShelleyBasedEra era -> TxMetadata -> TxMetadataInEra era

Instances

Instances details

Show (TxMetadataInEra era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxMetadataInEra era -> ShowS Source # show :: TxMetadataInEra era -> String Source # showList :: [TxMetadataInEra era] -> ShowS Source #
Eq (TxMetadataInEra era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxMetadataInEra era -> TxMetadataInEra era -> Bool Source # (/=) :: TxMetadataInEra era -> TxMetadataInEra era -> Bool Source #

data TxAuxScripts era where Source #

Constructors

TxAuxScriptsNone :: forall era. TxAuxScripts era
TxAuxScripts :: forall era. AllegraEraOnwards era -> [ScriptInEra era] -> TxAuxScripts era

Instances

Instances details

Show (TxAuxScripts era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxAuxScripts era -> ShowS Source # show :: TxAuxScripts era -> String Source # showList :: [TxAuxScripts era] -> ShowS Source #
Eq (TxAuxScripts era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxAuxScripts era -> TxAuxScripts era -> Bool Source # (/=) :: TxAuxScripts era -> TxAuxScripts era -> Bool Source #

data TxExtraKeyWitnesses era where Source #

Constructors

TxExtraKeyWitnessesNone :: forall era. TxExtraKeyWitnesses era
TxExtraKeyWitnesses :: forall era. AlonzoEraOnwards era -> [Hash PaymentKey] -> TxExtraKeyWitnesses era

Instances

Instances details

Show (TxExtraKeyWitnesses era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxExtraKeyWitnesses era -> ShowS Source # show :: TxExtraKeyWitnesses era -> String Source # showList :: [TxExtraKeyWitnesses era] -> ShowS Source #
Eq (TxExtraKeyWitnesses era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxExtraKeyWitnesses era -> TxExtraKeyWitnesses era -> Bool Source # (/=) :: TxExtraKeyWitnesses era -> TxExtraKeyWitnesses era -> Bool Source #

data TxWithdrawals build era where Source #

Constructors

TxWithdrawalsNone :: forall build era. TxWithdrawals build era
TxWithdrawals :: forall era build. ShelleyBasedEra era -> [(StakeAddress, Coin, BuildTxWith build (Witness WitCtxStake era))] -> TxWithdrawals build era

Instances

Instances details

Show (TxWithdrawals build era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxWithdrawals build era -> ShowS Source # show :: TxWithdrawals build era -> String Source # showList :: [TxWithdrawals build era] -> ShowS Source #
Eq (TxWithdrawals build era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxWithdrawals build era -> TxWithdrawals build era -> Bool Source # (/=) :: TxWithdrawals build era -> TxWithdrawals build era -> Bool Source #

data TxCertificates build era where Source #

Constructors

TxCertificatesNone :: forall build era. TxCertificates build era
TxCertificates
Fields :: forall era build. ShelleyBasedEra era -> [Certificate era] -> BuildTxWith build [(StakeCredential, Witness WitCtxStake era)] There can be more than one script witness per stake credential -> TxCertificates build era

Instances

Instances details

Show (TxCertificates build era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxCertificates build era -> ShowS Source # show :: TxCertificates build era -> String Source # showList :: [TxCertificates build era] -> ShowS Source #
Eq (TxCertificates build era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxCertificates build era -> TxCertificates build era -> Bool Source # (/=) :: TxCertificates build era -> TxCertificates build era -> Bool Source #

data TxUpdateProposal era where Source #

Constructors

TxUpdateProposalNone :: forall era. TxUpdateProposal era
TxUpdateProposal :: forall era. ShelleyToBabbageEra era -> UpdateProposal -> TxUpdateProposal era

Instances

Instances details

Show (TxUpdateProposal era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxUpdateProposal era -> ShowS Source # show :: TxUpdateProposal era -> String Source # showList :: [TxUpdateProposal era] -> ShowS Source #
Eq (TxUpdateProposal era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxUpdateProposal era -> TxUpdateProposal era -> Bool Source # (/=) :: TxUpdateProposal era -> TxUpdateProposal era -> Bool Source #

data TxMintValue build era where Source #

Constructors

TxMintNone :: forall build era. TxMintValue build era
TxMintValue :: forall era build. MaryEraOnwards era -> Map PolicyId [(AssetName, Quantity, BuildTxWith build (ScriptWitness WitCtxMint era))] -> TxMintValue build era

Instances

Instances details

Show (TxMintValue build era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxMintValue build era -> ShowS Source # show :: TxMintValue build era -> String Source # showList :: [TxMintValue build era] -> ShowS Source #
Eq (TxMintValue build era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxMintValue build era -> TxMintValue build era -> Bool Source # (/=) :: TxMintValue build era -> TxMintValue build era -> Bool Source #

txMintValueToValue :: TxMintValue build era -> Value Source #

Convert TxMintValue to a more handy Value.

txMintValueToIndexed :: TxMintValue build era -> [(ScriptWitnessIndex, PolicyId, AssetName, Quantity, BuildTxWith build (ScriptWitness WitCtxMint era))] Source #

Index the assets with witnesses in the order of policy ids. See section 4.1 of https://github.com/intersectmbo/cardano-ledger/releases/latest/download/alonzo-ledger.pdf

data TxVotingProcedures build era where Source #

Constructors

TxVotingProceduresNone :: forall build era. TxVotingProcedures build era
TxVotingProcedures :: forall era build. VotingProcedures (ShelleyLedgerEra era) -> BuildTxWith build (Map (Voter (EraCrypto (ShelleyLedgerEra era))) (ScriptWitness WitCtxStake era)) -> TxVotingProcedures build era

Instances

Instances details

Show (TxVotingProcedures build era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxVotingProcedures build era -> ShowS Source # show :: TxVotingProcedures build era -> String Source # showList :: [TxVotingProcedures build era] -> ShowS Source #
Eq (TxVotingProcedures build era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxVotingProcedures build era -> TxVotingProcedures build era -> Bool Source # (/=) :: TxVotingProcedures build era -> TxVotingProcedures build era -> Bool Source #

mkTxVotingProcedures :: Applicative (BuildTxWith build) => [(VotingProcedures era, Maybe (ScriptWitness WitCtxStake era))] -> Either (VotesMergingConflict era) (TxVotingProcedures build era) Source #

Create voting procedures from map of voting procedures and optional witnesses. Validates the function argument, to make sure the list of votes is legal. See mergeVotingProcedures for validation rules.

data TxProposalProcedures build era where Source #

Constructors

TxProposalProceduresNone :: forall build era. TxProposalProcedures build era
TxProposalProcedures	Create Tx proposal procedures. Prefer `mkTxProposalProcedures` smart constructor to using this constructor directly.
Fields :: forall era build. EraPParams (ShelleyLedgerEra era) => OSet (ProposalProcedure (ShelleyLedgerEra era)) a set of proposals -> BuildTxWith build (Map (ProposalProcedure (ShelleyLedgerEra era)) (ScriptWitness WitCtxStake era)) a map of witnesses for the proposals. If the proposals are not added to the first constructor parameter too, the sky will fall on your head. -> TxProposalProcedures build era

Instances

Instances details

Show (TxProposalProcedures build era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> TxProposalProcedures build era -> ShowS Source # show :: TxProposalProcedures build era -> String Source # showList :: [TxProposalProcedures build era] -> ShowS Source #
Eq (TxProposalProcedures build era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: TxProposalProcedures build era -> TxProposalProcedures build era -> Bool Source # (/=) :: TxProposalProcedures build era -> TxProposalProcedures build era -> Bool Source #

mkTxProposalProcedures :: forall era build. (Applicative (BuildTxWith build), IsShelleyBasedEra era) => [(ProposalProcedure (ShelleyLedgerEra era), Maybe (ScriptWitness WitCtxStake era))] -> TxProposalProcedures build era Source #

A smart constructor for TxProposalProcedures. It makes sure that the value produced is consistent - the witnessed proposals are also present in the first constructor parameter.

convProposalProcedures :: TxProposalProcedures build era -> OSet (ProposalProcedure (ShelleyLedgerEra era)) Source #

Returns an OSet of proposals from TxProposalProcedures.

If pws in 'TxProposalProcedures pps (BuildTxWith pws)' contained proposals not present in pps, the'll be sorted ascendingly and snoc-ed to pps if they're not present in pps.

Building vs viewing transactions

data BuildTxWith build a where Source #

Constructors

ViewTx :: forall a. BuildTxWith ViewTx a
BuildTxWith :: forall a. a -> BuildTxWith BuildTx a

Instances

Instances details

Applicative (BuildTxWith BuildTx) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods pure :: a -> BuildTxWith BuildTx a Source # (<>) :: BuildTxWith BuildTx (a -> b) -> BuildTxWith BuildTx a -> BuildTxWith BuildTx b Source # liftA2 :: (a -> b -> c) -> BuildTxWith BuildTx a -> BuildTxWith BuildTx b -> BuildTxWith BuildTx c Source # (>) :: BuildTxWith BuildTx a -> BuildTxWith BuildTx b -> BuildTxWith BuildTx b Source # (<*) :: BuildTxWith BuildTx a -> BuildTxWith BuildTx b -> BuildTxWith BuildTx a Source #
Applicative (BuildTxWith ViewTx) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods pure :: a -> BuildTxWith ViewTx a Source # (<>) :: BuildTxWith ViewTx (a -> b) -> BuildTxWith ViewTx a -> BuildTxWith ViewTx b Source # liftA2 :: (a -> b -> c) -> BuildTxWith ViewTx a -> BuildTxWith ViewTx b -> BuildTxWith ViewTx c Source # (>) :: BuildTxWith ViewTx a -> BuildTxWith ViewTx b -> BuildTxWith ViewTx b Source # (<*) :: BuildTxWith ViewTx a -> BuildTxWith ViewTx b -> BuildTxWith ViewTx a Source #
Functor (BuildTxWith build) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods fmap :: (a -> b) -> BuildTxWith build a -> BuildTxWith build b Source # (<$) :: a -> BuildTxWith build b -> BuildTxWith build a Source #
Show a => Show (BuildTxWith build a) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> BuildTxWith build a -> ShowS Source # show :: BuildTxWith build a -> String Source # showList :: [BuildTxWith build a] -> ShowS Source #
Eq a => Eq (BuildTxWith build a) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: BuildTxWith build a -> BuildTxWith build a -> Bool Source # (/=) :: BuildTxWith build a -> BuildTxWith build a -> Bool Source #

data BuildTx Source #

Instances

Instances details

Applicative (BuildTxWith BuildTx) Source #

Instance details

Defined in Cardano.Api.Tx.Body

Methods

pure :: a -> BuildTxWith BuildTx a Source #

(<*>) :: BuildTxWith BuildTx (a -> b) -> BuildTxWith BuildTx a -> BuildTxWith BuildTx b Source #

liftA2 :: (a -> b -> c) -> BuildTxWith BuildTx a -> BuildTxWith BuildTx b -> BuildTxWith BuildTx c Source #

(*>) :: BuildTxWith BuildTx a -> BuildTxWith BuildTx b -> BuildTxWith BuildTx b Source #

(<*) :: BuildTxWith BuildTx a -> BuildTxWith BuildTx b -> BuildTxWith BuildTx a Source #

data ViewTx Source #

Instances

Instances details

Applicative (BuildTxWith ViewTx) Source #

Instance details

Defined in Cardano.Api.Tx.Body

Methods

pure :: a -> BuildTxWith ViewTx a Source #

(<*>) :: BuildTxWith ViewTx (a -> b) -> BuildTxWith ViewTx a -> BuildTxWith ViewTx b Source #

liftA2 :: (a -> b -> c) -> BuildTxWith ViewTx a -> BuildTxWith ViewTx b -> BuildTxWith ViewTx c Source #

(*>) :: BuildTxWith ViewTx a -> BuildTxWith ViewTx b -> BuildTxWith ViewTx b Source #

(<*) :: BuildTxWith ViewTx a -> BuildTxWith ViewTx b -> BuildTxWith ViewTx a Source #

buildTxWithToMaybe :: BuildTxWith build a -> Maybe a Source #

Inspecting `ScriptWitness`es

data AnyScriptWitness era where Source #

A ScriptWitness in any WitCtx. This lets us handle heterogeneous collections of script witnesses from multiple contexts.

Constructors

AnyScriptWitness :: forall witctx era. ScriptWitness witctx era -> AnyScriptWitness era

Instances

Instances details

Show (AnyScriptWitness era) Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> AnyScriptWitness era -> ShowS Source # show :: AnyScriptWitness era -> String Source # showList :: [AnyScriptWitness era] -> ShowS Source #

data ScriptWitnessIndex Source #

Identify the location of a ScriptWitness within the context of a TxBody. These are indexes of the objects within the transaction that need or can use script witnesses: inputs, minted assets, withdrawals and certificates. These are simple numeric indices, enumerated from zero. Thus the indices are not stable if the transaction body is modified.

Constructors

ScriptWitnessIndexTxIn !Word32	The n'th transaction input, in the order of the `TxId`s.
ScriptWitnessIndexMint !Word32	The n'th minting `PolicyId`, in the order of the `PolicyId`s.
ScriptWitnessIndexCertificate !Word32	The n'th certificate, in the list order of the certificates.
ScriptWitnessIndexWithdrawal !Word32	The n'th withdrawal, in the order of the `StakeAddress`s.
ScriptWitnessIndexVoting !Word32	The n'th vote, in the order of the votes.
ScriptWitnessIndexProposing !Word32	The n'th proposal, in the order of the proposals.

Instances

Instances details

ToJSON ScriptWitnessIndex Source #
Instance details Defined in Cardano.Api.Tx.Body Methods toJSON :: ScriptWitnessIndex -> Value # toEncoding :: ScriptWitnessIndex -> Encoding # toJSONList :: [ScriptWitnessIndex] -> Value # toEncodingList :: [ScriptWitnessIndex] -> Encoding # omitField :: ScriptWitnessIndex -> Bool #
Show ScriptWitnessIndex Source #
Instance details Defined in Cardano.Api.Tx.Body Methods showsPrec :: Int -> ScriptWitnessIndex -> ShowS Source # show :: ScriptWitnessIndex -> String Source # showList :: [ScriptWitnessIndex] -> ShowS Source #
Eq ScriptWitnessIndex Source #
Instance details Defined in Cardano.Api.Tx.Body Methods (==) :: ScriptWitnessIndex -> ScriptWitnessIndex -> Bool Source # (/=) :: ScriptWitnessIndex -> ScriptWitnessIndex -> Bool Source #
Ord ScriptWitnessIndex Source #
Instance details Defined in Cardano.Api.Tx.Body Methods compare :: ScriptWitnessIndex -> ScriptWitnessIndex -> Ordering Source # (<) :: ScriptWitnessIndex -> ScriptWitnessIndex -> Bool Source # (<=) :: ScriptWitnessIndex -> ScriptWitnessIndex -> Bool Source # (>) :: ScriptWitnessIndex -> ScriptWitnessIndex -> Bool Source # (>=) :: ScriptWitnessIndex -> ScriptWitnessIndex -> Bool Source # max :: ScriptWitnessIndex -> ScriptWitnessIndex -> ScriptWitnessIndex Source # min :: ScriptWitnessIndex -> ScriptWitnessIndex -> ScriptWitnessIndex Source #

renderScriptWitnessIndex :: ScriptWitnessIndex -> String Source #

collectTxBodyScriptWitnesses :: ShelleyBasedEra era -> TxBodyContent BuildTx era -> [(ScriptWitnessIndex, AnyScriptWitness era)] Source #

toScriptIndex :: AlonzoEraOnwards era -> PlutusPurpose AsIx (ShelleyLedgerEra era) -> ScriptWitnessIndex Source #

Conversion to inline data

scriptDataToInlineDatum :: Era ledgerera => HashableScriptData -> Datum ledgerera Source #

Conversion of ScriptData to binary data which allows for the storage of data onchain within a transaction output.

Internal conversion functions & types

convCertificates :: ShelleyBasedEra era -> TxCertificates build era -> StrictSeq (TxCert (ShelleyLedgerEra era)) Source #

convCollateralTxIns :: TxInsCollateral era -> Set (TxIn StandardCrypto) Source #

convExtraKeyWitnesses :: TxExtraKeyWitnesses era -> Set (KeyHash 'Witness StandardCrypto) Source #

convLanguages :: [(ScriptWitnessIndex, AnyScriptWitness era)] -> Set Language Source #

convMintValue :: TxMintValue build era -> MultiAsset StandardCrypto Source #

convReferenceInputs :: TxInsReference era -> Set (TxIn StandardCrypto) Source #

convReturnCollateral :: ShelleyBasedEra era -> TxReturnCollateral ctx era -> StrictMaybe (TxOut (ShelleyLedgerEra era)) Source #

convScripts :: ShelleyLedgerEra era ~ ledgerera => [(ScriptWitnessIndex, AnyScriptWitness era)] -> [Script ledgerera] Source #

convScriptData :: ShelleyBasedEra era -> [TxOut CtxTx era] -> [(ScriptWitnessIndex, AnyScriptWitness era)] -> TxBodyScriptData era Source #

convTotalCollateral :: TxTotalCollateral era -> StrictMaybe Coin Source #

convTransactionFee :: ShelleyBasedEra era -> TxFee era -> Coin Source #

convTxIns :: TxIns BuildTx era -> Set (TxIn StandardCrypto) Source #

convTxOuts :: forall ctx era ledgerera. ShelleyLedgerEra era ~ ledgerera => ShelleyBasedEra era -> [TxOut ctx era] -> StrictSeq (TxOut ledgerera) Source #

convTxUpdateProposal Source #

Arguments

:: ShelleyBasedEra era
-> TxUpdateProposal era
-> Either TxBodyError (StrictMaybe (Update (ShelleyLedgerEra era)))	`Left` when there's protocol params conversion error, `Right` otherwise, 'Right SNothing' means that there's no update proposal

Convert transaction update proposal into ledger update proposal

convValidityLowerBound :: TxValidityLowerBound era -> Maybe SlotNo Source #

convValidityUpperBound :: ShelleyBasedEra era -> TxValidityUpperBound era -> Maybe SlotNo Source #

convVotingProcedures :: TxVotingProcedures build era -> VotingProcedures (ShelleyLedgerEra era) Source #

convWithdrawals :: TxWithdrawals build era -> Withdrawals StandardCrypto Source #

getScriptIntegrityHash :: BuildTxWith BuildTx (Maybe (LedgerProtocolParameters era)) -> Set Language -> TxBodyScriptData era -> StrictMaybe (ScriptIntegrityHash (EraCrypto (ShelleyLedgerEra era))) Source #

mkCommonTxBody :: ShelleyBasedEra era -> TxIns BuildTx era -> [TxOut ctx era] -> TxFee era -> TxWithdrawals build era -> Maybe (TxAuxData (ShelleyLedgerEra era)) -> TxBody era Source #

A helper function that constructs a TxBody with all of the fields that are common for all eras

scriptWitnessesProposing :: TxProposalProcedures BuildTx era -> [(ScriptWitnessIndex, AnyScriptWitness era)] Source #

toAuxiliaryData :: ShelleyBasedEra era -> TxMetadataInEra era -> TxAuxScripts era -> Maybe (TxAuxData (ShelleyLedgerEra era)) Source #

In the Allegra and Mary eras the auxiliary data consists of the tx metadata and the axiliary scripts. In the Alonzo and later eras the auxiliary data consists of the tx metadata and the axiliary scripts, and the axiliary script data.

toByronTxId :: TxId -> TxId Source #

toShelleyTxId :: TxId -> TxId StandardCrypto Source #

toShelleyTxIn :: TxIn -> TxIn StandardCrypto Source #

This function may overflow on the transaction index. Call sites must ensure that all uses of this function are appropriately guarded.

toShelleyTxOut :: (HasCallStack, ShelleyLedgerEra era ~ ledgerera) => ShelleyBasedEra era -> TxOut CtxUTxO era -> TxOut ledgerera Source #

toShelleyTxOutAny :: forall ctx era ledgerera. (HasCallStack, ShelleyLedgerEra era ~ ledgerera) => ShelleyBasedEra era -> TxOut ctx era -> TxOut ledgerera Source #

A variant of 'toShelleyTxOutAny that is used only internally to this module that works with a TxOut in any context (including CtxTx) by ignoring embedded datums (taking only their hash).

fromShelleyTxId :: TxId StandardCrypto -> TxId Source #

fromShelleyTxIn :: TxIn StandardCrypto -> TxIn Source #

fromShelleyTxOut :: ShelleyBasedEra era -> TxOut (ShelleyLedgerEra era) -> TxOut ctx era Source #

fromByronTxIn :: TxIn -> TxIn Source #

fromLedgerTxOuts :: ShelleyBasedEra era -> TxBody (ShelleyLedgerEra era) -> TxBodyScriptData era -> [TxOut CtxTx era] Source #

renderTxIn :: TxIn -> Text Source #

Misc helpers

calculateExecutionUnitsLovelace :: Prices -> ExecutionUnits -> Maybe Coin Source #

orderStakeAddrs :: [(StakeAddress, x, v)] -> [(StakeAddress, x, v)] Source #

orderTxIns :: [(TxIn, v)] -> [(TxIn, v)] Source #

Data family instances

data family AsType t Source #

A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.

Values of this type are passed to deserialisation functions for example.

Instances

Instances details

data AsType AddressAny Source #
Instance details Defined in Cardano.Api.Address data AsType AddressAny = AsAddressAny
data AsType ByronAddr Source #
Instance details Defined in Cardano.Api.Address data AsType ByronAddr = AsByronAddr
data AsType ShelleyAddr Source #
Instance details Defined in Cardano.Api.Address data AsType ShelleyAddr = AsShelleyAddr
data AsType StakeAddress Source #
Instance details Defined in Cardano.Api.Address data AsType StakeAddress = AsStakeAddress
data AsType BlockHeader Source #
Instance details Defined in Cardano.Api.Block data AsType BlockHeader = AsBlockHeader
data AsType DRepMetadata Source #
Instance details Defined in Cardano.Api.DRepMetadata data AsType DRepMetadata = AsDRepMetadata
data AsType AllegraEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType ByronEra = AsByronEra
data AsType ConwayEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source #
Instance details Defined in Cardano.Api.Governance.Poll data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source #
Instance details Defined in Cardano.Api.Governance.Poll data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType ByronKey Source #
Instance details Defined in Cardano.Api.Keys.Byron data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source #
Instance details Defined in Cardano.Api.Keys.Byron data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType KesKey Source #
Instance details Defined in Cardano.Api.Keys.Praos data AsType KesKey = AsKesKey
data AsType VrfKey Source #
Instance details Defined in Cardano.Api.Keys.Praos data AsType VrfKey = AsVrfKey
data AsType CommitteeColdExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType DRepKey = AsDRepKey
data AsType GenesisDelegateExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType StakeKey = AsStakeKey
data AsType StakePoolKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType StakePoolKey = AsStakePoolKey
data AsType OperationalCertificate Source #
Instance details Defined in Cardano.Api.OperationalCertificate data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.OperationalCertificate data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType PraosNonce = AsPraosNonce
data AsType UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType UpdateProposal = AsUpdateProposal
data AsType PlutusScriptV1 Source #
Instance details Defined in Cardano.Api.Script data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source #
Instance details Defined in Cardano.Api.Script data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV3 Source #
Instance details Defined in Cardano.Api.Script data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType ScriptHash Source #
Instance details Defined in Cardano.Api.Script data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source #
Instance details Defined in Cardano.Api.Script data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source #
Instance details Defined in Cardano.Api.Script data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source #
Instance details Defined in Cardano.Api.ScriptData data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source #
Instance details Defined in Cardano.Api.ScriptData data AsType ScriptData = AsScriptData
data AsType TextEnvelope Source #
Instance details Defined in Cardano.Api.SerialiseTextEnvelope data AsType TextEnvelope = AsTextEnvelope
data AsType ByronUpdateProposal Source #
Instance details Defined in Cardano.Api.SpecialByron data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source #
Instance details Defined in Cardano.Api.SpecialByron data AsType ByronVote = AsByronVote
data AsType StakePoolMetadata Source #
Instance details Defined in Cardano.Api.StakePoolMetadata data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType TxId Source #
Instance details Defined in Cardano.Api.TxIn data AsType TxId = AsTxId
data AsType TxMetadata Source #
Instance details Defined in Cardano.Api.TxMetadata data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source #
Instance details Defined in Cardano.Api.Value data AsType AssetName = AsAssetName
data AsType PolicyId Source #
Instance details Defined in Cardano.Api.Value data AsType PolicyId = AsPolicyId
data AsType (Address addrtype) Source #
Instance details Defined in Cardano.Api.Address data AsType (Address addrtype) = AsAddress (AsType addrtype)
data AsType (AddressInEra era) Source #
Instance details Defined in Cardano.Api.Address data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Certificate era) Source #
Instance details Defined in Cardano.Api.Certificate data AsType (Certificate era) = AsCertificate
data AsType (Proposal era) Source #
Instance details Defined in Cardano.Api.Governance.Actions.ProposalProcedure data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source #
Instance details Defined in Cardano.Api.Governance.Actions.VotingProcedure data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source #
Instance details Defined in Cardano.Api.Governance.Actions.VotingProcedure data AsType (VotingProcedures era) = AsVotingProcedures
data AsType (Hash a) Source #
Instance details Defined in Cardano.Api.Hash data AsType (Hash a) = AsHash (AsType a)
data AsType (SigningKey a) Source #
Instance details Defined in Cardano.Api.Keys.Class data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source #
Instance details Defined in Cardano.Api.Keys.Class data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source #
Instance details Defined in Cardano.Api.Script data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source #
Instance details Defined in Cardano.Api.Script data AsType (Script lang) = AsScript (AsType lang)
data AsType (ScriptInEra era) Source #
Instance details Defined in Cardano.Api.Script data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source #
Instance details Defined in Cardano.Api.Tx.Sign data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source #
Instance details Defined in Cardano.Api.Tx.Sign data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source #
Instance details Defined in Cardano.Api.Tx.Sign data AsType (TxBody era) = AsTxBody (AsType era)

getTxBodyContent :: TxBody era -> TxBodyContent ViewTx era Source #

validateTxIns :: [(TxIn, BuildTxWith BuildTx (Witness WitCtxTxIn era))] -> Either TxBodyError () Source #

guardShelleyTxInsOverflow :: [TxIn] -> Either TxBodyError () Source #

validateTxOuts :: ShelleyBasedEra era -> [TxOut CtxTx era] -> Either TxBodyError () Source #

validateMetadata :: TxMetadataInEra era -> Either TxBodyError () Source #

validateTxInsCollateral :: TxInsCollateral era -> Set Language -> Either TxBodyError () Source #

validateProtocolParameters :: BuildTxWith BuildTx (Maybe (LedgerProtocolParameters era)) -> Set Language -> Either TxBodyError () Source #

Documentation

Transaction bodies

Instances

Instances

Byron only

Transaction body builders

Instances

Instances

Instances

Instances

Transaction Ids

Instances

Transaction inputs

Instances

Instances

Transaction outputs

Instances

Instances

Instances

Instances

Instances

Instances

Other transaction body types

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Building vs viewing transactions

Instances

Instances

Instances

Inspecting ScriptWitnesses

Instances

Instances

Conversion to inline data

Internal conversion functions & types

Misc helpers

Data family instances

Instances

Inspecting `ScriptWitness`es