Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Update.Validation.Interface.ProtocolVersionBump

Synopsis

data Environment = Environment {
- k ∷ !BlockCount
- epochFirstSlot ∷ !SlotNumber
- candidateProtocolVersions ∷ ![CandidateProtocolUpdate]
}
data State = State {
- nextProtocolVersion ∷ !ProtocolVersion
- nextProtocolParameters ∷ !ProtocolParameters
}
tryBumpVersion ∷ Environment → State → State

Documentation

data Environment Source #

Constructors

Environment
Fields k ∷ !BlockCount epochFirstSlot ∷ !SlotNumber candidateProtocolVersions ∷ ![CandidateProtocolUpdate]

data State Source #

Constructors

State
Fields nextProtocolVersion ∷ !ProtocolVersion nextProtocolParameters ∷ !ProtocolParameters

tryBumpVersion ∷ Environment → State → State Source #

Change the protocol version when an epoch change is detected, and there is a candidate protocol update that was confirmed at least 4 * k slots before the start of the new epoch, where k is the chain security parameter.

For a full history of why this is required, see https://github.com/intersectmbo/cardano-ledger/issues/1288

This corresponds to the PVBUMP rules in the Byron ledger specification.