Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Babbage.TxBody

Contents

Orphan instances

Synopsis

data BabbageTxOut era where
- TxOutCompactDatum !(CompactAddr (EraCrypto era)) !(CompactForm (Value era)) !(BinaryData era)
- TxOutCompactRefScript !(CompactAddr (EraCrypto era)) !(CompactForm (Value era)) !(Datum era) !(Script era)
- 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
allSizedOutputsBabbageTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era)))
babbageMinUTxOValue ∷ BabbageEraPParams era ⇒ PParams era → Sized a → Coin
data BabbageTxBody era where
- pattern BabbageTxBody ∷ BabbageEraTxBody era ⇒ Set (TxIn (EraCrypto era)) → Set (TxIn (EraCrypto era)) → Set (TxIn (EraCrypto era)) → StrictSeq (Sized (TxOut era)) → StrictMaybe (Sized (TxOut era)) → StrictMaybe Coin → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → Coin → ValidityInterval → StrictMaybe (Update era) → Set (KeyHash 'Witness (EraCrypto era)) → MultiAsset (EraCrypto era) → StrictMaybe (ScriptIntegrityHash (EraCrypto era)) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → StrictMaybe Network → BabbageTxBody era
data BabbageTxBodyRaw era
data BabbageTxBodyUpgradeError
- = BTBUEUpdatesD
- | BTBUEUpdatesExtraEntropy
babbageAllInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set (TxIn (EraCrypto era)))
babbageSpendableInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set (TxIn (EraCrypto era)))
class (AlonzoEraTxBody era, BabbageEraTxOut era) ⇒ BabbageEraTxBody era where
- sizedOutputsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (Sized (TxOut era)))
- referenceInputsTxBodyL ∷ Lens' (TxBody era) (Set (TxIn (EraCrypto era)))
- 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 (EraCrypto era))
collateralInputs' ∷ BabbageTxBody era → Set (TxIn (EraCrypto era))
referenceInputs' ∷ BabbageTxBody era → Set (TxIn (EraCrypto era))
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 (EraCrypto era)
txfee' ∷ BabbageTxBody era → Coin
vldt' ∷ BabbageTxBody era → ValidityInterval
update' ∷ BabbageTxBody era → StrictMaybe (Update era)
reqSignerHashes' ∷ BabbageTxBody era → Set (KeyHash 'Witness (EraCrypto era))
mint' ∷ BabbageTxBody era → MultiAsset (EraCrypto era)
scriptIntegrityHash' ∷ BabbageTxBody era → StrictMaybe (ScriptIntegrityHash (EraCrypto era))
adHash' ∷ BabbageTxBody era → StrictMaybe (AuxiliaryDataHash (EraCrypto era))
txnetworkid' ∷ BabbageTxBody era → StrictMaybe Network
getEitherAddrBabbageTxOut ∷ (HasCallStack, HashAlgorithm (ADDRHASH (EraCrypto era))) ⇒ BabbageTxOut era → Either (Addr (EraCrypto era)) (CompactAddr (EraCrypto era))
data EraIndependentScriptIntegrity
type ScriptIntegrityHash c = SafeHash c EraIndependentScriptIntegrity
txOutData ∷ Era era ⇒ BabbageTxOut era → Maybe (Data era)
txOutDataHash ∷ Era era ⇒ BabbageTxOut era → Maybe (DataHash (EraCrypto era))
txOutScript ∷ BabbageTxOut era → Maybe (Script era)

Documentation

data BabbageTxOut era Source #

