Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.Rules.Upec

Contents

Orphan instances

Description

Epoch change registration.

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

Synopsis

data ShelleyUPEC era
data UpecState era = UpecState {
- usCurPParams ∷ !(PParams era)
- usGovState ∷ !(ShelleyGovState era)
}
newtype ShelleyUpecPredFailure era = NewPpFailure (PredicateFailure (ShelleyNEWPP era))
votedValue ∷ ∀ era. EraPParams era ⇒ ProposedPPUpdates era → PParams era → Int → Maybe (PParams era)

Documentation

data ShelleyUPEC era Source #

Instances

Instances details

(EraGov era, Default (PParams era), GovState era ~ ShelleyGovState era, ProtVerAtMost era 8) ⇒ STS (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec Associated Types type State (ShelleyUPEC era) Source # type Signal (ShelleyUPEC era) Source # type Environment (ShelleyUPEC era) Source # type BaseM (ShelleyUPEC era) ∷ Type → Type Source # type Event (ShelleyUPEC era) Source # type PredicateFailure (ShelleyUPEC era) Source # Methods initialRules ∷ [InitialRule (ShelleyUPEC era)] Source # transitionRules ∷ [TransitionRule (ShelleyUPEC era)] Source # assertions ∷ [Assertion (ShelleyUPEC era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyUPEC era) → String Source #
(Era era, STS (ShelleyNEWPP era)) ⇒ Embed (ShelleyNEWPP era) (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec Methods wrapFailed ∷ PredicateFailure (ShelleyNEWPP era) → PredicateFailure (ShelleyUPEC era) Source # wrapEvent ∷ Event (ShelleyNEWPP era) → Event (ShelleyUPEC era) Source #
(Era era, STS (ShelleyUPEC era), UpecPredFailure era ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ShelleyUPEC era) → PredicateFailure (ShelleyEPOCH era) Source # wrapEvent ∷ Event (ShelleyUPEC era) → Event (ShelleyEPOCH era) Source #
(Era era, STS (ShelleyUPEC era), PredicateFailure (EraRule "UPEC" era) ~ ShelleyUpecPredFailure era, Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyTICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (ShelleyUPEC era) → PredicateFailure (ShelleyTICKF era) Source # wrapEvent ∷ Event (ShelleyUPEC era) → Event (ShelleyTICKF era) Source #
type BaseM (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type BaseM (ShelleyUPEC era) = ShelleyBase
type Environment (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type Environment (ShelleyUPEC era) = LedgerState era
type Event (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type Event (ShelleyUPEC era) = Void
type PredicateFailure (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure (ShelleyUPEC era) = ShelleyUpecPredFailure era
type Signal (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type Signal (ShelleyUPEC era) = ()
type State (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type State (ShelleyUPEC era) = UpecState era

data UpecState era Source #

Constructors

UpecState
Fields usCurPParams ∷ !(PParams era) Current protocol parameters. usGovState ∷ !(ShelleyGovState era) State of the protocol update transition system.

Instances

Instances details

(Show (PParams era), Show (PParamsUpdate era)) ⇒ Show (UpecState era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec Methods showsPrec ∷ Int → UpecState era → ShowS Source # show ∷ UpecState era → String Source # showList ∷ [UpecState era] → ShowS Source #

newtype ShelleyUpecPredFailure era Source #

Constructors

NewPpFailure (PredicateFailure (ShelleyNEWPP era))

Instances

Instances details

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

votedValue ∷ ∀ era. EraPParams era ⇒ ProposedPPUpdates era → PParams era → Int → Maybe (PParams era) Source #

Deprecated: In favor of votedFuturePParams

Orphan instances

(EraGov era, Default (PParams era), GovState era ~ ShelleyGovState era, ProtVerAtMost era 8) ⇒ STS (ShelleyUPEC era) Source #
Instance details Associated Types type State (ShelleyUPEC era) Source # type Signal (ShelleyUPEC era) Source # type Environment (ShelleyUPEC era) Source # type BaseM (ShelleyUPEC era) ∷ Type → Type Source # type Event (ShelleyUPEC era) Source # type PredicateFailure (ShelleyUPEC era) Source # Methods initialRules ∷ [InitialRule (ShelleyUPEC era)] Source # transitionRules ∷ [TransitionRule (ShelleyUPEC era)] Source # assertions ∷ [Assertion (ShelleyUPEC era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyUPEC era) → String Source #
(Era era, STS (ShelleyNEWPP era)) ⇒ Embed (ShelleyNEWPP era) (ShelleyUPEC era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ShelleyNEWPP era) → PredicateFailure (ShelleyUPEC era) Source # wrapEvent ∷ Event (ShelleyNEWPP era) → Event (ShelleyUPEC era) Source #