cardano-ledger-shelley-1.17.0.0: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Shelley.TxBody

Synopsis

Documentation

data family TxBody era Source #

The body of a transaction.

Instances

Instances details
Generic (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep (TxBody ShelleyEra) ∷ TypeType #

Show (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

ToCBOR (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

DecCBOR (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

EncCBOR (TxBody ShelleyEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

SafeToHash (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

EqRaw (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Memoized (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type RawType (TxBody ShelleyEra) = (r ∷ Type) Source #

NFData (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnfTxBody ShelleyEra → () #

Eq (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

HashAnnotated (TxBody ShelleyEra) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype TxBody ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxBodyRaw))))
type RawType (TxBody ShelleyEra) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

data ShelleyTxBodyRaw Source #

Instances

Instances details
Generic ShelleyTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ShelleyTxBodyRawTypeType #

Show ShelleyTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

DecCBOR ShelleyTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

EncCBOR ShelleyTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NFData ShelleyTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnfShelleyTxBodyRaw → () #

Eq ShelleyTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks ShelleyTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ShelleyTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ShelleyTxBodyRaw = D1 ('MetaData "ShelleyTxBodyRaw" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.17.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTxBodyRaw" 'PrefixI 'True) (((S1 ('MetaSel ('Just "stbrInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn)) :*: S1 ('MetaSel ('Just "stbrOutputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxOut ShelleyEra)))) :*: (S1 ('MetaSel ('Just "stbrCerts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxCert ShelleyEra))) :*: S1 ('MetaSel ('Just "stbrWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Withdrawals))) :*: ((S1 ('MetaSel ('Just "stbrFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "stbrTtl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "stbrUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Update ShelleyEra))) :*: S1 ('MetaSel ('Just "stbrAuxDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe TxAuxDataHash))))))
type MemoHashIndex ShelleyTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

data RewardAccount Source #

An account based address for rewards

Constructors

RewardAccount 

Instances

Instances details
FromJSON RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

FromJSONKey RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

ToJSON RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

ToJSONKey RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

Generic RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep RewardAccountTypeType #

Show RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

DecCBOR RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

EncCBOR RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

Default RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

NFData RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

Methods

rnfRewardAccount → () #

Eq RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

Ord RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

NoThunks RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

type Rep RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

type Rep RewardAccount = D1 ('MetaData "RewardAccount" "Cardano.Ledger.Address" "cardano-ledger-core-1.18.0.0-inplace" 'False) (C1 ('MetaCons "RewardAccount" 'PrefixI 'True) (S1 ('MetaSel ('Just "raNetwork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just "raCredential") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking))))

newtype Withdrawals Source #

This is called wdrl in the spec.

Instances

Instances details
Generic Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep WithdrawalsTypeType #

Show Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

DecCBOR Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

EncCBOR Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

Methods

encCBORWithdrawalsEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy WithdrawalsSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Withdrawals] → Size Source #

NFData Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

Methods

rnfWithdrawals → () #

Eq Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

NoThunks Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

type Rep Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

type Rep Withdrawals = D1 ('MetaData "Withdrawals" "Cardano.Ledger.Address" "cardano-ledger-core-1.18.0.0-inplace" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map RewardAccount Coin))))

getShelleyGenesisKeyHashCountTxBodyShelleyEraTxBody era ⇒ TxBody era → Int Source #

Count number of Genesis keys supplied in the updateTxBodyL field.

Orphan instances

EraTxBody ShelleyEra Source # 
Instance details

Generic (TxBody ShelleyEra) Source # 
Instance details

Associated Types

type Rep (TxBody ShelleyEra) ∷ TypeType #

Show (TxBody ShelleyEra) Source # 
Instance details

ToCBOR (TxBody ShelleyEra) Source # 
Instance details

DecCBOR (TxBody ShelleyEra) Source # 
Instance details

EncCBOR (TxBody ShelleyEra) Source #

Encodes memoized bytes created upon construction.

Instance details

SafeToHash (TxBody ShelleyEra) Source # 
Instance details

EqRaw (TxBody ShelleyEra) Source # 
Instance details

Memoized (TxBody ShelleyEra) Source # 
Instance details

Associated Types

type RawType (TxBody ShelleyEra) = (r ∷ Type) Source #

NFData (TxBody ShelleyEra) Source # 
Instance details

Methods

rnfTxBody ShelleyEra → () #

Eq (TxBody ShelleyEra) Source # 
Instance details

NoThunks (TxBody ShelleyEra) Source # 
Instance details

HashAnnotated (TxBody ShelleyEra) EraIndependentTxBody Source # 
Instance details