Safe Haskell	None
Language	Haskell2010

Test.Consensus.Mempool.Fairness.TestBlock

Synopsis

type TestBlock = TestBlockWith Tx
data family PayloadDependentState ptype (mk ∷ MapKind)
data Tx
mkGenTx ∷ Int → ByteSize32 → GenTx TestBlock
txSize ∷ Tx → ByteSize32
unGenTx ∷ GenTx TestBlock → Tx

Documentation

type TestBlock = TestBlockWith Tx Source #

data family PayloadDependentState ptype (mk ∷ MapKind) Source #

Instances

Instances details

Generic (PayloadDependentState Tx mk) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Associated Types

type Rep (PayloadDependentState Tx mk)
Instance details Defined in Test.Consensus.Mempool.Fairness.TestBlock type Rep (PayloadDependentState Tx mk) = D1 ('MetaData "PayloadDependentState" "Test.Consensus.Mempool.Fairness.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-consensus-test" 'False) (C1 ('MetaCons "NoPayLoadDependentState" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (PayloadDependentState () mk)

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (PayloadDependentState () mk)
Instance details Defined in Test.Util.TestBlock type Rep (PayloadDependentState () mk) = D1 ('MetaData "PayloadDependentState" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "EmptyPLDS" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Show (PayloadDependentState Tx mk) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

showsPrec ∷ Int → PayloadDependentState Tx mk → ShowS #

show ∷ PayloadDependentState Tx mk → String #

showList ∷ [PayloadDependentState Tx mk] → ShowS #

Show (PayloadDependentState () mk)

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → PayloadDependentState () mk → ShowS #

show ∷ PayloadDependentState () mk → String #

showList ∷ [PayloadDependentState () mk] → ShowS #

Eq (PayloadDependentState Tx mk) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

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

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

Eq (PayloadDependentState () mk)

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

Ord (PayloadDependentState Tx mk) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

compare ∷ PayloadDependentState Tx mk → PayloadDependentState Tx mk → Ordering #

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

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

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

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

max ∷ PayloadDependentState Tx mk → PayloadDependentState Tx mk → PayloadDependentState Tx mk #

min ∷ PayloadDependentState Tx mk → PayloadDependentState Tx mk → PayloadDependentState Tx mk #

NoThunks (PayloadDependentState Tx mk) Source #

Instance details

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

NoThunks (PayloadDependentState () mk)

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

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

Serialise (PayloadDependentState Tx mk) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

encode ∷ PayloadDependentState Tx mk → Encoding Source #

decode ∷ Decoder s (PayloadDependentState Tx mk) Source #

encodeList ∷ [PayloadDependentState Tx mk] → Encoding Source #

decodeList ∷ Decoder s [PayloadDependentState Tx mk] Source #

Serialise (PayloadDependentState () mk)

Instance details

Defined in Test.Util.TestBlock

Methods

encode ∷ PayloadDependentState () mk → Encoding Source #

decode ∷ Decoder s (PayloadDependentState () mk) Source #

encodeList ∷ [PayloadDependentState () mk] → Encoding Source #

decodeList ∷ Decoder s [PayloadDependentState () mk] Source #

data PayloadDependentState Tx mk Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

data PayloadDependentState Tx mk = NoPayLoadDependentState

data PayloadDependentState () mk

Instance details

Defined in Test.Util.TestBlock

data PayloadDependentState () mk = EmptyPLDS

type Rep (PayloadDependentState Tx mk) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

type Rep (PayloadDependentState Tx mk) = D1 ('MetaData "PayloadDependentState" "Test.Consensus.Mempool.Fairness.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-consensus-test" 'False) (C1 ('MetaCons "NoPayLoadDependentState" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (PayloadDependentState () mk)

Instance details

Defined in Test.Util.TestBlock

type Rep (PayloadDependentState () mk) = D1 ('MetaData "PayloadDependentState" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "EmptyPLDS" 'PrefixI 'False) (U1 ∷ Type → Type))

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

NFData Tx Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

rnf ∷ Tx → () #

Generic Tx Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Associated Types

type Rep Tx

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

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

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 #

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

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

reapplyTxs ∷ ComputeDiffs → LedgerConfig TestBlock → SlotNo → [(Validated (GenTx TestBlock), extra)] → TickedLedgerState TestBlock ValuesMK → ReapplyTxsResult extra TestBlock 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 #

TxLimits TestBlock Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Associated Types

type TxMeasure TestBlock
Instance details Defined in Test.Consensus.Mempool.Fairness.TestBlock type TxMeasure TestBlock = IgnoringOverflow ByteSize32

Methods

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

Associated Types

data PayloadDependentState Tx mk
Instance details Defined in Test.Consensus.Mempool.Fairness.TestBlock data PayloadDependentState Tx mk = NoPayLoadDependentState
type PayloadDependentError Tx
Instance details Defined in Test.Consensus.Mempool.Fairness.TestBlock type PayloadDependentError Tx = ()

Methods

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

getPayloadKeySets ∷ Tx → LedgerTables (LedgerState (TestBlockWith Tx)) KeysMK Source #

NFData (GenTx TestBlock) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

rnf ∷ GenTx TestBlock → () #

Generic (CodecConfig TestBlock) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Associated Types

type Rep (CodecConfig TestBlock)
Instance details Defined in Test.Consensus.Mempool.Fairness.TestBlock type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Consensus.Mempool.Fairness.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-consensus-test" '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 Test.Consensus.Mempool.Fairness.TestBlock

Associated Types

type Rep (StorageConfig TestBlock)
Instance details Defined in Test.Consensus.Mempool.Fairness.TestBlock type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Consensus.Mempool.Fairness.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-consensus-test" '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 Test.Consensus.Mempool.Fairness.TestBlock

Associated Types

type Rep (Validated (GenTx TestBlock))

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.26.0.0-inplace-consensus-test" '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 Test.Consensus.Mempool.Fairness.TestBlock

Associated Types

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

Associated Types

type Rep (TxId (GenTx TestBlock))
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.26.0.0-inplace-consensus-test" '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 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 #

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 #

CanStowLedgerTables (LedgerState TestBlock) Source #

Instance details

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

LedgerTablesAreTrivial (LedgerState TestBlock) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). LedgerState TestBlock mk → LedgerState TestBlock mk' Source #

CanUpgradeLedgerTables (LedgerState TestBlock) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState TestBlock mk1 → LedgerState TestBlock mk2 → LedgerTables (LedgerState TestBlock) ValuesMK → LedgerTables (LedgerState TestBlock) ValuesMK Source #

Generic (PayloadDependentState Tx mk) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Associated Types

type Rep (PayloadDependentState Tx mk)
Instance details Defined in Test.Consensus.Mempool.Fairness.TestBlock type Rep (PayloadDependentState Tx mk) = D1 ('MetaData "PayloadDependentState" "Test.Consensus.Mempool.Fairness.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-consensus-test" 'False) (C1 ('MetaCons "NoPayLoadDependentState" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Show (PayloadDependentState Tx mk) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

showsPrec ∷ Int → PayloadDependentState Tx mk → ShowS #

show ∷ PayloadDependentState Tx mk → String #

showList ∷ [PayloadDependentState Tx mk] → ShowS #

Eq (PayloadDependentState Tx mk) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

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

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

Ord (PayloadDependentState Tx mk) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

compare ∷ PayloadDependentState Tx mk → PayloadDependentState Tx mk → Ordering #

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

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

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

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

max ∷ PayloadDependentState Tx mk → PayloadDependentState Tx mk → PayloadDependentState Tx mk #

min ∷ PayloadDependentState Tx mk → PayloadDependentState Tx mk → PayloadDependentState Tx mk #

NoThunks (PayloadDependentState Tx mk) Source #

Instance details

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

LedgerTablesAreTrivial (Ticked (LedgerState TestBlock)) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). Ticked (LedgerState TestBlock) mk → Ticked (LedgerState TestBlock) mk' Source #

Serialise (PayloadDependentState Tx mk) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

encode ∷ PayloadDependentState Tx mk → Encoding Source #

decode ∷ Decoder s (PayloadDependentState Tx mk) Source #

encodeList ∷ [PayloadDependentState Tx mk] → Encoding Source #

decodeList ∷ Decoder s [PayloadDependentState Tx mk] Source #

IndexedMemPack (LedgerState TestBlock EmptyMK) Void Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

Methods

indexedPackedByteCount ∷ LedgerState TestBlock EmptyMK → Void → Int Source #

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

indexedUnpackM ∷ Buffer b ⇒ LedgerState TestBlock EmptyMK → Unpack b Void Source #

indexedTypeName ∷ LedgerState TestBlock EmptyMK → String 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.26.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 {

unGenTx ∷ Tx

}

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 = ()

data PayloadDependentState Tx mk Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

data PayloadDependentState Tx mk = NoPayLoadDependentState

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.26.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.26.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.26.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.26.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.26.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

type TxIn (LedgerState TestBlock) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

type TxIn (LedgerState TestBlock) = Void

type TxOut (LedgerState TestBlock) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

type TxOut (LedgerState TestBlock) = Void

type Rep (PayloadDependentState Tx mk) Source #

Instance details

Defined in Test.Consensus.Mempool.Fairness.TestBlock

type Rep (PayloadDependentState Tx mk) = D1 ('MetaData "PayloadDependentState" "Test.Consensus.Mempool.Fairness.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-consensus-test" 'False) (C1 ('MetaCons "NoPayLoadDependentState" 'PrefixI 'False) (U1 ∷ Type → Type))

mkGenTx ∷ Int → ByteSize32 → GenTx TestBlock Source #

txSize ∷ Tx → ByteSize32 Source #

unGenTx ∷ GenTx TestBlock → Tx Source #

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result