Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.ThreadNet.Infra.ShelleyBasedHardFork

Contents

Blocks
Transactions
Node
Orphan instances

Description

Test infrastructure to test hard-forking from one Shelley-based era to another, e.g., Shelley to Allegra.

Synopsis

type ShelleyBasedHardForkBlock proto1 era1 proto2 era2 = HardForkBlock (ShelleyBasedHardForkEras proto1 era1 proto2 era2)
type ShelleyBasedHardForkEras proto1 era1 proto2 era2 = '[ShelleyBlock proto1 era1, ShelleyBlock proto2 era2]
pattern GenTxShelley1 ∷ GenTx (ShelleyBlock proto1 era1) → ShelleyBasedHardForkGenTx proto1 era1 proto2 era2
pattern GenTxShelley2 ∷ GenTx (ShelleyBlock proto2 era2) → ShelleyBasedHardForkGenTx proto1 era1 proto2 era2
type ShelleyBasedHardForkConstraints proto1 era1 proto2 era2 = (ShelleyCompatible proto1 era1, ShelleyCompatible proto2 era2, LedgerSupportsProtocol (ShelleyBlock proto1 era1), LedgerSupportsProtocol (ShelleyBlock proto2 era2), TxLimits (ShelleyBlock proto1 era1), TxLimits (ShelleyBlock proto2 era2), TranslateTxMeasure (TxMeasure (ShelleyBlock proto1 era1)) (TxMeasure (ShelleyBlock proto2 era2)), PreviousEra era2 ~ era1, TranslateEra era2 NewEpochState, TranslateEra era2 WrapTx, TranslationError era2 NewEpochState ~ Void, EraCrypto era1 ~ EraCrypto era2, PraosCrypto (EraCrypto era1), proto1 ~ TPraos (EraCrypto era1), proto1 ~ proto2)
protocolInfoShelleyBasedHardFork ∷ ∀ m proto1 era1 proto2 era2. (IOLike m, ShelleyBasedHardForkConstraints proto1 era1 proto2 era2) ⇒ ProtocolParamsShelleyBased (EraCrypto era1) → ProtVer → ProtVer → TransitionConfig era2 → TriggerHardFork → (ProtocolInfo (ShelleyBasedHardForkBlock proto1 era1 proto2 era2), m [BlockForging m (ShelleyBasedHardForkBlock proto1 era1 proto2 era2)])

Blocks

type ShelleyBasedHardForkBlock proto1 era1 proto2 era2 = HardForkBlock (ShelleyBasedHardForkEras proto1 era1 proto2 era2) Source #

type ShelleyBasedHardForkEras proto1 era1 proto2 era2 = '[ShelleyBlock proto1 era1, ShelleyBlock proto2 era2] Source #

Two eras, both Shelley-based.

Transactions

pattern GenTxShelley1 ∷ GenTx (ShelleyBlock proto1 era1) → ShelleyBasedHardForkGenTx proto1 era1 proto2 era2 Source #

pattern GenTxShelley2 ∷ GenTx (ShelleyBlock proto2 era2) → ShelleyBasedHardForkGenTx proto1 era1 proto2 era2 Source #

Node

type ShelleyBasedHardForkConstraints proto1 era1 proto2 era2 = (ShelleyCompatible proto1 era1, ShelleyCompatible proto2 era2, LedgerSupportsProtocol (ShelleyBlock proto1 era1), LedgerSupportsProtocol (ShelleyBlock proto2 era2), TxLimits (ShelleyBlock proto1 era1), TxLimits (ShelleyBlock proto2 era2), TranslateTxMeasure (TxMeasure (ShelleyBlock proto1 era1)) (TxMeasure (ShelleyBlock proto2 era2)), PreviousEra era2 ~ era1, TranslateEra era2 NewEpochState, TranslateEra era2 WrapTx, TranslationError era2 NewEpochState ~ Void, EraCrypto era1 ~ EraCrypto era2, PraosCrypto (EraCrypto era1), proto1 ~ TPraos (EraCrypto era1), proto1 ~ proto2) Source #

protocolInfoShelleyBasedHardFork ∷ ∀ m proto1 era1 proto2 era2. (IOLike m, ShelleyBasedHardForkConstraints proto1 era1 proto2 era2) ⇒ ProtocolParamsShelleyBased (EraCrypto era1) → ProtVer → ProtVer → TransitionConfig era2 → TriggerHardFork → (ProtocolInfo (ShelleyBasedHardForkBlock proto1 era1 proto2 era2), m [BlockForging m (ShelleyBasedHardForkBlock proto1 era1 proto2 era2)]) Source #

