Safe Haskell | None |
---|---|
Language | Haskell98 |
Shelley.Spec.Ledger.STS.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
- type family PredicateFailure a = (b :: Type) | b -> 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 = (b :: Type) | b -> 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 |
Instances
Eq VotingPeriod Source # | |
Defined in Shelley.Spec.Ledger.STS.Ppup | |
Show VotingPeriod Source # | |
Defined in Shelley.Spec.Ledger.STS.Ppup Methods showsPrec :: Int -> VotingPeriod -> ShowS # show :: VotingPeriod -> String # showList :: [VotingPeriod] -> ShowS # | |
Generic VotingPeriod Source # | |
Defined in Shelley.Spec.Ledger.STS.Ppup Associated Types type Rep VotingPeriod :: Type -> Type # | |
ToCBOR VotingPeriod Source # | |
Defined in Shelley.Spec.Ledger.STS.Ppup Methods toCBOR :: VotingPeriod -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy VotingPeriod -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VotingPeriod] -> Size Source # | |
FromCBOR VotingPeriod Source # | |
Defined in Shelley.Spec.Ledger.STS.Ppup | |
NoThunks VotingPeriod Source # | |
Defined in Shelley.Spec.Ledger.STS.Ppup | |
type Rep VotingPeriod Source # | |
Defined in Shelley.Spec.Ledger.STS.Ppup |