Safe Haskell	None
Language	Haskell2010

Bench.Consensus.Mempool.TestBlock

Contents

Test block
Initial parameters
Transactions

Synopsis

type TestBlock = TestBlockWith Tx
initialLedgerState ∷ LedgerState (TestBlockWith Tx) ValuesMK
mkInitialLedgerState ∷ [Token] → LedgerState (TestBlockWith Tx) ValuesMK
advanceTip ∷ Word64 → LedgerState (TestBlockWith Tx) ValuesMK → LedgerState (TestBlockWith Tx) ValuesMK
sampleLedgerConfig ∷ LedgerConfig TestBlock
newtype Token = Token Int
data Tx = Tx !(Set Token) !(Set Token)
mkTx ∷ [Token] → [Token] → GenTx TestBlock
txSize ∷ GenTx TestBlock → ByteSize32

Test block

type TestBlock = TestBlockWith Tx Source #

Initial parameters

initialLedgerState ∷ LedgerState (TestBlockWith Tx) ValuesMK Source #

mkInitialLedgerState ∷ [Token] → LedgerState (TestBlockWith Tx) ValuesMK Source #

Like initialLedgerState but seeded with a set of available tokens (the UTxO). Chains of transactions can then be built by consuming a seed token and producing the next one.

advanceTip ∷ Word64 → LedgerState (TestBlockWith Tx) ValuesMK → LedgerState (TestBlockWith Tx) ValuesMK Source #

Move the tip to a fresh point (distinct per n) while keeping the ledger tables unchanged. Used to force the mempool to resync/revalidate against a "new" tip without invalidating any of its transactions.

sampleLedgerConfig ∷ LedgerConfig TestBlock Source #

Transactions

newtype Token Source #

Constructors

Token Int

Instances

Instances details

NFData Token Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

rnf ∷ Token → () #

Eq Token Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

(==) ∷ Token → Token → Bool #

(/=) ∷ Token → Token → Bool #

Ord Token Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

compare ∷ Token → Token → Ordering #

(<) ∷ Token → Token → Bool #

(<=) ∷ Token → Token → Bool #

(>) ∷ Token → Token → Bool #

(>=) ∷ Token → Token → Bool #

max ∷ Token → Token → Token #

min ∷ Token → Token → Token #

Enum Token Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

succ ∷ Token → Token #

pred ∷ Token → Token #

toEnum ∷ Int → Token #

fromEnum ∷ Token → Int #

enumFrom ∷ Token → [Token] #

enumFromThen ∷ Token → Token → [Token] #

enumFromTo ∷ Token → Token → [Token] #

enumFromThenTo ∷ Token → Token → Token → [Token] #

Generic Token Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

