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

Cardano.Ledger.Shelley.TxBody

Synopsis

Documentation

newtype ShelleyTxBody era Source #

Bundled Patterns

pattern ShelleyTxBody ∷ (EraTxOut era, EncCBOR (TxCert era)) ⇒ Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → CoinSlotNoStrictMaybe (Update era) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → ShelleyTxBody era

Pattern for use by external users

Instances

Instances details
Memoized ShelleyTxBody Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type RawType ShelleyTxBody = (r ∷ TypeType) Source #

Generic (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep (ShelleyTxBody era) ∷ TypeType Source #

Methods

fromShelleyTxBody era → Rep (ShelleyTxBody era) x Source #

toRep (ShelleyTxBody era) x → ShelleyTxBody era Source #

EraTxBody era ⇒ Show (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Typeable era ⇒ ToCBOR (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toCBORShelleyTxBody era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxBody era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxBody era] → Size Source #

EraTxBody era ⇒ DecCBOR (Annotator (ShelleyTxBody era)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Era era ⇒ EncCBOR (ShelleyTxBody era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

encCBORShelleyTxBody era → Encoding Source #

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

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

(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ EqRaw (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

eqRawShelleyTxBody era → ShelleyTxBody era → Bool Source #

SafeToHash (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

EraTxBody era ⇒ NFData (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnfShelleyTxBody era → () Source #

(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==)ShelleyTxBody era → ShelleyTxBody era → Bool Source #

(/=)ShelleyTxBody era → ShelleyTxBody era → Bool Source #

(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

(Era era, c ~ EraCrypto era) ⇒ HashAnnotated (ShelleyTxBody era) EraIndependentTxBody c Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType ShelleyTxBody Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (ShelleyTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (ShelleyTxBody era) = D1 ('MetaData "ShelleyTxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.12.2.1-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxBodyRaw era))))

data ShelleyTxBodyRaw era Source #

Instances

Instances details
Generic (ShelleyTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep (ShelleyTxBodyRaw era) ∷ TypeType Source #

(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (ShelleyTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

(Era era, DecCBOR (PParamsUpdate era), DecCBOR (TxOut era), DecCBOR (TxCert era)) ⇒ DecCBOR (Annotator (ShelleyTxBodyRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

(Era era, DecCBOR (PParamsUpdate era), DecCBOR (TxOut era), DecCBOR (TxCert era)) ⇒ DecCBOR (ShelleyTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

(Era era, EncCBOR (TxOut era), EncCBOR (TxCert era), EncCBOR (PParamsUpdate era)) ⇒ EncCBOR (ShelleyTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

encCBORShelleyTxBodyRaw era → Encoding Source #

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

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

(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (ShelleyTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnfShelleyTxBodyRaw era → () Source #

(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (ShelleyTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

(NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (ShelleyTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type MemoHashIndex ShelleyTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (ShelleyTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (ShelleyTxBodyRaw era) = D1 ('MetaData "ShelleyTxBodyRaw" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "ShelleyTxBodyRaw" 'PrefixI 'True) (((S1 ('MetaSel ('Just "stbrInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era)))) :*: S1 ('MetaSel ('Just "stbrOutputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxOut era)))) :*: (S1 ('MetaSel ('Just "stbrCerts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxCert era))) :*: S1 ('MetaSel ('Just "stbrWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Withdrawals (EraCrypto era))))) :*: ((S1 ('MetaSel ('Just "stbrTxFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "stbrTTL") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "stbrUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Update era))) :*: S1 ('MetaSel ('Just "stbrMDHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (AuxiliaryDataHash (EraCrypto era))))))))

data RewardAccount c Source #

An account based address for rewards

Constructors

RewardAccount 

Bundled Patterns

pattern RewardAcntNetworkCredential 'Staking c → RewardAccount c 

Instances

Instances details
Crypto c ⇒ FromJSON (RewardAcnt c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ FromJSONKey (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ ToJSON (RewardAcnt c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ ToJSONKey (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

Generic (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep (RewardAccount c) ∷ TypeType Source #

Show (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ DecCBOR (RewardAcnt c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ EncCBOR (RewardAcnt c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

encCBORRewardAcnt c → Encoding Source #

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

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

Crypto c ⇒ Default (RewardAcnt c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

defRewardAcnt c Source #

NFData (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

rnfRewardAccount c → () Source #

Eq (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

Ord (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

NoThunks (RewardAcnt c) 
Instance details

Defined in Cardano.Ledger.Address

type Rep (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

type Rep (RewardAccount c) = D1 ('MetaData "RewardAccount" "Cardano.Ledger.Address" "cardano-ledger-core-1.14.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 c))))

newtype Withdrawals c Source #

This is called wdrl in the spec.

Constructors

Withdrawals 

Instances

Instances details
Generic (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep (Withdrawals c) ∷ TypeType Source #

Methods

fromWithdrawals c → Rep (Withdrawals c) x Source #

toRep (Withdrawals c) x → Withdrawals c Source #

Show (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ DecCBOR (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ EncCBOR (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

encCBORWithdrawals c → Encoding Source #

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

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

NFData (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

rnfWithdrawals c → () Source #

Eq (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

NoThunks (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

type Rep (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

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

getShelleyGenesisKeyHashCountTxBodyShelleyEraTxBody era ⇒ TxBody era → Int Source #

Count number of Genesis keys supplied in the updateTxBodyL field.

Deprecations

Orphan instances

Crypto c ⇒ EraTxBody (ShelleyEra c) Source # 
Instance details

Associated Types

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

type TxBodyUpgradeError (ShelleyEra c) Source #