cardano-ledger-mary-1.6.1.1: Cardano ledger with multiasset support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Mary.TxBody

Documentation

data MaryTxBody era where Source #

Bundled Patterns

pattern MaryTxBody ∷ (EraTxOut era, EraTxCert era) ⇒ Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → CoinValidityIntervalStrictMaybe (Update era) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → MultiAsset (EraCrypto era) → MaryTxBody era

A pattern to keep the newtype and the MemoBytes hidden

Instances

Instances details
Memoized MaryTxBody Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type RawType MaryTxBody = (r ∷ TypeType) Source #

Generic (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type Rep (MaryTxBody era) ∷ TypeType Source #

Methods

fromMaryTxBody era → Rep (MaryTxBody era) x Source #

toRep (MaryTxBody era) x → MaryTxBody era Source #

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

Defined in Cardano.Ledger.Mary.TxBody

Methods

showsPrecIntMaryTxBody era → ShowS Source #

showMaryTxBody era → String Source #

showList ∷ [MaryTxBody era] → ShowS Source #

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

Defined in Cardano.Ledger.Mary.TxBody

Methods

toCBORMaryTxBody 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 (Annotator (MaryTxBody era)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Era era ⇒ EncCBOR (MaryTxBody era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

encCBORMaryTxBody 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 #

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

Defined in Cardano.Ledger.Mary.TxBody

Methods

eqRawMaryTxBody era → MaryTxBody era → Bool Source #

SafeToHash (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

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

Defined in Cardano.Ledger.Mary.TxBody

Methods

rnfMaryTxBody era → () Source #

(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 Source #

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

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

Defined in Cardano.Ledger.Mary.TxBody

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

Defined in Cardano.Ledger.Mary.TxBody

type RawType MaryTxBody Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

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.6.1.1-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes MaryTxBodyRaw era))))

data MaryTxBodyRaw era Source #

Instances

Instances details
Generic (MaryTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type Rep (MaryTxBodyRaw era) ∷ TypeType Source #

Methods

fromMaryTxBodyRaw era → Rep (MaryTxBodyRaw era) x Source #

toRep (MaryTxBodyRaw era) x → MaryTxBodyRaw era Source #

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

Defined in Cardano.Ledger.Mary.TxBody

AllegraEraTxBody era ⇒ DecCBOR (Annotator (MaryTxBodyRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

AllegraEraTxBody era ⇒ DecCBOR (MaryTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

(EraTxOut era, EraTxCert era) ⇒ EncCBOR (MaryTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

encCBORMaryTxBodyRaw era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Mary.TxBody

Methods

rnfMaryTxBodyRaw era → () Source #

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

Defined in Cardano.Ledger.Mary.TxBody

Methods

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

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

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

Defined in Cardano.Ledger.Mary.TxBody

type MemoHashIndex MaryTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (MaryTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (MaryTxBodyRaw era) = D1 ('MetaData "MaryTxBodyRaw" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.6.1.1-inplace" 'True) (C1 ('MetaCons "MaryTxBodyRaw" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AllegraTxBodyRaw (MultiAsset (EraCrypto era)) era))))

Orphan instances

Crypto c ⇒ AllegraEraTxBody (MaryEra c) Source # 
Instance details

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

Associated Types

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

type TxBodyUpgradeError (MaryEra c) Source #

Crypto c ⇒ ShelleyEraTxBody (MaryEra c) Source # 
Instance details