Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Dijkstra.PParams

Contents

Orphan instances

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

DijkstraPParams

Fields

dppMinFeeA ∷ !(THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin)
The linear factor for the minimum fee calculation
dppMinFeeB ∷ !(THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin)
The constant factor for the minimum fee calculation
dppMaxBBSize ∷ !(THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)
Maximal block body size
dppMaxTxSize ∷ !(THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)
Maximal transaction size
dppMaxBHSize ∷ !(THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word16)
Maximal block header size
dppKeyDeposit ∷ !(THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin)
The amount of a key registration deposit
dppPoolDeposit ∷ !(THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f (CompactForm Coin))
The amount of a pool registration deposit
dppEMax ∷ !(THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f EpochInterval)
Maximum number of epochs in the future a pool retirement is allowed to be scheduled for.
dppNOpt ∷ !(THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16)
Desired number of pools
dppA0 ∷ !(THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f NonNegativeInterval)
Pool influence
dppRho ∷ !(THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval)
Monetary expansion
dppTau ∷ !(THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval)
Treasury expansion
dppProtocolVersion ∷ !(HKDNoUpdate f ProtVer)
Protocol version
dppMinPoolCost ∷ !(THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin)
Minimum Stake Pool Cost
dppCoinsPerUTxOByte ∷ !(THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte)
Cost in lovelace per byte of UTxO storage
dppCostModels ∷ !(THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f CostModels)
Cost models for non-native script languages
dppPrices ∷ !(THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Prices)
Prices of execution units (for non-native script languages)
dppMaxTxExUnits ∷ !(THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f OrdExUnits)
Max total script execution resources units allowed per tx
dppMaxBlockExUnits ∷ !(THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f OrdExUnits)
Max total script execution resources units allowed per block
dppMaxValSize ∷ !(THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)
Max size of a Value in an output
dppCollateralPercentage ∷ !(THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16)
Percentage of the txfee which must be provided as collateral when including non-native scripts.
dppMaxCollateralInputs ∷ !(THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f Word16)
Maximum number of collateral inputs allowed in a transaction
dppPoolVotingThresholds ∷ !(THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f PoolVotingThresholds)
Thresholds for SPO votes
dppDRepVotingThresholds ∷ !(THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f DRepVotingThresholds)
Thresholds for DRep votes
dppCommitteeMinSize ∷ !(THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Word16)
Minimum size of the Constitutional Committee
dppCommitteeMaxTermLength ∷ !(THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)
The Constitutional Committee Term limit in number of Slots
dppGovActionLifetime ∷ !(THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)
Gov action lifetime in number of Epochs
dppGovActionDeposit ∷ !(THKD ('PPGroups 'GovGroup 'SecurityGroup) f Coin)
The amount of the Gov Action deposit
dppDRepDeposit ∷ !(THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f (CompactForm Coin))
The amount of a DRep registration deposit
dppDRepActivity ∷ !(THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)
The number of Epochs that a DRep can perform no activity without losing their Active status.
dppMinFeeRefScriptCostPerByte ∷ !(THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f NonNegativeInterval)
Reference scripts fee for the minimum fee calculation TODO ensure that the groups here make sense
dppMaxRefScriptSizePerBlock ∷ !(THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)
Limit on the total number of bytes of all reference scripts combined from all transactions within a block.
dppMaxRefScriptSizePerTx ∷ !(THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)
Limit on the total number of bytes of reference scripts that a transaction can use.
dppRefScriptCostStride ∷ !(THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f (NonZero Word32))
dppRefScriptCostMultiplier ∷ !(THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f PositiveInterval)

Instances

Instances details

Generic (DijkstraPParams f era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Associated Types type Rep (DijkstraPParams f era) ∷ Type → Type # Methods from ∷ DijkstraPParams f era → Rep (DijkstraPParams f era) x # to ∷ Rep (DijkstraPParams f era) x → DijkstraPParams f era #
Show (DijkstraPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods showsPrec ∷ Int → DijkstraPParams Identity era → ShowS # show ∷ DijkstraPParams Identity era → String # showList ∷ [DijkstraPParams Identity era] → ShowS #
Show (DijkstraPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods showsPrec ∷ Int → DijkstraPParams StrictMaybe era → ShowS # show ∷ DijkstraPParams StrictMaybe era → String # showList ∷ [DijkstraPParams StrictMaybe era] → ShowS #
NFData (DijkstraPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods rnf ∷ DijkstraPParams Identity era → () #
NFData (DijkstraPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods rnf ∷ DijkstraPParams StrictMaybe era → () #
Eq (DijkstraPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods (==) ∷ DijkstraPParams Identity era → DijkstraPParams Identity era → Bool # (/=) ∷ DijkstraPParams Identity era → DijkstraPParams Identity era → Bool #
Eq (DijkstraPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods (==) ∷ DijkstraPParams StrictMaybe era → DijkstraPParams StrictMaybe era → Bool # (/=) ∷ DijkstraPParams StrictMaybe era → DijkstraPParams StrictMaybe era → Bool #
Ord (DijkstraPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods compare ∷ DijkstraPParams Identity era → DijkstraPParams Identity era → Ordering # (<) ∷ DijkstraPParams Identity era → DijkstraPParams Identity era → Bool # (<=) ∷ DijkstraPParams Identity era → DijkstraPParams Identity era → Bool # (>) ∷ DijkstraPParams Identity era → DijkstraPParams Identity era → Bool # (>=) ∷ DijkstraPParams Identity era → DijkstraPParams Identity era → Bool # max ∷ DijkstraPParams Identity era → DijkstraPParams Identity era → DijkstraPParams Identity era # min ∷ DijkstraPParams Identity era → DijkstraPParams Identity era → DijkstraPParams Identity era #
Ord (DijkstraPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods compare ∷ DijkstraPParams StrictMaybe era → DijkstraPParams StrictMaybe era → Ordering # (<) ∷ DijkstraPParams StrictMaybe era → DijkstraPParams StrictMaybe era → Bool # (<=) ∷ DijkstraPParams StrictMaybe era → DijkstraPParams StrictMaybe era → Bool # (>) ∷ DijkstraPParams StrictMaybe era → DijkstraPParams StrictMaybe era → Bool # (>=) ∷ DijkstraPParams StrictMaybe era → DijkstraPParams StrictMaybe era → Bool # max ∷ DijkstraPParams StrictMaybe era → DijkstraPParams StrictMaybe era → DijkstraPParams StrictMaybe era # min ∷ DijkstraPParams StrictMaybe era → DijkstraPParams StrictMaybe era → DijkstraPParams StrictMaybe era #
NoThunks (DijkstraPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods noThunks ∷ Context → DijkstraPParams Identity era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DijkstraPParams Identity era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DijkstraPParams Identity era) → String Source #
NoThunks (DijkstraPParams StrictMaybe era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods noThunks ∷ Context → DijkstraPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DijkstraPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DijkstraPParams StrictMaybe era) → String Source #
type Rep (DijkstraPParams f era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams type Rep (DijkstraPParams f era) = D1 ('MetaData "DijkstraPParams" "Cardano.Ledger.Dijkstra.PParams" "cardano-ledger-dijkstra-0.1.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraPParams" 'PrefixI 'True) (((((S1 ('MetaSel ('Just "dppMinFeeA") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin)) :: S1 ('MetaSel ('Just "dppMinFeeB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f 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 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 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 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)))))))))

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

Instances details

DijkstraEraPParams DijkstraEra Source #

Instance details

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 udppMaxRefScriptSizePerBlock ∷ !(HKD f Word32) udppMaxRefScriptSizePerTx ∷ !(HKD f Word32) udppRefScriptCostStride ∷ !(HKD f (NonZero Word32)) udppRefScriptCostMultiplier ∷ !(HKD f PositiveInterval)

Instances

Instances details

FromJSON (UpgradeDijkstraPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods parseJSON ∷ Value → Parser (UpgradeDijkstraPParams Identity era) Source # parseJSONList ∷ Value → Parser [UpgradeDijkstraPParams Identity era] Source # omittedField ∷ Maybe (UpgradeDijkstraPParams Identity era) Source #
Generic (UpgradeDijkstraPParams f era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Associated Types type Rep (UpgradeDijkstraPParams f era) ∷ Type → Type # Methods from ∷ UpgradeDijkstraPParams f era → Rep (UpgradeDijkstraPParams f era) x # to ∷ Rep (UpgradeDijkstraPParams f era) x → UpgradeDijkstraPParams f era #
Show (UpgradeDijkstraPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods showsPrec ∷ Int → UpgradeDijkstraPParams Identity era → ShowS # show ∷ UpgradeDijkstraPParams Identity era → String # showList ∷ [UpgradeDijkstraPParams Identity era] → ShowS #
Era era ⇒ DecCBOR (UpgradeDijkstraPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods decCBOR ∷ Decoder s (UpgradeDijkstraPParams Identity era) Source # dropCBOR ∷ Proxy (UpgradeDijkstraPParams Identity era) → Decoder s () Source # label ∷ Proxy (UpgradeDijkstraPParams Identity era) → Text Source #
Era era ⇒ EncCBOR (UpgradeDijkstraPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods encCBOR ∷ UpgradeDijkstraPParams Identity era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (UpgradeDijkstraPParams Identity era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [UpgradeDijkstraPParams Identity era] → Size Source #
ToKeyValuePairs (UpgradeDijkstraPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods toKeyValuePairs ∷ KeyValue e kv ⇒ UpgradeDijkstraPParams Identity era → [kv] Source #
Eq (UpgradeDijkstraPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods (==) ∷ UpgradeDijkstraPParams Identity era → UpgradeDijkstraPParams Identity era → Bool # (/=) ∷ UpgradeDijkstraPParams Identity era → UpgradeDijkstraPParams Identity era → Bool #
NoThunks (UpgradeDijkstraPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams Methods noThunks ∷ Context → UpgradeDijkstraPParams Identity era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UpgradeDijkstraPParams Identity era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UpgradeDijkstraPParams Identity era) → String Source #
type Rep (UpgradeDijkstraPParams f era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.PParams type Rep (UpgradeDijkstraPParams f era) = D1 ('MetaData "UpgradeDijkstraPParams" "Cardano.Ledger.Dijkstra.PParams" "cardano-ledger-dijkstra-0.1.0.0-inplace" '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)))))

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 #

Orphan instances

AlonzoEraPParams DijkstraEra Source #
Instance details Methods hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra DijkstraEra) ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f CoinPerWord) Source # hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f CostModels) Source # hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Prices) Source # hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f ExUnits) Source # hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f ExUnits) Source # hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Natural) Source # hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Natural) Source # hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Natural) Source #
BabbageEraPParams DijkstraEra Source #
Instance details Methods hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f CoinPerByte) Source #
ConwayEraPParams DijkstraEra Source #
Instance details Methods modifiedPPGroups ∷ PParamsUpdate DijkstraEra → Set PPGroups Source # ppuWellFormed ∷ ProtVer → PParamsUpdate DijkstraEra → Bool Source # hkdPoolVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f PoolVotingThresholds) Source # hkdDRepVotingThresholdsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f DRepVotingThresholds) Source # hkdCommitteeMinSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Natural) Source # hkdCommitteeMaxTermLengthL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f EpochInterval) Source # hkdGovActionLifetimeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f EpochInterval) Source # hkdGovActionDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Coin) Source # hkdDRepDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f (CompactForm Coin)) Source # hkdDRepActivityL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f EpochInterval) Source # hkdMinFeeRefScriptCostPerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f NonNegativeInterval) Source # ppMaxRefScriptSizePerTxG ∷ SimpleGetter (PParams DijkstraEra) Word32 Source # ppMaxRefScriptSizePerBlockG ∷ SimpleGetter (PParams DijkstraEra) Word32 Source # ppRefScriptCostMultiplierG ∷ SimpleGetter (PParams DijkstraEra) PositiveInterval Source # ppRefScriptCostStrideG ∷ SimpleGetter (PParams DijkstraEra) (NonZero Word32) Source #
EraPParams DijkstraEra Source #
Instance details Associated Types type PParamsHKD f DijkstraEra = (r ∷ Type) Source # type UpgradePParams f DijkstraEra Source # type DowngradePParams f DijkstraEra Source # Methods applyPPUpdates ∷ PParams DijkstraEra → PParamsUpdate DijkstraEra → PParams DijkstraEra Source # emptyPParamsIdentity ∷ PParamsHKD Identity DijkstraEra Source # emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe DijkstraEra Source # emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe DijkstraEra Source # upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra DijkstraEra)) ⇒ UpgradePParams f DijkstraEra → PParamsHKD f (PreviousEra DijkstraEra) → PParamsHKD f DijkstraEra Source # downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra DijkstraEra)) ⇒ DowngradePParams f DijkstraEra → PParamsHKD f DijkstraEra → PParamsHKD f (PreviousEra DijkstraEra) Source # hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Coin) Source # hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Coin) Source # hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Word32) Source # hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Word32) Source # hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Word16) Source # hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Coin) Source # hkdPoolDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f (CompactForm Coin)) Source # hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f EpochInterval) Source # hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Word16) Source # hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f NonNegativeInterval) Source # hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f UnitInterval) Source # hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f UnitInterval) Source # hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost DijkstraEra 6) ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f UnitInterval) Source # ppDG ∷ SimpleGetter (PParams DijkstraEra) UnitInterval Source # hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost DijkstraEra 6) ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Nonce) Source # hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost DijkstraEra 8) ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f ProtVer) Source # ppProtocolVersionL ∷ Lens' (PParams DijkstraEra) ProtVer Source # ppuProtocolVersionL ∷ Lens' (PParamsUpdate DijkstraEra) (StrictMaybe ProtVer) Source # hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost DijkstraEra 4) ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Coin) Source # hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f DijkstraEra) (HKD f Coin) Source # eraPParams ∷ [PParam DijkstraEra] Source #