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
- = VoteForThisEpoch
- | VoteForNextEpoch

Documentation

data PPUP era Source #

Instances

Instances details

Typeable era ⇒ STS (PPUP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup Associated Types type State (PPUP era) Source # type Signal (PPUP era) Source # type Environment (PPUP era) Source # type BaseM (PPUP era) ∷ Type → Type Source # type PredicateFailure (PPUP era) = (b ∷ Type) Source # Methods initialRules ∷ [InitialRule (PPUP era)] Source # transitionRules ∷ [TransitionRule (PPUP era)] Source # assertions ∷ [Assertion (PPUP era)] Source # renderAssertionViolation ∷ AssertionViolation (PPUP era) → String Source #
Crypto c ⇒ Embed (PPUP (ShelleyEra c)) (UTXO (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo Methods wrapFailed ∷ PredicateFailure (PPUP (ShelleyEra c)) → PredicateFailure (UTXO (ShelleyEra c)) Source #
type PredicateFailure (PPUP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup type PredicateFailure (PPUP era) = PpupPredicateFailure era
type BaseM (PPUP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup type BaseM (PPUP era) = ShelleyBase
type Environment (PPUP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup type Environment (PPUP era) = PPUPEnv era
type Signal (PPUP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup type Signal (PPUP era) = Maybe (Update era)
type State (PPUP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup type State (PPUP era) = PPUPState era

data PPUPEnv era Source #

Constructors

PPUPEnv SlotNo (PParams era) (GenDelegs (Crypto era))

data PpupPredicateFailure era Source #

Constructors

NonGenesisUpdatePPUP !(Set (KeyHash 'Genesis (Crypto era))) !(Set (KeyHash 'Genesis (Crypto era)))
PPUpdateWrongEpoch !EpochNo !EpochNo !VotingPeriod
PVCannotFollowPPUP !ProtVer

Instances

Instances details

Eq (PpupPredicateFailure era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup Methods (==) ∷ PpupPredicateFailure era → PpupPredicateFailure era → Bool # (/=) ∷ PpupPredicateFailure era → PpupPredicateFailure era → Bool #
Show (PpupPredicateFailure era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup Methods showsPrec ∷ Int → PpupPredicateFailure era → ShowS # show ∷ PpupPredicateFailure era → String # showList ∷ [PpupPredicateFailure era] → ShowS #
Generic (PpupPredicateFailure era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup Associated Types type Rep (PpupPredicateFailure era) ∷ Type → Type # Methods from ∷ PpupPredicateFailure era → Rep (PpupPredicateFailure era) x # to ∷ Rep (PpupPredicateFailure era) x → PpupPredicateFailure era #
(Typeable era, Era era) ⇒ ToCBOR (PpupPredicateFailure era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup Methods toCBOR ∷ PpupPredicateFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PpupPredicateFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PpupPredicateFailure era] → Size Source #
Era era ⇒ FromCBOR (PpupPredicateFailure era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup Methods fromCBOR ∷ Decoder s (PpupPredicateFailure era) Source # label ∷ Proxy (PpupPredicateFailure era) → Text Source #
NoThunks (PpupPredicateFailure era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup Methods noThunks ∷ Context → PpupPredicateFailure era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → PpupPredicateFailure era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (PpupPredicateFailure era) → String
type Rep (PpupPredicateFailure era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup type Rep (PpupPredicateFailure era) = D1 ('MetaData "PpupPredicateFailure" "Shelley.Spec.Ledger.STS.Ppup" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "NonGenesisUpdatePPUP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash 'Genesis (Crypto era)))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash 'Genesis (Crypto era))))) :+: (C1 ('MetaCons "PPUpdateWrongEpoch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VotingPeriod))) :+: C1 ('MetaCons "PVCannotFollowPPUP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer))))

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, PredicateFailures 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 PredicateFailures 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

Instances details

type PredicateFailure TICKN Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Tickn type PredicateFailure TICKN = TicknPredicateFailure
type PredicateFailure (UPDN crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn type PredicateFailure (UPDN crypto) = UpdnPredicateFailure crypto
type PredicateFailure (SNAP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Snap type PredicateFailure (SNAP era) = SnapPredicateFailure era
type PredicateFailure (RUPD era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Rupd type PredicateFailure (RUPD era) = RupdPredicateFailure era
type PredicateFailure (PPUP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup type PredicateFailure (PPUP era) = PpupPredicateFailure era
type PredicateFailure (UTXO (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo type PredicateFailure (UTXO (ShelleyEra c)) = UtxoPredicateFailure (ShelleyEra c)
type PredicateFailure (UTXOW (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow type PredicateFailure (UTXOW (ShelleyEra c)) = UtxowPredicateFailure (ShelleyEra c)
type PredicateFailure (POOLREAP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.PoolReap type PredicateFailure (POOLREAP era) = PoolreapPredicateFailure era
type PredicateFailure (POOL era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Pool type PredicateFailure (POOL era) = PoolPredicateFailure era
type PredicateFailure (NEWPP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Newpp type PredicateFailure (NEWPP era) = NewppPredicateFailure era
type PredicateFailure (MIR era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Mir type PredicateFailure (MIR era) = MirPredicateFailure era
type PredicateFailure (EPOCH era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Epoch type PredicateFailure (EPOCH era) = EpochPredicateFailure era
type PredicateFailure (NEWEPOCH era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.NewEpoch type PredicateFailure (NEWEPOCH era) = NewEpochPredicateFailure era
type PredicateFailure (TICKF era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Tick type PredicateFailure (TICKF era) = TickfPredicateFailure era
type PredicateFailure (TICK era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Tick type PredicateFailure (TICK era) = TickPredicateFailure era
type PredicateFailure (DELEG era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Deleg type PredicateFailure (DELEG era) = DelegPredicateFailure era
type PredicateFailure (DELPL era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Delpl type PredicateFailure (DELPL era) = DelplPredicateFailure era
type PredicateFailure (DELEGS era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Delegs type PredicateFailure (DELEGS era) = DelegsPredicateFailure era
type PredicateFailure (LEDGER era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ledger type PredicateFailure (LEDGER era) = LedgerPredicateFailure era
type PredicateFailure (LEDGERS era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ledgers type PredicateFailure (LEDGERS era) = LedgersPredicateFailure era
type PredicateFailure (OCERT crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ocert type PredicateFailure (OCERT crypto) = OcertPredicateFailure crypto
type PredicateFailure (OVERLAY crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay type PredicateFailure (OVERLAY crypto) = OverlayPredicateFailure crypto
type PredicateFailure (PRTCL crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl type PredicateFailure (PRTCL crypto) = PrtclPredicateFailure crypto
type PredicateFailure (BBODY era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Bbody type PredicateFailure (BBODY era) = BbodyPredicateFailure era
type PredicateFailure (CHAIN era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Chain type PredicateFailure (CHAIN era) = ChainPredicateFailure era

data VotingPeriod Source #

Constructors

VoteForThisEpoch
VoteForNextEpoch

Instances

Instances details

Eq VotingPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup Methods (==) ∷ VotingPeriod → VotingPeriod → Bool # (/=) ∷ VotingPeriod → VotingPeriod → Bool #
Show VotingPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup Methods showsPrec ∷ Int → VotingPeriod → ShowS # show ∷ VotingPeriod → String # showList ∷ [VotingPeriod] → ShowS #
Generic VotingPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup Associated Types type Rep VotingPeriod ∷ Type → Type # Methods from ∷ VotingPeriod → Rep VotingPeriod x # to ∷ Rep VotingPeriod x → VotingPeriod #
ToCBOR VotingPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup Methods toCBOR ∷ VotingPeriod → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy VotingPeriod → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VotingPeriod] → Size Source #
FromCBOR VotingPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup Methods fromCBOR ∷ Decoder s VotingPeriod Source # label ∷ Proxy VotingPeriod → Text Source #
NoThunks VotingPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup Methods noThunks ∷ Context → VotingPeriod → IO (Maybe ThunkInfo) wNoThunks ∷ Context → VotingPeriod → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy VotingPeriod → String
type Rep VotingPeriod Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup type Rep VotingPeriod = D1 ('MetaData "VotingPeriod" "Shelley.Spec.Ledger.STS.Ppup" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "VoteForThisEpoch" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "VoteForNextEpoch" 'PrefixI 'False) (U1 ∷ Type → Type))