Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Babbage.TxBody
Contents
Synopsis
- data BabbageTxOut era where
- TxOutCompactDatum !CompactAddr !(CompactForm (Value era)) !(BinaryData era)
- TxOutCompactRefScript !CompactAddr !(CompactForm (Value era)) !(Datum era) !(Script era)
- pattern BabbageTxOut ∷ (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → Datum era → StrictMaybe (Script era) → BabbageTxOut era
- pattern TxOutCompact ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → BabbageTxOut era
- pattern TxOutCompactDH ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → BabbageTxOut era
- data family TxBody era
- allSizedOutputsBabbageTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era)))
- babbageMinUTxOValue ∷ BabbageEraPParams era ⇒ PParams era → Sized a → Coin
- data BabbageTxBodyRaw = BabbageTxBodyRaw {
- btbrInputs ∷ !(Set TxIn)
- btbrCollateralInputs ∷ !(Set TxIn)
- btbrReferenceInputs ∷ !(Set TxIn)
- btbrOutputs ∷ !(StrictSeq (Sized (TxOut BabbageEra)))
- btbrCollateralReturn ∷ !(StrictMaybe (Sized (TxOut BabbageEra)))
- btbrTotalCollateral ∷ !(StrictMaybe Coin)
- btbrCerts ∷ !(StrictSeq (TxCert BabbageEra))
- btbrWithdrawals ∷ !Withdrawals
- btbrFee ∷ !Coin
- btbrValidityInterval ∷ !ValidityInterval
- btbrUpdate ∷ !(StrictMaybe (Update BabbageEra))
- btbrReqSignerHashes ∷ !(Set (KeyHash 'Witness))
- btbrMint ∷ !MultiAsset
- btbrScriptIntegrityHash ∷ !(StrictMaybe ScriptIntegrityHash)
- btbrAuxDataHash ∷ !(StrictMaybe TxAuxDataHash)
- btbrNetworkId ∷ !(StrictMaybe Network)
- data BabbageTxBodyUpgradeError
- babbageAllInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn)
- babbageSpendableInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn)
- class (AlonzoEraTxBody era, BabbageEraTxOut era) ⇒ BabbageEraTxBody era where
- sizedOutputsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (Sized (TxOut era)))
- referenceInputsTxBodyL ∷ Lens' (TxBody era) (Set TxIn)
- totalCollateralTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Coin)
- collateralReturnTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (TxOut era))
- sizedCollateralReturnTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Sized (TxOut era)))
- allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era)))
- spendInputs' ∷ TxBody BabbageEra → Set TxIn
- collateralInputs' ∷ TxBody BabbageEra → Set TxIn
- referenceInputs' ∷ TxBody BabbageEra → Set TxIn
- outputs' ∷ TxBody BabbageEra → StrictSeq (TxOut BabbageEra)
- collateralReturn' ∷ TxBody BabbageEra → StrictMaybe (TxOut BabbageEra)
- totalCollateral' ∷ TxBody BabbageEra → StrictMaybe Coin
- certs' ∷ TxBody BabbageEra → StrictSeq (TxCert BabbageEra)
- withdrawals' ∷ TxBody BabbageEra → Withdrawals
- txfee' ∷ TxBody BabbageEra → Coin
- vldt' ∷ TxBody BabbageEra → ValidityInterval
- update' ∷ TxBody BabbageEra → StrictMaybe (Update BabbageEra)
- reqSignerHashes' ∷ TxBody BabbageEra → Set (KeyHash 'Witness)
- mint' ∷ TxBody BabbageEra → MultiAsset
- scriptIntegrityHash' ∷ TxBody BabbageEra → StrictMaybe ScriptIntegrityHash
- adHash' ∷ TxBody BabbageEra → StrictMaybe TxAuxDataHash
- txnetworkid' ∷ TxBody BabbageEra → StrictMaybe Network
- getEitherAddrBabbageTxOut ∷ BabbageTxOut era → Either Addr CompactAddr
- data EraIndependentScriptIntegrity
- type ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity
- txOutData ∷ Era era ⇒ BabbageTxOut era → Maybe (Data era)
- txOutDataHash ∷ BabbageTxOut era → Maybe DataHash
- txOutScript ∷ BabbageTxOut era → Maybe (Script era)
Documentation
data BabbageTxOut era Source #
Constructors
TxOutCompactDatum !CompactAddr !(CompactForm (Value era)) !(BinaryData era) | |
TxOutCompactRefScript !CompactAddr !(CompactForm (Value era)) !(Datum era) !(Script era) |
Bundled Patterns
pattern BabbageTxOut ∷ (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → Datum era → StrictMaybe (Script era) → BabbageTxOut era | |
pattern TxOutCompact ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → BabbageTxOut era | |
pattern TxOutCompactDH ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → BabbageTxOut era |
Instances
data family TxBody era Source #
The body of a transaction.
Instances
allSizedOutputsBabbageTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era))) Source #
babbageMinUTxOValue ∷ BabbageEraPParams era ⇒ PParams era → Sized a → Coin Source #
data BabbageTxBodyRaw Source #
Constructors
BabbageTxBodyRaw | |
Fields
|
Instances
data BabbageTxBodyUpgradeError Source #
Constructors
BTBUEUpdatesD | The update attempts to update the decentralistion parameter, which is dropped in Babbage. |
BTBUEUpdatesExtraEntropy | The update attempts to update the extra entropy, which is dropped in Babbage. |
Instances
Show BabbageTxBodyUpgradeError Source # | |
Defined in Cardano.Ledger.Babbage.TxBody Methods showsPrec ∷ Int → BabbageTxBodyUpgradeError → ShowS # | |
Eq BabbageTxBodyUpgradeError Source # | |
Defined in Cardano.Ledger.Babbage.TxBody |
babbageAllInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn) Source #
babbageSpendableInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn) Source #
class (AlonzoEraTxBody era, BabbageEraTxOut era) ⇒ BabbageEraTxBody era where Source #
Methods
sizedOutputsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (Sized (TxOut era))) Source #
referenceInputsTxBodyL ∷ Lens' (TxBody era) (Set TxIn) Source #
totalCollateralTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Coin) Source #
collateralReturnTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (TxOut era)) Source #
sizedCollateralReturnTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Sized (TxOut era))) Source #
allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era))) Source #
Instances
spendInputs' ∷ TxBody BabbageEra → Set TxIn Source #
Deprecated: In favor of inputsTxBodyL
collateralInputs' ∷ TxBody BabbageEra → Set TxIn Source #
Deprecated: In favor of collateralInputsTxBodyL
referenceInputs' ∷ TxBody BabbageEra → Set TxIn Source #
Deprecated: In favor of referenceInputsTxBodyL
outputs' ∷ TxBody BabbageEra → StrictSeq (TxOut BabbageEra) Source #
Deprecated: In favor of outputsTxBodyL
collateralReturn' ∷ TxBody BabbageEra → StrictMaybe (TxOut BabbageEra) Source #
Deprecated: In favor of collateralReturnTxBodyL
totalCollateral' ∷ TxBody BabbageEra → StrictMaybe Coin Source #
Deprecated: In favor of totalCollateralTxBodyL
certs' ∷ TxBody BabbageEra → StrictSeq (TxCert BabbageEra) Source #
Deprecated: In favor of certsTxBodyL
withdrawals' ∷ TxBody BabbageEra → Withdrawals Source #
Deprecated: In favor of withdrawalsTxBodyL
txfee' ∷ TxBody BabbageEra → Coin Source #
Deprecated: In favor of feeTxBodyL
vldt' ∷ TxBody BabbageEra → ValidityInterval Source #
Deprecated: In favor of vldtTxBodyL
update' ∷ TxBody BabbageEra → StrictMaybe (Update BabbageEra) Source #
Deprecated: In favor of updateTxBodyL
reqSignerHashes' ∷ TxBody BabbageEra → Set (KeyHash 'Witness) Source #
Deprecated: In favor of reqSignerHashesTxBodyL
mint' ∷ TxBody BabbageEra → MultiAsset Source #
Deprecated: In favor of mintTxBodyL
scriptIntegrityHash' ∷ TxBody BabbageEra → StrictMaybe ScriptIntegrityHash Source #
Deprecated: In favor of scriptIntegrityHashTxBodyL
adHash' ∷ TxBody BabbageEra → StrictMaybe TxAuxDataHash Source #
Deprecated: In favor of auxDataHashTxBodyL
txnetworkid' ∷ TxBody BabbageEra → StrictMaybe Network Source #
Deprecated: In favor of networkIdTxBodyL
data EraIndependentScriptIntegrity Source #
Instances
Era era ⇒ HashAnnotated (ScriptIntegrity era) EraIndependentScriptIntegrity | |
Defined in Cardano.Ledger.Alonzo.Tx Methods hashAnnotated ∷ ScriptIntegrity era → SafeHash EraIndependentScriptIntegrity Source # |
txOutData ∷ Era era ⇒ BabbageTxOut era → Maybe (Data era) Source #
Deprecated: In favor of dataTxOutL
or getDataBabbageTxOut
txOutDataHash ∷ BabbageTxOut era → Maybe DataHash Source #
Deprecated: In favor of dataHashTxOutL
or getDataHashBabbageTxOut
txOutScript ∷ BabbageTxOut era → Maybe (Script era) Source #
Deprecated: In favor of dataTxOutL
or getScriptBabbageTxOut