Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Babbage.TxBody.Internal

Contents

Orphan instances

Description

Provides Babbage 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.

Synopsis

data BabbageTxOut era where
- TxOutCompactDatum !CompactAddr !(CompactForm (Value era)) !(BinaryData era)
- TxOutCompactRefScript !CompactAddr !(CompactForm (Value era)) !(Datum era) !(Script era)
- pattern BabbageTxOut ∷ (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → Datum era → StrictMaybe (Script era) → BabbageTxOut era
- pattern TxOutCompact ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → BabbageTxOut era
- pattern TxOutCompactDH ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → BabbageTxOut era
allSizedOutputsBabbageTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era)))
babbageMinUTxOValue ∷ BabbageEraPParams era ⇒ PParams era → Sized a → Coin
newtype BabbageTxBody era where
- TxBodyConstr (MemoBytes (BabbageTxBodyRaw era))
- pattern BabbageTxBody ∷ ∀ era. BabbageEraTxBody era ⇒ Set TxIn → Set TxIn → Set TxIn → StrictSeq (Sized (TxOut era)) → StrictMaybe (Sized (TxOut era)) → StrictMaybe Coin → StrictSeq (TxCert era) → Withdrawals → Coin → ValidityInterval → StrictMaybe (Update era) → Set (KeyHash 'Witness) → MultiAsset → StrictMaybe ScriptIntegrityHash → StrictMaybe TxAuxDataHash → StrictMaybe Network → BabbageTxBody era
data BabbageTxBodyRaw era = BabbageTxBodyRaw {
- btbrSpendInputs ∷ !(Set TxIn)
- btbrCollateralInputs ∷ !(Set TxIn)
- btbrReferenceInputs ∷ !(Set TxIn)
- btbrOutputs ∷ !(StrictSeq (Sized (TxOut era)))
- btbrCollateralReturn ∷ !(StrictMaybe (Sized (TxOut era)))
- btbrTotalCollateral ∷ !(StrictMaybe Coin)
- btbrCerts ∷ !(StrictSeq (TxCert era))
- btbrWithdrawals ∷ !Withdrawals
- btbrTxFee ∷ !Coin
- btbrValidityInterval ∷ !ValidityInterval
- btbrUpdate ∷ !(StrictMaybe (Update era))
- btbrReqSignerHashes ∷ !(Set (KeyHash 'Witness))
- btbrMint ∷ !MultiAsset
- btbrScriptIntegrityHash ∷ !(StrictMaybe ScriptIntegrityHash)
- btbrAuxDataHash ∷ !(StrictMaybe TxAuxDataHash)
- btbrTxNetworkId ∷ !(StrictMaybe Network)
}
data BabbageTxBodyUpgradeError
- = BTBUEUpdatesD
- | BTBUEUpdatesExtraEntropy
babbageAllInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn)
babbageSpendableInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn)
class (AlonzoEraTxBody era, BabbageEraTxOut era) ⇒ BabbageEraTxBody era where
- sizedOutputsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (Sized (TxOut era)))
- referenceInputsTxBodyL ∷ Lens' (TxBody era) (Set TxIn)
- totalCollateralTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Coin)
- collateralReturnTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (TxOut era))
- sizedCollateralReturnTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Sized (TxOut era)))
- allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era)))
spendInputs' ∷ BabbageTxBody era → Set TxIn
collateralInputs' ∷ BabbageTxBody era → Set TxIn
referenceInputs' ∷ BabbageTxBody era → Set TxIn
outputs' ∷ BabbageTxBody era → StrictSeq (TxOut era)
collateralReturn' ∷ BabbageTxBody era → StrictMaybe (TxOut era)
totalCollateral' ∷ BabbageTxBody era → StrictMaybe Coin
certs' ∷ BabbageTxBody era → StrictSeq (TxCert era)
withdrawals' ∷ BabbageTxBody era → Withdrawals
txfee' ∷ BabbageTxBody era → Coin
vldt' ∷ BabbageTxBody era → ValidityInterval
update' ∷ BabbageTxBody era → StrictMaybe (Update era)
reqSignerHashes' ∷ BabbageTxBody era → Set (KeyHash 'Witness)
mint' ∷ BabbageTxBody era → MultiAsset
scriptIntegrityHash' ∷ BabbageTxBody era → StrictMaybe ScriptIntegrityHash
adHash' ∷ BabbageTxBody era → StrictMaybe TxAuxDataHash
txnetworkid' ∷ BabbageTxBody era → StrictMaybe Network
getEitherAddrBabbageTxOut ∷ BabbageTxOut era → Either Addr CompactAddr
data EraIndependentScriptIntegrity
type ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity
txOutData ∷ Era era ⇒ BabbageTxOut era → Maybe (Data era)
txOutDataHash ∷ BabbageTxOut era → Maybe DataHash
txOutScript ∷ BabbageTxOut era → Maybe (Script era)

