cardano-ledger-conway-1.14.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.PParams

Description

This module contains the type of protocol parameters and EraPParams instance

Synopsis

Documentation

class BabbageEraPParams era ⇒ ConwayEraPParams era where Source #

Methods

modifiedPPGroups ∷ PParamsUpdate era → Set PPGroups Source #

ppuWellFormed ∷ PParamsUpdate era → Bool Source #

hkdPoolVotingThresholdsL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f PoolVotingThresholds) Source #

hkdDRepVotingThresholdsL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f DRepVotingThresholds) Source #

hkdCommitteeMinSizeL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Natural) Source #

hkdCommitteeMaxTermLengthL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f EpochInterval) Source #

hkdGovActionLifetimeL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f EpochInterval) Source #

hkdGovActionDepositL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #

hkdDRepDepositL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #

hkdDRepActivityL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f EpochInterval) Source #

hkdMinFeeRefScriptCostPerByteL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f NonNegativeInterval) Source #

Instances

Instances details
Crypto c ⇒ ConwayEraPParams (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

modifiedPPGroups ∷ PParamsUpdate (ConwayEra c) → Set PPGroups Source #

ppuWellFormed ∷ PParamsUpdate (ConwayEra c) → Bool Source #

hkdPoolVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f PoolVotingThresholds) Source #

hkdDRepVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f DRepVotingThresholds) Source #

hkdCommitteeMinSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) Source #

hkdCommitteeMaxTermLengthL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source #

hkdGovActionLifetimeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source #

hkdGovActionDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdDRepDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdDRepActivityL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source #

hkdMinFeeRefScriptCostPerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f NonNegativeInterval) Source #

ppPoolVotingThresholdsL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) PoolVotingThresholds Source #

ppDRepVotingThresholdsL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) DRepVotingThresholds Source #

ppCommitteeMinSizeL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) Natural Source #

ppCommitteeMaxTermLengthL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

ppGovActionLifetimeL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

ppGovActionDepositL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) Coin Source #

ppDRepDepositL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) Coin Source #

ppDRepActivityL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

ppMinFeeRefScriptCostPerByteL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParams era) NonNegativeInterval Source #

ppuPoolVotingThresholdsL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe PoolVotingThresholds) Source #

ppuDRepVotingThresholdsL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe DRepVotingThresholds) Source #

ppuCommitteeMinSizeL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #

ppuCommitteeMaxTermLengthL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

ppuGovActionLifetimeL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

ppuGovActionDepositL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

ppuDRepDepositL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

ppuDRepActivityL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

ppuMinFeeRefScriptCostPerByteL ∷ ∀ era. ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval) Source #

data PoolVotingThresholds Source #

Constructors

PoolVotingThresholds 

Fields

Instances

Instances details
FromJSON PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

parseJSON ∷ Value → Parser PoolVotingThresholds Source #

parseJSONList ∷ Value → Parser [PoolVotingThresholds] Source #

omittedField ∷ Maybe PoolVotingThresholds Source #

ToJSON PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toJSON ∷ PoolVotingThresholds → Value Source #

toEncoding ∷ PoolVotingThresholds → Encoding Source #

toJSONList ∷ [PoolVotingThresholds] → Value Source #

toEncodingList ∷ [PoolVotingThresholds] → Encoding Source #

omitField ∷ PoolVotingThresholds → Bool Source #

Generic PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Associated Types

type Rep PoolVotingThresholds ∷ Type → Type Source #

Methods

from ∷ PoolVotingThresholds → Rep PoolVotingThresholds x Source #

to ∷ Rep PoolVotingThresholds x → PoolVotingThresholds Source #

Show PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → PoolVotingThresholds → ShowS Source #

show ∷ PoolVotingThresholds → String Source #

showList ∷ [PoolVotingThresholds] → ShowS Source #

DecCBOR PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

decCBOR ∷ Decoder s PoolVotingThresholds Source #

dropCBOR ∷ Proxy PoolVotingThresholds → Decoder s () Source #

label ∷ Proxy PoolVotingThresholds → Text Source #

EncCBOR PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

encCBOR ∷ PoolVotingThresholds → Encoding Source #

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

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

ToPlutusData PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.Plutus.Context

Methods

toPlutusData ∷ PoolVotingThresholds → Data Source #

fromPlutusData ∷ Data → Maybe PoolVotingThresholds Source #

Default PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

def ∷ PoolVotingThresholds Source #

NFData PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnf ∷ PoolVotingThresholds → () Source #

