Modulecardano-ledger-conway-1.23.0.0

Cardano.Ledger.Conway.PParams

9 types
1 class
56 values

Packagecardano-ledger-conway-1.23.0.0
Exports66
LicenceApache-2.0

valueencodeLangViews :: Set LangDepView -> Encoding

valuegetLanguageView

:: AlonzoEraPParams era
=> PParams era
-> Language
-> LangDepView

valueasCompactCoinHKD :: HKDFunctor f => HKD f Coin -> HKD f (CompactForm Coin)

valueasNaturalHKD :: (HKDFunctor f, Integral i) => HKD f i -> HKD f Natural

valuecppMinFeeA

:: HKDFunctor f
=> ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin

Deprecated. In favor of cppTxFeePerByte

valuecppMinFeeB

:: HKDFunctor f
=> ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin

Deprecated. In favor of cppTxFeeFixed

valuedvtCommitteeNoConfidenceL :: Lens' DRepVotingThresholds UnitInterval

valuedvtCommitteeNormalL :: Lens' DRepVotingThresholds UnitInterval

valuedvtHardForkInitiationL :: Lens' DRepVotingThresholds UnitInterval

valuedvtMotionNoConfidenceL :: Lens' DRepVotingThresholds UnitInterval

valuedvtPPEconomicGroupL :: Lens' DRepVotingThresholds UnitInterval

valuedvtPPGovGroupL :: Lens' DRepVotingThresholds UnitInterval

valuedvtPPNetworkGroupL :: Lens' DRepVotingThresholds UnitInterval

valuedvtPPTechnicalGroupL :: Lens' DRepVotingThresholds UnitInterval

valuedvtTreasuryWithdrawalL :: Lens' DRepVotingThresholds UnitInterval

valuedvtUpdateToConstitutionL :: Lens' DRepVotingThresholds UnitInterval

valueemptyConwayPParams :: Era era => ConwayPParams Identity era

valueemptyConwayPParamsUpdate :: ConwayPParams StrictMaybe era

valueppCommitteeMaxTermLength :: ConwayEraPParams era => PParam era

valueppCommitteeMaxTermLengthL :: ConwayEraPParams era => Lens' (PParams era) EpochInterval

valueppCommitteeMinSize :: ConwayEraPParams era => PParam era

valueppCommitteeMinSizeL :: ConwayEraPParams era => Lens' (PParams era) Word16

valueppDRepActivity :: ConwayEraPParams era => PParam era

valueppDRepActivityL :: ConwayEraPParams era => Lens' (PParams era) EpochInterval

valueppDRepDeposit :: ConwayEraPParams era => PParam era

valueppDRepDepositCompactL :: ConwayEraPParams era => Lens' (PParams era) (CompactForm Coin)

valueppDRepDepositL :: ConwayEraPParams era => Lens' (PParams era) Coin

valueppDRepVotingThresholds :: ConwayEraPParams era => PParam era

valueppDRepVotingThresholdsL :: ConwayEraPParams era => Lens' (PParams era) DRepVotingThresholds

valueppGovActionDeposit :: ConwayEraPParams era => PParam era

valueppGovActionDepositCompactL :: ConwayEraPParams era => Lens' (PParams era) (CompactForm Coin)

valueppGovActionDepositL :: (ConwayEraPParams era, HasCallStack) => Lens' (PParams era) Coin

valueppGovActionLifetime :: ConwayEraPParams era => PParam era

valueppGovActionLifetimeL :: ConwayEraPParams era => Lens' (PParams era) EpochInterval

valueppGovProtocolVersion :: ConwayEraPParams era => PParam era

valueppGroup

:: (ToDRepGroup t, ToStakePoolGroup s)
=> THKD ('PPGroups t s) StrictMaybe a
-> Set PPGroups

valueppMinFeeRefScriptCostPerByte :: ConwayEraPParams era => PParam era

valueppMinFeeRefScriptCostPerByteL :: ConwayEraPParams era => Lens' (PParams era) NonNegativeInterval

valueppPoolVotingThresholds :: ConwayEraPParams era => PParam era

valueppPoolVotingThresholdsL :: ConwayEraPParams era => Lens' (PParams era) PoolVotingThresholds

valueppuCommitteeMaxTermLengthL :: ConwayEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)

valueppuCommitteeMinSizeL :: ConwayEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Word16)

valueppuDRepActivityL :: ConwayEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)

valueppuDRepDepositL :: ConwayEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Coin)

valueppuDRepVotingThresholdsL :: ConwayEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe DRepVotingThresholds)

