cardano-ledger-conway-1.20.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 ∷ ProtVer → 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
ConwayEraPParams ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

modifiedPPGroups ∷ PParamsUpdate ConwayEra → Set PPGroups Source #

ppuWellFormed ∷ ProtVer → PParamsUpdate ConwayEra → Bool Source #

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

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

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

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

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

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

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

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

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

ppCommitteeMaxTermLength ∷ ConwayEraPParams era ⇒ PParam era Source #

ppCommitteeMinSize ∷ ConwayEraPParams era ⇒ PParam era Source #

ppDRepActivity ∷ ConwayEraPParams era ⇒ PParam era Source #

ppDRepDeposit ∷ ConwayEraPParams era ⇒ PParam era Source #

ppDRepVotingThresholds ∷ ConwayEraPParams era ⇒ PParam era Source #

ppGovActionDeposit ∷ ConwayEraPParams era ⇒ PParam era Source #

ppGovActionLifetime ∷ ConwayEraPParams era ⇒ PParam era Source #

ppGovProtocolVersion ∷ ConwayEraPParams era ⇒ PParam era Source #

ppMinFeeRefScriptCostPerByte ∷ ConwayEraPParams era ⇒ PParam era Source #

ppPoolVotingThresholds ∷ ConwayEraPParams era ⇒ PParam era 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 #

Methods

from ∷ PoolVotingThresholds → Rep PoolVotingThresholds x #

to ∷ Rep PoolVotingThresholds x → PoolVotingThresholds #

Show PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → PoolVotingThresholds → ShowS #

show ∷ PoolVotingThresholds → String #

showList ∷ [PoolVotingThresholds] → ShowS #

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

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 → () #

Eq PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

(/=) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

Ord PoolVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ PoolVotingThresholds → PoolVotingThresholds → Ordering #

(<) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

(<=) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

(>) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

(>=) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

max ∷ PoolVotingThresholds → PoolVotingThresholds → PoolVotingThresholds #

min ∷ PoolVotingThresholds → PoolVotingThresholds → PoolVotingThresholds #

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.20.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 #

Methods

from ∷ DRepVotingThresholds → Rep DRepVotingThresholds x #

to ∷ Rep DRepVotingThresholds x → DRepVotingThresholds #

Show DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → DRepVotingThresholds → ShowS #

show ∷ DRepVotingThresholds → String #

showList ∷ [DRepVotingThresholds] → ShowS #

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

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 → () #

Eq DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

(/=) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

Ord DRepVotingThresholds Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ DRepVotingThresholds → DRepVotingThresholds → Ordering #

(<) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

(<=) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

(>) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

(>=) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

max ∷ DRepVotingThresholds → DRepVotingThresholds → DRepVotingThresholds #