Eq PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool Source #

(/=) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool Source #

Ord PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ PoolVotingThresholds → PoolVotingThresholds → Ordering Source #

(<) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool Source #

(<=) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool Source #

(>) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool Source #

(>=) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool Source #

max ∷ PoolVotingThresholds → PoolVotingThresholds → PoolVotingThresholds Source #

min ∷ PoolVotingThresholds → PoolVotingThresholds → PoolVotingThresholds Source #

NoThunks PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

noThunks ∷ Context → PoolVotingThresholds → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PoolVotingThresholds → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PoolVotingThresholds → String Source #

type Rep PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type Rep PoolVotingThresholds = D1 ('MetaData "PoolVotingThresholds" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.14.0.0-inplace" 'False) (C1 ('MetaCons "PoolVotingThresholds" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pvtMotionNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "pvtCommitteeNormal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)) :*: (S1 ('MetaSel ('Just "pvtCommitteeNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: (S1 ('MetaSel ('Just "pvtHardForkInitiation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "pvtPPSecurityGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))))

pvtCommitteeNoConfidenceL ∷ Lens' PoolVotingThresholds UnitInterval Source #

pvtCommitteeNormalL ∷ Lens' PoolVotingThresholds UnitInterval Source #

pvtPPSecurityGroupL ∷ Lens' PoolVotingThresholds UnitInterval Source #

data DRepVotingThresholds Source #

Constructors

DRepVotingThresholds 

Fields

Instances

Instances details
FromJSON DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

parseJSON ∷ Value → Parser DRepVotingThresholds Source #

parseJSONList ∷ Value → Parser [DRepVotingThresholds] Source #

omittedField ∷ Maybe DRepVotingThresholds Source #

ToJSON DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toJSON ∷ DRepVotingThresholds → Value Source #

toEncoding ∷ DRepVotingThresholds → Encoding Source #

toJSONList ∷ [DRepVotingThresholds] → Value Source #

toEncodingList ∷ [DRepVotingThresholds] → Encoding Source #

omitField ∷ DRepVotingThresholds → Bool Source #

Generic DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Associated Types

type Rep DRepVotingThresholds ∷ Type → Type Source #

Methods

from ∷ DRepVotingThresholds → Rep DRepVotingThresholds x Source #

to ∷ Rep DRepVotingThresholds x → DRepVotingThresholds Source #

Show DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → DRepVotingThresholds → ShowS Source #

show ∷ DRepVotingThresholds → String Source #

showList ∷ [DRepVotingThresholds] → ShowS Source #

DecCBOR DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

decCBOR ∷ Decoder s DRepVotingThresholds Source #

dropCBOR ∷ Proxy DRepVotingThresholds → Decoder s () Source #

label ∷ Proxy DRepVotingThresholds → Text Source #

EncCBOR DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

encCBOR ∷ DRepVotingThresholds → Encoding Source #

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

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

ToPlutusData DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.Plutus.Context

Methods

toPlutusData ∷ DRepVotingThresholds → Data Source #

fromPlutusData ∷ Data → Maybe DRepVotingThresholds Source #

Default DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

def ∷ DRepVotingThresholds Source #

NFData DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnf ∷ DRepVotingThresholds → () Source #

Eq DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool Source #

(/=) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool Source #

Ord DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ DRepVotingThresholds → DRepVotingThresholds → Ordering Source #

(<) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool Source #

(<=) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool Source #

(>) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool Source #

(>=) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool Source #

max ∷ DRepVotingThresholds → DRepVotingThresholds → DRepVotingThresholds Source #

min ∷ DRepVotingThresholds → DRepVotingThresholds → DRepVotingThresholds Source #

NoThunks DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

noThunks ∷ Context → DRepVotingThresholds → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DRepVotingThresholds → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy DRepVotingThresholds → String Source #

type Rep DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type Rep DRepVotingThresholds = D1 ('MetaData "DRepVotingThresholds" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.14.0.0-inplace" 'False) (C1 ('MetaCons "DRepVotingThresholds" 'PrefixI 'True) (((S1 ('MetaSel ('Just "dvtMotionNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "dvtCommitteeNormal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)) :*: (S1 ('MetaSel ('Just "dvtCommitteeNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: (S1 ('MetaSel ('Just "dvtUpdateToConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "dvtHardForkInitiation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))) :*: ((S1 ('MetaSel ('Just "dvtPPNetworkGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "dvtPPEconomicGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)) :*: (S1 ('MetaSel ('Just "dvtPPTechnicalGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: (S1 ('MetaSel ('Just "dvtPPGovGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "dvtTreasuryWithdrawal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval))))))

dvtCommitteeNoConfidenceL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtCommitteeNormalL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtHardForkInitiationL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtMotionNoConfidenceL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtPPNetworkGroupL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtPPGovGroupL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtPPTechnicalGroupL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtPPEconomicGroupL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtTreasuryWithdrawalL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtUpdateToConstitutionL ∷ Lens' DRepVotingThresholds UnitInterval Source #

data ConwayPParams f era Source #

Conway Protocol parameters. The following parameters have been added since Babbage: * poolVotingThresholds * dRepVotingThresholds * committeeMinSize * committeeMaxTermLength * govActionLifetime * govActionDeposit * dRepDeposit * dRepActivity

Constructors

ConwayPParams 

Fields

Instances

Instances details
Era era ⇒ FromJSON (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

parseJSON ∷ Value → Parser (ConwayPParams Identity era) Source #

parseJSONList ∷ Value → Parser [ConwayPParams Identity era] Source #

omittedField ∷ Maybe (ConwayPParams Identity era) Source #

Crypto c ⇒ ToJSON (ConwayPParams Identity (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toJSON ∷ ConwayPParams Identity (ConwayEra c) → Value Source #

toEncoding ∷ ConwayPParams Identity (ConwayEra c) → Encoding Source #

toJSONList ∷ [ConwayPParams Identity (ConwayEra c)] → Value Source #

toEncodingList ∷ [ConwayPParams Identity (ConwayEra c)] → Encoding Source #

omitField ∷ ConwayPParams Identity (ConwayEra c) → Bool Source #

(ConwayEraPParams era, PParamsHKD StrictMaybe era ~ ConwayPParams StrictMaybe era) ⇒ ToJSON (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toJSON ∷ ConwayPParams StrictMaybe era → Value Source #

toEncoding ∷ ConwayPParams StrictMaybe era → Encoding Source #

toJSONList ∷ [ConwayPParams StrictMaybe era] → Value Source #

toEncodingList ∷ [ConwayPParams StrictMaybe era] → Encoding Source #

omitField ∷ ConwayPParams StrictMaybe era → Bool Source #

Generic (ConwayPParams f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Associated Types

type Rep (ConwayPParams f era) ∷ Type → Type Source #

Methods

from ∷ ConwayPParams f era → Rep (ConwayPParams f era) x Source #

to ∷ Rep (ConwayPParams f era) x → ConwayPParams f era Source #

Show (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → ConwayPParams Identity era → ShowS Source #

show ∷ ConwayPParams Identity era → String Source #

showList ∷ [ConwayPParams Identity era] → ShowS Source #

Show (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → ConwayPParams StrictMaybe era → ShowS Source #

show ∷ ConwayPParams StrictMaybe era → String Source #

showList ∷ [ConwayPParams StrictMaybe era] → ShowS Source #

Era era ⇒ FromCBOR (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

fromCBOR ∷ Decoder s (ConwayPParams Identity era) Source #

label ∷ Proxy (ConwayPParams Identity era) → Text Source #

Era era ⇒ FromCBOR (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

fromCBOR ∷ Decoder s (ConwayPParams StrictMaybe era) Source #

label ∷ Proxy (ConwayPParams StrictMaybe era) → Text Source #

Era era ⇒ ToCBOR (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toCBOR ∷ ConwayPParams Identity era → Encoding Source #

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

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

Era era ⇒ ToCBOR (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toCBOR ∷ ConwayPParams StrictMaybe era → Encoding Source #

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

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

Era era ⇒ DecCBOR (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

decCBOR ∷ Decoder s (ConwayPParams Identity era) Source #

dropCBOR ∷ Proxy (ConwayPParams Identity era) → Decoder s () Source #

label ∷ Proxy (ConwayPParams Identity era) → Text Source #

Era era ⇒ DecCBOR (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

decCBOR ∷ Decoder s (ConwayPParams StrictMaybe era) Source #

dropCBOR ∷ Proxy (ConwayPParams StrictMaybe era) → Decoder s () Source #

label ∷ Proxy (ConwayPParams StrictMaybe era) → Text Source #

Era era ⇒ EncCBOR (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

encCBOR ∷ ConwayPParams Identity era → Encoding Source #

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

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

Era era ⇒ EncCBOR (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

encCBOR ∷ ConwayPParams StrictMaybe era → Encoding Source #

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

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

NFData (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnf ∷ ConwayPParams Identity era → () Source #

NFData (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnf ∷ ConwayPParams StrictMaybe era → () Source #

Eq (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ ConwayPParams Identity era → ConwayPParams Identity era → Bool Source #

(/=) ∷ ConwayPParams Identity era → ConwayPParams Identity era → Bool Source #

Eq (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ ConwayPParams StrictMaybe era → ConwayPParams StrictMaybe era → Bool Source #

(/=) ∷ ConwayPParams StrictMaybe era → ConwayPParams StrictMaybe era → Bool Source #

Ord (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ ConwayPParams Identity era → ConwayPParams Identity era → Ordering Source #

(<) ∷ ConwayPParams Identity era → ConwayPParams Identity era → Bool Source #

(<=) ∷ ConwayPParams Identity era → ConwayPParams Identity era → Bool Source #

(>) ∷ ConwayPParams Identity era → ConwayPParams Identity era → Bool Source #

(>=) ∷ ConwayPParams Identity era → ConwayPParams Identity era → Bool Source #

max ∷ ConwayPParams Identity era → ConwayPParams Identity era → ConwayPParams Identity era Source #

min ∷ ConwayPParams Identity era → ConwayPParams Identity era → ConwayPParams Identity era Source #

Ord (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ ConwayPParams StrictMaybe era → ConwayPParams StrictMaybe era → Ordering Source #

(<) ∷ ConwayPParams StrictMaybe era → ConwayPParams StrictMaybe era → Bool Source #

(<=) ∷ ConwayPParams StrictMaybe era → ConwayPParams StrictMaybe era → Bool Source #

(>) ∷ ConwayPParams StrictMaybe era → ConwayPParams StrictMaybe era → Bool Source #

(>=) ∷ ConwayPParams StrictMaybe era → ConwayPParams StrictMaybe era → Bool Source #

max ∷ ConwayPParams StrictMaybe era → ConwayPParams StrictMaybe era → ConwayPParams StrictMaybe era Source #

min ∷ ConwayPParams StrictMaybe era → ConwayPParams StrictMaybe era → ConwayPParams StrictMaybe era Source #

NoThunks (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

noThunks ∷ Context → ConwayPParams Identity era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayPParams Identity era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayPParams Identity era) → String Source #

NoThunks (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

noThunks ∷ Context → ConwayPParams StrictMaybe era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayPParams StrictMaybe era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayPParams StrictMaybe era) → String Source #

type Rep (ConwayPParams f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type Rep (ConwayPParams f era) = D1 ('MetaData "ConwayPParams" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.14.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPParams" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "cppMinFeeA") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin)) :*: (S1 ('MetaSel ('Just "cppMinFeeB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin)) :*: S1 ('MetaSel ('Just "cppMaxBBSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)))) :*: ((S1 ('MetaSel ('Just "cppMaxTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)) :*: S1 ('MetaSel ('Just "cppMaxBHSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word16))) :*: (S1 ('MetaSel ('Just "cppKeyDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin)) :*: S1 ('MetaSel ('Just "cppPoolDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin))))) :*: (((S1 ('MetaSel ('Just "cppEMax") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f EpochInterval)) :*: S1 ('MetaSel ('Just "cppNOpt") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Natural))) :*: (S1 ('MetaSel ('Just "cppA0") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f NonNegativeInterval)) :*: S1 ('MetaSel ('Just "cppRho") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval)))) :*: ((S1 ('MetaSel ('Just "cppTau") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval)) :*: S1 ('MetaSel ('Just "cppProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKDNoUpdate f ProtVer))) :*: (S1 ('MetaSel ('Just "cppMinPoolCost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin)) :*: S1 ('MetaSel ('Just "cppCoinsPerUTxOByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte)))))) :*: ((((S1 ('MetaSel ('Just "cppCostModels") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f CostModels)) :*: S1 ('MetaSel ('Just "cppPrices") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Prices))) :*: (S1 ('MetaSel ('Just "cppMaxTxExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f OrdExUnits)) :*: S1 ('MetaSel ('Just "cppMaxBlockExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f OrdExUnits)))) :*: ((S1 ('MetaSel ('Just "cppMaxValSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Natural)) :*: S1 ('MetaSel ('Just "cppCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Natural))) :*: (S1 ('MetaSel ('Just "cppMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f Natural)) :*: S1 ('MetaSel ('Just "cppPoolVotingThresholds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f PoolVotingThresholds))))) :*: (((S1 ('MetaSel ('Just "cppDRepVotingThresholds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f DRepVotingThresholds)) :*: S1 ('MetaSel ('Just "cppCommitteeMinSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Natural))) :*: (S1 ('MetaSel ('Just "cppCommitteeMaxTermLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)) :*: S1 ('MetaSel ('Just "cppGovActionLifetime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)))) :*: ((S1 ('MetaSel ('Just "cppGovActionDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'SecurityGroup) f Coin)) :*: S1 ('MetaSel ('Just "cppDRepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Coin))) :*: (S1 ('MetaSel ('Just "cppDRepActivity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)) :*: S1 ('MetaSel ('Just "cppMinFeeRefScriptCostPerByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f NonNegativeInterval))))))))

getLanguageView ∷ AlonzoEraPParams era ⇒ PParams era → Language → LangDepView Source #

data LangDepView Source #

Constructors

LangDepView 

Fields

Instances

Instances details
Generic LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Associated Types

type Rep LangDepView ∷ Type → Type Source #

Methods

from ∷ LangDepView → Rep LangDepView x Source #

to ∷ Rep LangDepView x → LangDepView Source #

Show LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

showsPrec ∷ Int → LangDepView → ShowS Source #

show ∷ LangDepView → String Source #

showList ∷ [LangDepView] → ShowS Source #

Eq LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

(==) ∷ LangDepView → LangDepView → Bool Source #

(/=) ∷ LangDepView → LangDepView → Bool Source #

Ord LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

compare ∷ LangDepView → LangDepView → Ordering Source #

(<) ∷ LangDepView → LangDepView → Bool Source #

(<=) ∷ LangDepView → LangDepView → Bool Source #

(>) ∷ LangDepView → LangDepView → Bool Source #

(>=) ∷ LangDepView → LangDepView → Bool Source #

max ∷ LangDepView → LangDepView → LangDepView Source #

min ∷ LangDepView → LangDepView → LangDepView Source #

NoThunks LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

noThunks ∷ Context → LangDepView → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LangDepView → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy LangDepView → String Source #

type Rep LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type Rep LangDepView = D1 ('MetaData "LangDepView" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.8.0.0-inplace" 'False) (C1 ('MetaCons "LangDepView" 'PrefixI 'True) (S1 ('MetaSel ('Just "tag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

encodeLangViews ∷ Set LangDepView → Encoding Source #

upgradeConwayPParams ∷ ∀ f c. HKDApplicative f ⇒ UpgradeConwayPParams f → PParamsHKD f (BabbageEra c) → ConwayPParams f (ConwayEra c) Source #

data UpgradeConwayPParams f Source #

Constructors

UpgradeConwayPParams 

Fields

Instances

Instances details
FromJSON (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

parseJSON ∷ Value → Parser (UpgradeConwayPParams Identity) Source #

parseJSONList ∷ Value → Parser [UpgradeConwayPParams Identity] Source #

omittedField ∷ Maybe (UpgradeConwayPParams Identity) Source #

ToJSON (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toJSON ∷ UpgradeConwayPParams Identity → Value Source #

toEncoding ∷ UpgradeConwayPParams Identity → Encoding Source #

toJSONList ∷ [UpgradeConwayPParams Identity] → Value Source #

toEncodingList ∷ [UpgradeConwayPParams Identity] → Encoding Source #

omitField ∷ UpgradeConwayPParams Identity → Bool Source #

Generic (UpgradeConwayPParams f) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Associated Types

type Rep (UpgradeConwayPParams f) ∷ Type → Type Source #

Methods

from ∷ UpgradeConwayPParams f → Rep (UpgradeConwayPParams f) x Source #

to ∷ Rep (UpgradeConwayPParams f) x → UpgradeConwayPParams f Source #

Show (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → UpgradeConwayPParams Identity → ShowS Source #

show ∷ UpgradeConwayPParams Identity → String Source #

showList ∷ [UpgradeConwayPParams Identity] → ShowS Source #

Show (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → UpgradeConwayPParams StrictMaybe → ShowS Source #

show ∷ UpgradeConwayPParams StrictMaybe → String Source #

showList ∷ [UpgradeConwayPParams StrictMaybe] → ShowS Source #

DecCBOR (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

decCBOR ∷ Decoder s (UpgradeConwayPParams Identity) Source #

dropCBOR ∷ Proxy (UpgradeConwayPParams Identity) → Decoder s () Source #

label ∷ Proxy (UpgradeConwayPParams Identity) → Text Source #

EncCBOR (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

encCBOR ∷ UpgradeConwayPParams Identity → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (UpgradeConwayPParams Identity) → Size Source #

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

Default (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

def ∷ UpgradeConwayPParams StrictMaybe Source #

NFData (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnf ∷ UpgradeConwayPParams Identity → () Source #

NFData (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnf ∷ UpgradeConwayPParams StrictMaybe → () Source #

Eq (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → Bool Source #

(/=) ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → Bool Source #

Eq (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Bool Source #

(/=) ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Bool Source #

Ord (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → Ordering Source #

(<) ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → Bool Source #

(<=) ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → Bool Source #

(>) ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → Bool Source #

(>=) ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → Bool Source #

max ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → UpgradeConwayPParams Identity Source #

min ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → UpgradeConwayPParams Identity Source #

Ord (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Ordering Source #

(<) ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Bool Source #

(<=) ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Bool Source #

(>) ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Bool Source #

(>=) ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Bool Source #

max ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe Source #

min ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe Source #

NoThunks (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

noThunks ∷ Context → UpgradeConwayPParams Identity → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → UpgradeConwayPParams Identity → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (UpgradeConwayPParams Identity) → String Source #

NoThunks (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

noThunks ∷ Context → UpgradeConwayPParams StrictMaybe → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → UpgradeConwayPParams StrictMaybe → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (UpgradeConwayPParams StrictMaybe) → String Source #

type Rep (UpgradeConwayPParams f) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

type Rep (UpgradeConwayPParams f) = D1 ('MetaData "UpgradeConwayPParams" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.14.0.0-inplace" 'False) (C1 ('MetaCons "UpgradeConwayPParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "ucppPoolVotingThresholds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f PoolVotingThresholds)) :*: S1 ('MetaSel ('Just "ucppDRepVotingThresholds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f DRepVotingThresholds))) :*: (S1 ('MetaSel ('Just "ucppCommitteeMinSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural)) :*: (S1 ('MetaSel ('Just "ucppCommitteeMaxTermLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f EpochInterval)) :*: S1 ('MetaSel ('Just "ucppGovActionLifetime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f EpochInterval))))) :*: ((S1 ('MetaSel ('Just "ucppGovActionDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin)) :*: S1 ('MetaSel ('Just "ucppDRepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin))) :*: (S1 ('MetaSel ('Just "ucppDRepActivity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f EpochInterval)) :*: (S1 ('MetaSel ('Just "ucppMinFeeRefScriptCostPerByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f NonNegativeInterval)) :*: S1 ('MetaSel ('Just "ucppPlutusV3CostModel") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CostModel)))))))

toUpgradeConwayPParamsUpdatePairs ∷ KeyValue e a ⇒ UpgradeConwayPParams Identity → [a] Source #

newtype THKD (t ∷ PPGroups) f a Source #

HKD that is tagged with a group

Constructors

THKD 

Fields

Instances

Instances details
(Typeable t, FromJSON a) ⇒ FromJSON (THKD t Identity a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

parseJSON ∷ Value → Parser (THKD t Identity a) Source #

parseJSONList ∷ Value → Parser [THKD t Identity a] Source #

omittedField ∷ Maybe (THKD t Identity a) Source #

(Typeable t, FromJSON a) ⇒ FromJSON (THKD t StrictMaybe a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

parseJSON ∷ Value → Parser (THKD t StrictMaybe a) Source #

parseJSONList ∷ Value → Parser [THKD t StrictMaybe a] Source #

omittedField ∷ Maybe (THKD t StrictMaybe a) Source #

(Typeable t, ToJSON a) ⇒ ToJSON (THKD t Identity a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toJSON ∷ THKD t Identity a → Value Source #

toEncoding ∷ THKD t Identity a → Encoding Source #

toJSONList ∷ [THKD t Identity a] → Value Source #

toEncodingList ∷ [THKD t Identity a] → Encoding Source #

omitField ∷ THKD t Identity a → Bool Source #

(Typeable t, ToJSON a) ⇒ ToJSON (THKD t StrictMaybe a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toJSON ∷ THKD t StrictMaybe a → Value Source #

toEncoding ∷ THKD t StrictMaybe a → Encoding Source #

toJSONList ∷ [THKD t StrictMaybe a] → Value Source #

toEncodingList ∷ [THKD t StrictMaybe a] → Encoding Source #

omitField ∷ THKD t StrictMaybe a → Bool Source #

Monoid (HKD f a) ⇒ Monoid (THKD t f a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

mempty ∷ THKD t f a Source #

mappend ∷ THKD t f a → THKD t f a → THKD t f a Source #

mconcat ∷ [THKD t f a] → THKD t f a Source #

Semigroup (HKD f a) ⇒ Semigroup (THKD t f a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(<>) ∷ THKD t f a → THKD t f a → THKD t f a Source #

sconcat ∷ NonEmpty (THKD t f a) → THKD t f a Source #

stimes ∷ Integral b ⇒ b → THKD t f a → THKD t f a Source #

Show (HKD f a) ⇒ Show (THKD t f a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → THKD t f a → ShowS Source #

show ∷ THKD t f a → String Source #

showList ∷ [THKD t f a] → ShowS Source #

(Typeable t, DecCBOR a) ⇒ DecCBOR (THKD t Identity a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

decCBOR ∷ Decoder s (THKD t Identity a) Source #

dropCBOR ∷ Proxy (THKD t Identity a) → Decoder s () Source #

label ∷ Proxy (THKD t Identity a) → Text Source #

(Typeable t, DecCBOR a) ⇒ DecCBOR (THKD t StrictMaybe a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

decCBOR ∷ Decoder s (THKD t StrictMaybe a) Source #

dropCBOR ∷ Proxy (THKD t StrictMaybe a) → Decoder s () Source #

label ∷ Proxy (THKD t StrictMaybe a) → Text Source #

(Typeable t, EncCBOR a) ⇒ EncCBOR (THKD t Identity a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

encCBOR ∷ THKD t Identity a → Encoding Source #

encodedSizeExpr ∷ (∀ t0. EncCBOR t0 ⇒ Proxy t0 → Size) → Proxy (THKD t Identity a) → Size Source #

encodedListSizeExpr ∷ (∀ t0. EncCBOR t0 ⇒ Proxy t0 → Size) → Proxy [THKD t Identity a] → Size Source #

(Typeable t, EncCBOR a) ⇒ EncCBOR (THKD t StrictMaybe a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

encCBOR ∷ THKD t StrictMaybe a → Encoding Source #

encodedSizeExpr ∷ (∀ t0. EncCBOR t0 ⇒ Proxy t0 → Size) → Proxy (THKD t StrictMaybe a) → Size Source #

encodedListSizeExpr ∷ (∀ t0. EncCBOR t0 ⇒ Proxy t0 → Size) → Proxy [THKD t StrictMaybe a] → Size Source #

NFData (HKD f a) ⇒ NFData (THKD t f a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnf ∷ THKD t f a → () Source #

Eq (HKD f a) ⇒ Eq (THKD t f a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ THKD t f a → THKD t f a → Bool Source #

(/=) ∷ THKD t f a → THKD t f a → Bool Source #

Ord (HKD f a) ⇒ Ord (THKD t f a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ THKD t f a → THKD t f a → Ordering Source #

(<) ∷ THKD t f a → THKD t f a → Bool Source #

(<=) ∷ THKD t f a → THKD t f a → Bool Source #

(>) ∷ THKD t f a → THKD t f a → Bool Source #

(>=) ∷ THKD t f a → THKD t f a → Bool Source #

max ∷ THKD t f a → THKD t f a → THKD t f a Source #

min ∷ THKD t f a → THKD t f a → THKD t f a Source #

NoThunks (HKD f a) ⇒ NoThunks (THKD t f a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

noThunks ∷ Context → THKD t f a → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → THKD t f a → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (THKD t f a) → String Source #

data DRepGroup Source #

Protocol parameter groups that dictate different thresholds for DReps.

Constructors

NetworkGroup 
EconomicGroup 
TechnicalGroup 
GovGroup 

Instances

Instances details
Show DRepGroup Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → DRepGroup → ShowS Source #

show ∷ DRepGroup → String Source #

showList ∷ [DRepGroup] → ShowS Source #

Eq DRepGroup Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ DRepGroup → DRepGroup → Bool Source #

(/=) ∷ DRepGroup → DRepGroup → Bool Source #

Ord DRepGroup Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ DRepGroup → DRepGroup → Ordering Source #

(<) ∷ DRepGroup → DRepGroup → Bool Source #

(<=) ∷ DRepGroup → DRepGroup → Bool Source #

(>) ∷ DRepGroup → DRepGroup → Bool Source #

(>=) ∷ DRepGroup → DRepGroup → Bool Source #

max ∷ DRepGroup → DRepGroup → DRepGroup Source #

min ∷ DRepGroup → DRepGroup → DRepGroup Source #

data PPGroups Source #

Constructors

PPGroups DRepGroup StakePoolGroup 

Instances

Instances details
Show PPGroups Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → PPGroups → ShowS Source #

show ∷ PPGroups → String Source #

showList ∷ [PPGroups] → ShowS Source #

Eq PPGroups Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ PPGroups → PPGroups → Bool Source #

(/=) ∷ PPGroups → PPGroups → Bool Source #

Ord PPGroups Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ PPGroups → PPGroups → Ordering Source #

(<) ∷ PPGroups → PPGroups → Bool Source #

(<=) ∷ PPGroups → PPGroups → Bool Source #

(>) ∷ PPGroups → PPGroups → Bool Source #

(>=) ∷ PPGroups → PPGroups → Bool Source #

max ∷ PPGroups → PPGroups → PPGroups Source #

min ∷ PPGroups → PPGroups → PPGroups Source #

data StakePoolGroup Source #

Constructors

SecurityGroup 
NoStakePoolGroup 

Instances

Instances details
Show StakePoolGroup Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → StakePoolGroup → ShowS Source #

show ∷ StakePoolGroup → String Source #

showList ∷ [StakePoolGroup] → ShowS Source #

Eq StakePoolGroup Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ StakePoolGroup → StakePoolGroup → Bool Source #

(/=) ∷ StakePoolGroup → StakePoolGroup → Bool Source #

Ord StakePoolGroup Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ StakePoolGroup → StakePoolGroup → Ordering Source #

(<) ∷ StakePoolGroup → StakePoolGroup → Bool Source #

(<=) ∷ StakePoolGroup → StakePoolGroup → Bool Source #

(>) ∷ StakePoolGroup → StakePoolGroup → Bool Source #

(>=) ∷ StakePoolGroup → StakePoolGroup → Bool Source #

max ∷ StakePoolGroup → StakePoolGroup → StakePoolGroup Source #

min ∷ StakePoolGroup → StakePoolGroup → StakePoolGroup Source #

conwayModifiedPPGroups ∷ ConwayPParams StrictMaybe era → Set PPGroups Source #

pvtHardForkInitiationL ∷ Lens' PoolVotingThresholds UnitInterval Source #

pvtMotionNoConfidenceL ∷ Lens' PoolVotingThresholds UnitInterval Source #

Orphan instances

Crypto c ⇒ AlonzoEraPParams (ConwayEra c) Source # 
Instance details

Methods

hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra (ConwayEra c)) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f CoinPerWord) Source #

hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f CostModels) Source #

hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Prices) Source #

hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f ExUnits) Source #

hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f ExUnits) Source #

hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) Source #

hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) Source #

hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) Source #

Crypto c ⇒ BabbageEraPParams (ConwayEra c) Source # 
Instance details

Methods

hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f CoinPerByte) Source #

Crypto c ⇒ EraPParams (ConwayEra c) Source # 
Instance details

Associated Types

type PParamsHKD f (ConwayEra c) = (r ∷ Type) Source #

type UpgradePParams f (ConwayEra c) Source #

type DowngradePParams f (ConwayEra c) Source #

Methods

applyPPUpdates ∷ PParams (ConwayEra c) → PParamsUpdate (ConwayEra c) → PParams (ConwayEra c) Source #

emptyPParamsIdentity ∷ PParamsHKD Identity (ConwayEra c) Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe (ConwayEra c) Source #

upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra (ConwayEra c))) ⇒ UpgradePParams f (ConwayEra c) → PParamsHKD f (PreviousEra (ConwayEra c)) → PParamsHKD f (ConwayEra c) Source #

downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra (ConwayEra c))) ⇒ DowngradePParams f (ConwayEra c) → PParamsHKD f (ConwayEra c) → PParamsHKD f (PreviousEra (ConwayEra c)) Source #

hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Word16) Source #

hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) Source #

hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 6) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f UnitInterval) Source #

ppDG ∷ SimpleGetter (PParams (ConwayEra c)) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 6) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 8) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f ProtVer) Source #

ppProtocolVersionL ∷ Lens' (PParams (ConwayEra c)) ProtVer Source #

ppuProtocolVersionL ∷ Lens' (PParamsUpdate (ConwayEra c)) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (ConwayEra c) 4) ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #

hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) Source #