valueppuGovActionDepositCompactL :: ConwayEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe (CompactForm Coin))

valueppuGovActionDepositL :: (ConwayEraPParams era, HasCallStack) => Lens' (PParamsUpdate era) (StrictMaybe Coin)

valueppuGovActionLifetimeL :: ConwayEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)

valueppuMinFeeRefScriptCostPerByteL :: ConwayEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval)

valueppuPoolVotingThresholdsL :: ConwayEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe PoolVotingThresholds)

valuepvtCommitteeNoConfidenceL :: Lens' PoolVotingThresholds UnitInterval

valuepvtCommitteeNormalL :: Lens' PoolVotingThresholds UnitInterval

valuepvtHardForkInitiationL :: Lens' PoolVotingThresholds UnitInterval

valuepvtMotionNoConfidenceL :: Lens' PoolVotingThresholds UnitInterval

valuepvtPPSecurityGroupL :: Lens' PoolVotingThresholds UnitInterval

valueupgradeConwayPParams

datadata LangDepView

Constructors

LangDepView
- tag :: ByteString
- params :: ByteString

Instances6Eq, Ord, Show, Generic, NoThunks, Rep

Eq LangDepViewDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
Ord LangDepViewDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
Show LangDepViewDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
Generic LangDepViewDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
NoThunks LangDepViewDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
type Rep LangDepView = D1 ('MetaData "LangDepView" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'False) (C1 ('MetaCons "LangDepView" 'PrefixI 'True) (S1 ('MetaSel ('Just "tag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams

classclass BabbageEraPParams era => ConwayEraPParams era where

Methods

modifiedPPGroups :: PParamsUpdate era -> Set PPGroups
ppuWellFormed :: ProtVer -> PParamsUpdate era -> Bool
hkdPoolVotingThresholdsL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f PoolVotingThresholds)
hkdDRepVotingThresholdsL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f DRepVotingThresholds)
hkdCommitteeMinSizeL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Word16)
hkdCommitteeMaxTermLengthL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f EpochInterval)
hkdGovActionLifetimeL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f EpochInterval)
hkdGovActionDepositCompactL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f (CompactForm Coin))
hkdDRepDepositCompactL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f (CompactForm Coin))
hkdDRepActivityL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f EpochInterval)
hkdMinFeeRefScriptCostPerByteL :: 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)

Instances1ConwayEraPParams

ConwayEraPParams ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams

datadata ConwayPParams (f :: Type -> Type) era

Constructors

