ouroboros-consensus

Safe Haskell	None
Language	Haskell2010

Test.Consensus.HardFork.Combinator

Contents

Orphan instances

Documentation

tests ∷ TestTree Source #

Orphan instances

SerializeTablesWithHint LedgerState (HardForkBlock '[BlockA, BlockB]) Source #

Instance details

Methods

encodeTablesWithHint ∷ LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → LedgerTables (HardForkBlock '[BlockA, BlockB]) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → Decoder s (LedgerTables (HardForkBlock '[BlockA, BlockB]) ValuesMK) Source #

IndexedMemPack LedgerState (HardForkBlock '[BlockA, BlockB]) (DefaultHardForkTxOut '[BlockA, BlockB]) Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → DefaultHardForkTxOut '[BlockA, BlockB] → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → DefaultHardForkTxOut '[BlockA, BlockB] → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → Unpack s b (DefaultHardForkTxOut '[BlockA, BlockB]) Source #

indexedTypeName ∷ Proxy (DefaultHardForkTxOut '[BlockA, BlockB]) → LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → String Source #

Show (CanonicalTxIn '[BlockA, BlockB]) Source #

Instance details

Methods

showsPrec ∷ Int → CanonicalTxIn '[BlockA, BlockB] → ShowS #

show ∷ CanonicalTxIn '[BlockA, BlockB] → String #

showList ∷ [CanonicalTxIn '[BlockA, BlockB]] → ShowS #

Eq (CanonicalTxIn '[BlockA, BlockB]) Source #

Instance details

Methods

(==) ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → Bool #

(/=) ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → Bool #

Ord (CanonicalTxIn '[BlockA, BlockB]) Source #

Instance details

Methods

compare ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → Ordering #

(<) ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → Bool #

(<=) ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → Bool #

(>) ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → Bool #

(>=) ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → Bool #

max ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] #

min ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] #

MemPack (CanonicalTxIn '[BlockA, BlockB]) Source #

Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ CanonicalTxIn '[BlockA, BlockB] → Int Source #

packM ∷ CanonicalTxIn '[BlockA, BlockB] → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (CanonicalTxIn '[BlockA, BlockB]) Source #

NoThunks (CanonicalTxIn '[BlockA, BlockB]) Source #

Instance details

Methods

noThunks ∷ Context → CanonicalTxIn '[BlockA, BlockB] → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn '[BlockA, BlockB] → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn '[BlockA, BlockB]) → String Source #

IndexedMemPack (Ticked LedgerState) (HardForkBlock '[BlockA, BlockB]) (DefaultHardForkTxOut '[BlockA, BlockB]) Source #

Instance details

Methods

indexedPackedByteCount ∷ Ticked LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → DefaultHardForkTxOut '[BlockA, BlockB] → Int Source #

indexedPackM ∷ Ticked LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → DefaultHardForkTxOut '[BlockA, BlockB] → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. Ticked LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → Unpack s b (DefaultHardForkTxOut '[BlockA, BlockB]) Source #

indexedTypeName ∷ Proxy (DefaultHardForkTxOut '[BlockA, BlockB]) → Ticked LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → String Source #

CanHardFork '[BlockA, BlockB] Source #

Instance details

Associated Types

type HardForkTxMeasure '[BlockA, BlockB]
Instance details Defined in Test.Consensus.HardFork.Combinator type HardForkTxMeasure '[BlockA, BlockB] = IgnoringOverflow ByteSize32

Methods

hardForkEraTranslation ∷ EraTranslation '[BlockA, BlockB] Source #

hardForkChainSel ∷ Tails AcrossEraTiebreaker '[BlockA, BlockB] Source #

hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) '[BlockA, BlockB] Source #

hardForkInjTxMeasure ∷ NS WrapTxMeasure '[BlockA, BlockB] → HardForkTxMeasure '[BlockA, BlockB] Source #

HasCanonicalTxIn '[BlockA, BlockB] Source #

Instance details

Associated Types

newtype CanonicalTxIn '[BlockA, BlockB]
Instance details Defined in Test.Consensus.HardFork.Combinator newtype CanonicalTxIn '[BlockA, BlockB] = BlockABTxIn { getBlockABTxIn ∷ Void }

Methods

injectCanonicalTxIn ∷ Index '[BlockA, BlockB] x → TxIn x → CanonicalTxIn '[BlockA, BlockB] Source #

ejectCanonicalTxIn ∷ Index '[BlockA, BlockB] x → CanonicalTxIn '[BlockA, BlockB] → TxIn x Source #

HasHardForkTxOut '[BlockA, BlockB] Source #

Instance details

Associated Types

type HardForkTxOut '[BlockA, BlockB]
Instance details Defined in Test.Consensus.HardFork.Combinator type HardForkTxOut '[BlockA, BlockB] = DefaultHardForkTxOut '[BlockA, BlockB]

Methods

injectHardForkTxOut ∷ Index '[BlockA, BlockB] x → TxOut x → HardForkTxOut '[BlockA, BlockB] Source #

ejectHardForkTxOut ∷ Index '[BlockA, BlockB] x → HardForkTxOut '[BlockA, BlockB] → TxOut x Source #

txOutEjections ∷ NP ((K (NS WrapTxOut '[BlockA, BlockB]) ∷ Type → Type) -.-> WrapTxOut) '[BlockA, BlockB] Source #

txOutTranslations ∷ Tails (Fn2 WrapTxOut) '[BlockA, BlockB] Source #

BlockSupportsHFLedgerQuery '[BlockA, BlockB] Source #

Instance details

Methods

answerBlockQueryHFLookup ∷ (All SingleEraBlock '[BlockA, BlockB], Monad m) ⇒ Index '[BlockA, BlockB] x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock '[BlockA, BlockB]) → m result Source #

answerBlockQueryHFTraverse ∷ (All SingleEraBlock '[BlockA, BlockB], Monad m) ⇒ Index '[BlockA, BlockB] x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock '[BlockA, BlockB]) → m result Source #

queryLedgerGetTraversingFilter ∷ Index '[BlockA, BlockB] x → BlockQuery x 'QFTraverseTables result → TxOut (HardForkBlock '[BlockA, BlockB]) → Bool Source #

SerialiseHFC '[BlockA, BlockB] Source #

Instance details

Methods

encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock '[BlockA, BlockB]) → HardForkBlock '[BlockA, BlockB] → Encoding Source #

decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock '[BlockA, BlockB]) → ∀ s. Decoder s (ByteString → Either DecoderError (HardForkBlock '[BlockA, BlockB])) Source #

reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock '[BlockA, BlockB])) → PrefixLen Source #

reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock '[BlockA, BlockB])) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock '[BlockA, BlockB]) Source #

getHfcBinaryBlockInfo ∷ HardForkBlock '[BlockA, BlockB] → BinaryBlockInfo Source #

estimateHfcBlockSize ∷ Header (HardForkBlock '[BlockA, BlockB]) → SizeInBytes Source #