Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Shelley.TxBody
Contents
Synopsis
- data family TxBody era
- class (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) ⇒ ShelleyEraTxBody era where
- ttlTxBodyL ∷ ExactEra ShelleyEra era ⇒ Lens' (TxBody era) SlotNo
- updateTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Update era))
- data ShelleyTxBodyRaw = ShelleyTxBodyRaw {
- stbrInputs ∷ !(Set TxIn)
- stbrOutputs ∷ !(StrictSeq (TxOut ShelleyEra))
- stbrCerts ∷ !(StrictSeq (TxCert ShelleyEra))
- stbrWithdrawals ∷ !Withdrawals
- stbrFee ∷ !Coin
- stbrTtl ∷ !SlotNo
- stbrUpdate ∷ !(StrictMaybe (Update ShelleyEra))
- stbrAuxDataHash ∷ !(StrictMaybe TxAuxDataHash)
- data EraIndependentTxBody
- data RewardAccount = RewardAccount {
- raNetwork ∷ !Network
- raCredential ∷ !(Credential 'Staking)
- newtype Withdrawals = Withdrawals {}
- getShelleyGenesisKeyHashCountTxBody ∷ ShelleyEraTxBody era ⇒ TxBody era → Int
Documentation
data family TxBody era Source #
The body of a transaction.
Instances
class (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) ⇒ 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 Source #
Constructors
ShelleyTxBodyRaw | |
Fields
|
Instances
data EraIndependentTxBody Source #
Instances
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 | |
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 type Rep Withdrawals = D1 ('MetaData "Withdrawals" "Cardano.Ledger.Address" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map RewardAccount Coin)))) |
getShelleyGenesisKeyHashCountTxBody ∷ ShelleyEraTxBody era ⇒ TxBody era → Int Source #
Count number of Genesis keys supplied in the updateTxBodyL
field.