consensus-test
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Consensus.Mempool.Fairness.TestBlock

Synopsis

Documentation

type TestBlock = TestBlockWith Tx Source #

data Tx Source #

The fairness test for transaction sizes only cares about said aspect.

We do need to keep track of the transaction id.

All transactions will be accepted by the mempool.

Instances

Instances details
Generic Tx Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.TestBlock

Methods

showsPrec ∷ Int → Tx → ShowS #

show ∷ Tx → String #

showList ∷ [Tx] → ShowS #

NFData Tx Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

rnf ∷ Tx → () #

Eq Tx Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

(==) ∷ Tx → Tx → Bool #

(/=) ∷ Tx → Tx → Bool #

Ord Tx Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.TestBlock

Methods

showsPrec ∷ Int → CodecConfig TestBlock → ShowS #

show ∷ CodecConfig TestBlock → String #

showList ∷ [CodecConfig TestBlock] → ShowS #

Show (StorageConfig TestBlock) Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

showsPrec ∷ Int → StorageConfig TestBlock → ShowS #

show ∷ StorageConfig TestBlock → String #

showList ∷ [StorageConfig TestBlock] → ShowS #

Show (Validated (GenTx TestBlock)) Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.TestBlock

Methods

showsPrec ∷ Int → GenTx TestBlock → ShowS #

show ∷ GenTx TestBlock → String #

showList ∷ [GenTx TestBlock] → ShowS #

Show (TxId (GenTx TestBlock)) Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.TestBlock

Methods

rnf ∷ GenTx TestBlock → () #

Eq (GenTx TestBlock) Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

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

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

Eq (TxId (GenTx TestBlock)) Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

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

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

Ord (GenTx TestBlock) Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.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 Test.Consensus.Mempool.Fairness.TestBlock

Methods

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

type Rep Tx Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

type Rep Tx = D1 ('MetaData "Tx" "Test.Consensus.Mempool.Fairness.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-consensus-test" 'False) (C1 ('MetaCons "Tx" 'PrefixI 'True) (S1 ('MetaSel ('Just "txNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "txSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteSize32)))
data CodecConfig TestBlock Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

data CodecConfig TestBlock = TestBlockCodecConfig
data StorageConfig TestBlock Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

data StorageConfig TestBlock = TestBlockStorageConfig
type ApplyTxErr TestBlock Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

type ApplyTxErr TestBlock = ()
newtype GenTx TestBlock Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

newtype GenTx TestBlock = TestBlockGenTx {}
type TxMeasure TestBlock Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

type TxMeasure TestBlock = IgnoringOverflow ByteSize32
type PayloadDependentError Tx Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

type PayloadDependentError Tx = ()
type PayloadDependentState Tx Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

type PayloadDependentState Tx = ()
type Rep (CodecConfig TestBlock) Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Consensus.Mempool.Fairness.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-consensus-test" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (StorageConfig TestBlock) Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Consensus.Mempool.Fairness.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-consensus-test" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (Validated (GenTx TestBlock)) Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

type Rep (Validated (GenTx TestBlock)) = D1 ('MetaData "Validated" "Test.Consensus.Mempool.Fairness.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-consensus-test" '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 Test.Consensus.Mempool.Fairness.TestBlock

type Rep (GenTx TestBlock) = D1 ('MetaData "GenTx" "Test.Consensus.Mempool.Fairness.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-consensus-test" '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 Test.Consensus.Mempool.Fairness.TestBlock

type Rep (TxId (GenTx TestBlock)) = D1 ('MetaData "TxId" "Test.Consensus.Mempool.Fairness.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-consensus-test" '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 Test.Consensus.Mempool.Fairness.TestBlock

newtype Validated (GenTx TestBlock) = ValidatedGenTx (GenTx TestBlock)
newtype TxId (GenTx TestBlock) Source # 
Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

newtype TxId (GenTx TestBlock) = TestBlockTxId Tx

mkGenTx ∷ Int → ByteSize32 → GenTx TestBlock Source #

txSize ∷ Tx → ByteSize32 Source #

unGenTx ∷ GenTx TestBlock → Tx Source #