Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Shelley.Rules.Ppup
Synopsis
- data PPUP era
- data PPUPEnv era = PPUPEnv SlotNo ( PParams era) ( GenDelegs ( Crypto era))
-
data
PpupPredicateFailure
era
- = NonGenesisUpdatePPUP !( Set ( KeyHash ' Genesis ( Crypto era))) !( Set ( KeyHash ' Genesis ( Crypto era)))
- | PPUpdateWrongEpoch ! EpochNo ! EpochNo ! VotingPeriod
- | PVCannotFollowPPUP ! ProtVer
- newtype PpupEvent era = NewEpoch EpochNo
- type family PredicateFailure a
- data VotingPeriod
Documentation
Instances
data PpupPredicateFailure era Source #
Constructors
NonGenesisUpdatePPUP !( Set ( KeyHash ' Genesis ( Crypto era))) !( Set ( KeyHash ' Genesis ( Crypto era))) | |
PPUpdateWrongEpoch ! EpochNo ! EpochNo ! VotingPeriod | |
PVCannotFollowPPUP ! ProtVer |
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 #
Constructors
VoteForThisEpoch | |
VoteForNextEpoch |