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

Cardano.Ledger.Mary.TxBody.Internal

Description

Provides Mary TxBody internals

Warning

This module is considered internal.

The contents of this module may change in any way whatsoever and without any warning between minor versions of this package.

Documentation

newtype MaryTxBody era 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.Internal

Associated Types

type RawType MaryTxBody = (r ∷ TypeType) Source #

Generic (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

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.Internal

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.Internal

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.Internal

Era era ⇒ EncCBOR (MaryTxBody era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

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.Internal

Methods

eqRawMaryTxBody era → MaryTxBody era → Bool Source #

SafeToHash (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

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

Defined in Cardano.Ledger.Mary.TxBody.Internal

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.Internal

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.Internal

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

Defined in Cardano.Ledger.Mary.TxBody.Internal

type RawType MaryTxBody Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

type Rep (MaryTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

type Rep (MaryTxBody era) = D1 ('MetaData "MaryTxBody" "Cardano.Ledger.Mary.TxBody.Internal" "cardano-ledger-mary-1.7.0.1-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes MaryTxBodyRaw era))))

newtype MaryTxBodyRaw era Source #

Instances

Instances details
Generic (MaryTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

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.Internal

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

Defined in Cardano.Ledger.Mary.TxBody.Internal

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

Defined in Cardano.Ledger.Mary.TxBody.Internal

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

Defined in Cardano.Ledger.Mary.TxBody.Internal

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.Internal

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.Internal

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.Internal

type MemoHashIndex MaryTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

type Rep (MaryTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

type Rep (MaryTxBodyRaw era) = D1 ('MetaData "MaryTxBodyRaw" "Cardano.Ledger.Mary.TxBody.Internal" "cardano-ledger-mary-1.7.0.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