Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Babbage.Tx

Contents

Orphan instances

Documentation

data AlonzoTx era Source #

Constructors

AlonzoTx
Fields body ∷ !(TxBody era) wits ∷ !(TxWits era) isValid ∷ !IsValid auxiliaryData ∷ !(StrictMaybe (TxAuxData era))

Instances

Instances details

Generic (AlonzoTx era)
Instance details Defined in Cardano.Ledger.Alonzo.Tx Associated Types type Rep (AlonzoTx era) ∷ Type → Type Source # Methods from ∷ AlonzoTx era → Rep (AlonzoTx era) x Source # to ∷ Rep (AlonzoTx era) x → AlonzoTx era Source #
(Era era, Show (TxBody era), Show (TxAuxData era), Show (Script era), Show (TxWits era)) ⇒ Show (AlonzoTx era)
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods showsPrec ∷ Int → AlonzoTx era → ShowS Source # show ∷ AlonzoTx era → String Source # showList ∷ [AlonzoTx era] → ShowS Source #
(Era era, EncCBOR (TxBody era), EncCBOR (TxAuxData era), EncCBOR (TxWits era)) ⇒ ToCBOR (AlonzoTx era)
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods toCBOR ∷ AlonzoTx era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTx era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTx era] → Size Source #
(Typeable era, DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era))) ⇒ DecCBOR (Annotator (AlonzoTx era))
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods decCBOR ∷ Decoder s (Annotator (AlonzoTx era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoTx era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoTx era)) → Text Source #
(Era era, EncCBOR (TxBody era), EncCBOR (TxAuxData era), EncCBOR (TxWits era)) ⇒ EncCBOR (AlonzoTx era)
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods encCBOR ∷ AlonzoTx era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTx era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTx era] → Size Source #
(Tx era ~ AlonzoTx era, AlonzoEraTx era) ⇒ EqRaw (AlonzoTx era)
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods eqRaw ∷ AlonzoTx era → AlonzoTx era → Bool Source #
(Era era, NFData (TxWits era), NFData (TxAuxData era), NFData (TxBody era)) ⇒ NFData (AlonzoTx era)
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods rnf ∷ AlonzoTx era → () Source #
(Era era, Eq (TxBody era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (AlonzoTx era)
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods (==) ∷ AlonzoTx era → AlonzoTx era → Bool Source # (/=) ∷ AlonzoTx era → AlonzoTx era → Bool Source #
(Era era, NoThunks (TxWits era), NoThunks (TxAuxData era), NoThunks (TxBody era)) ⇒ NoThunks (AlonzoTx era)
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods noThunks ∷ Context → AlonzoTx era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTx era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTx era) → String Source #
type Rep (AlonzoTx era)
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep (AlonzoTx era) = D1 ('MetaData "AlonzoTx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.13.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTx" 'PrefixI 'True) ((S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxBody era)) :: S1 ('MetaSel ('Just "wits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxWits era))) :: (S1 ('MetaSel ('Just "isValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IsValid) :*: S1 ('MetaSel ('Just "auxiliaryData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (TxAuxData era))))))

data BabbageTxBody era where Source #

Bundled Patterns

pattern BabbageTxBody ∷ 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

Memoized BabbageTxBody Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal 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.Internal 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.Internal 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.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 (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 #
(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 → () 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 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 RawType BabbageTxBody Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type RawType BabbageTxBody = BabbageTxBodyRaw
type Rep (BabbageTxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody.Internal type Rep (BabbageTxBody era) = Rep (MemoBytes BabbageTxBodyRaw era)

module Cardano.Ledger.Alonzo.Tx

Orphan instances

AlonzoEraTx BabbageEra Source #
Instance details Methods isValidTxL ∷ Lens' (Tx BabbageEra) IsValid Source #
EraSegWits BabbageEra Source #
Instance details Associated Types type TxSeq BabbageEra = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq BabbageEra → StrictSeq (Tx BabbageEra) Source # toTxSeq ∷ StrictSeq (Tx BabbageEra) → TxSeq BabbageEra Source # hashTxSeq ∷ TxSeq BabbageEra → Hash HASH EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #
EraTx BabbageEra Source #
Instance details Associated Types type Tx BabbageEra = (r ∷ Type) Source # type TxUpgradeError BabbageEra Source # Methods mkBasicTx ∷ TxBody BabbageEra → Tx BabbageEra Source # bodyTxL ∷ Lens' (Tx BabbageEra) (TxBody BabbageEra) Source # witsTxL ∷ Lens' (Tx BabbageEra) (TxWits BabbageEra) Source # auxDataTxL ∷ Lens' (Tx BabbageEra) (StrictMaybe (TxAuxData BabbageEra)) Source # sizeTxF ∷ SimpleGetter (Tx BabbageEra) Integer Source # wireSizeTxF ∷ SimpleGetter (Tx BabbageEra) Word32 Source # validateNativeScript ∷ Tx BabbageEra → NativeScript BabbageEra → Bool Source # getMinFeeTx ∷ PParams BabbageEra → Tx BabbageEra → Int → Coin Source # upgradeTx ∷ Tx (PreviousEra BabbageEra) → Either (TxUpgradeError BabbageEra) (Tx BabbageEra) Source #