| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Shelley.TxBody
Contents
Synopsis
- newtype ShelleyTxBody era where
- TxBodyConstr (MemoBytes (ShelleyTxBodyRaw era))
- pattern ShelleyTxBody ∷ ∀ era. (EraTxOut era, EncCBOR (TxCert era)) ⇒ Set TxIn → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals → Coin → SlotNo → StrictMaybe (Update era) → StrictMaybe TxAuxDataHash → 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)
- stbrOutputs ∷ !(StrictSeq (TxOut era))
- stbrCerts ∷ !(StrictSeq (TxCert era))
- stbrWithdrawals ∷ !Withdrawals
- stbrTxFee ∷ !Coin
- stbrTTL ∷ !SlotNo
- stbrUpdate ∷ !(StrictMaybe (Update era))
- stbrMDHash ∷ !(StrictMaybe TxAuxDataHash)
- data EraIndependentTxBody
- data RewardAccount = RewardAccount {
- raNetwork ∷ !Network
- raCredential ∷ !(Credential 'Staking)
- newtype Withdrawals = Withdrawals {}
- getShelleyGenesisKeyHashCountTxBody ∷ ShelleyEraTxBody era ⇒ TxBody era → Int
Documentation
newtype ShelleyTxBody era Source #
Constructors
| TxBodyConstr (MemoBytes (ShelleyTxBodyRaw era)) |
Bundled Patterns
| pattern ShelleyTxBody ∷ ∀ era. (EraTxOut era, EncCBOR (TxCert era)) ⇒ Set TxIn → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals → Coin → SlotNo → StrictMaybe (Update era) → StrictMaybe TxAuxDataHash → 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
| ShelleyEraTxBody ShelleyEra Source # | |
Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody ShelleyEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody ShelleyEra) (StrictMaybe (Update ShelleyEra)) Source # | |
data ShelleyTxBodyRaw era Source #
Constructors
| ShelleyTxBodyRaw | |
Fields
| |
Instances
data EraIndependentTxBody Source #
Instances
| Era era ⇒ HashAnnotated (ShelleyTxBody era) EraIndependentTxBody Source # | |
Defined in Cardano.Ledger.Shelley.TxBody Methods hashAnnotated ∷ ShelleyTxBody era → SafeHash EraIndependentTxBody Source # | |
data RewardAccount Source #
An account based address for rewards
Constructors
| RewardAccount | |
Fields
| |
Instances
newtype Withdrawals Source #
This is called wdrl in the spec.
Constructors
| Withdrawals | |
Fields | |
Instances
| Generic Withdrawals | |
Defined in Cardano.Ledger.Address Associated Types type Rep Withdrawals ∷ Type → Type # | |
| Show Withdrawals | |
Defined in Cardano.Ledger.Address Methods showsPrec ∷ Int → Withdrawals → ShowS # show ∷ Withdrawals → String # showList ∷ [Withdrawals] → ShowS # | |
| DecCBOR Withdrawals | |
Defined in Cardano.Ledger.Address | |
| EncCBOR Withdrawals | |
Defined in Cardano.Ledger.Address Methods encCBOR ∷ Withdrawals → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Withdrawals → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Withdrawals] → Size Source # | |
| NFData Withdrawals | |
Defined in Cardano.Ledger.Address Methods rnf ∷ Withdrawals → () # | |
| Eq Withdrawals | |
Defined in Cardano.Ledger.Address | |
| NoThunks Withdrawals | |
Defined in Cardano.Ledger.Address | |
| type Rep Withdrawals | |
Defined in Cardano.Ledger.Address | |
getShelleyGenesisKeyHashCountTxBody ∷ ShelleyEraTxBody era ⇒ TxBody era → Int Source #
Count number of Genesis keys supplied in the updateTxBodyL field.