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

Documentation

data PPUP era Source #

Instances

Instances details

( Typeable era, HasField "_protocolVersion" ( PParams era) ProtVer , HasField "_protocolVersion" ( PParamsDelta era) ( StrictMaybe ProtVer )) => STS ( PPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.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 Event ( PPUP era) Source # type PredicateFailure ( PPUP era) Source # Methods initialRules :: [ InitialRule ( PPUP era)] Source # transitionRules :: [ TransitionRule ( PPUP era)] Source # assertions :: [ Assertion ( PPUP era)] Source # renderAssertionViolation :: AssertionViolation ( PPUP era) -> String Source #
( Era era, STS ( PPUP era), PredicateFailure ( EraRule "PPUP" era) ~ PpupPredicateFailure era, Event ( EraRule "PPUP" era) ~ PpupEvent era) => Embed ( PPUP era) ( UTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods wrapFailed :: PredicateFailure ( PPUP era) -> PredicateFailure ( UTXO era) Source # wrapEvent :: Event ( PPUP era) -> Event ( UTXO era) Source #
type PredicateFailure ( PPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type PredicateFailure ( PPUP era) = PpupPredicateFailure era
type Event ( PPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type Event ( PPUP era) = PpupEvent era
type BaseM ( PPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type BaseM ( PPUP era) = ShelleyBase
type Environment ( PPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type Environment ( PPUP era) = PPUPEnv era
type Signal ( PPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type Signal ( PPUP era) = Maybe ( Update era)
type State ( PPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.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 Cardano.Ledger.Shelley.Rules.Ppup Methods (==) :: PpupPredicateFailure era -> PpupPredicateFailure era -> Bool Source # (/=) :: PpupPredicateFailure era -> PpupPredicateFailure era -> Bool Source #
Show ( PpupPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods showsPrec :: Int -> PpupPredicateFailure era -> ShowS Source # show :: PpupPredicateFailure era -> String Source # showList :: [ PpupPredicateFailure era] -> ShowS Source #
Generic ( PpupPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup Associated Types type Rep ( PpupPredicateFailure era) :: Type -> Type Source # Methods from :: PpupPredicateFailure era -> Rep ( PpupPredicateFailure era) x Source # to :: Rep ( PpupPredicateFailure era) x -> PpupPredicateFailure era Source #
( Typeable era, Era era) => ToCBOR ( PpupPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.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 Cardano.Ledger.Shelley.Rules.Ppup Methods fromCBOR :: Decoder s ( PpupPredicateFailure era) Source # label :: Proxy ( PpupPredicateFailure era) -> Text Source #
NoThunks ( PpupPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods noThunks :: Context -> PpupPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PpupPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( PpupPredicateFailure era) -> String Source #
PredicateFailure ( EraRule "PPUP" era) ~ PpupPredicateFailure era => Inject ( PpupPredicateFailure era) ( UtxoPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods inject :: PpupPredicateFailure era -> UtxoPredicateFailure era Source #
type Rep ( PpupPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type Rep ( PpupPredicateFailure era) = D1 (' MetaData "PpupPredicateFailure" "Cardano.Ledger.Shelley.Rules.Ppup" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' 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 ))))

newtype PpupEvent era Source #

Constructors

NewEpoch EpochNo

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

Instances details

type PredicateFailure ( SNAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type PredicateFailure ( SNAP era) = SnapPredicateFailure era
type PredicateFailure ( RUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure ( RUPD era) = RupdPredicateFailure era
type PredicateFailure ( PPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type PredicateFailure ( PPUP era) = PpupPredicateFailure era
type PredicateFailure ( UTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type PredicateFailure ( UTXO era) = UtxoPredicateFailure era
type PredicateFailure ( UTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type PredicateFailure ( UTXOW era) = UtxowPredicateFailure era
type PredicateFailure ( POOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type PredicateFailure ( POOLREAP era) = PoolreapPredicateFailure era
type PredicateFailure ( POOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type PredicateFailure ( POOL era) = PoolPredicateFailure era
type PredicateFailure ( NEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type PredicateFailure ( NEWPP era) = NewppPredicateFailure era
type PredicateFailure ( UPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure ( UPEC era) = UpecPredicateFailure era
type PredicateFailure ( MIR era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type PredicateFailure ( MIR era) = MirPredicateFailure era
type PredicateFailure ( EPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type PredicateFailure ( EPOCH era) = EpochPredicateFailure era
type PredicateFailure ( DELEG era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type PredicateFailure ( DELEG era) = DelegPredicateFailure era
type PredicateFailure ( DELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type PredicateFailure ( DELPL era) = DelplPredicateFailure era
type PredicateFailure ( DELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type PredicateFailure ( DELEGS era) = DelegsPredicateFailure era
type PredicateFailure ( LEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type PredicateFailure ( LEDGER era) = LedgerPredicateFailure era
type PredicateFailure ( LEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type PredicateFailure ( LEDGERS era) = LedgersPredicateFailure era
type PredicateFailure ( BBODY era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type PredicateFailure ( BBODY era) = BbodyPredicateFailure era
type PredicateFailure ( NEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure ( NEWEPOCH era) = NewEpochPredicateFailure era
type PredicateFailure ( TICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure ( TICKF era) = TickfPredicateFailure era
type PredicateFailure ( TICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure ( TICK era) = TickPredicateFailure era
type PredicateFailure ( STUB e st si f m)
Instance details Defined in Control.State.Transition.Extended type PredicateFailure ( STUB e st si f m) = f

data VotingPeriod Source #

Constructors

VoteForThisEpoch
VoteForNextEpoch

Instances

Instances details

Eq VotingPeriod Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods (==) :: VotingPeriod -> VotingPeriod -> Bool Source # (/=) :: VotingPeriod -> VotingPeriod -> Bool Source #
Show VotingPeriod Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup Methods showsPrec :: Int -> VotingPeriod -> ShowS Source # show :: VotingPeriod -> String Source # showList :: [ VotingPeriod ] -> ShowS Source #
Generic VotingPeriod Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup Associated Types type Rep VotingPeriod :: Type -> Type Source # Methods from :: VotingPeriod -> Rep VotingPeriod x Source # to :: Rep VotingPeriod x -> VotingPeriod Source #
ToCBOR VotingPeriod Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.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 Cardano.Ledger.Shelley.Rules.Ppup Methods fromCBOR :: Decoder s VotingPeriod Source # label :: Proxy VotingPeriod -> Text Source #
NoThunks VotingPeriod Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.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 Cardano.Ledger.Shelley.Rules.Ppup type Rep VotingPeriod = D1 (' MetaData "VotingPeriod" "Cardano.Ledger.Shelley.Rules.Ppup" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "VoteForThisEpoch" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "VoteForNextEpoch" ' PrefixI ' False ) ( U1 :: Type -> Type ))