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