Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Ledger.SupportsMempool

9 types
8 classes
1 value

Packageouroboros-consensus-4.2.1.0
Exports23
LicenceApache-2.0

valuenothingMkMempoolApplyTxError

:: TickedLedgerState blk mk
-> Text
-> Maybe (ApplyTxErr blk)

data familydata family Validated x

Instances9Eq, Show, Generic, NoThunks, Rep, Validated, …

CanHardFork xs => Eq (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Show (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Bridge m a => Show (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Generic (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
NoThunks (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data Validated (GenTx (HardForkBlock xs))
- HardForkValidatedGenTxgetHardForkValidatedGenTx :: OneEraValidatedGenTx xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data Validated (GenTx (DualBlock m a))
- ValidatedDualGenTxvDualGenTxMain :: Validated (GenTx m)vDualGenTxAux :: Validated (GenTx a)vDualGenTxBridge :: BridgeTx m a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

familytype family ApplyTxErr blk

Instances2ApplyTxErr

type ApplyTxErr (HardForkBlock xs) = HardForkApplyTxErr xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type ApplyTxErr (DualBlock m a) = DualGenTxErr m aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

newtypenewtype ByteSize32

Constructors

ByteSize32
- unByteSize32 :: Word32

Instances11Eq, Ord, Show, Semigroup, Monoid, NFData, …

Eq ByteSize32Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Ord ByteSize32Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Show ByteSize32Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Semigroup ByteSize32Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Monoid ByteSize32Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
NFData ByteSize32Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Serialise ByteSize32Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
NoThunks ByteSize32Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
HasByteSize ByteSize32Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
TxMeasurePhase1Metrics ByteSize32Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Measure (IgnoringOverflow ByteSize32)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool

classclass HasTxId tx => ConvertRawTxId tx where

Methods

toRawTxIdHash :: TxId tx -> ShortByteString

data familydata family GenTx blk

Instances48Inject, Isomorphic, ShowProxy, Eq, Ord, Show, …

Inject GenTxDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic GenTxDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Typeable xs => ShowProxy (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Typeable xs => ShowProxy (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
(Typeable m, Typeable a) => ShowProxy (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Typeable m, Typeable a) => ShowProxy (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Eq (GenTxId m) => Eq (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Eq (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Eq (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Eq (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Ord (GenTxId m) => Ord (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Ord (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Show (GenTxId m) => Show (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Show (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Show (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Show (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Bridge m a => Show (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => Show (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Generic (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Generic (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Generic (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
NoThunks (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => NoThunks (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => NoThunks (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => HasRawTxId (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
HasRawTxId (GenTxId m) => HasRawTxId (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All CondenseConstraints xs => Condense (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
All CondenseConstraints xs => Condense (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
CanHardFork xs => HasTxId (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Bridge m a => HasTxId (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteStringDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data Validated (GenTx (HardForkBlock xs))
- HardForkValidatedGenTxgetHardForkValidatedGenTx :: OneEraValidatedGenTx xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data Validated (GenTx (DualBlock m a))
- ValidatedDualGenTxvDualGenTxMain :: Validated (GenTx m)vDualGenTxAux :: Validated (GenTx a)vDualGenTxBridge :: BridgeTx m a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data GenTx (HardForkBlock xs)
- HardForkGenTxgetHardForkGenTx :: OneEraGenTx xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data GenTx (DualBlock m a)
- DualGenTxdualGenTxMain :: GenTx mdualGenTxAux :: GenTx adualGenTxBridge :: BridgeTx m a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data TxId (GenTx (HardForkBlock xs))
- HardForkGenTxIdgetHardForkGenTxId :: OneEraGenTxId xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data TxId (GenTx (DualBlock m a))
- DualGenTxIddualGenTxIdMain :: GenTxId m
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

typetype GenTxId blk = TxId (GenTx blk)

classclass HasByteSize a where

Methods

txMeasureByteSize :: a -> ByteSize32

Instances4HasByteSize

HasByteSize ByteSize32Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
HasByteSize (TxMeasure blk) => HasByteSize (TxMeasureWithDiffTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.API
HasByteSize (TxMeasurePhase1 blk) => HasByteSize (TxMeasure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
HasByteSize a => HasByteSize (IgnoringOverflow a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool

classclass (Show (TxId tx), Ord (TxId tx), NoThunks (TxId tx)) => HasTxId tx where

Methods

txId :: tx -> TxId tx

Instances2HasTxId

CanHardFork xs => HasTxId (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Bridge m a => HasTxId (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

classclass HasTxs blk where

Methods

extractTxs :: blk -> [GenTx blk]

Instances1HasTxs

All HasTxs xs => HasTxs (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan

newtypenewtype IgnoringOverflow a

Constructors

IgnoringOverflow
- unIgnoringOverflow :: a

Instances10Eq, Ord, Show, Semigroup, Monoid, NFData, …

Eq a => Eq (IgnoringOverflow a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Ord a => Ord (IgnoringOverflow a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Show a => Show (IgnoringOverflow a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Semigroup a => Semigroup (IgnoringOverflow a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Monoid a => Monoid (IgnoringOverflow a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
NFData a => NFData (IgnoringOverflow a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
NoThunks a => NoThunks (IgnoringOverflow a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Measure (IgnoringOverflow ByteSize32)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
HasByteSize a => HasByteSize (IgnoringOverflow a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
TxMeasurePhase1Metrics a => TxMeasurePhase1Metrics (IgnoringOverflow a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool

familytype family InputTxDiffs blk (wtd :: WhatToDoWithTxDiffs) where

Equations

InputTxDiffs blk Discard = ()
InputTxDiffs blk Collect = LedgerTables blk DiffMK

datadata Invalidated blk

Constructors

Invalidated
- getInvalidated :: !Validated (GenTx blk)
- getReason :: !ApplyTxErr blk

class

class (UpdateLedger blk, TxLimits blk, NoThunks (GenTx blk), NoThunks (Validated (GenTx blk)), Show (GenTx blk), Show (Validated (GenTx blk)), Show (ApplyTxErr blk)) => LedgerSupportsMempool blk where

Methods

txInvariant :: GenTx blk -> Bool
applyTx :: LedgerConfig blk -> WhetherToIntervene -> SlotNo -> GenTx blk -> TickedLedgerState blk ValuesMK -> Except (ApplyTxErr blk) (TickedLedgerState blk DiffMK, Validated (GenTx blk))
reapplyTx :: HasCallStack => LedgerConfig blk -> SlotNo -> Validated (GenTx blk) -> TickedLedgerState blk ValuesMK -> Except (ApplyTxErr blk) (TickedLedgerState blk ValuesMK)
reapplyTxs :: LedgerConfig blk -> SlotNo -> [(Validated (GenTx blk), InputTxDiffs blk wtd, extra)] -> TickedLedgerState blk ValuesMK -> ReapplyTxsResult extra blk wtd
txForgetValidated :: Validated (GenTx blk) -> GenTx blk
getTransactionKeySets :: GenTx blk -> LedgerTables blk KeysMK
prependMempoolDiffs :: TickedLedgerState blk DiffMK -> TickedLedgerState blk DiffMK -> TickedLedgerState blk DiffMK
applyMempoolDiffs :: LedgerTables blk ValuesMK -> LedgerTables blk KeysMK -> TickedLedgerState blk DiffMK -> TickedLedgerState blk ValuesMK
mkMempoolApplyTxError :: TickedLedgerState blk mk -> Text -> Maybe (ApplyTxErr blk)

Instances2LedgerSupportsMempool

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => LedgerSupportsMempool (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Bridge m a => LedgerSupportsMempool (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

datadata ReapplyTxsResult extra blk (wtd :: WhatToDoWithTxDiffs)

Constructors

ReapplyTxsResult
- invalidatedTxs :: ![Invalidated blk]
- validatedTxs :: ![(Validated (GenTx blk), InputTxDiffs blk wtd, extra)]
- resultingState :: !TickedLedgerState blk EmptyMK

datadata TrivialTxMeasurePhase2

TrivialTxMeasurePhase2

Instances7Eq, Show, Generic, NoThunks, Measure, TxMeasurePhase2Metrics, …

Eq TrivialTxMeasurePhase2Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Show TrivialTxMeasurePhase2Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Generic TrivialTxMeasurePhase2Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
NoThunks TrivialTxMeasurePhase2Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Measure TrivialTxMeasurePhase2Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
TxMeasurePhase2Metrics TrivialTxMeasurePhase2Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
type Rep TrivialTxMeasurePhase2 = D1 ('MetaData "TrivialTxMeasurePhase2" "Ouroboros.Consensus.Ledger.SupportsMempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "TrivialTxMeasurePhase2" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool

data familydata family TxId blk

Instances21ShowProxy, Eq, Ord, Show, Generic, NoThunks, …

Typeable xs => ShowProxy (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
(Typeable m, Typeable a) => ShowProxy (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Eq (GenTxId m) => Eq (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Eq (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Ord (GenTxId m) => Ord (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Ord (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Show (GenTxId m) => Show (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Show (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Generic (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
NoThunks (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => HasRawTxId (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
HasRawTxId (GenTxId m) => HasRawTxId (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All CondenseConstraints xs => Condense (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteStringDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data TxId (GenTx (HardForkBlock xs))
- HardForkGenTxIdgetHardForkGenTxId :: OneEraGenTxId xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data TxId (GenTx (DualBlock m a))
- DualGenTxIddualGenTxIdMain :: GenTxId m
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

class

class (Measure (TxMeasurePhase1 blk), HasByteSize (TxMeasurePhase1 blk), NoThunks (TxMeasurePhase1 blk), TxMeasurePhase1Metrics (TxMeasurePhase1 blk), Show (TxMeasurePhase1 blk), Measure (TxMeasurePhase2 blk), NoThunks (TxMeasurePhase2 blk), TxMeasurePhase2Metrics (TxMeasurePhase2 blk), Show (TxMeasurePhase2 blk)) => TxLimits blk where

Associated types

type family TxMeasurePhase1 blk
type family TxMeasurePhase2 blk

Methods

txWireSize :: GenTx blk -> SizeInBytes
txMeasurePhase1 :: LedgerConfig blk -> TickedLedgerState blk EmptyMK -> GenTx blk -> Except (ApplyTxErr blk) (TxMeasurePhase1 blk)
txMeasurePhase2 :: LedgerConfig blk -> TickedLedgerState blk ValuesMK -> GenTx blk -> Except (ApplyTxErr blk) (TxMeasurePhase2 blk)
blockCapacityTxMeasure :: LedgerConfig blk -> TickedLedgerState blk mk -> TxMeasure blk

Instances2TxLimits

CanHardFork xs => TxLimits (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Bridge m a => TxLimits (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

datadata TxMeasure blk

Constructors

TxMeasure
- tmPhase1 :: !TxMeasurePhase1 blk
- tmPhase2 :: !TxMeasurePhase2 blk

Instances9Eq, Show, Generic, NoThunks, Measure, HasByteSize, …

(Eq (TxMeasurePhase1 blk), Eq (TxMeasurePhase2 blk)) => Eq (TxMeasure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
(Show (TxMeasurePhase1 blk), Show (TxMeasurePhase2 blk)) => Show (TxMeasure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
Generic (TxMeasure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
(NoThunks (TxMeasurePhase1 blk), NoThunks (TxMeasurePhase2 blk)) => NoThunks (TxMeasure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
(Measure (TxMeasurePhase1 blk), Measure (TxMeasurePhase2 blk)) => Measure (TxMeasure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
HasByteSize (TxMeasurePhase1 blk) => HasByteSize (TxMeasure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
TxMeasurePhase1Metrics (TxMeasurePhase1 blk) => TxMeasurePhase1Metrics (TxMeasure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
TxMeasurePhase2Metrics (TxMeasurePhase2 blk) => TxMeasurePhase2Metrics (TxMeasure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
type Rep (TxMeasure blk) = D1 ('MetaData "TxMeasure" "Ouroboros.Consensus.Ledger.SupportsMempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "TxMeasure" 'PrefixI 'True) (S1 ('MetaSel ('Just "tmPhase1") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxMeasurePhase1 blk)) :*: S1 ('MetaSel ('Just "tmPhase2") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxMeasurePhase2 blk))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool

classclass TxMeasurePhase1Metrics msr where

Methods

txMeasureMetricTxSizeBytes :: msr -> ByteSize32
txMeasureMetricExUnitsMemory :: msr -> Natural
txMeasureMetricExUnitsSteps :: msr -> Natural

Instances4TxMeasurePhase1Metrics

TxMeasurePhase1Metrics ByteSize32Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
TxMeasurePhase1Metrics (TxMeasure blk) => TxMeasurePhase1Metrics (TxMeasureWithDiffTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.API
TxMeasurePhase1Metrics (TxMeasurePhase1 blk) => TxMeasurePhase1Metrics (TxMeasure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
TxMeasurePhase1Metrics a => TxMeasurePhase1Metrics (IgnoringOverflow a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool

classclass TxMeasurePhase2Metrics msr where

Methods

txMeasureMetricRefScriptsSizeBytes :: msr -> ByteSize32

Instances4TxMeasurePhase2Metrics

TxMeasurePhase2Metrics TrivialTxMeasurePhase2Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
TxMeasurePhase2Metrics ()Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool
TxMeasurePhase2Metrics (TxMeasure blk) => TxMeasurePhase2Metrics (TxMeasureWithDiffTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Mempool.API
TxMeasurePhase2Metrics (TxMeasurePhase2 blk) => TxMeasurePhase2Metrics (TxMeasure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool

datadata WhatToDoWithTxDiffs

Collect Discard

datadata WhetherToIntervene

DoNotIntervene Intervene

Instances1Show

Show WhetherToInterveneDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.SupportsMempool