| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Conway.PParams
Contents
Description
This module contains the type of protocol parameters and EraPParams instance
Synopsis
- class BabbageEraPParams era ⇒ ConwayEraPParams era where
- modifiedPPGroups ∷ PParamsUpdate era → Set PPGroups
- ppuWellFormed ∷ ProtVer → PParamsUpdate era → Bool
- hkdPoolVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f PoolVotingThresholds)
- hkdDRepVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f DRepVotingThresholds)
- hkdCommitteeMinSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Natural)
- hkdCommitteeMaxTermLengthL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f EpochInterval)
- hkdGovActionLifetimeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f EpochInterval)
- hkdGovActionDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin)
- hkdDRepDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f (CompactForm Coin))
- hkdDRepActivityL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f EpochInterval)
- hkdMinFeeRefScriptCostPerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f NonNegativeInterval)
- ppMaxRefScriptSizePerTxG ∷ SimpleGetter (PParams era) Word32
- ppMaxRefScriptSizePerBlockG ∷ SimpleGetter (PParams era) Word32
- ppRefScriptCostMultiplierG ∷ SimpleGetter (PParams era) PositiveInterval
- ppRefScriptCostStrideG ∷ SimpleGetter (PParams era) (NonZero Word32)
- ppCommitteeMaxTermLength ∷ ConwayEraPParams era ⇒ PParam era
- ppCommitteeMinSize ∷ ConwayEraPParams era ⇒ PParam era
- ppDRepActivity ∷ ConwayEraPParams era ⇒ PParam era
- ppDRepDeposit ∷ ConwayEraPParams era ⇒ PParam era
- ppDRepDepositCompactL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) (CompactForm Coin)
- ppDRepVotingThresholds ∷ ConwayEraPParams era ⇒ PParam era
- ppGovActionDeposit ∷ ConwayEraPParams era ⇒ PParam era
- ppGovActionLifetime ∷ ConwayEraPParams era ⇒ PParam era
- ppGovProtocolVersion ∷ ConwayEraPParams era ⇒ PParam era
- ppMinFeeRefScriptCostPerByte ∷ ConwayEraPParams era ⇒ PParam era
- ppPoolVotingThresholds ∷ ConwayEraPParams era ⇒ PParam era
- ppPoolVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) PoolVotingThresholds
- ppDRepVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) DRepVotingThresholds
- ppCommitteeMinSizeL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Natural
- ppCommitteeMaxTermLengthL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval
- ppGovActionLifetimeL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval
- ppGovActionDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Coin
- ppDRepDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Coin
- ppDRepActivityL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval
- ppMinFeeRefScriptCostPerByteL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) NonNegativeInterval
- ppuPoolVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe PoolVotingThresholds)
- ppuDRepVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe DRepVotingThresholds)
- ppuCommitteeMinSizeL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural)
- ppuCommitteeMaxTermLengthL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
- ppuGovActionLifetimeL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
- ppuGovActionDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
- ppuDRepDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
- ppuDRepActivityL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
- ppuMinFeeRefScriptCostPerByteL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval)
- data PoolVotingThresholds = PoolVotingThresholds {}
- pvtCommitteeNoConfidenceL ∷ Lens' PoolVotingThresholds UnitInterval
- pvtCommitteeNormalL ∷ Lens' PoolVotingThresholds UnitInterval
- pvtPPSecurityGroupL ∷ Lens' PoolVotingThresholds UnitInterval
- data DRepVotingThresholds = DRepVotingThresholds {
- dvtMotionNoConfidence ∷ !UnitInterval
- dvtCommitteeNormal ∷ !UnitInterval
- dvtCommitteeNoConfidence ∷ !UnitInterval
- dvtUpdateToConstitution ∷ !UnitInterval
- dvtHardForkInitiation ∷ !UnitInterval
- dvtPPNetworkGroup ∷ !UnitInterval
- dvtPPEconomicGroup ∷ !UnitInterval
- dvtPPTechnicalGroup ∷ !UnitInterval
- dvtPPGovGroup ∷ !UnitInterval
- dvtTreasuryWithdrawal ∷ !UnitInterval
- dvtCommitteeNoConfidenceL ∷ Lens' DRepVotingThresholds UnitInterval
- dvtCommitteeNormalL ∷ Lens' DRepVotingThresholds UnitInterval
- dvtHardForkInitiationL ∷ Lens' DRepVotingThresholds UnitInterval
- dvtMotionNoConfidenceL ∷ Lens' DRepVotingThresholds UnitInterval
- dvtPPNetworkGroupL ∷ Lens' DRepVotingThresholds UnitInterval
- dvtPPGovGroupL ∷ Lens' DRepVotingThresholds UnitInterval
- dvtPPTechnicalGroupL ∷ Lens' DRepVotingThresholds UnitInterval
- dvtPPEconomicGroupL ∷ Lens' DRepVotingThresholds UnitInterval
- dvtTreasuryWithdrawalL ∷ Lens' DRepVotingThresholds UnitInterval
- dvtUpdateToConstitutionL ∷ Lens' DRepVotingThresholds UnitInterval
- data ConwayPParams (f ∷ Type → Type) era = ConwayPParams {
- cppMinFeeA ∷ !(THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin)
- cppMinFeeB ∷ !(THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin)
- cppMaxBBSize ∷ !(THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)
- cppMaxTxSize ∷ !(THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)
- cppMaxBHSize ∷ !(THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word16)
- cppKeyDeposit ∷ !(THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin)
- cppPoolDeposit ∷ !(THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f (CompactForm Coin))
- cppEMax ∷ !(THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f EpochInterval)
- cppNOpt ∷ !(THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16)
- cppA0 ∷ !(THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f NonNegativeInterval)
- cppRho ∷ !(THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval)
- cppTau ∷ !(THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval)
- cppProtocolVersion ∷ !(HKDNoUpdate f ProtVer)
- cppMinPoolCost ∷ !(THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin)
- cppCoinsPerUTxOByte ∷ !(THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte)
- cppCostModels ∷ !(THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f CostModels)
- cppPrices ∷ !(THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Prices)
- cppMaxTxExUnits ∷ !(THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f OrdExUnits)
- cppMaxBlockExUnits ∷ !(THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f OrdExUnits)
- cppMaxValSize ∷ !(THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)
- cppCollateralPercentage ∷ !(THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16)
- cppMaxCollateralInputs ∷ !(THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f Word16)
- cppPoolVotingThresholds ∷ !(THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f PoolVotingThresholds)
- cppDRepVotingThresholds ∷ !(THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f DRepVotingThresholds)
- cppCommitteeMinSize ∷ !(THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Word16)
- cppCommitteeMaxTermLength ∷ !(THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)
- cppGovActionLifetime ∷ !(THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)
- cppGovActionDeposit ∷ !(THKD ('PPGroups 'GovGroup 'SecurityGroup) f Coin)
- cppDRepDeposit ∷ !(THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f (CompactForm Coin))
- cppDRepActivity ∷ !(THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)
- cppMinFeeRefScriptCostPerByte ∷ !(THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f NonNegativeInterval)
- getLanguageView ∷ AlonzoEraPParams era ⇒ PParams era → Language → LangDepView
- data LangDepView = LangDepView {}
- encodeLangViews ∷ Set LangDepView → Encoding
- upgradeConwayPParams ∷ ∀ (f ∷ Type → Type). HKDApplicative f ⇒ UpgradeConwayPParams f → PParamsHKD f BabbageEra → ConwayPParams f ConwayEra
- data UpgradeConwayPParams (f ∷ Type → Type) = UpgradeConwayPParams {
- ucppPoolVotingThresholds ∷ !(HKD f PoolVotingThresholds)
- ucppDRepVotingThresholds ∷ !(HKD f DRepVotingThresholds)
- ucppCommitteeMinSize ∷ !(HKD f Word16)
- ucppCommitteeMaxTermLength ∷ !(HKD f EpochInterval)
- ucppGovActionLifetime ∷ !(HKD f EpochInterval)
- ucppGovActionDeposit ∷ !(HKD f Coin)
- ucppDRepDeposit ∷ !(HKD f Coin)
- ucppDRepActivity ∷ !(HKD f EpochInterval)
- ucppMinFeeRefScriptCostPerByte ∷ !(HKD f NonNegativeInterval)
- ucppPlutusV3CostModel ∷ !(HKD f CostModel)
- newtype THKD (t ∷ PPGroups) (f ∷ Type → Type) a = THKD {}
- data DRepGroup
- data PPGroups = PPGroups DRepGroup StakePoolGroup
- data StakePoolGroup
- pvtHardForkInitiationL ∷ Lens' PoolVotingThresholds UnitInterval
- pvtMotionNoConfidenceL ∷ Lens' PoolVotingThresholds UnitInterval
- emptyConwayPParams ∷ Era era ⇒ ConwayPParams Identity era
- emptyConwayPParamsUpdate ∷ ConwayPParams StrictMaybe era
- asNaturalHKD ∷ ∀ (f ∷ Type → Type) i. (HKDFunctor f, Integral i) ⇒ HKD f i → HKD f Natural
- asBoundedIntegralHKD ∷ ∀ (f ∷ Type → Type) i b. (HKDFunctor f, Integral i, Integral b, Bounded b, HasCallStack) ⇒ HKD f i → HKD f b
- ppGroup ∷ ∀ (t ∷ DRepGroup) (s ∷ StakePoolGroup) a. (ToDRepGroup t, ToStakePoolGroup s) ⇒ THKD ('PPGroups t s) StrictMaybe a → Set PPGroups
- asCompactCoinHKD ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ HKD f Coin → HKD f (CompactForm Coin)
Documentation
class BabbageEraPParams era ⇒ ConwayEraPParams era where Source #
Minimal complete definition
ppuWellFormed, hkdPoolVotingThresholdsL, hkdDRepVotingThresholdsL, hkdCommitteeMinSizeL, hkdCommitteeMaxTermLengthL, hkdGovActionLifetimeL, hkdGovActionDepositL, hkdDRepDepositCompactL, hkdDRepActivityL, hkdMinFeeRefScriptCostPerByteL, ppMaxRefScriptSizePerTxG, ppMaxRefScriptSizePerBlockG, ppRefScriptCostMultiplierG, ppRefScriptCostStrideG
Methods
modifiedPPGroups ∷ PParamsUpdate era → Set PPGroups Source #
default modifiedPPGroups ∷ (Generic (PParamsHKD StrictMaybe era), CollectModifiedPPGroups (Rep (PParamsHKD StrictMaybe era) a)) ⇒ PParamsUpdate era → Set PPGroups Source #
ppuWellFormed ∷ ProtVer → PParamsUpdate era → Bool Source #
hkdPoolVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f PoolVotingThresholds) Source #
hkdDRepVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f DRepVotingThresholds) Source #
hkdCommitteeMinSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Natural) Source #
hkdCommitteeMaxTermLengthL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f EpochInterval) Source #
hkdGovActionLifetimeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f EpochInterval) Source #
hkdGovActionDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #
hkdDRepDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f (CompactForm Coin)) Source #
hkdDRepActivityL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f EpochInterval) Source #
hkdMinFeeRefScriptCostPerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f NonNegativeInterval) Source #
ppMaxRefScriptSizePerTxG ∷ SimpleGetter (PParams era) Word32 Source #
ppMaxRefScriptSizePerBlockG ∷ SimpleGetter (PParams era) Word32 Source #
ppRefScriptCostMultiplierG ∷ SimpleGetter (PParams era) PositiveInterval Source #
ppRefScriptCostStrideG ∷ SimpleGetter (PParams era) (NonZero Word32) Source #
Instances
ppCommitteeMaxTermLength ∷ ConwayEraPParams era ⇒ PParam era Source #
ppCommitteeMinSize ∷ ConwayEraPParams era ⇒ PParam era Source #
ppDRepActivity ∷ ConwayEraPParams era ⇒ PParam era Source #
ppDRepDeposit ∷ ConwayEraPParams era ⇒ PParam era Source #
ppDRepDepositCompactL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) (CompactForm Coin) 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 ∷ ConwayEraPParams era ⇒ Lens' (PParams era) PoolVotingThresholds Source #
ppDRepVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) DRepVotingThresholds Source #
ppCommitteeMinSizeL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Natural Source #
ppCommitteeMaxTermLengthL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #
ppGovActionLifetimeL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #
ppGovActionDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Coin Source #
ppDRepDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Coin Source #
ppDRepActivityL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #
ppMinFeeRefScriptCostPerByteL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) NonNegativeInterval Source #
ppuPoolVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe PoolVotingThresholds) Source #
ppuDRepVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe DRepVotingThresholds) Source #
ppuCommitteeMinSizeL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #
ppuCommitteeMaxTermLengthL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #
ppuGovActionLifetimeL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #
ppuGovActionDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #
ppuDRepDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #
ppuDRepActivityL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #
ppuMinFeeRefScriptCostPerByteL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval) Source #
data PoolVotingThresholds Source #
Constructors
| PoolVotingThresholds | |
Instances
data DRepVotingThresholds Source #
Constructors
| DRepVotingThresholds | |
Fields
| |
Instances
| FromJSON DRepVotingThresholds Source # | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| ToJSON DRepVotingThresholds Source # | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| DecCBOR DRepVotingThresholds Source # | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| EncCBOR DRepVotingThresholds Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods | |||||
| ToPlutusData DRepVotingThresholds Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods | |||||
| Default DRepVotingThresholds Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods | |||||
| NFData DRepVotingThresholds Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods rnf ∷ DRepVotingThresholds → () # | |||||
| Generic DRepVotingThresholds Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Associated Types
Methods | |||||
| Show DRepVotingThresholds Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods showsPrec ∷ Int → DRepVotingThresholds → ShowS # show ∷ DRepVotingThresholds → String # showList ∷ [DRepVotingThresholds] → ShowS # | |||||
| Eq DRepVotingThresholds Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods | |||||
| Ord DRepVotingThresholds Source # | |||||
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 # | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| type Rep DRepVotingThresholds Source # | |||||
Defined in Cardano.Ledger.Conway.PParams type Rep DRepVotingThresholds = D1 ('MetaData "DRepVotingThresholds" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.21.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)))))) | |||||
data ConwayPParams (f ∷ Type → Type) 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
| NFData (ConwayPParams StrictMaybe era) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods rnf ∷ ConwayPParams StrictMaybe era → () # | |||||
| NFData (ConwayPParams Identity era) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods rnf ∷ ConwayPParams Identity era → () # | |||||
| Generic (ConwayPParams f era) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Associated Types
Methods from ∷ ConwayPParams f era → Rep (ConwayPParams f era) x # to ∷ Rep (ConwayPParams f era) x → ConwayPParams f era # | |||||
| Show (ConwayPParams StrictMaybe era) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods showsPrec ∷ Int → ConwayPParams StrictMaybe era → ShowS # show ∷ ConwayPParams StrictMaybe era → String # showList ∷ [ConwayPParams StrictMaybe era] → ShowS # | |||||
| Show (ConwayPParams Identity era) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| Eq (ConwayPParams StrictMaybe era) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods (==) ∷ ConwayPParams StrictMaybe era → ConwayPParams StrictMaybe era → Bool # (/=) ∷ ConwayPParams StrictMaybe era → ConwayPParams StrictMaybe era → Bool # | |||||
| Eq (ConwayPParams Identity era) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods (==) ∷ ConwayPParams Identity era → ConwayPParams Identity era → Bool # (/=) ∷ ConwayPParams Identity era → ConwayPParams Identity era → Bool # | |||||
| Ord (ConwayPParams StrictMaybe era) Source # | |||||
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 # | |||||
| Ord (ConwayPParams Identity era) Source # | |||||
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 # | |||||
| NoThunks (ConwayPParams StrictMaybe era) Source # | |||||
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 # | |||||
| NoThunks (ConwayPParams Identity era) Source # | |||||
| type Rep (ConwayPParams f era) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams type Rep (ConwayPParams f era) = D1 ('MetaData "ConwayPParams" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.21.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 (CompactForm 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
| Generic LangDepView | |||||
Defined in Cardano.Ledger.Alonzo.PParams Associated Types
| |||||
| Show LangDepView | |||||
Defined in Cardano.Ledger.Alonzo.PParams Methods showsPrec ∷ Int → LangDepView → ShowS # show ∷ LangDepView → String # showList ∷ [LangDepView] → ShowS # | |||||
| Eq LangDepView | |||||
Defined in Cardano.Ledger.Alonzo.PParams | |||||
| Ord LangDepView | |||||
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 | |||||
Defined in Cardano.Ledger.Alonzo.PParams | |||||
| type Rep LangDepView | |||||
Defined in Cardano.Ledger.Alonzo.PParams type Rep LangDepView = D1 ('MetaData "LangDepView" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.15.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))) | |||||
upgradeConwayPParams ∷ ∀ (f ∷ Type → Type). HKDApplicative f ⇒ UpgradeConwayPParams f → PParamsHKD f BabbageEra → ConwayPParams f ConwayEra Source #
data UpgradeConwayPParams (f ∷ Type → Type) Source #
Constructors
| UpgradeConwayPParams | |
Fields
| |
Instances
| FromJSON (UpgradeConwayPParams Identity) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| ToJSON (UpgradeConwayPParams Identity) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| DecCBOR (UpgradeConwayPParams Identity) Source # | |||||
| EncCBOR (UpgradeConwayPParams Identity) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| ToKeyValuePairs (UpgradeConwayPParams Identity) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods toKeyValuePairs ∷ KeyValue e kv ⇒ UpgradeConwayPParams Identity → [kv] Source # | |||||
| Default (UpgradeConwayPParams StrictMaybe) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods | |||||
| NFData (UpgradeConwayPParams StrictMaybe) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods rnf ∷ UpgradeConwayPParams StrictMaybe → () # | |||||
| NFData (UpgradeConwayPParams Identity) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods rnf ∷ UpgradeConwayPParams Identity → () # | |||||
| Generic (UpgradeConwayPParams f) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Associated Types
Methods from ∷ UpgradeConwayPParams f → Rep (UpgradeConwayPParams f) x # to ∷ Rep (UpgradeConwayPParams f) x → UpgradeConwayPParams f # | |||||
| Show (UpgradeConwayPParams StrictMaybe) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams Methods showsPrec ∷ Int → UpgradeConwayPParams StrictMaybe → ShowS # | |||||
| Show (UpgradeConwayPParams Identity) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| Eq (UpgradeConwayPParams StrictMaybe) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| Eq (UpgradeConwayPParams Identity) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| Ord (UpgradeConwayPParams StrictMaybe) Source # | |||||
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 # | |||||
| Ord (UpgradeConwayPParams Identity) Source # | |||||
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 # | |||||
| NoThunks (UpgradeConwayPParams StrictMaybe) Source # | |||||
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 # | |||||
| NoThunks (UpgradeConwayPParams Identity) Source # | |||||
| type Rep (UpgradeConwayPParams f) Source # | |||||
Defined in Cardano.Ledger.Conway.PParams type Rep (UpgradeConwayPParams f) = D1 ('MetaData "UpgradeConwayPParams" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.21.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))))))) | |||||
newtype THKD (t ∷ PPGroups) (f ∷ Type → Type) a Source #
HKD that is tagged with a group
Instances
| (Typeable t, FromJSON a) ⇒ FromJSON (THKD t StrictMaybe a) Source # | |
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, FromJSON a) ⇒ FromJSON (THKD t Identity a) Source # | |
| (Typeable t, ToJSON a) ⇒ ToJSON (THKD t StrictMaybe a) Source # | |
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 # | |
| (Typeable t, ToJSON a) ⇒ ToJSON (THKD t Identity a) Source # | |
| (Typeable t, DecCBOR a) ⇒ DecCBOR (THKD t StrictMaybe a) Source # | |
| (Typeable t, DecCBOR a) ⇒ DecCBOR (THKD t Identity a) Source # | |
| EncCBOR a ⇒ EncCBOR (THKD t StrictMaybe a) Source # | |
Defined in Cardano.Ledger.Conway.PParams | |
| EncCBOR a ⇒ EncCBOR (THKD t Identity a) Source # | |
| NFData (HKD f a) ⇒ NFData (THKD t f a) Source # | |
Defined in Cardano.Ledger.Conway.PParams | |
| Monoid (HKD f a) ⇒ Monoid (THKD t f a) Source # | |
| Semigroup (HKD f a) ⇒ Semigroup (THKD t f a) Source # | |
| Show (HKD f a) ⇒ Show (THKD t f a) Source # | |
| Eq (HKD f a) ⇒ Eq (THKD t f a) Source # | |
| Ord (HKD f a) ⇒ Ord (THKD t f a) Source # | |
Defined in Cardano.Ledger.Conway.PParams | |
| NoThunks (HKD f a) ⇒ NoThunks (THKD t f a) Source # | |
Protocol parameter groups that dictate different thresholds for DReps.
Constructors
| NetworkGroup | |
| EconomicGroup | |
| TechnicalGroup | |
| GovGroup |
Constructors
| PPGroups DRepGroup StakePoolGroup |
data StakePoolGroup Source #
Constructors
| SecurityGroup | |
| NoStakePoolGroup |
Instances
| Show StakePoolGroup Source # | |
Defined in Cardano.Ledger.Conway.PParams Methods showsPrec ∷ Int → StakePoolGroup → ShowS # show ∷ StakePoolGroup → String # showList ∷ [StakePoolGroup] → ShowS # | |
| Eq StakePoolGroup Source # | |
Defined in Cardano.Ledger.Conway.PParams Methods (==) ∷ StakePoolGroup → StakePoolGroup → Bool # (/=) ∷ StakePoolGroup → StakePoolGroup → Bool # | |
| Ord StakePoolGroup Source # | |
Defined in Cardano.Ledger.Conway.PParams Methods compare ∷ StakePoolGroup → StakePoolGroup → Ordering # (<) ∷ StakePoolGroup → StakePoolGroup → Bool # (<=) ∷ StakePoolGroup → StakePoolGroup → Bool # (>) ∷ StakePoolGroup → StakePoolGroup → Bool # (>=) ∷ StakePoolGroup → StakePoolGroup → Bool # | |
emptyConwayPParams ∷ Era era ⇒ ConwayPParams Identity era Source #
Returns a basic "empty" PParams structure with all zero values.
asNaturalHKD ∷ ∀ (f ∷ Type → Type) 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 ∷ Type → Type) i b. (HKDFunctor f, Integral i, Integral b, Bounded b, HasCallStack) ⇒ HKD f i → HKD f b Source #
ppGroup ∷ ∀ (t ∷ DRepGroup) (s ∷ StakePoolGroup) a. (ToDRepGroup t, ToStakePoolGroup s) ⇒ THKD ('PPGroups t s) StrictMaybe a → Set PPGroups Source #
asCompactCoinHKD ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ HKD f Coin → HKD f (CompactForm Coin) Source #
Orphan instances
| AlonzoEraPParams ConwayEra Source # | |||||||||||||
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 # | |||||||||||||
Methods hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f CoinPerByte) Source # | |||||||||||||
| EraPParams ConwayEra Source # | |||||||||||||
Associated Types
Methods applyPPUpdates ∷ PParams ConwayEra → PParamsUpdate ConwayEra → PParams ConwayEra Source # emptyPParamsIdentity ∷ PParamsHKD Identity ConwayEra Source # emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe ConwayEra Source # emptyUpgradePParamsUpdate ∷ UpgradePParams 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, AtMostEra "Alonzo" ConwayEra) ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams ConwayEra) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" ConwayEra) ⇒ Lens' (PParamsHKD f ConwayEra) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Babbage" ConwayEra) ⇒ 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, AtMostEra "Mary" ConwayEra) ⇒ 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 # | |||||||||||||
Methods toPlutusData ∷ PParamsUpdate era → Data Source # fromPlutusData ∷ Data → Maybe (PParamsUpdate era) Source # | |||||||||||||