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

Cardano.Ledger.Shelley.Rules.Ppup

Synopsis

Documentation

data ShelleyPPUP era Source #

Instances

Instances details
(EraPParams era, ProtVerAtMost era 8) ⇒ STS (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Associated Types

type State (ShelleyPPUP era) Source #

type Signal (ShelleyPPUP era) Source #

type Environment (ShelleyPPUP era) Source #

type BaseM (ShelleyPPUP era) ∷ TypeType Source #

type Event (ShelleyPPUP era) Source #

type PredicateFailure (ShelleyPPUP era) Source #

(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type BaseM (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Environment (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Event (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Event (ShelleyPPUP era) = PpupEvent era
type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Signal (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type State (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

data PpupEnv era Source #

Constructors

PPUPEnv SlotNo (PParams era) (GenDelegs (EraCrypto era)) 

data ShelleyPpupPredFailure era Source #

Constructors

NonGenesisUpdatePPUP !(Set (KeyHash 'Genesis (EraCrypto era))) !(Set (KeyHash 'Genesis (EraCrypto era)))

An update was proposed by a key hash that is not one of the genesis keys. The first set contains the key hashes which were a part of the update. The second set contains the key hashes of the genesis keys.

PPUpdateWrongEpoch !EpochNo !EpochNo !VotingPeriod

An update was proposed for the wrong epoch. The first EpochNo is the current epoch. The second EpochNo is the epoch listed in the update. The last parameter indicates if the update was intended for the current or the next epoch.

PVCannotFollowPPUP !ProtVer

An update was proposed which contains an invalid protocol version. New protocol versions must either increase the major number by exactly one and set the minor version to zero, or keep the major version the same and increase the minor version by exactly one.

Instances

Instances details
InjectRuleFailure "BBODY" ShelleyPpupPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

InjectRuleFailure "PPUP" ShelleyPpupPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

InjectRuleFailure "UTXO" ShelleyPpupPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

Generic (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Associated Types

type Rep (ShelleyPpupPredFailure era) ∷ TypeType Source #

Show (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Era era ⇒ DecCBOR (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Era era ⇒ EncCBOR (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

NFData (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

rnfShelleyPpupPredFailure era → () Source #

Eq (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

NoThunks (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Rep (ShelleyPpupPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

data ShelleyGovState era Source #

Constructors

ShelleyGovState 

Fields

Instances

Instances details
EraPParams era ⇒ ToJSON (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Generic (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type Rep (ShelleyGovState era) ∷ TypeType Source #

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

Defined in Cardano.Ledger.Shelley.Governance

(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ FromCBOR (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) ⇒ ToCBOR (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Methods

toCBORShelleyGovState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyGovState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGovState era] → Size Source #

(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ DecCBOR (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ DecShareCBOR (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type Share (ShelleyGovState era) Source #

(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) ⇒ EncCBOR (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Methods

encCBORShelleyGovState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyGovState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGovState era] → Size Source #

EraPParams era ⇒ Default (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Methods

defShelleyGovState era Source #

(NFData (PParamsUpdate era), NFData (PParams era)) ⇒ NFData (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Methods

rnfShelleyGovState era → () Source #

(Eq (PParamsUpdate era), Eq (PParams era)) ⇒ Eq (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

(NoThunks (PParamsUpdate era), NoThunks (PParams era)) ⇒ NoThunks (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type Rep (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type Rep (ShelleyGovState era) = D1 ('MetaData "ShelleyGovState" "Cardano.Ledger.Shelley.Governance" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "ShelleyGovState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sgsCurProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era)) :*: S1 ('MetaSel ('Just "sgsFutureProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era))) :*: (S1 ('MetaSel ('Just "sgsCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: (S1 ('MetaSel ('Just "sgsPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "sgsFuturePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (FuturePParams era))))))
type Share (ShelleyGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type Share (ShelleyGovState era) = ()

newtype PpupEvent era Source #

Constructors

PpupNewEpoch EpochNo 

Instances

Instances details
Generic (PpupEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Associated Types

type Rep (PpupEvent era) ∷ TypeType Source #

Methods

fromPpupEvent era → Rep (PpupEvent era) x Source #

toRep (PpupEvent era) x → PpupEvent era Source #

NFData (PpupEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

rnfPpupEvent era → () Source #

Eq (PpupEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

(==)PpupEvent era → PpupEvent era → Bool Source #

(/=)PpupEvent era → PpupEvent era → Bool Source #

type Rep (PpupEvent era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Rep (PpupEvent era) = D1 ('MetaData "PpupEvent" "Cardano.Ledger.Shelley.Rules.Ppup" "cardano-ledger-shelley-1.12.2.1-inplace" 'True) (C1 ('MetaCons "PpupNewEpoch" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)))

type family PredicateFailure 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 (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

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 #

Instances

Instances details
Generic VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Associated Types

type Rep VotingPeriodTypeType Source #

Show VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

DecCBOR VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

EncCBOR VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

NFData VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

Methods

rnfVotingPeriod → () Source #

Eq VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

NoThunks VotingPeriod Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

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-1.12.2.1-inplace" 'False) (C1 ('MetaCons "VoteForThisEpoch" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "VoteForNextEpoch" 'PrefixI 'False) (U1TypeType))

type PPUPPredFailure era = EraRuleFailure "PPUP" era Source #

Deprecated: In favor of EraRuleFailure PPUP era

votedFuturePParams Source #

Arguments

∷ ∀ era. EraPParams era 
ProposedPPUpdates era 
PParams era

Protocol parameters to which the change will be applied.

Word64

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.

Orphan instances