Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 where
- RewardAccount {
- raNetwork ∷ !Network
- raCredential ∷ !(Credential 'Staking c)
- pattern RewardAcnt ∷ Network → Credential 'Staking c → RewardAccount c
- RewardAccount {
- newtype Withdrawals c = Withdrawals {
- unWithdrawals ∷ Map (RewardAcnt c) Coin
- getShelleyGenesisKeyHashCountTxBody ∷ ShelleyEraTxBody era ⇒ TxBody era → Int
- type RewardAcnt = RewardAccount
Documentation
newtype ShelleyTxBody era Source #
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 #
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 ttlTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictMaybe (Update (ShelleyEra c))) Source # |
data ShelleyTxBodyRaw era Source #
ShelleyTxBodyRaw | |
|
Instances
data EraIndependentTxBody Source #
Instances
(Era era, c ~ EraCrypto era) ⇒ HashAnnotated (ShelleyTxBody era) EraIndependentTxBody c Source # | |
Defined in Cardano.Ledger.Shelley.TxBody |
data RewardAccount c Source #
An account based address for rewards
RewardAccount | |
|
pattern RewardAcnt ∷ Network → Credential 'Staking c → RewardAccount c |
Instances
newtype Withdrawals c Source #
This is called wdrl
in the spec.
Instances
getShelleyGenesisKeyHashCountTxBody ∷ ShelleyEraTxBody era ⇒ TxBody era → Int Source #
Count number of Genesis keys supplied in the updateTxBodyL
field.
Deprecations
type RewardAcnt = RewardAccount Source #