cardano-ledger-conway-1.16.0.1: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Tx

Synopsis

Documentation

data AlonzoTx era Source #

Constructors

AlonzoTx 

Fields

Instances

Instances details
Generic (AlonzoTx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Rep (AlonzoTx era) ∷ TypeType Source #

Methods

fromAlonzoTx era → Rep (AlonzoTx era) x Source #

toRep (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

showsPrecIntAlonzoTx era → ShowS Source #

showAlonzoTx 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

toCBORAlonzoTx 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

(Era era, EncCBOR (TxBody era), EncCBOR (TxAuxData era), EncCBOR (TxWits era)) ⇒ EncCBOR (AlonzoTx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBORAlonzoTx 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

eqRawAlonzoTx 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

rnfAlonzoTx 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

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.10.0.1-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

isValidTxLLens' (Tx era) IsValid Source #

Instances

Instances details
Crypto c ⇒ AlonzoEraTx (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Crypto c ⇒ AlonzoEraTx (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Tx

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

Orphan instances