Documentation

data BabbageTxOut era Source #

Constructors

TxOutCompactDatum !CompactAddr !(CompactForm (Value era)) !(BinaryData era)
TxOutCompactRefScript !CompactAddr !(CompactForm (Value era)) !(Datum era) !(Script era)

Bundled Patterns

pattern BabbageTxOut ∷ (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → Datum era → StrictMaybe (Script era) → BabbageTxOut era
pattern TxOutCompact ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → BabbageTxOut era
pattern TxOutCompactDH ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → 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 Methods toJSON ∷ BabbageTxOut era → Value Source # toEncoding ∷ BabbageTxOut era → Encoding Source # toJSONList ∷ [BabbageTxOut era] → Value Source # toEncodingList ∷ [BabbageTxOut era] → Encoding Source # omitField ∷ BabbageTxOut era → Bool Source #
Generic (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Associated Types type Rep (BabbageTxOut era) ∷ Type → Type # Methods from ∷ BabbageTxOut era → Rep (BabbageTxOut era) x # to ∷ Rep (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 showsPrec ∷ Int → BabbageTxOut era → ShowS # show ∷ BabbageTxOut era → String # showList ∷ [BabbageTxOut era] → ShowS #
(EraScript era, Val (Value era)) ⇒ FromCBOR (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods fromCBOR ∷ Decoder s (BabbageTxOut era) Source # label ∷ Proxy (BabbageTxOut era) → Text Source #
(EraScript era, Val (Value era)) ⇒ ToCBOR (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods toCBOR ∷ BabbageTxOut 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 Methods decCBOR ∷ Decoder s (BabbageTxOut era) Source # dropCBOR ∷ Proxy (BabbageTxOut era) → Decoder s () Source # label ∷ Proxy (BabbageTxOut era) → Text Source #
(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 # Methods getShare ∷ BabbageTxOut era → Share (BabbageTxOut era) Source # decShareCBOR ∷ Share (BabbageTxOut era) → Decoder s (BabbageTxOut era) Source # decSharePlusCBOR ∷ StateT (Share (BabbageTxOut era)) (Decoder s) (BabbageTxOut era) Source #
(EraScript era, Val (Value era)) ⇒ EncCBOR (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods encCBOR ∷ BabbageTxOut 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 rnf ∷ BabbageTxOut 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 Methods typeName ∷ String Source # packedByteCount ∷ BabbageTxOut era → Int Source # packM ∷ BabbageTxOut era → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (BabbageTxOut era) Source #
(Era era, NoThunks (Script era), Val (Value era)) ⇒ NoThunks (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods noThunks ∷ Context → BabbageTxOut era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BabbageTxOut era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BabbageTxOut era) → String Source #
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 ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: (C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash))) :+: C1 ('MetaCons "TxOutCompactDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (BinaryData era)))))) :+: (C1 ('MetaCons "TxOutCompactRefScript" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Datum era)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Script era)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32))))))
type Share (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut type Share (BabbageTxOut era) = Interns (Credential 'Staking)

allSizedOutputsBabbageTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era))) Source #

babbageMinUTxOValue ∷ BabbageEraPParams era ⇒ PParams era → Sized a → Coin Source #

newtype BabbageTxBody era Source #

Constructors

TxBodyConstr (MemoBytes (BabbageTxBodyRaw era))

Bundled Patterns