type Rep Token
Instance details Defined in Bench.Consensus.Mempool.TestBlock type Rep Token = D1 ('MetaData "Token" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'True) (C1 ('MetaCons "Token" 'PrefixI 'True) (S1 ('MetaSel ('Just "unToken") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from ∷ Token → Rep Token x #

to ∷ Rep Token x → Token #

Num Token Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

(+) ∷ Token → Token → Token #

(-) ∷ Token → Token → Token #

(*) ∷ Token → Token → Token #

negate ∷ Token → Token #

abs ∷ Token → Token #

signum ∷ Token → Token #

fromInteger ∷ Integer → Token #

Show Token Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

showsPrec ∷ Int → Token → ShowS #

show ∷ Token → String #

showList ∷ [Token] → ShowS #

MemPack Token Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

typeName ∷ String Source #

packedByteCount ∷ Token → Int Source #

packM ∷ Token → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b Token Source #

NoThunks Token Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

noThunks ∷ Context → Token → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Token → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Token → String Source #

Serialise Token Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

encode ∷ Token → Encoding Source #

decode ∷ Decoder s Token Source #

encodeList ∷ [Token] → Encoding Source #

decodeList ∷ Decoder s [Token] Source #

ToExpr Token Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

toExpr ∷ Token → Expr Source #

listToExpr ∷ [Token] → Expr Source #

type Rep Token Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type Rep Token = D1 ('MetaData "Token" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'True) (C1 ('MetaCons "Token" 'PrefixI 'True) (S1 ('MetaSel ('Just "unToken") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data Tx Source #

Constructors

Tx !(Set Token) !(Set Token)

Instances

Instances details

NFData Tx Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

rnf ∷ Tx → () #

Eq Tx Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

(==) ∷ Tx → Tx → Bool #

(/=) ∷ Tx → Tx → Bool #

Ord Tx Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

compare ∷ Tx → Tx → Ordering #

(<) ∷ Tx → Tx → Bool #

(<=) ∷ Tx → Tx → Bool #

(>) ∷ Tx → Tx → Bool #

(>=) ∷ Tx → Tx → Bool #

max ∷ Tx → Tx → Tx #

min ∷ Tx → Tx → Tx #

Generic Tx Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

type Rep Tx

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type Rep Tx = D1 ('MetaData "Tx" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'False) (C1 ('MetaCons "Tx" 'PrefixI 'True) (S1 ('MetaSel ('Just "consumed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set Token)) :*: S1 ('MetaSel ('Just "produced") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set Token))))

Methods

from ∷ Tx → Rep Tx x #

to ∷ Rep Tx x → Tx #

Show Tx Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

showsPrec ∷ Int → Tx → ShowS #

show ∷ Tx → String #

showList ∷ [Tx] → ShowS #

NoThunks Tx Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

noThunks ∷ Context → Tx → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Tx → String Source #

LedgerSupportsMempool TestBlock Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

txInvariant ∷ GenTx TestBlock → Bool Source #

applyTx ∷ LedgerConfig TestBlock → WhetherToIntervene → SlotNo → GenTx TestBlock → TickedLedgerState TestBlock ValuesMK → Except (ApplyTxErr TestBlock) (TickedLedgerState TestBlock DiffMK, Validated (GenTx TestBlock)) Source #

reapplyTx ∷ LedgerConfig TestBlock → SlotNo → Validated (GenTx TestBlock) → TickedLedgerState TestBlock ValuesMK → Except (ApplyTxErr TestBlock) (TickedLedgerState TestBlock ValuesMK) Source #

reapplyTxs ∷ ∀ (wtd ∷ WhatToDoWithTxDiffs) extra. LedgerConfig TestBlock → SlotNo → [(Validated (GenTx TestBlock), InputTxDiffs TestBlock wtd, extra)] → TickedLedgerState TestBlock ValuesMK → ReapplyTxsResult extra TestBlock wtd Source #

txForgetValidated ∷ Validated (GenTx TestBlock) → GenTx TestBlock Source #

getTransactionKeySets ∷ GenTx TestBlock → LedgerTables TestBlock KeysMK Source #

prependMempoolDiffs ∷ TickedLedgerState TestBlock DiffMK → TickedLedgerState TestBlock DiffMK → TickedLedgerState TestBlock DiffMK Source #

applyMempoolDiffs ∷ LedgerTables TestBlock ValuesMK → LedgerTables TestBlock KeysMK → TickedLedgerState TestBlock DiffMK → TickedLedgerState TestBlock ValuesMK Source #

mkMempoolApplyTxError ∷ ∀ (mk ∷ MapKind). TickedLedgerState TestBlock mk → Text → Maybe (ApplyTxErr TestBlock) Source #

TxLimits TestBlock Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

type TxMeasurePhase1 TestBlock
Instance details Defined in Bench.Consensus.Mempool.TestBlock type TxMeasurePhase1 TestBlock = IgnoringOverflow ByteSize32
type TxMeasurePhase2 TestBlock
Instance details Defined in Bench.Consensus.Mempool.TestBlock type TxMeasurePhase2 TestBlock = TrivialTxMeasurePhase2

Methods

txWireSize ∷ GenTx TestBlock → SizeInBytes Source #

txMeasurePhase1 ∷ LedgerConfig TestBlock → TickedLedgerState TestBlock EmptyMK → GenTx TestBlock → Except (ApplyTxErr TestBlock) (TxMeasurePhase1 TestBlock) Source #

txMeasurePhase2 ∷ LedgerConfig TestBlock → TickedLedgerState TestBlock ValuesMK → GenTx TestBlock → Except (ApplyTxErr TestBlock) (TxMeasurePhase2 TestBlock) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig TestBlock → TickedLedgerState TestBlock mk → TxMeasure TestBlock Source #

PayloadSemantics Tx Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

newtype PayloadDependentState Tx mk
Instance details Defined in Bench.Consensus.Mempool.TestBlock newtype PayloadDependentState Tx mk = TestPLDS { getTestPLDS ∷ mk Token () }
type PayloadDependentError Tx
Instance details Defined in Bench.Consensus.Mempool.TestBlock type PayloadDependentError Tx

Methods

applyPayload ∷ PayloadDependentState Tx ValuesMK → Tx → Either (PayloadDependentError Tx) (PayloadDependentState Tx TrackingMK)

getPayloadKeySets ∷ Tx → LedgerTables (TestBlockWith Tx) KeysMK

HasLedgerTables LedgerState TestBlock Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState TestBlock mk → LedgerTables TestBlock mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState TestBlock any → LedgerTables TestBlock mk → LedgerState TestBlock mk Source #

IndexedMemPack LedgerState TestBlock () Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

indexedPackedByteCount ∷ LedgerState TestBlock EmptyMK → () → Int Source #

indexedPackM ∷ LedgerState TestBlock EmptyMK → () → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState TestBlock EmptyMK → Unpack s b () Source #

indexedTypeName ∷ Proxy () → LedgerState TestBlock EmptyMK → String Source #

NFData (GenTx TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

rnf ∷ GenTx TestBlock → () #

Eq (GenTx TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

(==) ∷ GenTx TestBlock → GenTx TestBlock → Bool #

(/=) ∷ GenTx TestBlock → GenTx TestBlock → Bool #

Eq (TxId (GenTx TestBlock)) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

(==) ∷ TxId (GenTx TestBlock) → TxId (GenTx TestBlock) → Bool #

(/=) ∷ TxId (GenTx TestBlock) → TxId (GenTx TestBlock) → Bool #

Ord (GenTx TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

compare ∷ GenTx TestBlock → GenTx TestBlock → Ordering #

(<) ∷ GenTx TestBlock → GenTx TestBlock → Bool #

(<=) ∷ GenTx TestBlock → GenTx TestBlock → Bool #

(>) ∷ GenTx TestBlock → GenTx TestBlock → Bool #

(>=) ∷ GenTx TestBlock → GenTx TestBlock → Bool #

max ∷ GenTx TestBlock → GenTx TestBlock → GenTx TestBlock #

min ∷ GenTx TestBlock → GenTx TestBlock → GenTx TestBlock #

Ord (TxId (GenTx TestBlock)) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

compare ∷ TxId (GenTx TestBlock) → TxId (GenTx TestBlock) → Ordering #

(<) ∷ TxId (GenTx TestBlock) → TxId (GenTx TestBlock) → Bool #

(<=) ∷ TxId (GenTx TestBlock) → TxId (GenTx TestBlock) → Bool #

(>) ∷ TxId (GenTx TestBlock) → TxId (GenTx TestBlock) → Bool #

(>=) ∷ TxId (GenTx TestBlock) → TxId (GenTx TestBlock) → Bool #

max ∷ TxId (GenTx TestBlock) → TxId (GenTx TestBlock) → TxId (GenTx TestBlock) #

min ∷ TxId (GenTx TestBlock) → TxId (GenTx TestBlock) → TxId (GenTx TestBlock) #

Generic (CodecConfig TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

type Rep (CodecConfig TestBlock)
Instance details Defined in Bench.Consensus.Mempool.TestBlock type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ CodecConfig TestBlock → Rep (CodecConfig TestBlock) x #

to ∷ Rep (CodecConfig TestBlock) x → CodecConfig TestBlock #

Generic (StorageConfig TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

type Rep (StorageConfig TestBlock)
Instance details Defined in Bench.Consensus.Mempool.TestBlock type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ StorageConfig TestBlock → Rep (StorageConfig TestBlock) x #

to ∷ Rep (StorageConfig TestBlock) x → StorageConfig TestBlock #

Generic (Validated (GenTx TestBlock)) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

type Rep (Validated (GenTx TestBlock))

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type Rep (Validated (GenTx TestBlock)) = D1 ('MetaData "Validated" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'True) (C1 ('MetaCons "ValidatedGenTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx TestBlock))))

Methods

from ∷ Validated (GenTx TestBlock) → Rep (Validated (GenTx TestBlock)) x #

to ∷ Rep (Validated (GenTx TestBlock)) x → Validated (GenTx TestBlock) #

Generic (GenTx TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

type Rep (GenTx TestBlock)
Instance details Defined in Bench.Consensus.Mempool.TestBlock type Rep (GenTx TestBlock) = D1 ('MetaData "GenTx" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'True) (C1 ('MetaCons "TestBlockGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tx)))

Methods

from ∷ GenTx TestBlock → Rep (GenTx TestBlock) x #

to ∷ Rep (GenTx TestBlock) x → GenTx TestBlock #

Generic (TxId (GenTx TestBlock)) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

type Rep (TxId (GenTx TestBlock))
Instance details Defined in Bench.Consensus.Mempool.TestBlock type Rep (TxId (GenTx TestBlock)) = D1 ('MetaData "TxId" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'True) (C1 ('MetaCons "TestBlockTxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tx)))

Methods

from ∷ TxId (GenTx TestBlock) → Rep (TxId (GenTx TestBlock)) x #

to ∷ Rep (TxId (GenTx TestBlock)) x → TxId (GenTx TestBlock) #

Show (CodecConfig TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

showsPrec ∷ Int → CodecConfig TestBlock → ShowS #

show ∷ CodecConfig TestBlock → String #

showList ∷ [CodecConfig TestBlock] → ShowS #

Show (StorageConfig TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

showsPrec ∷ Int → StorageConfig TestBlock → ShowS #

show ∷ StorageConfig TestBlock → String #

showList ∷ [StorageConfig TestBlock] → ShowS #

Show (Validated (GenTx TestBlock)) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

showsPrec ∷ Int → Validated (GenTx TestBlock) → ShowS #

show ∷ Validated (GenTx TestBlock) → String #

showList ∷ [Validated (GenTx TestBlock)] → ShowS #

Show (GenTx TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

showsPrec ∷ Int → GenTx TestBlock → ShowS #

show ∷ GenTx TestBlock → String #

showList ∷ [GenTx TestBlock] → ShowS #

Show (TxId (GenTx TestBlock)) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

showsPrec ∷ Int → TxId (GenTx TestBlock) → ShowS #

show ∷ TxId (GenTx TestBlock) → String #

showList ∷ [TxId (GenTx TestBlock)] → ShowS #

NoThunks (CodecConfig TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

noThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig TestBlock) → String Source #

NoThunks (StorageConfig TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

noThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig TestBlock) → String Source #

NoThunks (Validated (GenTx TestBlock)) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

noThunks ∷ Context → Validated (GenTx TestBlock) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Validated (GenTx TestBlock) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Validated (GenTx TestBlock)) → String Source #

NoThunks (GenTx TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

noThunks ∷ Context → GenTx TestBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GenTx TestBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (GenTx TestBlock) → String Source #

NoThunks (TxId (GenTx TestBlock)) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

noThunks ∷ Context → TxId (GenTx TestBlock) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxId (GenTx TestBlock) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxId (GenTx TestBlock)) → String Source #

HasTxId (GenTx TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

txId ∷ GenTx TestBlock → TxId (GenTx TestBlock) Source #

CanStowLedgerTables (LedgerState TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

stowLedgerTables ∷ LedgerState TestBlock ValuesMK → LedgerState TestBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState TestBlock EmptyMK → LedgerState TestBlock ValuesMK Source #

EqMK mk ⇒ Eq (PayloadDependentState Tx mk) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

(==) ∷ PayloadDependentState Tx mk → PayloadDependentState Tx mk → Bool #

(/=) ∷ PayloadDependentState Tx mk → PayloadDependentState Tx mk → Bool #

Generic (PayloadDependentState Tx mk) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

type Rep (PayloadDependentState Tx mk)
Instance details Defined in Bench.Consensus.Mempool.TestBlock type Rep (PayloadDependentState Tx mk) = D1 ('MetaData "PayloadDependentState" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'True) (C1 ('MetaCons "TestPLDS" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTestPLDS") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk Token ()))))

Methods

from ∷ PayloadDependentState Tx mk → Rep (PayloadDependentState Tx mk) x #

to ∷ Rep (PayloadDependentState Tx mk) x → PayloadDependentState Tx mk #

ShowMK mk ⇒ Show (PayloadDependentState Tx mk) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

showsPrec ∷ Int → PayloadDependentState Tx mk → ShowS #

show ∷ PayloadDependentState Tx mk → String #

showList ∷ [PayloadDependentState Tx mk] → ShowS #

NoThunksMK mk ⇒ NoThunks (PayloadDependentState Tx mk) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

noThunks ∷ Context → PayloadDependentState Tx mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PayloadDependentState Tx mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PayloadDependentState Tx mk) → String Source #

Serialise (PayloadDependentState Tx EmptyMK) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

encode ∷ PayloadDependentState Tx EmptyMK → Encoding Source #

decode ∷ Decoder s (PayloadDependentState Tx EmptyMK) Source #

encodeList ∷ [PayloadDependentState Tx EmptyMK] → Encoding Source #

decodeList ∷ Decoder s [PayloadDependentState Tx EmptyMK] Source #

HasLedgerTables (Ticked LedgerState) TestBlock Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState TestBlock mk → LedgerTables TestBlock mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState TestBlock any → LedgerTables TestBlock mk → Ticked LedgerState TestBlock mk Source #

type Rep Tx Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type Rep Tx = D1 ('MetaData "Tx" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'False) (C1 ('MetaCons "Tx" 'PrefixI 'True) (S1 ('MetaSel ('Just "consumed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set Token)) :*: S1 ('MetaSel ('Just "produced") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set Token))))

data CodecConfig TestBlock Source #

TODO: for the time being TestBlock does not have any codec config

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

data CodecConfig TestBlock = TestBlockCodecConfig

data StorageConfig TestBlock Source #

TODO: for the time being TestBlock does not have any storage config

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

data StorageConfig TestBlock = TestBlockStorageConfig

type ApplyTxErr TestBlock Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type ApplyTxErr TestBlock

newtype GenTx TestBlock Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

newtype GenTx TestBlock = TestBlockGenTx {

unGenTx ∷ Tx

}

type TxMeasurePhase1 TestBlock Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type TxMeasurePhase1 TestBlock = IgnoringOverflow ByteSize32

type TxMeasurePhase2 TestBlock Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type TxMeasurePhase2 TestBlock = TrivialTxMeasurePhase2

type TxIn TestBlock Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type TxIn TestBlock = Token

type TxOut TestBlock Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type TxOut TestBlock = ()

type PayloadDependentError Tx Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type PayloadDependentError Tx

newtype PayloadDependentState Tx mk Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

newtype PayloadDependentState Tx mk = TestPLDS {

getTestPLDS ∷ mk Token ()

}

type Rep (CodecConfig TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (StorageConfig TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (Validated (GenTx TestBlock)) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type Rep (Validated (GenTx TestBlock)) = D1 ('MetaData "Validated" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'True) (C1 ('MetaCons "ValidatedGenTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx TestBlock))))

type Rep (GenTx TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type Rep (GenTx TestBlock) = D1 ('MetaData "GenTx" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'True) (C1 ('MetaCons "TestBlockGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tx)))

type Rep (TxId (GenTx TestBlock)) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type Rep (TxId (GenTx TestBlock)) = D1 ('MetaData "TxId" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'True) (C1 ('MetaCons "TestBlockTxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tx)))

newtype Validated (GenTx TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

newtype Validated (GenTx TestBlock) = ValidatedGenTx (GenTx TestBlock)

newtype TxId (GenTx TestBlock) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

newtype TxId (GenTx TestBlock) = TestBlockTxId Tx

type Rep (PayloadDependentState Tx mk) Source #

Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type Rep (PayloadDependentState Tx mk) = D1 ('MetaData "PayloadDependentState" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-mempool-state-bench" 'True) (C1 ('MetaCons "TestPLDS" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTestPLDS") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk Token ()))))

mkTx Source #

Arguments

∷ [Token]	Consumed
→ [Token]	Produced
→ GenTx TestBlock

txSize ∷ GenTx TestBlock → ByteSize32 Source #

For the mempool tests and benchmarks it is not imporant that we calculate the actual size of the transaction in bytes.