Modulecardano-ledger-dijkstra-0.3.0.0

Cardano.Ledger.Dijkstra.PParams

Synopsis

value dppMinFeeA
value dppMinFeeB
value ppMaxRefScriptSizePerBlockL
value ppMaxRefScriptSizePerTxL
value ppRefScriptCostMultiplierL
value ppRefScriptCostStrideL
value ppuMaxRefScriptSizePerBlockL
value ppuMaxRefScriptSizePerTxL
value ppuRefScriptCostMultiplierL
value ppuRefScriptCostStrideL
class DijkstraEraPParams
data DijkstraPParams
data UpgradeDijkstraPParams

Packagecardano-ledger-dijkstra-0.3.0.0
Exports13
LicenceApache-2.0

valuedppMinFeeA

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

Deprecated. In favor of dppTxFeePerByte

valuedppMinFeeB

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

Deprecated. In favor of dppTxFeeFixed

valueppMaxRefScriptSizePerBlockL :: DijkstraEraPParams era => Lens' (PParams era) Word32

valueppMaxRefScriptSizePerTxL :: DijkstraEraPParams era => Lens' (PParams era) Word32

valueppRefScriptCostMultiplierL :: DijkstraEraPParams era => Lens' (PParams era) PositiveInterval

valueppRefScriptCostStrideL :: DijkstraEraPParams era => Lens' (PParams era) (NonZero Word32)

valueppuMaxRefScriptSizePerBlockL :: DijkstraEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Word32)

valueppuMaxRefScriptSizePerTxL :: DijkstraEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Word32)

valueppuRefScriptCostMultiplierL :: DijkstraEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe PositiveInterval)

valueppuRefScriptCostStrideL :: DijkstraEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe (NonZero Word32))

classclass DijkstraEraPParams era => DijkstraEraPParams era where

Methods

hkdMaxRefScriptSizePerBlockL :: Lens' (PParamsHKD f era) (HKD f Word32)
hkdMaxRefScriptSizePerTxL :: Lens' (PParamsHKD f era) (HKD f Word32)
hkdRefScriptCostStrideL :: Lens' (PParamsHKD f era) (HKD f (NonZero Word32))
hkdRefScriptCostMultiplierL :: Lens' (PParamsHKD f era) (HKD f PositiveInterval)

Instances1DijkstraEraPParams

DijkstraEraPParams DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams

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

Constructors

