ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Bench.Consensus.Mempool.TestBlock

Synopsis

Test block

type TestBlock = TestBlockWith Tx Source #

Initial parameters

initialLedgerState ∷ LedgerState (TestBlockWith Tx) ValuesMK Source #

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 → () #

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-3.0.0.0-inplace-mempool-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 #

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 #

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-3.0.0.0-inplace-mempool-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 → () #

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-3.0.0.0-inplace-mempool-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 #

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 #

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 (LedgerState TestBlock) KeysMK Source #

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

applyMempoolDiffs ∷ LedgerTables (LedgerState TestBlock) ValuesMK → LedgerTables (LedgerState 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 TxMeasure TestBlock 
Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type TxMeasure TestBlock = IgnoringOverflow ByteSize32

Methods

txWireSize ∷ GenTx TestBlock → SizeInBytes Source #

txMeasure ∷ LedgerConfig TestBlock → TickedLedgerState TestBlock ValuesMK → GenTx TestBlock → Except (ApplyTxErr TestBlock) (TxMeasure 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 {}
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 (LedgerState (TestBlockWith Tx)) KeysMK

NFData (GenTx TestBlock) Source # 
Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

rnf ∷ 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-3.0.0.0-inplace-mempool-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-3.0.0.0-inplace-mempool-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-3.0.0.0-inplace-mempool-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-3.0.0.0-inplace-mempool-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-3.0.0.0-inplace-mempool-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 #

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) #

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 #

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 (LedgerState TestBlock) mk Source #

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

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-3.0.0.0-inplace-mempool-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 #

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 #

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 #

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 (Ticked (LedgerState TestBlock)) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState TestBlock) any → LedgerTables (Ticked (LedgerState TestBlock)) mk → Ticked (LedgerState TestBlock) mk 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 #

IndexedMemPack (LedgerState TestBlock EmptyMK) () 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 ∷ LedgerState TestBlock EmptyMK → String 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-3.0.0.0-inplace-mempool-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 {}
type TxMeasure TestBlock Source # 
Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type TxMeasure TestBlock = IgnoringOverflow ByteSize32
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 {}
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-3.0.0.0-inplace-mempool-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-3.0.0.0-inplace-mempool-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-3.0.0.0-inplace-mempool-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-3.0.0.0-inplace-mempool-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-3.0.0.0-inplace-mempool-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 TxIn (LedgerState TestBlock) Source # 
Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type TxIn (LedgerState TestBlock) = Token
type TxOut (LedgerState TestBlock) Source # 
Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type TxOut (LedgerState TestBlock) = ()
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-3.0.0.0-inplace-mempool-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.