Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Babbage.Tx

Contents

Orphan instances

Synopsis

data AlonzoTx era = AlonzoTx {
- atBody ∷ !(TxBody era)
- atWits ∷ !(TxWits era)
- atIsValid ∷ !IsValid
- atAuxData ∷ !(StrictMaybe (TxAuxData era))
}
data family TxBody era
module Cardano.Ledger.Alonzo.Tx

Documentation

data AlonzoTx era Source #

Constructors

AlonzoTx
Fields atBody ∷ !(TxBody era) atWits ∷ !(TxWits era) atIsValid ∷ !IsValid atAuxData ∷ !(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 # Methods from ∷ AlonzoTx era → Rep (AlonzoTx era) x # to ∷ Rep (AlonzoTx era) x → AlonzoTx era #
(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 # show ∷ AlonzoTx era → String # showList ∷ [AlonzoTx era] → ShowS #
(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, Typeable (TxBody era), Typeable (TxWits era), Typeable (TxAuxData 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 → () #
(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 # (/=) ∷ AlonzoTx era → AlonzoTx era → Bool #
(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.14.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTx" 'PrefixI 'True) ((S1 ('MetaSel ('Just "atBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxBody era)) :: S1 ('MetaSel ('Just "atWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxWits era))) :: (S1 ('MetaSel ('Just "atIsValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IsValid) :*: S1 ('MetaSel ('Just "atAuxData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (TxAuxData era))))))

data family TxBody era Source #

The body of a transaction.

Instances

Instances details

Generic (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Associated Types type Rep (TxBody BabbageEra) ∷ Type → Type # Methods from ∷ TxBody BabbageEra → Rep (TxBody BabbageEra) x # to ∷ Rep (TxBody BabbageEra) x → TxBody BabbageEra #
Show (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods showsPrec ∷ Int → TxBody BabbageEra → ShowS # show ∷ TxBody BabbageEra → String # showList ∷ [TxBody BabbageEra] → ShowS #
ToCBOR (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods toCBOR ∷ TxBody BabbageEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody BabbageEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody BabbageEra] → Size Source #
DecCBOR (Annotator (TxBody BabbageEra)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods decCBOR ∷ Decoder s (Annotator (TxBody BabbageEra)) Source # dropCBOR ∷ Proxy (Annotator (TxBody BabbageEra)) → Decoder s () Source # label ∷ Proxy (Annotator (TxBody BabbageEra)) → Text Source #
EncCBOR (TxBody BabbageEra) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods encCBOR ∷ TxBody BabbageEra → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (TxBody BabbageEra) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxBody BabbageEra] → Size Source #
SafeToHash (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods originalBytes ∷ TxBody BabbageEra → ByteString Source # originalBytesSize ∷ TxBody BabbageEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → TxBody BabbageEra → SafeHash i Source #
EqRaw (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods eqRaw ∷ TxBody BabbageEra → TxBody BabbageEra → Bool Source #
Memoized (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Associated Types type RawType (TxBody BabbageEra) = (r ∷ Type) Source # Methods getMemoBytes ∷ TxBody BabbageEra → MemoBytes (RawType (TxBody BabbageEra)) wrapMemoBytes ∷ MemoBytes (RawType (TxBody BabbageEra)) → TxBody BabbageEra
NFData (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods rnf ∷ TxBody BabbageEra → () #
Eq (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods (==) ∷ TxBody BabbageEra → TxBody BabbageEra → Bool # (/=) ∷ TxBody BabbageEra → TxBody BabbageEra → Bool #
NoThunks (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods noThunks ∷ Context → TxBody BabbageEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxBody BabbageEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxBody BabbageEra) → String Source #
HashAnnotated (TxBody BabbageEra) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods hashAnnotated ∷ TxBody BabbageEra → SafeHash EraIndependentTxBody Source #
newtype TxBody AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody newtype TxBody AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () AllegraEra))
newtype TxBody AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxBody newtype TxBody AlonzoEra = MkAlonzoTxBody (MemoBytes AlonzoTxBodyRaw)
newtype TxBody BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody newtype TxBody BabbageEra = MkBabbageTxBody (MemoBytes BabbageTxBodyRaw)
newtype TxBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody newtype TxBody MaryEra = MkMaryTxBody (MemoBytes MaryTxBodyRaw)
newtype TxBody ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody newtype TxBody ShelleyEra = MkShelleyTxBody (MemoBytes ShelleyTxBodyRaw)
type Rep (TxBody AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type Rep (TxBody AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.8.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () AllegraEra)))))
type Rep (TxBody AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type Rep (TxBody AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxBodyRaw))))
type Rep (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody type Rep (TxBody BabbageEra) = Rep (MemoBytes BabbageTxBodyRaw)
type Rep (TxBody MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type Rep (TxBody MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes MaryTxBodyRaw))))
type Rep (TxBody ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep (TxBody ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxBodyRaw))))
type RawType (TxBody AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.TxBody type RawType (TxBody AllegraEra) = AllegraTxBodyRaw () AllegraEra
type RawType (TxBody AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody type RawType (TxBody AlonzoEra) = AlonzoTxBodyRaw
type RawType (TxBody BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody type RawType (TxBody BabbageEra) = BabbageTxBodyRaw
type RawType (TxBody MaryEra)
Instance details Defined in Cardano.Ledger.Mary.TxBody type RawType (TxBody MaryEra) = MaryTxBodyRaw
type RawType (TxBody ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type RawType (TxBody ShelleyEra) = ShelleyTxBodyRaw

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 # sizeTxForFeeCalculation ∷ Tx BabbageEra → Integer 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 #