Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.PParams

Contents

JSON helpers
Orphan instances

Description

This module contains just the type of protocol parameters.

Synopsis

emptyShelleyPParams ∷ ∀ era. Era era ⇒ ShelleyPParams Identity era
emptyShelleyPParamsUpdate ∷ ShelleyPParams StrictMaybe era
data ShelleyPParams f era = ShelleyPParams {
- sppMinFeeA ∷ !(HKD f Coin)
- sppMinFeeB ∷ !(HKD f Coin)
- sppMaxBBSize ∷ !(HKD f Word32)
- sppMaxTxSize ∷ !(HKD f Word32)
- sppMaxBHSize ∷ !(HKD f Word16)
- sppKeyDeposit ∷ !(HKD f Coin)
- sppPoolDeposit ∷ !(HKD f Coin)
- sppEMax ∷ !(HKD f EpochInterval)
- sppNOpt ∷ !(HKD f Word16)
- sppA0 ∷ !(HKD f NonNegativeInterval)
- sppRho ∷ !(HKD f UnitInterval)
- sppTau ∷ !(HKD f UnitInterval)
- sppD ∷ !(HKD f UnitInterval)
- sppExtraEntropy ∷ !(HKD f Nonce)
- sppProtocolVersion ∷ !(HKD f ProtVer)
- sppMinUTxOValue ∷ !(HKD f Coin)
- sppMinPoolCost ∷ !(HKD f Coin)
}
emptyPParams ∷ EraPParams era ⇒ PParams era
type family HKD (f ∷ Type → Type) a where ...
data PPUpdateEnv = PPUpdateEnv SlotNo GenDelegs
newtype ProposedPPUpdates era = ProposedPPUpdates (Map (KeyHash 'Genesis) (PParamsUpdate era))
emptyPPPUpdates ∷ ProposedPPUpdates era
data Update era = Update !(ProposedPPUpdates era) !EpochNo
upgradeUpdate ∷ ∀ era. (EraPParams era, EraPParams (PreviousEra era)) ⇒ UpgradePParams StrictMaybe era → Update (PreviousEra era) → Update era
pvCanFollow ∷ ProtVer → ProtVer → Bool
hasLegalProtVerUpdate ∷ (ProtVerAtMost era 8, EraPParams era) ⇒ PParams era → PParamsUpdate era → Bool
shelleyCommonPParamsHKDPairs ∷ ∀ f era. (HKDFunctor f, EraPParams era) ⇒ Proxy f → PParamsHKD f era → [(Key, HKD f Value)]
shelleyCommonPParamsHKDPairsV6 ∷ ∀ f era. (HKDFunctor f, EraPParams era, ProtVerAtMost era 6) ⇒ Proxy f → PParamsHKD f era → [(Key, HKD f Value)]
shelleyCommonPParamsHKDPairsV8 ∷ ∀ f era. (HKDFunctor f, EraPParams era, ProtVerAtMost era 8) ⇒ Proxy f → PParamsHKD f era → [(Key, HKD f Value)]

Documentation

emptyShelleyPParams ∷ ∀ era. Era era ⇒ ShelleyPParams Identity era Source #

emptyShelleyPParamsUpdate ∷ ShelleyPParams StrictMaybe era Source #

data ShelleyPParams f era Source #

Protocol parameters.

Constructors

ShelleyPParams

Fields

sppMinFeeA ∷ !(HKD f Coin)
The linear factor for the minimum fee calculation
sppMinFeeB ∷ !(HKD f Coin)
The constant factor for the minimum fee calculation
sppMaxBBSize ∷ !(HKD f Word32)
Maximal block body size
sppMaxTxSize ∷ !(HKD f Word32)
Maximal transaction size
sppMaxBHSize ∷ !(HKD f Word16)
Maximal block header size
sppKeyDeposit ∷ !(HKD f Coin)
The amount of a key registration deposit
sppPoolDeposit ∷ !(HKD f Coin)
The amount of a pool registration deposit
sppEMax ∷ !(HKD f EpochInterval)
epoch bound on pool retirement
sppNOpt ∷ !(HKD f Word16)
Desired number of pools
sppA0 ∷ !(HKD f NonNegativeInterval)
Pool influence
sppRho ∷ !(HKD f UnitInterval)
Monetary expansion
sppTau ∷ !(HKD f UnitInterval)
Treasury expansion
sppD ∷ !(HKD f UnitInterval)
Decentralization parameter
sppExtraEntropy ∷ !(HKD f Nonce)
Extra entropy
sppProtocolVersion ∷ !(HKD f ProtVer)
Protocol version
sppMinUTxOValue ∷ !(HKD f Coin)
Minimum UTxO value
sppMinPoolCost ∷ !(HKD f Coin)
Minimum Stake Pool Cost

Instances

Instances details

FromJSON (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods parseJSON ∷ Value → Parser (ShelleyPParams Identity era) Source # parseJSONList ∷ Value → Parser [ShelleyPParams Identity era] Source # omittedField ∷ Maybe (ShelleyPParams Identity era) Source #
(EraPParams era, PParamsHKD Identity era ~ ShelleyPParams Identity era, ProtVerAtMost era 4, ProtVerAtMost era 6, ProtVerAtMost era 8) ⇒ ToJSON (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toJSON ∷ ShelleyPParams Identity era → Value Source # toEncoding ∷ ShelleyPParams Identity era → Encoding Source # toJSONList ∷ [ShelleyPParams Identity era] → Value Source # toEncodingList ∷ [ShelleyPParams Identity era] → Encoding Source # omitField ∷ ShelleyPParams Identity era → Bool Source #
(EraPParams era, PParamsHKD StrictMaybe era ~ ShelleyPParams StrictMaybe era, ProtVerAtMost era 4, ProtVerAtMost era 6, ProtVerAtMost era 8) ⇒ ToJSON (ShelleyPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toJSON ∷ ShelleyPParams StrictMaybe era → Value Source # toEncoding ∷ ShelleyPParams StrictMaybe era → Encoding Source # toJSONList ∷ [ShelleyPParams StrictMaybe era] → Value Source # toEncodingList ∷ [ShelleyPParams StrictMaybe era] → Encoding Source # omitField ∷ ShelleyPParams StrictMaybe era → Bool Source #
Generic (ShelleyPParams f era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Associated Types type Rep (ShelleyPParams f era) ∷ Type → Type Source # Methods from ∷ ShelleyPParams f era → Rep (ShelleyPParams f era) x Source # to ∷ Rep (ShelleyPParams f era) x → ShelleyPParams f era Source #
Show (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods showsPrec ∷ Int → ShelleyPParams Identity era → ShowS Source # show ∷ ShelleyPParams Identity era → String Source # showList ∷ [ShelleyPParams Identity era] → ShowS Source #
Show (ShelleyPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods showsPrec ∷ Int → ShelleyPParams StrictMaybe era → ShowS Source # show ∷ ShelleyPParams StrictMaybe era → String Source # showList ∷ [ShelleyPParams StrictMaybe era] → ShowS Source #
Era era ⇒ FromCBOR (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods fromCBOR ∷ Decoder s (ShelleyPParams Identity era) Source # label ∷ Proxy (ShelleyPParams Identity era) → Text Source #
Era era ⇒ FromCBOR (ShelleyPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods fromCBOR ∷ Decoder s (ShelleyPParams StrictMaybe era) Source # label ∷ Proxy (ShelleyPParams StrictMaybe era) → Text Source #
Era era ⇒ ToCBOR (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toCBOR ∷ ShelleyPParams Identity era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyPParams Identity era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyPParams Identity era] → Size Source #
Era era ⇒ ToCBOR (ShelleyPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toCBOR ∷ ShelleyPParams StrictMaybe era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyPParams StrictMaybe era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyPParams StrictMaybe era] → Size Source #
Era era ⇒ DecCBOR (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods decCBOR ∷ Decoder s (ShelleyPParams Identity era) Source # dropCBOR ∷ Proxy (ShelleyPParams Identity era) → Decoder s () Source # label ∷ Proxy (ShelleyPParams Identity era) → Text Source #
Era era ⇒ DecCBOR (ShelleyPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods decCBOR ∷ Decoder s (ShelleyPParams StrictMaybe era) Source # dropCBOR ∷ Proxy (ShelleyPParams StrictMaybe era) → Decoder s () Source # label ∷ Proxy (ShelleyPParams StrictMaybe era) → Text Source #
Era era ⇒ EncCBOR (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods encCBOR ∷ ShelleyPParams Identity era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyPParams Identity era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyPParams Identity era] → Size Source #
Era era ⇒ EncCBOR (ShelleyPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods encCBOR ∷ ShelleyPParams StrictMaybe era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyPParams StrictMaybe era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyPParams StrictMaybe era] → Size Source #
NFData (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods rnf ∷ ShelleyPParams Identity era → () Source #
NFData (ShelleyPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods rnf ∷ ShelleyPParams StrictMaybe era → () Source #
Eq (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods (==) ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → Bool Source # (/=) ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → Bool Source #
Eq (ShelleyPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods (==) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool Source # (/=) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool Source #
Ord (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods compare ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → Ordering Source # (<) ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → Bool Source # (<=) ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → Bool Source # (>) ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → Bool Source # (>=) ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → Bool Source # max ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → ShelleyPParams Identity era Source # min ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → ShelleyPParams Identity era Source #
Ord (ShelleyPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods compare ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Ordering Source # (<) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool Source # (<=) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool Source # (>) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool Source # (>=) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool Source # max ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era Source # min ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era Source #
NoThunks (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods noThunks ∷ Context → ShelleyPParams Identity era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyPParams Identity era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyPParams Identity era) → String Source #
NoThunks (ShelleyPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods noThunks ∷ Context → ShelleyPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyPParams StrictMaybe era) → String Source #
type Rep (ShelleyPParams f era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type Rep (ShelleyPParams f era) = D1 ('MetaData "ShelleyPParams" "Cardano.Ledger.Shelley.PParams" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyPParams" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "sppMinFeeA") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin)) :: S1 ('MetaSel ('Just "sppMinFeeB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin))) :: (S1 ('MetaSel ('Just "sppMaxBBSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word32)) :: S1 ('MetaSel ('Just "sppMaxTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word32)))) :: ((S1 ('MetaSel ('Just "sppMaxBHSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16)) :: S1 ('MetaSel ('Just "sppKeyDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin))) :: (S1 ('MetaSel ('Just "sppPoolDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin)) :: S1 ('MetaSel ('Just "sppEMax") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f EpochInterval))))) :: (((S1 ('MetaSel ('Just "sppNOpt") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16)) :: S1 ('MetaSel ('Just "sppA0") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f NonNegativeInterval))) :: (S1 ('MetaSel ('Just "sppRho") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f UnitInterval)) :: S1 ('MetaSel ('Just "sppTau") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f UnitInterval)))) :: ((S1 ('MetaSel ('Just "sppD") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f UnitInterval)) :: S1 ('MetaSel ('Just "sppExtraEntropy") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Nonce))) :: (S1 ('MetaSel ('Just "sppProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f ProtVer)) :: (S1 ('MetaSel ('Just "sppMinUTxOValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin)) :: S1 ('MetaSel ('Just "sppMinPoolCost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin))))))))

emptyPParams ∷ EraPParams era ⇒ PParams era Source #

type family HKD (f ∷ Type → Type) a where ... Source #

Higher Kinded Data

Equations

HKD Identity a = a
HKD f a = f a

data PPUpdateEnv Source #

Deprecated: As unused

Constructors

PPUpdateEnv SlotNo GenDelegs

Deprecated: As unused

Instances

Instances details

Generic PPUpdateEnv Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Associated Types type Rep PPUpdateEnv ∷ Type → Type Source # Methods from ∷ PPUpdateEnv → Rep PPUpdateEnv x Source # to ∷ Rep PPUpdateEnv x → PPUpdateEnv Source #
Show PPUpdateEnv Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods showsPrec ∷ Int → PPUpdateEnv → ShowS Source # show ∷ PPUpdateEnv → String Source # showList ∷ [PPUpdateEnv] → ShowS Source #
Eq PPUpdateEnv Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods (==) ∷ PPUpdateEnv → PPUpdateEnv → Bool Source # (/=) ∷ PPUpdateEnv → PPUpdateEnv → Bool Source #
NoThunks PPUpdateEnv Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods noThunks ∷ Context → PPUpdateEnv → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PPUpdateEnv → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PPUpdateEnv → String Source #
type Rep PPUpdateEnv Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type Rep PPUpdateEnv = D1 ('MetaData "PPUpdateEnv" "Cardano.Ledger.Shelley.PParams" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "PPUpdateEnv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GenDelegs)))

newtype ProposedPPUpdates era Source #

Update operation for protocol parameters structure PParams

Constructors

ProposedPPUpdates (Map (KeyHash 'Genesis) (PParamsUpdate era))

Instances

Instances details

EraPParams era ⇒ ToJSON (ProposedPPUpdates era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toJSON ∷ ProposedPPUpdates era → Value Source # toEncoding ∷ ProposedPPUpdates era → Encoding Source # toJSONList ∷ [ProposedPPUpdates era] → Value Source # toEncodingList ∷ [ProposedPPUpdates era] → Encoding Source # omitField ∷ ProposedPPUpdates era → Bool Source #
Monoid (ProposedPPUpdates era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods mempty ∷ ProposedPPUpdates era Source # mappend ∷ ProposedPPUpdates era → ProposedPPUpdates era → ProposedPPUpdates era Source # mconcat ∷ [ProposedPPUpdates era] → ProposedPPUpdates era Source #
Semigroup (ProposedPPUpdates era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods (<>) ∷ ProposedPPUpdates era → ProposedPPUpdates era → ProposedPPUpdates era Source # sconcat ∷ NonEmpty (ProposedPPUpdates era) → ProposedPPUpdates era Source # stimes ∷ Integral b ⇒ b → ProposedPPUpdates era → ProposedPPUpdates era Source #
Generic (ProposedPPUpdates era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Associated Types type Rep (ProposedPPUpdates era) ∷ Type → Type Source # Methods from ∷ ProposedPPUpdates era → Rep (ProposedPPUpdates era) x Source # to ∷ Rep (ProposedPPUpdates era) x → ProposedPPUpdates era Source #
Show (PParamsUpdate era) ⇒ Show (ProposedPPUpdates era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods showsPrec ∷ Int → ProposedPPUpdates era → ShowS Source # show ∷ ProposedPPUpdates era → String Source # showList ∷ [ProposedPPUpdates era] → ShowS Source #
(Era era, FromCBOR (PParamsUpdate era)) ⇒ FromCBOR (ProposedPPUpdates era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods fromCBOR ∷ Decoder s (ProposedPPUpdates era) Source # label ∷ Proxy (ProposedPPUpdates era) → Text Source #
(Era era, ToCBOR (PParamsUpdate era)) ⇒ ToCBOR (ProposedPPUpdates era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toCBOR ∷ ProposedPPUpdates era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ProposedPPUpdates era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ProposedPPUpdates era] → Size Source #
(Era era, DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (ProposedPPUpdates era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods decCBOR ∷ Decoder s (ProposedPPUpdates era) Source # dropCBOR ∷ Proxy (ProposedPPUpdates era) → Decoder s () Source # label ∷ Proxy (ProposedPPUpdates era) → Text Source #
(Era era, EncCBOR (PParamsUpdate era)) ⇒ EncCBOR (ProposedPPUpdates era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods encCBOR ∷ ProposedPPUpdates era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ProposedPPUpdates era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ProposedPPUpdates era] → Size Source #
NFData (PParamsUpdate era) ⇒ NFData (ProposedPPUpdates era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods rnf ∷ ProposedPPUpdates era → () Source #
Eq (PParamsUpdate era) ⇒ Eq (ProposedPPUpdates era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods (==) ∷ ProposedPPUpdates era → ProposedPPUpdates era → Bool Source # (/=) ∷ ProposedPPUpdates era → ProposedPPUpdates era → Bool Source #
NoThunks (PParamsUpdate era) ⇒ NoThunks (ProposedPPUpdates era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods noThunks ∷ Context → ProposedPPUpdates era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ProposedPPUpdates era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ProposedPPUpdates era) → String Source #
type Rep (ProposedPPUpdates era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type Rep (ProposedPPUpdates era) = D1 ('MetaData "ProposedPPUpdates" "Cardano.Ledger.Shelley.PParams" "cardano-ledger-shelley-1.16.0.0-inplace" 'True) (C1 ('MetaCons "ProposedPPUpdates" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'Genesis) (PParamsUpdate era)))))

emptyPPPUpdates ∷ ProposedPPUpdates era Source #

data Update era Source #

Update Proposal

Constructors

Update !(ProposedPPUpdates era) !EpochNo

Instances

Instances details

Generic (Update era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Associated Types type Rep (Update era) ∷ Type → Type Source # Methods from ∷ Update era → Rep (Update era) x Source # to ∷ Rep (Update era) x → Update era Source #
Show (PParamsUpdate era) ⇒ Show (Update era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods showsPrec ∷ Int → Update era → ShowS Source # show ∷ Update era → String Source # showList ∷ [Update era] → ShowS Source #
(Era era, DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (Update era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods decCBOR ∷ Decoder s (Update era) Source # dropCBOR ∷ Proxy (Update era) → Decoder s () Source # label ∷ Proxy (Update era) → Text Source #
(Era era, EncCBOR (PParamsUpdate era)) ⇒ EncCBOR (Update era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods encCBOR ∷ Update era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Update era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Update era] → Size Source #
NFData (PParamsUpdate era) ⇒ NFData (Update era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods rnf ∷ Update era → () Source #
Eq (PParamsUpdate era) ⇒ Eq (Update era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods (==) ∷ Update era → Update era → Bool Source # (/=) ∷ Update era → Update era → Bool Source #
NoThunks (PParamsUpdate era) ⇒ NoThunks (Update era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods noThunks ∷ Context → Update era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Update era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Update era) → String Source #
type Rep (Update era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type Rep (Update era) = D1 ('MetaData "Update" "Cardano.Ledger.Shelley.PParams" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "Update" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)))

upgradeUpdate ∷ ∀ era. (EraPParams era, EraPParams (PreviousEra era)) ⇒ UpgradePParams StrictMaybe era → Update (PreviousEra era) → Update era Source #

pvCanFollow Source #

Arguments

∷ ProtVer	Previous protocol version
→ ProtVer	New protocol version
→ Bool

Check whether the new protocol version is a legitimate version bump with respect to the previous one.

hasLegalProtVerUpdate ∷ (ProtVerAtMost era 8, EraPParams era) ⇒ PParams era → PParamsUpdate era → Bool Source #

Check whether PParamsUpdate contains a valid ProtVer update. When a protocol version update is not included in PParamsUpdate it is considered a legal update.