| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Shelley.TxBody
Contents
Synopsis
- newtype ShelleyTxBody era where
- TxBodyConstr (MemoBytes ShelleyTxBodyRaw era)
- pattern ShelleyTxBody ∷ (EraTxOut era, EncCBOR (TxCert era)) ⇒ Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → Coin → SlotNo → StrictMaybe (Update era) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → ShelleyTxBody era
- class (ShelleyEraTxCert era, EraTxBody era, ProtVerAtMost era 8) ⇒ ShelleyEraTxBody era where
- ttlTxBodyL ∷ ExactEra ShelleyEra era ⇒ Lens' (TxBody era) SlotNo
- updateTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Update era))
- data ShelleyTxBodyRaw era = ShelleyTxBodyRaw {
- stbrInputs ∷ !(Set (TxIn (EraCrypto era)))
- stbrOutputs ∷ !(StrictSeq (TxOut era))
- stbrCerts ∷ !(StrictSeq (TxCert era))
- stbrWithdrawals ∷ !(Withdrawals (EraCrypto era))
- stbrTxFee ∷ !Coin
- stbrTTL ∷ !SlotNo
- stbrUpdate ∷ !(StrictMaybe (Update era))
- stbrMDHash ∷ !(StrictMaybe (AuxiliaryDataHash (EraCrypto era)))
- data EraIndependentTxBody
- data RewardAccount c = RewardAccount {
- raNetwork ∷ !Network
- raCredential ∷ !(Credential 'Staking c)
- newtype Withdrawals c = Withdrawals {
- unWithdrawals ∷ Map (RewardAccount c) Coin
- getShelleyGenesisKeyHashCountTxBody ∷ ShelleyEraTxBody era ⇒ TxBody era → Int
Documentation
newtype ShelleyTxBody era Source #
Constructors
| TxBodyConstr (MemoBytes ShelleyTxBodyRaw era) |
Bundled Patterns
| pattern ShelleyTxBody ∷ (EraTxOut era, EncCBOR (TxCert era)) ⇒ Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → Coin → SlotNo → StrictMaybe (Update era) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → ShelleyTxBody era | Pattern for use by external users |
Instances
class (ShelleyEraTxCert era, EraTxBody era, ProtVerAtMost era 8) ⇒ ShelleyEraTxBody era where Source #
Methods
ttlTxBodyL ∷ ExactEra ShelleyEra era ⇒ Lens' (TxBody era) SlotNo Source #
updateTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Update era)) Source #
Instances
| Crypto c ⇒ ShelleyEraTxBody (ShelleyEra c) Source # | |
Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictMaybe (Update (ShelleyEra c))) Source # | |
data ShelleyTxBodyRaw era Source #
Constructors
| ShelleyTxBodyRaw | |
Fields
| |
Instances
data EraIndependentTxBody Source #
Instances
| (Era era, c ~ EraCrypto era) ⇒ HashAnnotated (ShelleyTxBody era) EraIndependentTxBody c Source # | |
Defined in Cardano.Ledger.Shelley.TxBody Methods indexProxy ∷ ShelleyTxBody era → Proxy EraIndependentTxBody Source # hashAnnotated ∷ ShelleyTxBody era → SafeHash c EraIndependentTxBody Source # | |
data RewardAccount c Source #
An account based address for rewards
Constructors
| RewardAccount | |
Fields
| |
Instances
newtype Withdrawals c Source #
This is called wdrl in the spec.
Constructors
| Withdrawals | |
Fields
| |
Instances
getShelleyGenesisKeyHashCountTxBody ∷ ShelleyEraTxBody era ⇒ TxBody era → Int Source #
Count number of Genesis keys supplied in the updateTxBodyL field.