Constructors

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

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 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 Source # Methods from ∷ BabbageTxOut era → Rep (BabbageTxOut era) x Source # to ∷ Rep (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 Methods showsPrec ∷ Int → BabbageTxOut era → ShowS Source # show ∷ BabbageTxOut era → String Source # showList ∷ [BabbageTxOut era] → ShowS Source #
(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)) ⇒ 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 → () 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 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.8.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :: 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 (EraCrypto era))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DataHash (EraCrypto era))))) :+: C1 ('MetaCons "TxOutCompactDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :: (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 (EraCrypto era))) :: 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 (EraCrypto era))) :: (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 (EraCrypto era))) :: 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 (EraCrypto era))

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

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

data BabbageTxBody era where Source #

Bundled Patterns

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

Instances

Instances details

Memoized BabbageTxBody Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Associated Types type RawType BabbageTxBody = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ BabbageTxBody era → MemoBytes (RawType BabbageTxBody) era wrapMemoBytes ∷ MemoBytes (RawType BabbageTxBody) era → BabbageTxBody era
Generic (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Associated Types type Rep (BabbageTxBody era) ∷ Type → Type Source # Methods from ∷ BabbageTxBody era → Rep (BabbageTxBody era) x Source # to ∷ Rep (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 Methods showsPrec ∷ Int → BabbageTxBody era → ShowS Source # show ∷ BabbageTxBody era → String Source # showList ∷ [BabbageTxBody era] → ShowS Source #
Typeable era ⇒ ToCBOR (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody 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 (Annotator (BabbageTxBody era)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody 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 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 #
(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods eqRaw ∷ BabbageTxBody era → BabbageTxBody era → Bool Source #
SafeToHash (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods originalBytes ∷ BabbageTxBody era → ByteString Source # originalBytesSize ∷ BabbageTxBody era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → BabbageTxBody era → SafeHash c index Source #
(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods rnf ∷ BabbageTxBody 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 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 Methods noThunks ∷ Context → BabbageTxBody era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BabbageTxBody era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BabbageTxBody era) → String Source #
c ~ EraCrypto era ⇒ HashAnnotated (BabbageTxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods indexProxy ∷ BabbageTxBody era → Proxy EraIndependentTxBody Source # hashAnnotated ∷ BabbageTxBody era → SafeHash c EraIndependentTxBody Source #
type RawType BabbageTxBody Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody type RawType BabbageTxBody = BabbageTxBodyRaw
type Rep (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody type Rep (BabbageTxBody era) = Rep (MemoBytes BabbageTxBodyRaw era)

data BabbageTxBodyRaw era Source #

Instances

Instances details

Generic (BabbageTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Associated Types type Rep (BabbageTxBodyRaw era) ∷ Type → Type Source # Methods from ∷ BabbageTxBodyRaw era → Rep (BabbageTxBodyRaw era) x Source # to ∷ Rep (BabbageTxBodyRaw era) x → BabbageTxBodyRaw era Source #
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (BabbageTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods showsPrec ∷ Int → BabbageTxBodyRaw era → ShowS Source # show ∷ BabbageTxBodyRaw era → String Source # showList ∷ [BabbageTxBodyRaw era] → ShowS Source #
(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (BabbageTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody 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 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 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 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 Methods rnf ∷ BabbageTxBodyRaw 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 Methods (==) ∷ BabbageTxBodyRaw era → BabbageTxBodyRaw era → Bool Source # (/=) ∷ BabbageTxBodyRaw era → BabbageTxBodyRaw era → Bool Source #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (BabbageTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods noThunks ∷ Context → BabbageTxBodyRaw era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BabbageTxBodyRaw era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BabbageTxBodyRaw era) → String Source #
type MemoHashIndex BabbageTxBodyRaw Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody type MemoHashIndex BabbageTxBodyRaw = EraIndependentTxBody
type Rep (BabbageTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody type Rep (BabbageTxBodyRaw era) = D1 ('MetaData "BabbageTxBodyRaw" "Cardano.Ledger.Babbage.TxBody" "cardano-ledger-babbage-1.8.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.

Instances

Instances details

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

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

babbageSpendableInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set (TxIn (EraCrypto era))) 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 (EraCrypto era))) 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

Crypto c ⇒ BabbageEraTxBody (BabbageEra c) Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

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

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

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

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

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

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

spendInputs' ∷ BabbageTxBody era → Set (TxIn (EraCrypto era)) Source #

collateralInputs' ∷ BabbageTxBody era → Set (TxIn (EraCrypto era)) Source #

referenceInputs' ∷ BabbageTxBody era → Set (TxIn (EraCrypto era)) 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 (EraCrypto era) Source #

txfee' ∷ BabbageTxBody era → Coin Source #

vldt' ∷ BabbageTxBody era → ValidityInterval Source #

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

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

mint' ∷ BabbageTxBody era → MultiAsset (EraCrypto era) Source #

scriptIntegrityHash' ∷ BabbageTxBody era → StrictMaybe (ScriptIntegrityHash (EraCrypto era)) Source #

adHash' ∷ BabbageTxBody era → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) Source #

txnetworkid' ∷ BabbageTxBody era → StrictMaybe Network Source #

getEitherAddrBabbageTxOut ∷ (HasCallStack, HashAlgorithm (ADDRHASH (EraCrypto era))) ⇒ BabbageTxOut era → Either (Addr (EraCrypto era)) (CompactAddr (EraCrypto era)) Source #

data EraIndependentScriptIntegrity Source #

Instances

Instances details

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

type ScriptIntegrityHash c = SafeHash c EraIndependentScriptIntegrity Source #

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

Deprecated: In favor of dataTxOutL or getDataBabbageTxOut

txOutDataHash ∷ Era era ⇒ BabbageTxOut era → Maybe (DataHash (EraCrypto era)) Source #

Deprecated: In favor of dataHashTxOutL or getDataHashBabbageTxOut

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

Deprecated: In favor of dataTxOutL or getScriptBabbageTxOut

Orphan instances

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