pattern BabbageTxBody ∷ ∀ era. BabbageEraTxBody era ⇒ Set TxIn → Set TxIn → Set TxIn → StrictSeq (Sized (TxOut era)) → StrictMaybe (Sized (TxOut era)) → StrictMaybe Coin → StrictSeq (TxCert era) → Withdrawals → Coin → ValidityInterval → StrictMaybe (Update era) → Set (KeyHash 'Witness) → MultiAsset → StrictMaybe ScriptIntegrityHash → StrictMaybe TxAuxDataHash → StrictMaybe Network → BabbageTxBody era

Instances

Instances details

Generic (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Associated Types type Rep (BabbageTxBody era) ∷ Type → Type # Methods from ∷ BabbageTxBody era → Rep (BabbageTxBody era) x # to ∷ Rep (BabbageTxBody era) x → BabbageTxBody era #
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods showsPrec ∷ Int → BabbageTxBody era → ShowS # show ∷ BabbageTxBody era → String # showList ∷ [BabbageTxBody era] → ShowS #
Typeable era ⇒ ToCBOR (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods toCBOR ∷ BabbageTxBody 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 (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods decCBOR ∷ Decoder s (BabbageTxBody era) Source # dropCBOR ∷ Proxy (BabbageTxBody era) → Decoder s () Source # label ∷ Proxy (BabbageTxBody era) → Text 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 Methods decCBOR ∷ Decoder s (Annotator (BabbageTxBody era)) Source # dropCBOR ∷ Proxy (Annotator (BabbageTxBody era)) → Decoder s () Source # label ∷ Proxy (Annotator (BabbageTxBody era)) → Text Source #
Era era ⇒ EncCBOR (BabbageTxBody era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods encCBOR ∷ BabbageTxBody 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 Methods originalBytes ∷ BabbageTxBody era → ByteString Source # originalBytesSize ∷ BabbageTxBody era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → BabbageTxBody era → SafeHash i 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 eqRaw ∷ BabbageTxBody era → BabbageTxBody era → Bool Source #
Memoized (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Associated Types type RawType (BabbageTxBody era) = (r ∷ Type) Source # Methods getMemoBytes ∷ BabbageTxBody era → MemoBytes (RawType (BabbageTxBody era)) wrapMemoBytes ∷ MemoBytes (RawType (BabbageTxBody era)) → BabbageTxBody era
(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 rnf ∷ BabbageTxBody era → () #
(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 # (/=) ∷ BabbageTxBody era → BabbageTxBody era → Bool #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods noThunks ∷ Context → BabbageTxBody era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BabbageTxBody era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BabbageTxBody era) → String Source #
HashAnnotated (BabbageTxBody era) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods hashAnnotated ∷ BabbageTxBody era → SafeHash EraIndependentTxBody Source #
type Rep (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type Rep (BabbageTxBody era) = Rep (MemoBytes (BabbageTxBodyRaw era))
type RawType (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type RawType (BabbageTxBody era) = BabbageTxBodyRaw era

data BabbageTxBodyRaw era Source #

Constructors

BabbageTxBodyRaw

Fields

btbrSpendInputs ∷ !(Set TxIn)
btbrCollateralInputs ∷ !(Set TxIn)
btbrReferenceInputs ∷ !(Set TxIn)
btbrOutputs ∷ !(StrictSeq (Sized (TxOut era)))
btbrCollateralReturn ∷ !(StrictMaybe (Sized (TxOut era)))
btbrTotalCollateral ∷ !(StrictMaybe Coin)
btbrCerts ∷ !(StrictSeq (TxCert era))
btbrWithdrawals ∷ !Withdrawals
btbrTxFee ∷ !Coin
btbrValidityInterval ∷ !ValidityInterval
btbrUpdate ∷ !(StrictMaybe (Update era))
btbrReqSignerHashes ∷ !(Set (KeyHash 'Witness))
btbrMint ∷ !MultiAsset
btbrScriptIntegrityHash ∷ !(StrictMaybe ScriptIntegrityHash)
btbrAuxDataHash ∷ !(StrictMaybe TxAuxDataHash)
btbrTxNetworkId ∷ !(StrictMaybe Network)

Instances

Instances details

Generic (BabbageTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Associated Types type Rep (BabbageTxBodyRaw era) ∷ Type → Type # Methods from ∷ BabbageTxBodyRaw era → Rep (BabbageTxBodyRaw era) x # to ∷ Rep (BabbageTxBodyRaw era) x → BabbageTxBodyRaw era #
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (BabbageTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods showsPrec ∷ Int → BabbageTxBodyRaw era → ShowS # show ∷ BabbageTxBodyRaw era → String # showList ∷ [BabbageTxBodyRaw era] → ShowS #
(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (BabbageTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods decCBOR ∷ Decoder s (BabbageTxBodyRaw era) Source # dropCBOR ∷ Proxy (BabbageTxBodyRaw era) → Decoder s () Source # label ∷ Proxy (BabbageTxBodyRaw era) → Text Source #
(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 Methods decCBOR ∷ Decoder s (Annotator (BabbageTxBodyRaw era)) Source # dropCBOR ∷ Proxy (Annotator (BabbageTxBodyRaw era)) → Decoder s () Source # label ∷ Proxy (Annotator (BabbageTxBodyRaw era)) → Text Source #
(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 encCBOR ∷ BabbageTxBodyRaw 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 eqRaw ∷ BabbageTxBodyRaw 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 rnf ∷ BabbageTxBodyRaw era → () #
(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (BabbageTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods (==) ∷ BabbageTxBodyRaw era → BabbageTxBodyRaw era → Bool # (/=) ∷ BabbageTxBodyRaw era → BabbageTxBodyRaw era → Bool #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (BabbageTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods noThunks ∷ Context → BabbageTxBodyRaw era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BabbageTxBodyRaw era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BabbageTxBodyRaw era) → String Source #
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)))))))
type MemoHashIndex (BabbageTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type MemoHashIndex (BabbageTxBodyRaw era) = EraIndependentTxBody

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.

Instances

Instances details

Show BabbageTxBodyUpgradeError Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods showsPrec ∷ Int → BabbageTxBodyUpgradeError → ShowS # show ∷ BabbageTxBodyUpgradeError → String # showList ∷ [BabbageTxBodyUpgradeError] → ShowS #
Eq BabbageTxBodyUpgradeError Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal Methods (==) ∷ BabbageTxBodyUpgradeError → BabbageTxBodyUpgradeError → Bool # (/=) ∷ BabbageTxBodyUpgradeError → BabbageTxBodyUpgradeError → Bool #

babbageAllInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn) Source #

babbageSpendableInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn) Source #

class (AlonzoEraTxBody era, BabbageEraTxOut era) ⇒ BabbageEraTxBody era where Source #

Methods

sizedOutputsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (Sized (TxOut era))) Source #

referenceInputsTxBodyL ∷ Lens' (TxBody era) (Set TxIn) Source #

totalCollateralTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Coin) Source #

collateralReturnTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (TxOut era)) Source #

sizedCollateralReturnTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Sized (TxOut era))) Source #

allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era))) Source #

Instances

Instances details

BabbageEraTxBody BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxBody.Internal

Methods

sizedOutputsTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictSeq (Sized (TxOut BabbageEra))) Source #

referenceInputsTxBodyL ∷ Lens' (TxBody BabbageEra) (Set TxIn) Source #

totalCollateralTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe Coin) Source #

collateralReturnTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe (TxOut BabbageEra)) Source #

sizedCollateralReturnTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe (Sized (TxOut BabbageEra))) Source #

allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody BabbageEra) (StrictSeq (Sized (TxOut BabbageEra))) Source #

spendInputs' ∷ BabbageTxBody era → Set TxIn Source #

collateralInputs' ∷ BabbageTxBody era → Set TxIn Source #

referenceInputs' ∷ BabbageTxBody era → Set TxIn Source #

outputs' ∷ BabbageTxBody era → StrictSeq (TxOut era) Source #

collateralReturn' ∷ BabbageTxBody era → StrictMaybe (TxOut era) Source #

totalCollateral' ∷ BabbageTxBody era → StrictMaybe Coin Source #

certs' ∷ BabbageTxBody era → StrictSeq (TxCert era) Source #

withdrawals' ∷ BabbageTxBody era → Withdrawals Source #

txfee' ∷ BabbageTxBody era → Coin Source #

vldt' ∷ BabbageTxBody era → ValidityInterval Source #

update' ∷ BabbageTxBody era → StrictMaybe (Update era) Source #

reqSignerHashes' ∷ BabbageTxBody era → Set (KeyHash 'Witness) Source #

mint' ∷ BabbageTxBody era → MultiAsset Source #

scriptIntegrityHash' ∷ BabbageTxBody era → StrictMaybe ScriptIntegrityHash Source #

adHash' ∷ BabbageTxBody era → StrictMaybe TxAuxDataHash Source #

