cardano-ledger-babbage-1.10.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) ⇒ Addr (EraCrypto era) → Value era → Datum era → StrictMaybe (Script era) → BabbageTxOut era 
pattern TxOutCompact ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr (EraCrypto era) → CompactForm (Value era) → BabbageTxOut era 
pattern TxOutCompactDH ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr (EraCrypto era) → CompactForm (Value era) → DataHash (EraCrypto era) → BabbageTxOut 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.10.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :*: 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 (EraCrypto era))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DataHash (EraCrypto era))))) :+: C1 ('MetaCons "TxOutCompactDatum" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :*: (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 (EraCrypto era))) :*: 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 (EraCrypto era))) :*: (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 (EraCrypto era))) :*: 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 #

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

SafeToHash (BabbageTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

(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

c ~ EraCrypto era ⇒ HashAnnotated (BabbageTxBody era) EraIndependentTxBody c 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.10.0.0-inplace" 'False) (C1 ('MetaCons "BabbageTxBodyRaw" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "btbrSpendInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era)))) :*: S1 ('MetaSel ('Just "btbrCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era))))) :*: (S1 ('MetaSel ('Just "btbrReferenceInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era)))) :*: 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 (EraCrypto era)))))) :*: (((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 (EraCrypto era)))))) :*: ((S1 ('MetaSel ('Just "btbrMint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MultiAsset (EraCrypto era))) :*: S1 ('MetaSel ('Just "btbrScriptIntegrityHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptIntegrityHash (EraCrypto era))))) :*: (S1 ('MetaSel ('Just "btbrAuxDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (AuxiliaryDataHash (EraCrypto era)))) :*: 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

txOutDataHashEra era ⇒ BabbageTxOut era → Maybe (DataHash (EraCrypto era)) Source #

Deprecated: In favor of dataHashTxOutL or getDataHashBabbageTxOut

txOutScriptBabbageTxOut era → Maybe (Script era) Source #

Deprecated: In favor of dataTxOutL or getScriptBabbageTxOut