Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.Rules.Upec

Description

Epoch change registration.

The rules of this module determine how the update subsystem of the ledger handles the epoch transitions.

Synopsis

data UPEC era
newtype UpecPredicateFailure era = NewPpFailure ( PredicateFailure ( NEWPP era))
votedValue :: forall era. UsesPParams era => ProposedPPUpdates era -> PParams era -> Int -> Maybe ( PParams era)

Documentation

data UPEC era Source #

Update epoch change

Instances

Instances details

( UsesAuxiliary era, UsesTxBody era, UsesScript era, UsesValue era, UsesPParams era, Default ( PParams era), State ( EraRule "PPUP" era) ~ PPUPState era, HasField "_keyDeposit" ( PParams era) Coin , HasField "_maxBBSize" ( PParams era) Natural , HasField "_maxTxSize" ( PParams era) Natural , HasField "_maxBHSize" ( PParams era) Natural , HasField "_poolDeposit" ( PParams era) Coin , HasField "_protocolVersion" ( PParams era) ProtVer , HasField "_protocolVersion" ( PParamsDelta era) ( StrictMaybe ProtVer )) => STS ( UPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec Associated Types type State ( UPEC era) Source # type Signal ( UPEC era) Source # type Environment ( UPEC era) Source # type BaseM ( UPEC era) :: Type -> Type Source # type Event ( UPEC era) Source # type PredicateFailure ( UPEC era) Source # Methods initialRules :: [ InitialRule ( UPEC era)] Source # transitionRules :: [ TransitionRule ( UPEC era)] Source # assertions :: [ Assertion ( UPEC era)] Source # renderAssertionViolation :: AssertionViolation ( UPEC era) -> String Source #
( Era era, STS ( NEWPP era)) => Embed ( NEWPP era) ( UPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec Methods wrapFailed :: PredicateFailure ( NEWPP era) -> PredicateFailure ( UPEC era) Source # wrapEvent :: Event ( NEWPP era) -> Event ( UPEC era) Source #
( Era era, STS ( UPEC era), PredicateFailure ( EraRule "UPEC" era) ~ UpecPredicateFailure era, Event ( EraRule "UPEC" era) ~ Void ) => Embed ( UPEC era) ( EPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed :: PredicateFailure ( UPEC era) -> PredicateFailure ( EPOCH era) Source # wrapEvent :: Event ( UPEC era) -> Event ( EPOCH era) Source #
type PredicateFailure ( UPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure ( UPEC era) = UpecPredicateFailure era
type Event ( UPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type Event ( UPEC era) = Void
type BaseM ( UPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type BaseM ( UPEC era) = ShelleyBase
type Environment ( UPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type Environment ( UPEC era) = EpochState era
type Signal ( UPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type Signal ( UPEC era) = ()
type State ( UPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type State ( UPEC era) = UpecState era

newtype UpecPredicateFailure era Source #

Constructors

NewPpFailure ( PredicateFailure ( NEWPP era))

Instances

Instances details

Eq ( UpecPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec Methods (==) :: UpecPredicateFailure era -> UpecPredicateFailure era -> Bool Source # (/=) :: UpecPredicateFailure era -> UpecPredicateFailure era -> Bool Source #
Show ( UpecPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec Methods showsPrec :: Int -> UpecPredicateFailure era -> ShowS Source # show :: UpecPredicateFailure era -> String Source # showList :: [ UpecPredicateFailure era] -> ShowS Source #
Generic ( UpecPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec Associated Types type Rep ( UpecPredicateFailure era) :: Type -> Type Source # Methods from :: UpecPredicateFailure era -> Rep ( UpecPredicateFailure era) x Source # to :: Rep ( UpecPredicateFailure era) x -> UpecPredicateFailure era Source #
NoThunks ( UpecPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec Methods noThunks :: Context -> UpecPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> UpecPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( UpecPredicateFailure era) -> String Source #
type Rep ( UpecPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type Rep ( UpecPredicateFailure era) = D1 (' MetaData "UpecPredicateFailure" "Cardano.Ledger.Shelley.Rules.Upec" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "NewPpFailure" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PredicateFailure ( NEWPP era)))))

votedValue Source #

Arguments

:: forall era. UsesPParams era
=> ProposedPPUpdates era
-> PParams era	Protocol parameters to which the change will be applied.
-> Int	Quorum needed to change the protocol parameters.
-> Maybe ( PParams era)

If at least n nodes voted to change the same protocol parameters to the same values, return the given protocol parameters updated to these values. Here n is the quorum needed.