min ∷ DRepVotingThresholds → DRepVotingThresholds → DRepVotingThresholds #

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.20.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
Generic (ConwayPParams f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Associated Types

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

Methods

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

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

Show (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → ConwayPParams Identity era → ShowS #

show ∷ ConwayPParams Identity era → String #

showList ∷ [ConwayPParams Identity era] → ShowS #

Show (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → ConwayPParams StrictMaybe era → ShowS #

show ∷ ConwayPParams StrictMaybe era → String #

showList ∷ [ConwayPParams StrictMaybe era] → ShowS #

NFData (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnf ∷ ConwayPParams Identity era → () #

NFData (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnf ∷ ConwayPParams StrictMaybe era → () #

Eq (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

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

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

Eq (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

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

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

Ord (ConwayPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

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

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

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

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

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

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

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

Ord (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

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

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

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

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

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

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

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

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.20.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 (CompactForm 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 Word16))) :*: (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 Word32)) :*: S1 ('MetaSel ('Just "cppCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16))) :*: (S1 ('MetaSel ('Just "cppMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f Word16)) :*: 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 Word16))) :*: (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 #

Methods

from ∷ LangDepView → Rep LangDepView x #

to ∷ Rep LangDepView x → LangDepView #

Show LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

showsPrec ∷ Int → LangDepView → ShowS #

show ∷ LangDepView → String #

showList ∷ [LangDepView] → ShowS #

Eq LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

(==) ∷ LangDepView → LangDepView → Bool #

(/=) ∷ LangDepView → LangDepView → Bool #

Ord LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

compare ∷ LangDepView → LangDepView → Ordering #

(<) ∷ LangDepView → LangDepView → Bool #

(<=) ∷ LangDepView → LangDepView → Bool #

(>) ∷ LangDepView → LangDepView → Bool #

(>=) ∷ LangDepView → LangDepView → Bool #

max ∷ LangDepView → LangDepView → LangDepView #

min ∷ LangDepView → LangDepView → LangDepView #

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.14.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. HKDApplicative f ⇒ UpgradeConwayPParams f → PParamsHKD f BabbageEra → ConwayPParams f ConwayEra 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 #

Methods

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

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

Show (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → UpgradeConwayPParams Identity → ShowS #

show ∷ UpgradeConwayPParams Identity → String #

showList ∷ [UpgradeConwayPParams Identity] → ShowS #

Show (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

showsPrec ∷ Int → UpgradeConwayPParams StrictMaybe → ShowS #

show ∷ UpgradeConwayPParams StrictMaybe → String #

showList ∷ [UpgradeConwayPParams StrictMaybe] → ShowS #

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 #

ToKeyValuePairs (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ UpgradeConwayPParams Identity → [kv] 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 → () #

NFData (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

rnf ∷ UpgradeConwayPParams StrictMaybe → () #

Eq (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

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

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

Eq (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

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

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

Ord (UpgradeConwayPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → Ordering #

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

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

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

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

max ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → UpgradeConwayPParams Identity #

min ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → UpgradeConwayPParams Identity #

Ord (UpgradeConwayPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Ordering #

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

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

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

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

max ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe #

min ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe #

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.20.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 Word16)) :*: (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 #

Deprecated: In favor of toKeyValuePairs

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 #

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

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

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 #

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

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

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 #

show ∷ THKD t f a → String #

showList ∷ [THKD t f a] → ShowS #

(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 → () #

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 #

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

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 #

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

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

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

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

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

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

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 #

show ∷ DRepGroup → String #

showList ∷ [DRepGroup] → ShowS #

Eq DRepGroup Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ DRepGroup → DRepGroup → Bool #

(/=) ∷ DRepGroup → DRepGroup → Bool #

Ord DRepGroup Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ DRepGroup → DRepGroup → Ordering #

(<) ∷ DRepGroup → DRepGroup → Bool #

(<=) ∷ DRepGroup → DRepGroup → Bool #

(>) ∷ DRepGroup → DRepGroup → Bool #

(>=) ∷ DRepGroup → DRepGroup → Bool #

max ∷ DRepGroup → DRepGroup → DRepGroup #

min ∷ DRepGroup → DRepGroup → DRepGroup #

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 #

show ∷ PPGroups → String #

showList ∷ [PPGroups] → ShowS #

Eq PPGroups Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ PPGroups → PPGroups → Bool #

(/=) ∷ PPGroups → PPGroups → Bool #

Ord PPGroups Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ PPGroups → PPGroups → Ordering #

(<) ∷ PPGroups → PPGroups → Bool #

(<=) ∷ PPGroups → PPGroups → Bool #

(>) ∷ PPGroups → PPGroups → Bool #

(>=) ∷ PPGroups → PPGroups → Bool #

max ∷ PPGroups → PPGroups → PPGroups #

min ∷ PPGroups → PPGroups → PPGroups #

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 #

show ∷ StakePoolGroup → String #

showList ∷ [StakePoolGroup] → ShowS #

Eq StakePoolGroup Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

(==) ∷ StakePoolGroup → StakePoolGroup → Bool #

(/=) ∷ StakePoolGroup → StakePoolGroup → Bool #

Ord StakePoolGroup Source # 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

compare ∷ StakePoolGroup → StakePoolGroup → Ordering #

(<) ∷ StakePoolGroup → StakePoolGroup → Bool #

(<=) ∷ StakePoolGroup → StakePoolGroup → Bool #

(>) ∷ StakePoolGroup → StakePoolGroup → Bool #

(>=) ∷ StakePoolGroup → StakePoolGroup → Bool #

max ∷ StakePoolGroup → StakePoolGroup → StakePoolGroup #

min ∷ StakePoolGroup → StakePoolGroup → StakePoolGroup #

conwayModifiedPPGroups ∷ ConwayPParams StrictMaybe era → Set PPGroups Source #

pvtHardForkInitiationL ∷ Lens' PoolVotingThresholds UnitInterval Source #

pvtMotionNoConfidenceL ∷ Lens' PoolVotingThresholds UnitInterval Source #

conwayApplyPPUpdates ∷ ∀ era. ConwayPParams Identity era → ConwayPParams StrictMaybe era → ConwayPParams Identity era Source #

Functionality for updating protocol parameters in Conway era. Worth noting that, unlike previous eras, ProtocolVersion can no longer be updated using this mechanism and CostModels update differs form other protocol parameters.

emptyConwayPParams ∷ ∀ era. Era era ⇒ ConwayPParams Identity era Source #

Returns a basic "empty" PParams structure with all zero values.

emptyConwayPParamsUpdate ∷ ConwayPParams StrictMaybe era Source #

asNaturalHKD ∷ ∀ f i. (HKDFunctor f, Integral i) ⇒ HKD f i → HKD f Natural Source #

Care should be taken to not apply this function to signed values, otherwise it will result in an ArithmeticUnderflow exception for negative numbers.

asBoundedIntegralHKD ∷ ∀ f i b. (HKDFunctor f, Integral i, Integral b, Bounded b, HasCallStack) ⇒ HKD f i → HKD f b Source #

Orphan instances

AlonzoEraPParams ConwayEra Source # 
Instance details

Methods

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

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

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

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

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

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

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

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

BabbageEraPParams ConwayEra Source # 
Instance details

Methods

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

EraPParams ConwayEra Source # 
Instance details

Associated Types

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

type UpgradePParams f ConwayEra Source #

type DowngradePParams f ConwayEra Source #

Methods

applyPPUpdates ∷ PParams ConwayEra → PParamsUpdate ConwayEra → PParams ConwayEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity ConwayEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe ConwayEra Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ppDG ∷ SimpleGetter (PParams ConwayEra) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams ConwayEra) ProtVer Source #

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

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

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

eraPParams ∷ [PParam ConwayEra] Source #

ConwayEraPParams era ⇒ ToPlutusData (PParamsUpdate era) Source # 
Instance details

Methods

toPlutusData ∷ PParamsUpdate era → Data Source #

fromPlutusData ∷ Data → Maybe (PParamsUpdate era) Source #