cardano-ledger-babbage-1.12.0.0: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Babbage.TxBody

Synopsis

Documentation

data BabbageTxOut era Source #

Bundled Patterns

pattern BabbageTxOut ∷ (Era era, Val (Value era), HasCallStack) ⇒ AddrValue era → Datum era → StrictMaybe (Script era) → BabbageTxOut era 
pattern TxOutCompact ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddrCompactForm (Value era) → BabbageTxOut era 
pattern TxOutCompactDH ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddrCompactForm (Value era) → DataHashBabbageTxOut era 

Instances

Instances details
(Era era, ToJSON (Datum era), ToJSON (Script era), Val (Value era)) ⇒ ToJSON (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Generic (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Associated Types

type Rep (BabbageTxOut era) ∷ TypeType #

Methods

fromBabbageTxOut era → Rep (BabbageTxOut era) x #

toRep (BabbageTxOut era) x → BabbageTxOut era #

(Era era, Show (Script era), Val (Value era)) ⇒ Show (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

showsPrecIntBabbageTxOut era → ShowS #

showBabbageTxOut era → String #

showList ∷ [BabbageTxOut era] → ShowS #

(EraScript era, Val (Value era)) ⇒ FromCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

(EraScript era, Val (Value era)) ⇒ ToCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

toCBORBabbageTxOut era → Encoding Source #

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

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

(EraScript era, Val (Value era)) ⇒ DecCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

(EraScript era, Val (Value era), MemPack (Script era), MemPack (CompactForm (Value era))) ⇒ DecShareCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Associated Types

type Share (BabbageTxOut era) Source #

(EraScript era, Val (Value era)) ⇒ EncCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

encCBORBabbageTxOut era → Encoding Source #

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

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

NFData (BabbageTxOut era) Source #

Already in NF

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

rnfBabbageTxOut era → () #

(Era era, Eq (Script era), Eq (CompactForm (Value era))) ⇒ Eq (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

(==)BabbageTxOut era → BabbageTxOut era → Bool #

(/=)BabbageTxOut era → BabbageTxOut era → Bool #

(Era era, MemPack (Script era), MemPack (CompactForm (Value era))) ⇒ MemPack (BabbageTxOut era) Source #

This instance is backwards compatible in binary representation with TxOut instances for all previous era

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

(Era era, NoThunks (Script era), Val (Value era)) ⇒ NoThunks (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type Rep (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type Rep (BabbageTxOut era) = D1 ('MetaData "BabbageTxOut" "Cardano.Ledger.Babbage.TxOut" "cardano-ledger-babbage-1.12.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: (C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash))) :+: C1 ('MetaCons "TxOutCompactDatum" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (BinaryData era)))))) :+: (C1 ('MetaCons "TxOutCompactRefScript" 'PrefixI 'False) ((S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Datum era)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Script era)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32))))))
type Share (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

data family TxBody era Source #

The body of a transaction.

Instances

Instances details
Generic (TxBody BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Associated Types

type Rep (TxBody BabbageEra) ∷ TypeType #

Show (TxBody BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

ToCBOR (TxBody BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

DecCBOR (TxBody BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

EncCBOR (TxBody BabbageEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Babbage.TxBody

SafeToHash (TxBody BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

EqRaw (TxBody BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Memoized (TxBody BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Associated Types

type RawType (TxBody BabbageEra) = (r ∷ Type) Source #

NFData (TxBody BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

rnfTxBody BabbageEra → () #

Eq (TxBody BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

NoThunks (TxBody BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

HashAnnotated (TxBody BabbageEra) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

newtype TxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

newtype TxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

newtype TxBody BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

newtype TxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

newtype TxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.8.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () AllegraEra)))))
type Rep (TxBody AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (TxBody AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxBodyRaw))))
type Rep (TxBody BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type Rep (TxBody MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (TxBody MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes MaryTxBodyRaw))))
type Rep (TxBody ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxBodyRaw))))
type RawType (TxBody AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType (TxBody AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type RawType (TxBody BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type RawType (TxBody MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type RawType (TxBody ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

data BabbageTxBodyRaw Source #

Instances

Instances details
Generic BabbageTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Associated Types

type Rep BabbageTxBodyRawTypeType #

Show BabbageTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

DecCBOR BabbageTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

EncCBOR BabbageTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

EqRaw BabbageTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

NFData BabbageTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

rnfBabbageTxBodyRaw → () #

Eq BabbageTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

NoThunks BabbageTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type Rep BabbageTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type Rep BabbageTxBodyRaw = D1 ('MetaData "BabbageTxBodyRaw" "Cardano.Ledger.Babbage.TxBody" "cardano-ledger-babbage-1.12.0.0-inplace" 'False) (C1 ('MetaCons "BabbageTxBodyRaw" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "btbrInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn)) :*: S1 ('MetaSel ('Just "btbrCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn))) :*: (S1 ('MetaSel ('Just "btbrReferenceInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn)) :*: S1 ('MetaSel ('Just "btbrOutputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Sized (TxOut BabbageEra)))))) :*: ((S1 ('MetaSel ('Just "btbrCollateralReturn") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Sized (TxOut BabbageEra)))) :*: S1 ('MetaSel ('Just "btbrTotalCollateral") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin))) :*: (S1 ('MetaSel ('Just "btbrCerts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxCert BabbageEra))) :*: S1 ('MetaSel ('Just "btbrWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Withdrawals)))) :*: (((S1 ('MetaSel ('Just "btbrFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "btbrValidityInterval") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval)) :*: (S1 ('MetaSel ('Just "btbrUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Update BabbageEra))) :*: S1 ('MetaSel ('Just "btbrReqSignerHashes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash 'Witness))))) :*: ((S1 ('MetaSel ('Just "btbrMint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MultiAsset) :*: S1 ('MetaSel ('Just "btbrScriptIntegrityHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptIntegrityHash))) :*: (S1 ('MetaSel ('Just "btbrAuxDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe TxAuxDataHash)) :*: S1 ('MetaSel ('Just "btbrNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Network)))))))
type MemoHashIndex BabbageTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

data BabbageTxBodyUpgradeError Source #

Constructors

BTBUEUpdatesD

The update attempts to update the decentralistion parameter, which is dropped in Babbage.

BTBUEUpdatesExtraEntropy

The update attempts to update the extra entropy, which is dropped in Babbage.

spendInputs'TxBody BabbageEraSet TxIn Source #

Deprecated: In favor of inputsTxBodyL

txfee'TxBody BabbageEraCoin Source #

Deprecated: In favor of feeTxBodyL

vldt'TxBody BabbageEraValidityInterval Source #

Deprecated: In favor of vldtTxBodyL

mint'TxBody BabbageEraMultiAsset Source #

Deprecated: In favor of mintTxBodyL

txOutDataEra era ⇒ BabbageTxOut era → Maybe (Data era) Source #

Deprecated: In favor of dataTxOutL or getDataBabbageTxOut

txOutDataHashBabbageTxOut era → Maybe DataHash Source #

Deprecated: In favor of dataHashTxOutL or getDataHashBabbageTxOut

txOutScriptBabbageTxOut era → Maybe (Script era) Source #

Deprecated: In favor of dataTxOutL or getScriptBabbageTxOut

Orphan instances

AllegraEraTxBody BabbageEra Source # 
Instance details

AlonzoEraTxBody BabbageEra Source # 
Instance details

EraTxBody BabbageEra Source # 
Instance details

MaryEraTxBody BabbageEra Source # 
Instance details

ShelleyEraTxBody BabbageEra Source # 
Instance details

Generic (TxBody BabbageEra) Source # 
Instance details

Associated Types

type Rep (TxBody BabbageEra) ∷ TypeType #

Show (TxBody BabbageEra) Source # 
Instance details

ToCBOR (TxBody BabbageEra) Source # 
Instance details

DecCBOR (TxBody BabbageEra) Source # 
Instance details

EncCBOR (TxBody BabbageEra) Source #

Encodes memoized bytes created upon construction.

Instance details

SafeToHash (TxBody BabbageEra) Source # 
Instance details

EqRaw (TxBody BabbageEra) Source # 
Instance details

Memoized (TxBody BabbageEra) Source # 
Instance details

Associated Types

type RawType (TxBody BabbageEra) = (r ∷ Type) Source #

NFData (TxBody BabbageEra) Source # 
Instance details

Methods

rnfTxBody BabbageEra → () #

Eq (TxBody BabbageEra) Source # 
Instance details

NoThunks (TxBody BabbageEra) Source # 
Instance details

HashAnnotated (TxBody BabbageEra) EraIndependentTxBody Source # 
Instance details