Safe Haskell	None
Language	Haskell2010

Test.ThreadNet.Rekeying

Synopsis

data Rekeying (m ∷ Type → Type) blk = Rekeying {
- rekeyOracle ∷ CoreNodeId → SlotNo → Maybe SlotNo
- rekeyUpd ∷ CoreNodeId → ProtocolInfo blk → m [MkBlockForging m blk] → EpochNo → opKey → m (Maybe (TestNodeInitialization m blk))
- rekeyFreshSKs ∷ Stream opKey
}
fromRekeyingToRekeyM ∷ IOLike m ⇒ Rekeying m blk → m (RekeyM m blk)

Documentation

data Rekeying (m ∷ Type → Type) blk Source #

Functionality used by test node in order to update its operational key

This is the conceptual interface demanded from the test-specific logic. It is used to define tnaRekeyM, which the test infrastructure invokes per the NodeRestarts schedule.

Constructors

Rekeying

Fields

rekeyOracle ∷ CoreNodeId → SlotNo → Maybe SlotNo
The first nominal slot after the given slot, assuming the given core node cannot lead.
IE the first slot that will result in a block successfully being forged and diffused (eg no PBftExceededSignThreshold).
rekeyUpd ∷ CoreNodeId → ProtocolInfo blk → m [MkBlockForging m blk] → EpochNo → opKey → m (Maybe (TestNodeInitialization m blk))
new config and any corresponding delegation certificate transactions
The given epoch contains the first nominal slot whose block will include the redelegation certificate transaction.
The TestNodeInitialization includes the new ProtocolInfo used when the node completes restarting.
rekeyFreshSKs ∷ Stream opKey
a stream that only repeats itself after an *effectively* *infinite* number of iterations and also never includes an operational key from the genesis configuration

fromRekeyingToRekeyM ∷ IOLike m ⇒ Rekeying m blk → m (RekeyM m blk) Source #