Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Dijkstra.PParams

Contents

Orphan instances

Synopsis

data DijkstraPParams (f ∷ Type → Type) 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 ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f era) (HKD f Word32)
- hkdMaxRefScriptSizePerTxL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f era) (HKD f Word32)
- hkdRefScriptCostStrideL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f era) (HKD f (NonZero Word32))
- hkdRefScriptCostMultiplierL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f era) (HKD f PositiveInterval)
data UpgradeDijkstraPParams (f ∷ Type → Type) 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 ∷ Type → Type) 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

NFData (DijkstraPParams StrictMaybe era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Methods

rnf ∷ DijkstraPParams StrictMaybe era → () #

NFData (DijkstraPParams Identity era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Methods

rnf ∷ DijkstraPParams Identity era → () #

Generic (DijkstraPParams f era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Associated Types

type Rep (DijkstraPParams f era)

Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Methods

from ∷ DijkstraPParams f era → Rep (DijkstraPParams f era) x #

to ∷ Rep (DijkstraPParams f era) x → DijkstraPParams f era #

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 #

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 #

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 #

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 #

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 #

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 #

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 #

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 #

type Rep (DijkstraPParams f era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

class DijkstraEraPParams era ⇒ DijkstraEraPParams era where Source #

Methods

hkdMaxRefScriptSizePerBlockL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f era) (HKD f Word32) Source #

hkdMaxRefScriptSizePerTxL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f era) (HKD f Word32) Source #

hkdRefScriptCostStrideL ∷ ∀ (f ∷ Type → Type). Lens' (PParamsHKD f era) (HKD f (NonZero Word32)) Source #

hkdRefScriptCostMultiplierL ∷ ∀ (f ∷ Type → Type). 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 ∷ Type → Type) 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 #

ToJSON (UpgradeDijkstraPParams Identity era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Methods

toJSON ∷ UpgradeDijkstraPParams Identity era → Value Source #

toEncoding ∷ UpgradeDijkstraPParams Identity era → Encoding Source #

toJSONList ∷ [UpgradeDijkstraPParams Identity era] → Value Source #

toEncodingList ∷ [UpgradeDijkstraPParams Identity era] → Encoding Source #

omitField ∷ UpgradeDijkstraPParams Identity era → Bool Source #

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 #

ToKeyValuePairs (UpgradeDijkstraPParams Identity era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ UpgradeDijkstraPParams Identity era → [kv] Source #

NFData (UpgradeDijkstraPParams Identity era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Methods

rnf ∷ UpgradeDijkstraPParams Identity era → () #

Generic (UpgradeDijkstraPParams f era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Associated Types

type Rep (UpgradeDijkstraPParams f era)

Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

type Rep (UpgradeDijkstraPParams f era) = D1 ('MetaData "UpgradeDijkstraPParams" "Cardano.Ledger.Dijkstra.PParams" "cardano-ledger-dijkstra-0.2.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)))))

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 #

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.2.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
Instance details Defined in Cardano.Ledger.Dijkstra.PParams type PParamsHKD f DijkstraEra = DijkstraPParams f DijkstraEra
type UpgradePParams f DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.PParams type UpgradePParams f DijkstraEra = UpgradeDijkstraPParams f DijkstraEra
type DowngradePParams f DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.PParams type DowngradePParams f DijkstraEra = ()