ConwayPParams
- cppTxFeePerByte :: !THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte
- cppTxFeeFixed :: !THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f (CompactForm 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 (CompactForm 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 (CompactForm 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 (CompactForm Coin)
- cppDRepDeposit :: !THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f (CompactForm Coin)
- cppDRepActivity :: !THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
- cppMinFeeRefScriptCostPerByte :: !THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f NonNegativeInterval

Instances12Eq, Ord, Show, Generic, NFData, NoThunks, …

Eq (ConwayPParams StrictMaybe era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Eq (ConwayPParams Identity era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Ord (ConwayPParams StrictMaybe era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Ord (ConwayPParams Identity era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Show (ConwayPParams StrictMaybe era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Show (ConwayPParams Identity era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Generic (ConwayPParams f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
NFData (ConwayPParams StrictMaybe era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
NFData (ConwayPParams Identity era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
NoThunks (ConwayPParams StrictMaybe era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
NoThunks (ConwayPParams Identity era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
type Rep (ConwayPParams f era) = D1 ('MetaData "ConwayPParams" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "ConwayPParams" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "cppTxFeePerByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte)) :*: (S1 ('MetaSel ('Just "cppTxFeeFixed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f (CompactForm 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 (CompactForm 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 (CompactForm 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 (CompactForm 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))))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams

datadata DRepGroup

NetworkGroup EconomicGroup TechnicalGroup GovGroup

Instances3Eq, Ord, Show

Eq DRepGroupDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Ord DRepGroupDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Show DRepGroupDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams

datadata DRepVotingThresholds

Constructors

DRepVotingThresholds
- dvtMotionNoConfidence :: !UnitInterval
- dvtCommitteeNormal :: !UnitInterval
- dvtCommitteeNoConfidence :: !UnitInterval
- dvtUpdateToConstitution :: !UnitInterval
- dvtHardForkInitiation :: !UnitInterval
- dvtPPNetworkGroup :: !UnitInterval
- dvtPPEconomicGroup :: !UnitInterval
- dvtPPTechnicalGroup :: !UnitInterval
- dvtPPGovGroup :: !UnitInterval
- dvtTreasuryWithdrawal :: !UnitInterval

Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq DRepVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Ord DRepVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Show DRepVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Generic DRepVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
NFData DRepVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
FromJSON DRepVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
ToJSON DRepVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Default DRepVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
NoThunks DRepVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
DecCBOR DRepVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
EncCBOR DRepVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
ToPlutusData DRepVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
type Rep DRepVotingThresholds = D1 ('MetaData "DRepVotingThresholds" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" '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))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams

datadata PPGroups

Constructors

PPGroups DRepGroup StakePoolGroup

Instances3Eq, Ord, Show

Eq PPGroupsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Ord PPGroupsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Show PPGroupsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams

datadata PoolVotingThresholds

Constructors

PoolVotingThresholds
- pvtMotionNoConfidence :: !UnitInterval
- pvtCommitteeNormal :: !UnitInterval
- pvtCommitteeNoConfidence :: !UnitInterval
- pvtHardForkInitiation :: !UnitInterval
- pvtPPSecurityGroup :: !UnitInterval

Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq PoolVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Ord PoolVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Show PoolVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Generic PoolVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
NFData PoolVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
FromJSON PoolVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
ToJSON PoolVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Default PoolVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
NoThunks PoolVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
DecCBOR PoolVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
EncCBOR PoolVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
ToPlutusData PoolVotingThresholdsDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
type Rep PoolVotingThresholds = D1 ('MetaData "PoolVotingThresholds" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" '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)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams

datadata StakePoolGroup

SecurityGroup NoStakePoolGroup

Instances3Eq, Ord, Show

Eq StakePoolGroupDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Ord StakePoolGroupDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Show StakePoolGroupDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams

newtypenewtype THKD (t :: PPGroups) (f :: Type -> Type) a

Constructors

THKD
- unTHKD :: HKD f a

Instances16Eq, Ord, Show, Semigroup, Monoid, NFData, …

Eq (HKD f a) => Eq (THKD t f a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Ord (HKD f a) => Ord (THKD t f a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Show (HKD f a) => Show (THKD t f a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Semigroup (HKD f a) => Semigroup (THKD t f a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Monoid (HKD f a) => Monoid (THKD t f a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
NFData (HKD f a) => NFData (THKD t f a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
(Typeable t, FromJSON a) => FromJSON (THKD t StrictMaybe a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
(Typeable t, FromJSON a) => FromJSON (THKD t Identity a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
(Typeable t, ToJSON a) => ToJSON (THKD t StrictMaybe a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
(Typeable t, ToJSON a) => ToJSON (THKD t Identity a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
NoThunks (HKD f a) => NoThunks (THKD t f a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
(Typeable t, DecCBOR a) => DecCBOR (THKD t StrictMaybe a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
(Typeable t, DecCBOR a) => DecCBOR (THKD t Identity a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
EncCBOR a => EncCBOR (THKD t StrictMaybe a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
EncCBOR a => EncCBOR (THKD t Identity a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
(ToDRepGroup g, ToStakePoolGroup h) => CollectModifiedPPGroups (K1 i (THKD ('PPGroups g h) StrictMaybe a) p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams

datadata UpgradeConwayPParams (f :: Type -> Type)

Constructors

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

Instances18Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq (UpgradeConwayPParams StrictMaybe)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Eq (UpgradeConwayPParams Identity)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Ord (UpgradeConwayPParams StrictMaybe)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Ord (UpgradeConwayPParams Identity)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Show (UpgradeConwayPParams StrictMaybe)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Show (UpgradeConwayPParams Identity)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Generic (UpgradeConwayPParams f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
NFData (UpgradeConwayPParams StrictMaybe)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
NFData (UpgradeConwayPParams Identity)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
FromJSON (UpgradeConwayPParams Identity)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
ToJSON (UpgradeConwayPParams Identity)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
Default (UpgradeConwayPParams StrictMaybe)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
NoThunks (UpgradeConwayPParams StrictMaybe)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
NoThunks (UpgradeConwayPParams Identity)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
DecCBOR (UpgradeConwayPParams Identity)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
EncCBOR (UpgradeConwayPParams Identity)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
ToKeyValuePairs (UpgradeConwayPParams Identity)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams
type Rep (UpgradeConwayPParams f) = D1 ('MetaData "UpgradeConwayPParams" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" '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)))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.PParams

Orphan instances

4 instances

EraPParams ConwayEra
AlonzoEraPParams ConwayEra
BabbageEraPParams ConwayEra
ConwayEraPParams era => ToPlutusData (PParamsUpdate era)