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 :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (PpupPredicateFailure era) -> Size Source # encodedListSizeExpr :: (forall 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) Source # wNoThunks :: Context -> PpupPredicateFailure era -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (PpupPredicateFailure era) -> String Source #
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-Is3EknyvW92LxCl96jGQVW" '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 :: (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 #
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) Source # wNoThunks :: Context -> VotingPeriod -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy VotingPeriod -> String Source #
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-Is3EknyvW92LxCl96jGQVW" 'False) (C1 ('MetaCons "VoteForThisEpoch" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VoteForNextEpoch" 'PrefixI 'False) (U1 :: Type -> Type))