cardano-ledger-babbage-1.11.0.0: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellSafe-Inferred
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 Source #

Methods

fromBabbageTxOut era → Rep (BabbageTxOut era) x Source #

toRep (BabbageTxOut era) x → BabbageTxOut era Source #

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

Defined in Cardano.Ledger.Babbage.TxOut

(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)) ⇒ 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 → () Source #

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

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

(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.11.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 BabbageTxBody era where Source #

Instances

Instances details
Memoized BabbageTxBody Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Associated Types

type RawType BabbageTxBody = (r ∷ TypeType) Source #

Generic (BabbageTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Associated Types

type Rep (BabbageTxBody era) ∷ TypeType Source #

Methods

fromBabbageTxBody era → Rep (BabbageTxBody era) x Source #

toRep (BabbageTxBody era) x → BabbageTxBody era Source #

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

Defined in Cardano.Ledger.Babbage.TxBody.Internal

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

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Methods

toCBORBabbageTxBody era → Encoding Source #

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

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

(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (Annotator (BabbageTxBody era)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Era era ⇒ EncCBOR (BabbageTxBody era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Methods

encCBORBabbageTxBody era → Encoding Source #

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

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

SafeToHash (BabbageTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

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

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Methods

eqRawBabbageTxBody era → BabbageTxBody era → Bool Source #

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

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Methods

rnfBabbageTxBody era → () Source #

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

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Methods

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

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

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

Defined in Cardano.Ledger.Babbage.TxBody.Internal

HashAnnotated (BabbageTxBody era) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

type RawType BabbageTxBody Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

type Rep (BabbageTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

data BabbageTxBodyRaw era Source #

Instances

Instances details
Generic (BabbageTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Associated Types

type Rep (BabbageTxBodyRaw era) ∷ TypeType Source #

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

Defined in Cardano.Ledger.Babbage.TxBody.Internal

(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (BabbageTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (Annotator (BabbageTxBodyRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

(Era era, EncCBOR (TxOut era), EncCBOR (TxCert era), EncCBOR (PParamsUpdate era)) ⇒ EncCBOR (BabbageTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Methods

encCBORBabbageTxBodyRaw era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Methods

eqRawBabbageTxBodyRaw era → BabbageTxBodyRaw era → Bool Source #

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

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Methods

rnfBabbageTxBodyRaw era → () Source #

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

Defined in Cardano.Ledger.Babbage.TxBody.Internal

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

Defined in Cardano.Ledger.Babbage.TxBody.Internal

type MemoHashIndex BabbageTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

type Rep (BabbageTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

type Rep (BabbageTxBodyRaw era) = D1 ('MetaData "BabbageTxBodyRaw" "Cardano.Ledger.Babbage.TxBody.Internal" "cardano-ledger-babbage-1.11.0.0-inplace" 'False) (C1 ('MetaCons "BabbageTxBodyRaw" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "btbrSpendInputs") '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 era)))))) :*: ((S1 ('MetaSel ('Just "btbrCollateralReturn") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Sized (TxOut era)))) :*: S1 ('MetaSel ('Just "btbrTotalCollateral") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin))) :*: (S1 ('MetaSel ('Just "btbrCerts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxCert era))) :*: S1 ('MetaSel ('Just "btbrWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Withdrawals)))) :*: (((S1 ('MetaSel ('Just "btbrTxFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "btbrValidityInterval") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval)) :*: (S1 ('MetaSel ('Just "btbrUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Update era))) :*: 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 "btbrTxNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Network)))))))

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.

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