Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.Mempool
- 13 types
- 11 values
- Packageouroboros-consensus-4.2.1.0
- Exports24
- LicenceApache-2.0
Constructors
Constructors
MempooladdTx :: AddTxOnBehalfOf -> GenTx blk -> m (MempoolAddTxResult blk)removeTxsEvenIfValid :: NonEmpty (GenTxId blk) -> m ()getSnapshot :: STM m (MempoolSnapshot blk)getSnapshotFor :: SlotNo -> TickedLedgerState blk DiffMK -> (LedgerTables blk KeysMK -> m (LedgerTables blk ValuesMK)) -> m (MempoolSnapshot blk)getCapacity :: STM m (TxMeasure blk)testTryAddTx :: DiffTime -> AddTxOnBehalfOf -> GenTx blk -> m (Maybe (MempoolAddTxResult blk))testSyncWithLedger :: m (MempoolSnapshot blk)
Constructors
MempoolTxAdded !(Validated (GenTx blk)) !(LedgerTables blk DiffMK)MempoolTxRejected !(GenTx blk) !(ApplyTxErr blk)
Instances2Eq, Show
(Eq (GenTx blk), Eq (Validated (GenTx blk)), Eq (ApplyTxErr blk), Eq (TxIn blk), Eq (TxOut blk)) => Eq (MempoolAddTxResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.API(Show (GenTx blk), Show (Validated (GenTx blk)), Show (ApplyTxErr blk), Show (TxIn blk), Show (TxOut blk)) => Show (MempoolAddTxResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.API
Constructors
MempoolSnapshotsnapshotTxs :: [(Validated (GenTx blk), TicketNo, TxMeasure blk)]snapshotTxsAfter :: TicketNo -> [(Validated (GenTx blk), TicketNo, TxMeasure blk)]snapshotTake :: TxMeasure blk -> ([Validated (GenTx blk)], TxMeasureWithDiffTime blk)snapshotLookupTx :: TicketNo -> Maybe (Validated (GenTx blk))snapshotHasTx :: GenTxId blk -> BoolsnapshotMempoolSize :: MempoolSizesnapshotSlotNo :: SlotNosnapshotStateHash :: ChainHash blksnapshotPoint :: Point blk
Instances2Eq, Show
Eq MempoolTimeoutConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.APIShow MempoolTimeoutConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.API
Instances2Eq, Show
Eq MempoolCapacityBytesOverrideDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.CapacityShow MempoolCapacityBytesOverrideDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Capacity
Constructors
Instances7Eq, Show, Generic, Semigroup, Monoid, NoThunks, …
Eq MempoolSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.CapacityShow MempoolSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.CapacityGeneric MempoolSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.CapacitySemigroup MempoolSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.CapacityMonoid MempoolSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.CapacityNoThunks MempoolSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Capacitytype Rep MempoolSize = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.Capacity"MempoolSize"
"Ouroboros.Consensus.Mempool.Capacity"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"MempoolSize"
'PrefixI 'True) (S1 ('MetaSel ('Just"msNumTxs"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word32) :*: S1 ('MetaSel ('Just"msNumBytes"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteSize32)))
Constructors
LedgerInterfacegetCurrentLedgerState :: STM m (MempoolLedgerDBView m 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
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-C9zVP0VXla2Fy4UJAsSSXt"
'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)))
Instances6Bounded, Enum, Eq, Ord, Show, NoThunks
Bounded TicketNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.TxSeqEnum TicketNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.TxSeqEq TicketNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.TxSeqOrd TicketNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.TxSeqShow TicketNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.TxSeqNoThunks TicketNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.TxSeq