txnetworkid' ∷ BabbageTxBody era → StrictMaybe Network Source #

getEitherAddrBabbageTxOut ∷ BabbageTxOut era → Either Addr CompactAddr Source #

data EraIndependentScriptIntegrity Source #

Instances

Instances details

Era era ⇒ HashAnnotated (ScriptIntegrity era) EraIndependentScriptIntegrity
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods hashAnnotated ∷ ScriptIntegrity era → SafeHash EraIndependentScriptIntegrity Source #

type ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity Source #

txOutData ∷ Era era ⇒ BabbageTxOut era → Maybe (Data era) Source #

Deprecated: In favor of dataTxOutL or getDataBabbageTxOut

txOutDataHash ∷ BabbageTxOut era → Maybe DataHash Source #

Deprecated: In favor of dataHashTxOutL or getDataHashBabbageTxOut

txOutScript ∷ BabbageTxOut era → Maybe (Script era) Source #

Deprecated: In favor of dataTxOutL or getScriptBabbageTxOut

Orphan instances

AllegraEraTxBody BabbageEra Source #
Instance details Methods vldtTxBodyL ∷ Lens' (TxBody BabbageEra) ValidityInterval Source #
AlonzoEraTxBody BabbageEra Source #
Instance details Methods collateralInputsTxBodyL ∷ Lens' (TxBody BabbageEra) (Set TxIn) Source # reqSignerHashesTxBodyL ∷ Lens' (TxBody BabbageEra) (Set (KeyHash 'Witness)) Source # scriptIntegrityHashTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe ScriptIntegrityHash) Source # networkIdTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe Network) Source # redeemerPointer ∷ TxBody BabbageEra → PlutusPurpose AsItem BabbageEra → StrictMaybe (PlutusPurpose AsIx BabbageEra) Source # redeemerPointerInverse ∷ TxBody BabbageEra → PlutusPurpose AsIx BabbageEra → StrictMaybe (PlutusPurpose AsIxItem BabbageEra) Source #
EraTxBody BabbageEra Source #
Instance details Associated Types type TxBody BabbageEra = (r ∷ Type) Source # type TxBodyUpgradeError BabbageEra Source # Methods mkBasicTxBody ∷ TxBody BabbageEra Source # inputsTxBodyL ∷ Lens' (TxBody BabbageEra) (Set TxIn) Source # outputsTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictSeq (TxOut BabbageEra)) Source # feeTxBodyL ∷ Lens' (TxBody BabbageEra) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody BabbageEra) Withdrawals Source # auxDataHashTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe TxAuxDataHash) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody BabbageEra) (Set TxIn) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody BabbageEra) (Set TxIn) Source # certsTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictSeq (TxCert BabbageEra)) Source # getTotalDepositsTxBody ∷ PParams BabbageEra → (KeyHash 'StakePool → Bool) → TxBody BabbageEra → Coin Source # getTotalRefundsTxBody ∷ PParams BabbageEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody BabbageEra → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody BabbageEra → Int Source # upgradeTxBody ∷ TxBody (PreviousEra BabbageEra) → Either (TxBodyUpgradeError BabbageEra) (TxBody BabbageEra) Source #
MaryEraTxBody BabbageEra Source #
Instance details Methods mintTxBodyL ∷ Lens' (TxBody BabbageEra) MultiAsset Source # mintValueTxBodyF ∷ SimpleGetter (TxBody BabbageEra) (Value BabbageEra) Source # mintedTxBodyF ∷ SimpleGetter (TxBody BabbageEra) (Set PolicyID) Source #
ShelleyEraTxBody BabbageEra Source #
Instance details Methods ttlTxBodyL ∷ Lens' (TxBody BabbageEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody BabbageEra) (StrictMaybe (Update BabbageEra)) Source #