DijkstraPParams
- dppTxFeePerByte :: !THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte
- dppTxFeeFixed :: !THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f (CompactForm Coin)
- dppMaxBBSize :: !THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
- dppMaxTxSize :: !THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
- dppMaxBHSize :: !THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word16
- dppKeyDeposit :: !THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f (CompactForm Coin)
- dppPoolDeposit :: !THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f (CompactForm Coin)
- dppEMax :: !THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f EpochInterval
- dppNOpt :: !THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16
- dppA0 :: !THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f NonNegativeInterval
- dppRho :: !THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval
- dppTau :: !THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval
- dppProtocolVersion :: !HKDNoUpdate f ProtVer
- dppMinPoolCost :: !THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f (CompactForm Coin)
- dppCoinsPerUTxOByte :: !THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte
- dppCostModels :: !THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f CostModels
- dppPrices :: !THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Prices
- dppMaxTxExUnits :: !THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f OrdExUnits
- dppMaxBlockExUnits :: !THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f OrdExUnits
- dppMaxValSize :: !THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
- dppCollateralPercentage :: !THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16
- dppMaxCollateralInputs :: !THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f Word16
- dppPoolVotingThresholds :: !THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f PoolVotingThresholds
- dppDRepVotingThresholds :: !THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f DRepVotingThresholds
- dppCommitteeMinSize :: !THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Word16
- dppCommitteeMaxTermLength :: !THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
- dppGovActionLifetime :: !THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
- dppGovActionDeposit :: !THKD ('PPGroups 'GovGroup 'SecurityGroup) f (CompactForm Coin)
- dppDRepDeposit :: !THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f (CompactForm Coin)
- dppDRepActivity :: !THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
- dppMinFeeRefScriptCostPerByte :: !THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f NonNegativeInterval
- dppMaxRefScriptSizePerBlock :: !THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
- dppMaxRefScriptSizePerTx :: !THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
- dppRefScriptCostStride :: !THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f (NonZero Word32)
- dppRefScriptCostMultiplier :: !THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f PositiveInterval

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

Eq (DijkstraPParams StrictMaybe era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
Eq (DijkstraPParams Identity era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
Ord (DijkstraPParams StrictMaybe era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
Ord (DijkstraPParams Identity era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
Show (DijkstraPParams StrictMaybe era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
Show (DijkstraPParams Identity era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
Generic (DijkstraPParams f era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
NFData (DijkstraPParams StrictMaybe era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
NFData (DijkstraPParams Identity era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
NoThunks (DijkstraPParams StrictMaybe era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
NoThunks (DijkstraPParams Identity era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
type Rep (DijkstraPParams f era) = D1 ('MetaData "DijkstraPParams" "Cardano.Ledger.Dijkstra.PParams" "cardano-ledger-dijkstra-0.3.0.0-2FspSeRwKo1ObBlm8Qttt" 'False) (C1 ('MetaCons "DijkstraPParams" 'PrefixI 'True) (((((S1 ('MetaSel ('Just "dppTxFeePerByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte)) :*: S1 ('MetaSel ('Just "dppTxFeeFixed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f (CompactForm Coin)))) :*: (S1 ('MetaSel ('Just "dppMaxBBSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)) :*: S1 ('MetaSel ('Just "dppMaxTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)))) :*: ((S1 ('MetaSel ('Just "dppMaxBHSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word16)) :*: S1 ('MetaSel ('Just "dppKeyDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f (CompactForm Coin)))) :*: (S1 ('MetaSel ('Just "dppPoolDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f (CompactForm Coin))) :*: S1 ('MetaSel ('Just "dppEMax") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f EpochInterval))))) :*: (((S1 ('MetaSel ('Just "dppNOpt") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16)) :*: S1 ('MetaSel ('Just "dppA0") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f NonNegativeInterval))) :*: (S1 ('MetaSel ('Just "dppRho") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval)) :*: S1 ('MetaSel ('Just "dppTau") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval)))) :*: ((S1 ('MetaSel ('Just "dppProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKDNoUpdate f ProtVer)) :*: S1 ('MetaSel ('Just "dppMinPoolCost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f (CompactForm Coin)))) :*: (S1 ('MetaSel ('Just "dppCoinsPerUTxOByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte)) :*: (S1 ('MetaSel ('Just "dppCostModels") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f CostModels)) :*: S1 ('MetaSel ('Just "dppPrices") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Prices))))))) :*: ((((S1 ('MetaSel ('Just "dppMaxTxExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f OrdExUnits)) :*: S1 ('MetaSel ('Just "dppMaxBlockExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f OrdExUnits))) :*: (S1 ('MetaSel ('Just "dppMaxValSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)) :*: S1 ('MetaSel ('Just "dppCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16)))) :*: ((S1 ('MetaSel ('Just "dppMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f Word16)) :*: S1 ('MetaSel ('Just "dppPoolVotingThresholds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f PoolVotingThresholds))) :*: (S1 ('MetaSel ('Just "dppDRepVotingThresholds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f DRepVotingThresholds)) :*: (S1 ('MetaSel ('Just "dppCommitteeMinSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Word16)) :*: S1 ('MetaSel ('Just "dppCommitteeMaxTermLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)))))) :*: (((S1 ('MetaSel ('Just "dppGovActionLifetime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)) :*: S1 ('MetaSel ('Just "dppGovActionDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'SecurityGroup) f (CompactForm Coin)))) :*: (S1 ('MetaSel ('Just "dppDRepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f (CompactForm Coin))) :*: S1 ('MetaSel ('Just "dppDRepActivity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)))) :*: ((S1 ('MetaSel ('Just "dppMinFeeRefScriptCostPerByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f NonNegativeInterval)) :*: S1 ('MetaSel ('Just "dppMaxRefScriptSizePerBlock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32))) :*: (S1 ('MetaSel ('Just "dppMaxRefScriptSizePerTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)) :*: (S1 ('MetaSel ('Just "dppRefScriptCostStride") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f (NonZero Word32))) :*: S1 ('MetaSel ('Just "dppRefScriptCostMultiplier") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f PositiveInterval)))))))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams

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

Constructors

UpgradeDijkstraPParams
- udppMaxRefScriptSizePerBlock :: !HKD f Word32
- udppMaxRefScriptSizePerTx :: !HKD f Word32
- udppRefScriptCostStride :: !HKD f (NonZero Word32)
- udppRefScriptCostMultiplier :: !HKD f PositiveInterval

Instances11Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (UpgradeDijkstraPParams Identity era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
Show (UpgradeDijkstraPParams Identity era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
Generic (UpgradeDijkstraPParams f era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
NFData (UpgradeDijkstraPParams Identity era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
FromJSON (UpgradeDijkstraPParams Identity era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
ToJSON (UpgradeDijkstraPParams Identity era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
NoThunks (UpgradeDijkstraPParams Identity era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
Era era => DecCBOR (UpgradeDijkstraPParams Identity era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
Era era => EncCBOR (UpgradeDijkstraPParams Identity era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
ToKeyValuePairs (UpgradeDijkstraPParams Identity era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams
type Rep (UpgradeDijkstraPParams f era) = D1 ('MetaData "UpgradeDijkstraPParams" "Cardano.Ledger.Dijkstra.PParams" "cardano-ledger-dijkstra-0.3.0.0-2FspSeRwKo1ObBlm8Qttt" 'False) (C1 ('MetaCons "UpgradeDijkstraPParams" 'PrefixI 'True) ((S1 ('MetaSel ('Just "udppMaxRefScriptSizePerBlock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word32)) :*: S1 ('MetaSel ('Just "udppMaxRefScriptSizePerTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word32))) :*: (S1 ('MetaSel ('Just "udppRefScriptCostStride") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f (NonZero Word32))) :*: S1 ('MetaSel ('Just "udppRefScriptCostMultiplier") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f PositiveInterval)))))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.PParams

Orphan instances

4 instances