Modulecardano-ledger-shelley-1.19.0.1

Cardano.Ledger.Shelley.API.Mempool

Synopsis

value applyTx
value applyTxWithFullValidation
value coerceValidated
value defaultApplyTxWithValidation
value defaultReapplyValidatedTx
value extractTx
value extractValidatedTx
value getValidatedTxProtocolVersion
value getValidatedTxSlotNo
value getValidatedTxStAnnTx
value mkMempoolEnv
value mkMempoolState
value overNewEpochState
value reapplyTx
value reapplyValidatedTx
value ruleApplyTxValidation
value translateValidated
value unsafeMakeValidated
value unsafeMakeValidatedTx
class ApplyTx
family ApplyTxError
constructor ShelleyApplyTxError
type MempoolEnv
type MempoolState
newtype Validated
data ValidatedTx

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-8Iis6BIy809CntgfgphWq2" '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