consensus-test
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.HardFork.Combinator

Documentation

tests ∷ TestTree Source #

Orphan instances

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

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

Methods

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

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

IndexedMemPack (LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK) (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 ⇒ LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → Unpack b (DefaultHardForkTxOut '[BlockA, BlockB]) Source #

indexedTypeName ∷ 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 AcrossEraSelection '[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 {}

Methods

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

ejectCanonicalTxIn ∷ Index '[BlockA, BlockB] x → CanonicalTxIn '[BlockA, BlockB] → TxIn (LedgerState 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 (LedgerState x) → HardForkTxOut '[BlockA, BlockB] Source #

ejectHardForkTxOut ∷ Index '[BlockA, BlockB] x → HardForkTxOut '[BlockA, BlockB] → TxOut (LedgerState 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 (LedgerState (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 → 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 #