Modulecardano-ledger-shelley-1.19.0.1

Cardano.Ledger.Shelley.API.Mempool

4 types
1 class
19 values

Packagecardano-ledger-shelley-1.19.0.1
Exports26
LicenceApache-2.0

valueapplyTx

:: ApplyTx era
=> Globals
-> MempoolEnv era
-> MempoolState era
-> Tx TopTx era
-> Either (ApplyTxError era) (MempoolState era, Validated (Tx TopTx era))

Deprecated. Use applyTxWithFullValidation instead.

valueapplyTxWithFullValidation

:: ApplyTx era
=> Globals
-> MempoolEnv era
-> MempoolState era
-> Tx TopTx era
-> Either (ApplyTxError era) (MempoolState era, ValidatedTx era)

valuecoerceValidated :: Coercible a b => Validated a -> Validated b

Deprecated. Validated is deprecated; switch to ValidatedTx.

valuedefaultApplyTxWithValidation

:: (ApplyTx era, STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase, Environment (EraRule rule era) ~ LedgerEnv era, State (EraRule rule era) ~ MempoolState era, Signal (EraRule rule era) ~ StAnnTx TopTx era)
=> NonEmpty (PredicateFailure (EraRule rule era)) -> ApplyTxError era
-> ValidationPolicy
-> Globals
-> MempoolEnv era
-> MempoolState era
-> Tx TopTx era
-> Either (ApplyTxError era) (MempoolState era, ValidatedTx era)

valuedefaultReapplyValidatedTx

:: (ApplyTx era, STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase, Environment (EraRule rule era) ~ LedgerEnv era, State (EraRule rule era) ~ MempoolState era, Signal (EraRule rule era) ~ StAnnTx TopTx era)
=> NonEmpty (PredicateFailure (EraRule rule era)) -> ApplyTxError era
-> Globals
-> MempoolEnv era
-> MempoolState era
-> ValidatedTx era
-> Either (ApplyTxError era) (MempoolState era)

valueextractTx :: Validated tx -> tx

Deprecated. Use extractValidatedTx

valueextractValidatedTx :: EraTx era => ValidatedTx era -> Tx TopTx era

valuegetValidatedTxProtocolVersion :: ValidatedTx era -> ProtVer

valuegetValidatedTxSlotNo :: ValidatedTx era -> SlotNo

valuegetValidatedTxStAnnTx :: ValidatedTx era -> StAnnTx TopTx era

valuemkMempoolEnv :: EraGov era => NewEpochState era -> SlotNo -> MempoolEnv era

valuemkMempoolState :: NewEpochState era -> MempoolState era

valueoverNewEpochState

:: Functor f
=> MempoolState era -> f (MempoolState era)
-> NewEpochState era
-> f (NewEpochState era)

valuereapplyTx

:: ApplyTx era
=> Globals
-> MempoolEnv era
-> MempoolState era
-> Validated (Tx TopTx era)
-> Either (ApplyTxError era) (MempoolState era)

Deprecated. Use reapplyValidatedTx instead.

valuereapplyValidatedTx

:: (ApplyTx era, EraGov era)
=> Globals
-> MempoolEnv era
-> MempoolState era
-> ValidatedTx era
-> Either (ApplyTxError era) (MempoolState era)

valueruleApplyTxValidation

:: (EraTx era, STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase, Environment (EraRule rule era) ~ LedgerEnv era, State (EraRule rule era) ~ MempoolState era, Signal (EraRule rule era) ~ StAnnTx TopTx era)
=> ValidationPolicy
-> Globals
-> MempoolEnv era
-> MempoolState era
-> StAnnTx TopTx era
-> Either (NonEmpty (PredicateFailure (EraRule rule era))) (MempoolState era, ValidatedTx era)

valuetranslateValidated

:: TranslateEra era f
=> TranslationContext era
-> Validated (f (PreviousEra era))
-> Except (TranslationError era f) (Validated (f era))

Deprecated. Translation of Validated does not make sense. It must be fully re-validated in a new era

valueunsafeMakeValidated :: tx -> Validated tx

Deprecated. Use unsafeMakeValidatedTx instead.

valueunsafeMakeValidatedTx

:: ApplyTx era
=> Globals
-> MempoolEnv era
-> MempoolState era
-> Tx TopTx era
-> ValidatedTx era

class

class (EraTx era, EraUTxO era, Eq (ApplyTxError era), Show (ApplyTxError era), Typeable (ApplyTxError era), Semigroup (ApplyTxError era), EncCBOR (ApplyTxError era), DecCBOR (ApplyTxError era)) => ApplyTx era where

Associated types

data family ApplyTxError era

Methods

mkStAnnTx :: EpochInfo (Either Text) -> SystemStart -> PParams era -> UTxO era -> StAnnTxCache era -> Tx TopTx era -> StAnnTx TopTx era
internalApplyTxWithValidation :: ValidationPolicy -> Globals -> MempoolEnv era -> MempoolState era -> Tx TopTx era -> Either (ApplyTxError era) (MempoolState era, ValidatedTx era)
internalReapplyValidatedTx :: Globals -> MempoolEnv era -> MempoolState era -> ValidatedTx era -> Either (ApplyTxError era) (MempoolState era)
applyTxValidation :: ValidationPolicy -> Globals -> MempoolEnv era -> MempoolState era -> StAnnTx TopTx era -> Either (ApplyTxError era) (MempoolState era, Validated (Tx TopTx era))

Instances1ApplyTx

ApplyTx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool

familydata family ApplyTxError era

Instances8Eq, Show, Generic, Semigroup, DecCBOR, EncCBOR, …

Eq (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Show (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Generic (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Semigroup (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
DecCBOR (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
EncCBOR (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
type Rep (ApplyTxError ShelleyEra) = Rep (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
data ApplyTxError ShelleyEra
- ShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool

constructorShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

typetype MempoolEnv era = LedgerEnv era

typetype MempoolState era = LedgerState era

newtypenewtype Validated tx

Deprecated. Use ValidatedTx instead.

Instances4Eq, Show, NFData, NoThunks

Eq tx => Eq (Validated tx)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Show tx => Show (Validated tx)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
NFData tx => NFData (Validated tx)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
NoThunks tx => NoThunks (Validated tx)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool

datadata ValidatedTx era

Instances6Eq, Show, Generic, NFData, NoThunks, Rep

Eq (StAnnTx TopTx era) => Eq (ValidatedTx era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Show (StAnnTx TopTx era) => Show (ValidatedTx era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Generic (ValidatedTx era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
NFData (StAnnTx TopTx era) => NFData (ValidatedTx era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
NoThunks (StAnnTx TopTx era) => NoThunks (ValidatedTx era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
type Rep (ValidatedTx era) = D1 ('MetaData "ValidatedTx" "Cardano.Ledger.Shelley.API.Mempool" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "ValidatedTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "vtStAnnTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StAnnTx TopTx era)) :*: (S1 ('MetaSel ('Just "vtProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ProtVer) :*: S1 ('MetaSel ('Just "vtSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool