Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.Mempool.Impl.Common
Synopsis
- value chainDBLedgerInterface
- value computeSnapshot
- value initMempoolEnv
- value isMempoolSize
- value jsonMempoolRejectionDetails
- value revalidateTxsFor
- value snapshotFromIS
- value snapshotFromValidTxs
- value tickLedgerState
- value validateNewTransaction
- data InternalState
- newtype LedgerInterface
- data MempoolEnv
- data MempoolLedgerDBView
- data MempoolRejectionDetails
- data RevalidateTxsResult
- data TraceEventMempool
- data ValidatedTxWithDiffs
- Packageouroboros-consensus-4.2.1.0
- Exports18
- LicenceApache-2.0
Constructors
ISisTxs :: !TxSeq (TxMeasureWithDiffTime blk) (ValidatedTxWithDiffs blk)isTxIds :: !Set (GenTxId blk)isTxKeys :: !LedgerTables blk KeysMKisTxValues :: !LedgerTables blk ValuesMKisLedgerState :: !TickedLedgerState blk DiffMKisTip :: !Point blkisSlotNo :: !SlotNoisLastTicketNo :: !TicketNoisCapacity :: !TxMeasure blk
Instances3Generic, NoThunks, Rep
Generic (InternalState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Impl.Common(NoThunks (Validated (GenTx blk)), NoThunks (GenTxId blk), NoThunks (TickedLedgerState blk DiffMK), NoThunks (TxIn blk), NoThunks (TxOut blk), NoThunks (TxMeasurePhase1 blk), NoThunks (TxMeasurePhase2 blk), StandardHash blk, Typeable blk) => NoThunks (InternalState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Impl.Commontype Rep (InternalState blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Impl.Common"InternalState"
"Ouroboros.Consensus.Mempool.Impl.Common"
"ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC"
'False) (C1 ('MetaCons"IS"
'PrefixI 'True) (((S1 ('MetaSel ('Just"isTxs"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxSeq (TxMeasureWithDiffTime blk) (ValidatedTxWithDiffs blk))) :*: S1 ('MetaSel ('Just"isTxIds"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (GenTxId blk)))) :*: (S1 ('MetaSel ('Just"isTxKeys"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables blk KeysMK)) :*: S1 ('MetaSel ('Just"isTxValues"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables blk ValuesMK)))) :*: ((S1 ('MetaSel ('Just"isLedgerState"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TickedLedgerState blk DiffMK)) :*: S1 ('MetaSel ('Just"isTip"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point blk))) :*: (S1 ('MetaSel ('Just"isSlotNo"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Just"isLastTicketNo"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 TicketNo) :*: S1 ('MetaSel ('Just"isCapacity"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxMeasure blk)))))))
Constructors
LedgerInterfacegetCurrentLedgerState :: STM m (MempoolLedgerDBView m blk)
Constructors
MempoolEnvmpEnvLedger :: LedgerInterface m blkmpEnvForker :: StrictMVar m (ReadOnlyForker m LedgerState blk)mpEnvLedgerCfg :: LedgerConfig blkmpEnvStateVar :: StrictTMVar m (InternalState blk)mpEnvAddTxsRemoteFifo :: StrictMVar m ()mpEnvAddTxsAllFifo :: StrictMVar m ()mpEnvTracer :: Tracer m (TraceEventMempool blk)mpEnvCapacityOverride :: MempoolCapacityBytesOverridempEnvTimeoutConfig :: Maybe MempoolTimeoutConfig
Constructors
MempoolLedgerDBViewmldViewState :: LedgerState blk EmptyMKmldViewGetForker :: m (Either GetForkerError (ReadOnlyForker m LedgerState blk))
Instances2Eq, Show
Eq MempoolRejectionDetailsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Impl.CommonShow MempoolRejectionDetailsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Impl.Common
Constructors
RevalidateTxsResultnewInternalState :: !InternalState blkremovedTxs :: ![Invalidated blk]
Constructors
TraceMempoolAddedTx (Validated (GenTx blk)) MempoolSize MempoolSizeTraceMempoolRejectedTx (GenTx blk) (ApplyTxErr blk) MempoolRejectionDetails MempoolSizeTraceMempoolRemoveTxs [(Validated (GenTx blk), ApplyTxErr blk)] MempoolSizeTraceMempoolManuallyRemovedTxs (NonEmpty (GenTxId blk)) [Validated (GenTx blk)] MempoolSizeTraceMempoolSynced EnclosingTimedTraceMempoolSyncNotNeeded (Point blk)TraceMempoolAttemptingAdd (GenTx blk)TraceMempoolTipMovedBetweenSTMBlocks
Instances4Eq, Show, Generic, Rep
(Eq (GenTx blk), Eq (Validated (GenTx blk)), Eq (GenTxId blk), Eq (ApplyTxErr blk), StandardHash blk) => Eq (TraceEventMempool blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Impl.Common(Show (GenTx blk), Show (Validated (GenTx blk)), Show (GenTxId blk), Show (ApplyTxErr blk), StandardHash blk) => Show (TraceEventMempool blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Impl.CommonGeneric (TraceEventMempool blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Impl.Commontype Rep (TraceEventMempool blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Impl.Common"TraceEventMempool"
"Ouroboros.Consensus.Mempool.Impl.Common"
"ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC"
'False) (((C1 ('MetaCons"TraceMempoolAddedTx"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Validated (GenTx blk))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MempoolSize) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MempoolSize))) :+: C1 ('MetaCons"TraceMempoolRejectedTx"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ApplyTxErr blk))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MempoolRejectionDetails) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MempoolSize)))) :+: (C1 ('MetaCons"TraceMempoolRemoveTxs"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Validated (GenTx blk), ApplyTxErr blk)]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MempoolSize)) :+: C1 ('MetaCons"TraceMempoolManuallyRemovedTxs"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (GenTxId blk))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Validated (GenTx blk)]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MempoolSize))))) :+: ((C1 ('MetaCons"TraceMempoolSynced"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EnclosingTimed)) :+: C1 ('MetaCons"TraceMempoolSyncNotNeeded"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)))) :+: (C1 ('MetaCons"TraceMempoolAttemptingAdd"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx blk))) :+: C1 ('MetaCons"TraceMempoolTipMovedBetweenSTMBlocks"
'PrefixI 'False) U1)))
Constructors
ValidatedTxWithDiffsvalidatedTx :: !Validated (GenTx blk)validatedTxDiffs :: !LedgerTables blk DiffMK
Instances3Generic, NoThunks, Rep
Generic (ValidatedTxWithDiffs blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Impl.Common(NoThunks (Validated (GenTx blk)), NoThunks (TxIn blk), NoThunks (TxOut blk)) => NoThunks (ValidatedTxWithDiffs blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Impl.Commontype Rep (ValidatedTxWithDiffs blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Impl.Common"ValidatedTxWithDiffs"
"Ouroboros.Consensus.Mempool.Impl.Common"
"ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC"
'False) (C1 ('MetaCons"ValidatedTxWithDiffs"
'PrefixI 'True) (S1 ('MetaSel ('Just"validatedTx"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Validated (GenTx blk))) :*: S1 ('MetaSel ('Just"validatedTxDiffs"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables blk DiffMK))))