Orphan instances

ShelleyBasedHardForkConstraints proto1 era1 proto2 era2 ⇒ CanHardFork (ShelleyBasedHardForkEras proto1 era1 proto2 era2) Source #
Instance details Associated Types type HardForkTxMeasure (ShelleyBasedHardForkEras proto1 era1 proto2 era2) Source # Methods hardForkEraTranslation ∷ EraTranslation (ShelleyBasedHardForkEras proto1 era1 proto2 era2) Source # hardForkChainSel ∷ Tails AcrossEraSelection (ShelleyBasedHardForkEras proto1 era1 proto2 era2) Source # hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (ShelleyBasedHardForkEras proto1 era1 proto2 era2) Source # hardForkInjTxMeasure ∷ NS WrapTxMeasure (ShelleyBasedHardForkEras proto1 era1 proto2 era2) → HardForkTxMeasure (ShelleyBasedHardForkEras proto1 era1 proto2 era2) Source #
ShelleyBasedHardForkConstraints proto1 era1 proto2 era2 ⇒ SerialiseHFC (ShelleyBasedHardForkEras proto1 era1 proto2 era2) Source #
Instance details Methods encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (ShelleyBasedHardForkEras proto1 era1 proto2 era2)) → HardForkBlock (ShelleyBasedHardForkEras proto1 era1 proto2 era2) → Encoding Source # decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (ShelleyBasedHardForkEras proto1 era1 proto2 era2)) → ∀ s. Decoder s (ByteString → HardForkBlock (ShelleyBasedHardForkEras proto1 era1 proto2 era2)) Source # reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock (ShelleyBasedHardForkEras proto1 era1 proto2 era2))) → PrefixLen Source # reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock (ShelleyBasedHardForkEras proto1 era1 proto2 era2))) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock (ShelleyBasedHardForkEras proto1 era1 proto2 era2)) Source # getHfcBinaryBlockInfo ∷ HardForkBlock (ShelleyBasedHardForkEras proto1 era1 proto2 era2) → BinaryBlockInfo Source # estimateHfcBlockSize ∷ Header (HardForkBlock (ShelleyBasedHardForkEras proto1 era1 proto2 era2)) → SizeInBytes Source #
ShelleyBasedHardForkConstraints proto1 era1 proto2 era2 ⇒ SupportedNetworkProtocolVersion (ShelleyBasedHardForkBlock proto1 era1 proto2 era2) Source #
Instance details Methods supportedNodeToNodeVersions ∷ Proxy (ShelleyBasedHardForkBlock proto1 era1 proto2 era2) → Map NodeToNodeVersion (BlockNodeToNodeVersion (ShelleyBasedHardForkBlock proto1 era1 proto2 era2)) Source # supportedNodeToClientVersions ∷ Proxy (ShelleyBasedHardForkBlock proto1 era1 proto2 era2) → Map NodeToClientVersion (BlockNodeToClientVersion (ShelleyBasedHardForkBlock proto1 era1 proto2 era2)) Source # latestReleasedNodeVersion ∷ Proxy (ShelleyBasedHardForkBlock proto1 era1 proto2 era2) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #
(TxGen (ShelleyBlock proto1 era1), TxGen (ShelleyBlock proto2 era2), ShelleyBasedHardForkConstraints proto1 era1 proto2 era2) ⇒ TxGen (ShelleyBasedHardForkBlock proto1 era1 proto2 era2) Source #	Use a generic implementation for `TxGen`
Instance details Associated Types type TxGenExtra (ShelleyBasedHardForkBlock proto1 era1 proto2 era2) Source # Methods testGenTxs ∷ CoreNodeId → NumCoreNodes → SlotNo → TopLevelConfig (ShelleyBasedHardForkBlock proto1 era1 proto2 era2) → TxGenExtra (ShelleyBasedHardForkBlock proto1 era1 proto2 era2) → LedgerState (ShelleyBasedHardForkBlock proto1 era1 proto2 era2) → Gen [GenTx (ShelleyBasedHardForkBlock proto1 era1 proto2 era2)] Source #