cardano-ledger-shelley-1.12.2.1: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

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) ∷ TypeType Source #

type Event (ShelleyUPEC era) Source #

type PredicateFailure (ShelleyUPEC era) Source #

(Era era, STS (ShelleyNEWPP era)) ⇒ Embed (ShelleyNEWPP era) (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

(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

(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

type BaseM (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type Environment (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

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

Instances

Instances details
(Show (PParams era), Show (PParamsUpdate era)) ⇒ Show (UpecState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

Methods

showsPrecIntUpecState era → ShowS Source #

showUpecState era → String Source #

showList ∷ [UpecState era] → ShowS Source #

newtype ShelleyUpecPredFailure era Source #

Instances

Instances details
Generic (ShelleyUpecPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

Associated Types

type Rep (ShelleyUpecPredFailure era) ∷ TypeType Source #

Show (ShelleyUpecPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

NFData (ShelleyNewppPredFailure era) ⇒ NFData (ShelleyUpecPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

Methods

rnfShelleyUpecPredFailure era → () Source #

Eq (ShelleyUpecPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

NoThunks (ShelleyUpecPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

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.12.2.1-inplace" 'True) (C1 ('MetaCons "NewPpFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (ShelleyNEWPP era)))))

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

Deprecated: In favor of votedFuturePParams

Orphan instances