Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Dijkstra.PParams
Contents
Synopsis
- data DijkstraPParams f era = DijkstraPParams {
- dppMinFeeA ∷ !(THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin)
- dppMinFeeB ∷ !(THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f 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 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 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 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)
- class DijkstraEraPParams era ⇒ DijkstraEraPParams era where
- 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)
- data UpgradeDijkstraPParams f era = UpgradeDijkstraPParams {
- udppMaxRefScriptSizePerBlock ∷ !(HKD f Word32)
- udppMaxRefScriptSizePerTx ∷ !(HKD f Word32)
- udppRefScriptCostStride ∷ !(HKD f (NonZero Word32))
- udppRefScriptCostMultiplier ∷ !(HKD f PositiveInterval)
- ppRefScriptCostMultiplierL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) PositiveInterval
- ppRefScriptCostStrideL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) (NonZero Word32)
- ppMaxRefScriptSizePerTxL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Word32
- ppMaxRefScriptSizePerBlockL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Word32
- ppuRefScriptCostMultiplierL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe PositiveInterval)
- ppuRefScriptCostStrideL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe (NonZero Word32))
- ppuMaxRefScriptSizePerTxL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32)
- ppuMaxRefScriptSizePerBlockL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32)
Documentation
data DijkstraPParams f era Source #
Dijkstra Protocol parameters. The following parameters have been added since Dijkstra:
* maxRefScriptSizePerBlock
* maxRefScriptSizePerTx
* refScriptCostStride
* refScriptCostMultiplier
Constructors
Instances
class DijkstraEraPParams era ⇒ DijkstraEraPParams era where Source #
Methods
hkdMaxRefScriptSizePerBlockL ∷ Lens' (PParamsHKD f era) (HKD f Word32) Source #
hkdMaxRefScriptSizePerTxL ∷ Lens' (PParamsHKD f era) (HKD f Word32) Source #
hkdRefScriptCostStrideL ∷ Lens' (PParamsHKD f era) (HKD f (NonZero Word32)) Source #
hkdRefScriptCostMultiplierL ∷ Lens' (PParamsHKD f era) (HKD f PositiveInterval) Source #
Instances
DijkstraEraPParams DijkstraEra Source # | |
Defined in Cardano.Ledger.Dijkstra.PParams Methods hkdMaxRefScriptSizePerBlockL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Word32) Source # hkdMaxRefScriptSizePerTxL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f Word32) Source # hkdRefScriptCostStrideL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f (NonZero Word32)) Source # hkdRefScriptCostMultiplierL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f DijkstraEra) (HKD f PositiveInterval) Source # |
data UpgradeDijkstraPParams f era Source #
Constructors
UpgradeDijkstraPParams | |
Fields
|
Instances
ppRefScriptCostMultiplierL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) PositiveInterval Source #
ppRefScriptCostStrideL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) (NonZero Word32) Source #
ppMaxRefScriptSizePerTxL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Word32 Source #
ppMaxRefScriptSizePerBlockL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Word32 Source #
ppuRefScriptCostMultiplierL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe PositiveInterval) Source #
ppuRefScriptCostStrideL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe (NonZero Word32)) Source #
ppuMaxRefScriptSizePerTxL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32) Source #
ppuMaxRefScriptSizePerBlockL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32) Source #