type RawType (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

Methods

getMemoBytes ∷ TxBody l ShelleyEra → MemoBytes (RawType (TxBody l ShelleyEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ShelleyEra)) → TxBody l ShelleyEra

NFData (TxBody l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (TxBody l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

Methods

from ∷ TxBody l ShelleyEra → Rep (TxBody l ShelleyEra) x #

to ∷ Rep (TxBody l ShelleyEra) x → TxBody l ShelleyEra #

Show (TxBody l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

showsPrec ∷ Int → TxBody l ShelleyEra → ShowS #

show ∷ TxBody l ShelleyEra → String #

showList ∷ [TxBody l ShelleyEra] → ShowS #

Eq (TxBody l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

(/=) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

Typeable l ⇒ NoThunks (TxBody l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

noThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l ShelleyEra) → String Source #

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

newtype TxBody l ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))

type RawType (TxBody l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

type Rep (TxBody l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

class (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) ⇒ ShelleyEraTxBody era where Source #

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx era) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx era) (StrictMaybe (Update era)) Source #

Instances

Instances details

ShelleyEraTxBody ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) (StrictMaybe (Update ShelleyEra)) Source #

data ShelleyTxBodyRaw (l ∷ TxLevel) era where Source #

Constructors

ShelleyTxBodyRaw
Fields ∷ ∀ era. { stbrInputs ∷ !(Set TxIn) , stbrOutputs ∷ !(StrictSeq (TxOut era)) , stbrCerts ∷ !(StrictSeq (TxCert era)) , stbrWithdrawals ∷ !Withdrawals , stbrFee ∷ !Coin , stbrTtl ∷ !SlotNo , stbrUpdate ∷ !(StrictMaybe (Update era)) , stbrAuxDataHash ∷ !(StrictMaybe TxAuxDataHash) } → ShelleyTxBodyRaw 'TopTx era

Instances

Instances details

HasEraTxLevel ShelleyTxBodyRaw ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toSTxLevel ∷ ∀ (l ∷ TxLevel). ShelleyTxBodyRaw l ShelleyEra → STxLevel l ShelleyEra Source #
Typeable l ⇒ DecCBOR (Annotator (ShelleyTxBodyRaw l ShelleyEra)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods decCBOR ∷ Decoder s (Annotator (ShelleyTxBodyRaw l ShelleyEra)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTxBodyRaw l ShelleyEra)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTxBodyRaw l ShelleyEra)) → Text Source #
Typeable l ⇒ DecCBOR (ShelleyTxBodyRaw l ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods decCBOR ∷ Decoder s (ShelleyTxBodyRaw l ShelleyEra) Source # dropCBOR ∷ Proxy (ShelleyTxBodyRaw l ShelleyEra) → Decoder s () Source # label ∷ Proxy (ShelleyTxBodyRaw l ShelleyEra) → Text Source #
EraTxBody era ⇒ EncCBOR (ShelleyTxBodyRaw l era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods encCBOR ∷ ShelleyTxBodyRaw l era → Encoding Source #
EraTxBody era ⇒ NFData (ShelleyTxBodyRaw t era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf ∷ ShelleyTxBodyRaw t era → () #
EraTxBody era ⇒ Show (ShelleyTxBodyRaw l era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec ∷ Int → ShelleyTxBodyRaw l era → ShowS # show ∷ ShelleyTxBodyRaw l era → String # showList ∷ [ShelleyTxBodyRaw l era] → ShowS #
EraTxBody era ⇒ Eq (ShelleyTxBodyRaw l era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) ∷ ShelleyTxBodyRaw l era → ShelleyTxBodyRaw l era → Bool # (/=) ∷ ShelleyTxBodyRaw l era → ShelleyTxBodyRaw l era → Bool #
(Typeable era, Typeable l) ⇒ NoThunks (ShelleyTxBodyRaw l era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks ∷ Context → ShelleyTxBodyRaw l era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTxBodyRaw l era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTxBodyRaw l era) → String Source #
type MemoHashIndex (ShelleyTxBodyRaw t era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type MemoHashIndex (ShelleyTxBodyRaw t era) = EraIndependentTxBody

data EraIndependentTxBody Source #

Instances

Instances details

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

pattern RewardAccount ∷ Network → Credential 'Staking → AccountAddress Source #

Deprecated pattern synonym for backward compatibility

getShelleyGenesisKeyHashCountTxBody ∷ ShelleyEraTxBody era ⇒ TxBody 'TopTx era → Int Source #

Count number of Genesis keys supplied in the updateTxBodyL field.

Orphan instances

EraTxBody ShelleyEra Source #

Instance details

Associated Types

newtype TxBody l ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l ShelleyEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictSeq (TxOut ShelleyEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx ShelleyEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictSeq (TxCert ShelleyEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody l ShelleyEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l ShelleyEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx ShelleyEra → Int Source #

HasEraTxLevel TxBody ShelleyEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l ShelleyEra → STxLevel l ShelleyEra Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l ShelleyEra)) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Text Source #

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra) Source #

Instance details

Methods

toCBOR ∷ TxBody l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l ShelleyEra] → Size Source #

EncCBOR (TxBody l ShelleyEra) Source #

Instance details

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

SafeToHash (TxBody l ShelleyEra) Source #

Instance details

Methods

originalBytes ∷ TxBody l ShelleyEra → ByteString Source #

originalBytesSize ∷ TxBody l ShelleyEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l ShelleyEra → SafeHash i Source #

EqRaw (TxBody l ShelleyEra) Source #

Instance details

Methods

eqRaw ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool Source #

Memoized (TxBody l ShelleyEra) Source #

Instance details

Associated Types

type RawType (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

Methods

getMemoBytes ∷ TxBody l ShelleyEra → MemoBytes (RawType (TxBody l ShelleyEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ShelleyEra)) → TxBody l ShelleyEra

NFData (TxBody l ShelleyEra) Source #

Instance details

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (TxBody l ShelleyEra) Source #

Instance details

Associated Types

type Rep (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))