mempool-bench
Safe HaskellSafe-Inferred
LanguageHaskell2010

Bench.Consensus.Mempool.TestBlock

Synopsis

Test block

type TestBlock = TestBlockWith Tx Source #

Initial parameters

initialLedgerState ∷ LedgerState (TestBlockWith Tx) Source #

sampleLedgerConfig ∷ LedgerConfig TestBlock Source #

Transactions

newtype Token Source #

Constructors

Token Int 

Instances

Instances details
Generic Token Source # 
Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

type Rep Token ∷ Type → Type #

Methods

from ∷ Token → Rep Token x #

to ∷ Rep Token x → Token #

Show Token Source # 
Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Methods

showsPrec ∷ Int → Token → ShowS #

show ∷ Token → String #

showList ∷ [Token] → ShowS #

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 #

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-0.21.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
Generic Tx Source # 
Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

type Rep Tx ∷ Type → Type #

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 #

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 #

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 → Except (ApplyTxErr TestBlock) (TickedLedgerState TestBlock, Validated (GenTx TestBlock)) Source #

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

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

TxLimits TestBlock Source # 
Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

type TxMeasure TestBlock Source #

Methods

txMeasure ∷ LedgerConfig TestBlock → TickedLedgerState TestBlock → GenTx TestBlock → Except (ApplyTxErr TestBlock) (TxMeasure TestBlock) Source #

blockCapacityTxMeasure ∷ LedgerConfig TestBlock → TickedLedgerState TestBlock → TxMeasure TestBlock Source #

PayloadSemantics Tx Source # 
Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

type PayloadDependentState Tx Source #

type PayloadDependentError Tx Source #

Methods

applyPayload ∷ PayloadDependentState Tx → Tx → Either (PayloadDependentError Tx) (PayloadDependentState Tx) Source #

Generic (CodecConfig TestBlock) Source # 
Instance details

Defined in Bench.Consensus.Mempool.TestBlock

Associated Types

type Rep (CodecConfig TestBlock) ∷ 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) ∷ 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)) ∷ Type → Type #

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) ∷ Type → Type #

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)) ∷ Type → Type #

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 #

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

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 #

type Rep Tx Source # 
Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type Rep Tx = D1 ('MetaData "Tx" "Bench.Consensus.Mempool.TestBlock" "ouroboros-consensus-0.21.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
type PayloadDependentState Tx Source # 
Instance details

Defined in Bench.Consensus.Mempool.TestBlock

type PayloadDependentState Tx
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-0.21.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-0.21.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-0.21.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-0.21.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-0.21.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

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.