Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data ShelleyPPUP era
- data PpupEnv era = PPUPEnv SlotNo (PParams era) (GenDelegs (EraCrypto era))
- data ShelleyPpupPredFailure era
- = NonGenesisUpdatePPUP !(Set (KeyHash 'Genesis (EraCrypto era))) !(Set (KeyHash 'Genesis (EraCrypto era)))
- | PPUpdateWrongEpoch !EpochNo !EpochNo !VotingPeriod
- | PVCannotFollowPPUP !ProtVer
- data ShelleyGovState era = ShelleyGovState {
- sgsCurProposals ∷ !(ProposedPPUpdates era)
- sgsFutureProposals ∷ !(ProposedPPUpdates era)
- sgsCurPParams ∷ !(PParams era)
- sgsPrevPParams ∷ !(PParams era)
- sgsFuturePParams ∷ !(FuturePParams era)
- newtype PpupEvent era = PpupNewEpoch EpochNo
- type family PredicateFailure a
- data VotingPeriod
- type PPUPPredFailure era = EraRuleFailure "PPUP" era
- votedFuturePParams ∷ ∀ era. EraPParams era ⇒ ProposedPPUpdates era → PParams era → Word64 → Maybe (PParams era)
Documentation
data ShelleyPPUP era Source #
Instances
data ShelleyPpupPredFailure era Source #
NonGenesisUpdatePPUP !(Set (KeyHash 'Genesis (EraCrypto era))) !(Set (KeyHash 'Genesis (EraCrypto era))) | An update was proposed by a key hash that is not one of the genesis keys. The first set contains the key hashes which were a part of the update. The second set contains the key hashes of the genesis keys. |
PPUpdateWrongEpoch !EpochNo !EpochNo !VotingPeriod | An update was proposed for the wrong epoch.
The first |
PVCannotFollowPPUP !ProtVer | An update was proposed which contains an invalid protocol version. New protocol versions must either increase the major number by exactly one and set the minor version to zero, or keep the major version the same and increase the minor version by exactly one. |
Instances
data ShelleyGovState era Source #
ShelleyGovState | |
|
Instances
type family PredicateFailure a Source #
Descriptive type for the possible failures which might cause a transition to fail.
As a convention, PredicateFailure
s which are "structural" (meaning that
they are not "throwable" in practice, and are used to pass control from
one transition rule to another) are prefixed with S_
.
Structural PredicateFailure
s represent conditions between rules where
the disjunction of all rules' preconditions is equal to True
. That is,
either one rule will throw a structural PredicateFailure
and the other
will succeed, or vice-versa.
Instances
data VotingPeriod Source #
Instances
type PPUPPredFailure era = EraRuleFailure "PPUP" era Source #
Deprecated: In favor of EraRuleFailure
PPUP era
∷ ∀ era. EraPParams era | |
⇒ ProposedPPUpdates era | |
→ PParams era | Protocol parameters to which the change will be applied. |
→ Word64 | Quorum needed to change the protocol parameters. |
→ Maybe (PParams era) |
If at least n
nodes voted to change the same protocol parameters to
the same values, return the given protocol parameters updated to these
values. Here n
is the quorum needed.
Orphan instances
(EraPParams era, ProtVerAtMost era 8) ⇒ STS (ShelleyPPUP era) Source # | |
type State (ShelleyPPUP era) Source # type Signal (ShelleyPPUP era) Source # type Environment (ShelleyPPUP era) Source # type BaseM (ShelleyPPUP era) ∷ Type → Type Source # type Event (ShelleyPPUP era) Source # type PredicateFailure (ShelleyPPUP era) Source # initialRules ∷ [InitialRule (ShelleyPPUP era)] Source # transitionRules ∷ [TransitionRule (ShelleyPPUP era)] Source # assertions ∷ [Assertion (ShelleyPPUP era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyPPUP era) → String Source # |