Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Mary.TxBody

Contents

Orphan instances

Documentation

class AllegraEraTxBody era ⇒ MaryEraTxBody era where Source #

Minimal complete definition

mintTxBodyL, mintedTxBodyF

Methods

mintTxBodyL ∷ Lens' (TxBody era) MultiAsset Source #

mintedTxBodyF ∷ SimpleGetter (TxBody era) (Set PolicyID) Source #

mintValueTxBodyF ∷ SimpleGetter (TxBody era) (Value era) Source #

default mintValueTxBodyF ∷ Value era ~ MaryValue ⇒ SimpleGetter (TxBody era) (Value era) Source #

Instances

Instances details

MaryEraTxBody MaryEra Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods mintTxBodyL ∷ Lens' (TxBody MaryEra) MultiAsset Source # mintedTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Set PolicyID) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Value MaryEra) Source #

newtype MaryTxBody era Source #

Constructors

MkMaryTxBody (MemoBytes (MaryTxBodyRaw era))

Bundled Patterns

pattern MaryTxBody ∷ ∀ era. (EraTxOut era, EraTxCert era) ⇒ Set TxIn → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals → Coin → ValidityInterval → StrictMaybe (Update era) → StrictMaybe TxAuxDataHash → MultiAsset → MaryTxBody era

A pattern to keep the newtype and the MemoBytes hidden

Instances

Instances details

Generic (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Associated Types type Rep (MaryTxBody era) ∷ Type → Type # Methods from ∷ MaryTxBody era → Rep (MaryTxBody era) x # to ∷ Rep (MaryTxBody era) x → MaryTxBody era #
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods showsPrec ∷ Int → MaryTxBody era → ShowS # show ∷ MaryTxBody era → String # showList ∷ [MaryTxBody era] → ShowS #
Typeable era ⇒ ToCBOR (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods toCBOR ∷ MaryTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (MaryTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MaryTxBody era] → Size Source #
MaryEraTxBody era ⇒ DecCBOR (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods decCBOR ∷ Decoder s (MaryTxBody era) Source # dropCBOR ∷ Proxy (MaryTxBody era) → Decoder s () Source # label ∷ Proxy (MaryTxBody era) → Text Source #
Era era ⇒ EncCBOR (MaryTxBody era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods encCBOR ∷ MaryTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (MaryTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MaryTxBody era] → Size Source #
SafeToHash (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods originalBytes ∷ MaryTxBody era → ByteString Source # originalBytesSize ∷ MaryTxBody era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → MaryTxBody era → SafeHash i Source #
(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods eqRaw ∷ MaryTxBody era → MaryTxBody era → Bool Source #
Memoized (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Associated Types type RawType (MaryTxBody era) = (r ∷ Type) Source # Methods getMemoBytes ∷ MaryTxBody era → MemoBytes (RawType (MaryTxBody era)) wrapMemoBytes ∷ MemoBytes (RawType (MaryTxBody era)) → MaryTxBody era
(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods rnf ∷ MaryTxBody era → () #
(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods (==) ∷ MaryTxBody era → MaryTxBody era → Bool # (/=) ∷ MaryTxBody era → MaryTxBody era → Bool #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods noThunks ∷ Context → MaryTxBody era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MaryTxBody era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MaryTxBody era) → String Source #
Era era ⇒ HashAnnotated (MaryTxBody era) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods hashAnnotated ∷ MaryTxBody era → SafeHash EraIndependentTxBody Source #
type Rep (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody type Rep (MaryTxBody era) = D1 ('MetaData "MaryTxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw era)))))
type RawType (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody type RawType (MaryTxBody era) = MaryTxBodyRaw era

type MaryTxBodyRaw era = AllegraTxBodyRaw MultiAsset era Source #

Orphan instances

AllegraEraTxBody MaryEra Source #
Instance details Methods vldtTxBodyL ∷ Lens' (TxBody MaryEra) ValidityInterval Source #
EraTxBody MaryEra Source #
Instance details Associated Types type TxBody MaryEra = (r ∷ Type) Source # type TxBodyUpgradeError MaryEra Source # Methods mkBasicTxBody ∷ TxBody MaryEra Source # inputsTxBodyL ∷ Lens' (TxBody MaryEra) (Set TxIn) Source # outputsTxBodyL ∷ Lens' (TxBody MaryEra) (StrictSeq (TxOut MaryEra)) Source # feeTxBodyL ∷ Lens' (TxBody MaryEra) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody MaryEra) Withdrawals Source # auxDataHashTxBodyL ∷ Lens' (TxBody MaryEra) (StrictMaybe TxAuxDataHash) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Set TxIn) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Set TxIn) Source # certsTxBodyL ∷ Lens' (TxBody MaryEra) (StrictSeq (TxCert MaryEra)) Source # getTotalDepositsTxBody ∷ PParams MaryEra → (KeyHash 'StakePool → Bool) → TxBody MaryEra → Coin Source # getTotalRefundsTxBody ∷ PParams MaryEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody MaryEra → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody MaryEra → Int Source # upgradeTxBody ∷ TxBody (PreviousEra MaryEra) → Either (TxBodyUpgradeError MaryEra) (TxBody MaryEra) Source #
ShelleyEraTxBody MaryEra Source #
Instance details Methods ttlTxBodyL ∷ Lens' (TxBody MaryEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody MaryEra) (StrictMaybe (Update MaryEra)) Source #