| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Alonzo.TxBody
Contents
Synopsis
- data AlonzoTxOut era where
- TxOutCompact' !CompactAddr !(CompactForm (Value era))
- TxOutCompactDH' !CompactAddr !(CompactForm (Value era)) !DataHash
- TxOut_AddrHash28_AdaOnly !(Credential 'Staking) !Addr28Extra !(CompactForm Coin)
- TxOut_AddrHash28_AdaOnly_DataHash32 !(Credential 'Staking) !Addr28Extra !(CompactForm Coin) !DataHash32
- pattern TxOutCompact ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → AlonzoTxOut era
- pattern AlonzoTxOut ∷ ∀ era. (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → StrictMaybe DataHash → AlonzoTxOut era
- pattern TxOutCompactDH ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → AlonzoTxOut era
- class (AlonzoEraPParams era, EraTxOut era) ⇒ AlonzoEraTxOut era where
- dataHashTxOutL ∷ Lens' (TxOut era) (StrictMaybe DataHash)
- datumTxOutF ∷ SimpleGetter (TxOut era) (Datum era)
- data Addr28Extra
- data DataHash32
- data family TxBody era
- data AlonzoTxBodyRaw = AlonzoTxBodyRaw {
- atbrInputs ∷ !(Set TxIn)
- atbrCollateral ∷ !(Set TxIn)
- atbrOutputs ∷ !(StrictSeq (TxOut AlonzoEra))
- atbrCerts ∷ !(StrictSeq (TxCert AlonzoEra))
- atbrWithdrawals ∷ !Withdrawals
- atbrTxFee ∷ !Coin
- atbrValidityInterval ∷ !ValidityInterval
- atbrUpdate ∷ !(StrictMaybe (Update AlonzoEra))
- atbrReqSignerHashes ∷ Set (KeyHash 'Witness)
- atbrMint ∷ !MultiAsset
- atbrScriptIntegrityHash ∷ !(StrictMaybe ScriptIntegrityHash)
- atbrAuxDataHash ∷ !(StrictMaybe TxAuxDataHash)
- atbrTxNetworkId ∷ !(StrictMaybe Network)
- data AlonzoTxBodyUpgradeError = ATBUEMinUTxOUpdated
- class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era where
- collateralInputsTxBodyL ∷ Lens' (TxBody era) (Set TxIn)
- reqSignerHashesTxBodyL ∷ Lens' (TxBody era) (Set (KeyHash 'Witness))
- scriptIntegrityHashTxBodyL ∷ Lens' (TxBody era) (StrictMaybe ScriptIntegrityHash)
- networkIdTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Network)
- redeemerPointer ∷ TxBody era → PlutusPurpose AsItem era → StrictMaybe (PlutusPurpose AsIx era)
- redeemerPointerInverse ∷ TxBody era → PlutusPurpose AsIx era → StrictMaybe (PlutusPurpose AsIxItem era)
- class (ShelleyEraTxCert era, EraTxBody era, ProtVerAtMost era 8) ⇒ ShelleyEraTxBody era where
- ttlTxBodyL ∷ Lens' (TxBody era) SlotNo
- updateTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Update era))
- class EraTxBody era ⇒ AllegraEraTxBody era where
- vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval
- class AllegraEraTxBody era ⇒ MaryEraTxBody era where
- mintTxBodyL ∷ Lens' (TxBody era) MultiAsset
- mintedTxBodyF ∷ SimpleGetter (TxBody era) (Set PolicyID)
- mintValueTxBodyF ∷ SimpleGetter (TxBody era) (Value era)
- class Indexable elem container where
- inputs' ∷ TxBody AlonzoEra → Set TxIn
- collateral' ∷ TxBody AlonzoEra → Set TxIn
- outputs' ∷ TxBody AlonzoEra → StrictSeq (TxOut AlonzoEra)
- certs' ∷ TxBody AlonzoEra → StrictSeq (TxCert AlonzoEra)
- withdrawals' ∷ TxBody AlonzoEra → Withdrawals
- txfee' ∷ TxBody AlonzoEra → Coin
- vldt' ∷ TxBody AlonzoEra → ValidityInterval
- update' ∷ TxBody AlonzoEra → StrictMaybe (Update AlonzoEra)
- reqSignerHashes' ∷ TxBody AlonzoEra → Set (KeyHash 'Witness)
- mint' ∷ TxBody AlonzoEra → MultiAsset
- scriptIntegrityHash' ∷ TxBody AlonzoEra → StrictMaybe ScriptIntegrityHash
- adHash' ∷ TxBody AlonzoEra → StrictMaybe TxAuxDataHash
- txnetworkid' ∷ TxBody AlonzoEra → StrictMaybe Network
- getAdaOnly ∷ ∀ era. Val (Value era) ⇒ Proxy era → Value era → Maybe (CompactForm Coin)
- decodeDataHash32 ∷ DataHash32 → DataHash
- encodeDataHash32 ∷ DataHash → DataHash32
- encodeAddress28 ∷ Network → PaymentCredential → Addr28Extra
- decodeAddress28 ∷ Credential 'Staking → Addr28Extra → Addr
- viewCompactTxOut ∷ Val (Value era) ⇒ AlonzoTxOut era → (CompactAddr, CompactForm (Value era), StrictMaybe DataHash)
- viewTxOut ∷ Val (Value era) ⇒ AlonzoTxOut era → (Addr, Value era, StrictMaybe DataHash)
- data EraIndependentScriptIntegrity
- type ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity
- getAlonzoTxOutEitherAddr ∷ AlonzoTxOut era → Either Addr CompactAddr
- utxoEntrySize ∷ AlonzoEraTxOut era ⇒ TxOut era → Integer
- alonzoRedeemerPointer ∷ ∀ era. MaryEraTxBody era ⇒ TxBody era → AlonzoPlutusPurpose AsItem era → StrictMaybe (AlonzoPlutusPurpose AsIx era)
- alonzoRedeemerPointerInverse ∷ MaryEraTxBody era ⇒ TxBody era → AlonzoPlutusPurpose AsIx era → StrictMaybe (AlonzoPlutusPurpose AsIxItem era)
Documentation
data AlonzoTxOut era Source #
Constructors
Bundled Patterns
| pattern TxOutCompact ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → AlonzoTxOut era | |
| pattern AlonzoTxOut ∷ ∀ era. (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → StrictMaybe DataHash → AlonzoTxOut era | |
| pattern TxOutCompactDH ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → AlonzoTxOut era |
Instances
class (AlonzoEraPParams era, EraTxOut era) ⇒ AlonzoEraTxOut era where Source #
Methods
dataHashTxOutL ∷ Lens' (TxOut era) (StrictMaybe DataHash) Source #
datumTxOutF ∷ SimpleGetter (TxOut era) (Datum era) Source #
Instances
| AlonzoEraTxOut AlonzoEra Source # | |
Defined in Cardano.Ledger.Alonzo.TxOut Methods dataHashTxOutL ∷ Lens' (TxOut AlonzoEra) (StrictMaybe DataHash) Source # datumTxOutF ∷ SimpleGetter (TxOut AlonzoEra) (Datum AlonzoEra) Source # | |
data Addr28Extra Source #
Instances
data DataHash32 Source #
Instances
data family TxBody era Source #
The body of a transaction.
Instances
data AlonzoTxBodyRaw Source #
Constructors
| AlonzoTxBodyRaw | |
Fields
| |
Instances
data AlonzoTxBodyUpgradeError Source #
Constructors
| ATBUEMinUTxOUpdated | The TxBody contains a protocol parameter update that attempts to update the min UTxO. Since this doesn't exist in Alonzo, we fail if an attempt is made to update it. |
Instances
| Show AlonzoTxBodyUpgradeError Source # | |
Defined in Cardano.Ledger.Alonzo.TxBody Methods showsPrec ∷ Int → AlonzoTxBodyUpgradeError → ShowS # | |
class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era where Source #
Methods
collateralInputsTxBodyL ∷ Lens' (TxBody era) (Set TxIn) Source #
reqSignerHashesTxBodyL ∷ Lens' (TxBody era) (Set (KeyHash 'Witness)) Source #
scriptIntegrityHashTxBodyL ∷ Lens' (TxBody era) (StrictMaybe ScriptIntegrityHash) Source #
networkIdTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Network) Source #
redeemerPointer ∷ TxBody era → PlutusPurpose AsItem era → StrictMaybe (PlutusPurpose AsIx era) Source #
This function is called rdptr in the spec. Given a TxBody and a plutus
purpose with an item, we should be able to find the plutus purpose as in index
redeemerPointerInverse ∷ TxBody era → PlutusPurpose AsIx era → StrictMaybe (PlutusPurpose AsIxItem era) Source #
This is an inverse of redeemerPointer. Given purpose as an index return it as an item.
Instances
class (ShelleyEraTxCert era, EraTxBody era, ProtVerAtMost era 8) ⇒ ShelleyEraTxBody era where Source #
Methods
ttlTxBodyL ∷ Lens' (TxBody era) SlotNo Source #
updateTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Update era)) Source #
Instances
| ShelleyEraTxBody AlonzoEra Source # | |
Defined in Cardano.Ledger.Alonzo.TxBody | |
| ShelleyEraTxBody ShelleyEra | |
Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody ShelleyEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody ShelleyEra) (StrictMaybe (Update ShelleyEra)) Source # | |
class EraTxBody era ⇒ AllegraEraTxBody era where Source #
Methods
vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval Source #
Instances
| AllegraEraTxBody AllegraEra | |
Defined in Cardano.Ledger.Allegra.TxBody Methods vldtTxBodyL ∷ Lens' (TxBody AllegraEra) ValidityInterval Source # | |
| AllegraEraTxBody AlonzoEra Source # | |
Defined in Cardano.Ledger.Alonzo.TxBody Methods vldtTxBodyL ∷ Lens' (TxBody AlonzoEra) ValidityInterval Source # | |
class AllegraEraTxBody era ⇒ MaryEraTxBody era where Source #
Minimal complete definition
Methods
mintTxBodyL ∷ Lens' (TxBody era) MultiAsset Source #
mintedTxBodyF ∷ SimpleGetter (TxBody era) (Set PolicyID) Source #
mintValueTxBodyF ∷ SimpleGetter (TxBody era) (Value era) Source #
Instances
| MaryEraTxBody AlonzoEra Source # | |
Defined in Cardano.Ledger.Alonzo.TxBody Methods mintTxBodyL ∷ Lens' (TxBody AlonzoEra) MultiAsset Source # mintedTxBodyF ∷ SimpleGetter (TxBody AlonzoEra) (Set PolicyID) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody AlonzoEra) (Value AlonzoEra) Source # | |
| MaryEraTxBody MaryEra | |
Defined in Cardano.Ledger.Mary.TxBody Methods mintTxBodyL ∷ Lens' (TxBody MaryEra) MultiAsset Source # mintedTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Set PolicyID) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Value MaryEra) Source # | |
class Indexable elem container where Source #
Methods
indexOf ∷ AsItem Word32 elem → container → StrictMaybe (AsIx Word32 elem) Source #
fromIndex ∷ AsIx Word32 elem → container → StrictMaybe (AsIxItem Word32 elem) Source #
outputs' ∷ TxBody AlonzoEra → StrictSeq (TxOut AlonzoEra) Source #
Deprecated: In favor of outputsTxBodyL
certs' ∷ TxBody AlonzoEra → StrictSeq (TxCert AlonzoEra) Source #
Deprecated: In favor of certsTxBodyL
withdrawals' ∷ TxBody AlonzoEra → Withdrawals Source #
Deprecated: In favor of withdrawalsTxBodyL
update' ∷ TxBody AlonzoEra → StrictMaybe (Update AlonzoEra) Source #
Deprecated: In favor of updateTxBodyL
reqSignerHashes' ∷ TxBody AlonzoEra → Set (KeyHash 'Witness) Source #
Deprecated: In favor of reqSignerHashesTxBodyL
scriptIntegrityHash' ∷ TxBody AlonzoEra → StrictMaybe ScriptIntegrityHash Source #
Deprecated: In favor of scriptIntegrityHashTxBodyL
adHash' ∷ TxBody AlonzoEra → StrictMaybe TxAuxDataHash Source #
Deprecated: In favor of auxDataHashTxBodyL
txnetworkid' ∷ TxBody AlonzoEra → StrictMaybe Network Source #
Deprecated: In favor of networkIdTxBodyL
getAdaOnly ∷ ∀ era. Val (Value era) ⇒ Proxy era → Value era → Maybe (CompactForm Coin) Source #
viewCompactTxOut ∷ Val (Value era) ⇒ AlonzoTxOut era → (CompactAddr, CompactForm (Value era), StrictMaybe DataHash) Source #
viewTxOut ∷ Val (Value era) ⇒ AlonzoTxOut era → (Addr, Value era, StrictMaybe DataHash) Source #
data EraIndependentScriptIntegrity Source #
Instances
| Era era ⇒ HashAnnotated (ScriptIntegrity era) EraIndependentScriptIntegrity Source # | |
Defined in Cardano.Ledger.Alonzo.Tx Methods hashAnnotated ∷ ScriptIntegrity era → SafeHash EraIndependentScriptIntegrity Source # | |
utxoEntrySize ∷ AlonzoEraTxOut era ⇒ TxOut era → Integer Source #
Compute an estimate of the size of storing one UTxO entry. This function implements the UTxO entry size estimate done by scaledMinDeposit in the ShelleyMA era
alonzoRedeemerPointer ∷ ∀ era. MaryEraTxBody era ⇒ TxBody era → AlonzoPlutusPurpose AsItem era → StrictMaybe (AlonzoPlutusPurpose AsIx era) Source #
alonzoRedeemerPointerInverse ∷ MaryEraTxBody era ⇒ TxBody era → AlonzoPlutusPurpose AsIx era → StrictMaybe (AlonzoPlutusPurpose AsIxItem era) Source #