Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.Tx

Contents

Orphan instances

Synopsis

data AlonzoTx era = AlonzoTx {
- body ∷ !(TxBody era)
- wits ∷ !(TxWits era)
- isValid ∷ !IsValid
- auxiliaryData ∷ !(StrictMaybe (TxAuxData era))
}
class (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTx era where
- isValidTxL ∷ Lens' (Tx era) IsValid
tierRefScriptFee ∷ HasCallStack ⇒ Rational → Int → Rational → Int → Coin
refScriptCostStride ∷ Int
refScriptCostMultiplier ∷ Rational

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 # 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, 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.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))))))

class (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTx era where Source #

Methods

isValidTxL ∷ Lens' (Tx era) IsValid Source #

Instances

Instances details

AlonzoEraTx AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods isValidTxL ∷ Lens' (Tx AlonzoEra) IsValid Source #
AlonzoEraTx ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Tx Methods isValidTxL ∷ Lens' (Tx ConwayEra) IsValid Source #

tierRefScriptFee Source #

Arguments

∷ HasCallStack
⇒ Rational	Growth factor or step multiplier
→ Int	Increment size in which price grows linearly according to the price
→ Rational	Base fee. Currently this is customizable by `ppMinFeeRefScriptCostPerByteL`
→ Int	Total RefScript size in bytes
→ Coin

Calculate the fee for reference scripts using an expoential growth of the price per byte with linear increments

refScriptCostStride ∷ Int Source #

25 KiB

refScriptCostMultiplier ∷ Rational Source #

Orphan instances

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