| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Instances.PParams
Contents
Description
This module provides the necessary instances of HasSpec
and HasSimpleRep for the components of PParams. It hides
the fact that (PParams era) can have different underlying 'data' types
in each era, and provides Term selector functions
(e.g. minFeeA_, minFeeB_, etc.) for every PParam field (in every era).
The class EraSpecPParams provides this era parametric abstraction.
and instances of EraSpecPParams are defined here.
Synopsis
- class (Eq (PParamsHKD Identity era), Show (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), EraPParams era, EraTxOut era, EraGov era, EraTx era) ⇒ EraSpecPParams era where
- subsetToPP ∷ SimplePParams era → PParams era
- ppToSubset ∷ PParams era → SimplePParams era
- updateToPPU ∷ SimplePPUpdate → PParamsUpdate era
- ppuToUpdate ∷ PParamsUpdate era → SimplePPUpdate
- data SimplePParams era = SimplePParams {
- minFeeA ∷ Coin
- minFeeB ∷ Coin
- maxBBSize ∷ Word32
- maxTxSize ∷ Word32
- maxBHSize ∷ Word32
- keyDeposit ∷ Coin
- poolDeposit ∷ Coin
- eMax ∷ EpochInterval
- nOpt ∷ Word16
- a0 ∷ NonNegativeInterval
- rho ∷ UnitInterval
- tau ∷ UnitInterval
- decentral ∷ UnitInterval
- protocolVersion ∷ ProtVer
- minUTxOValue ∷ Coin
- minPoolCost ∷ Coin
- coinsPerUTxOWord ∷ Coin
- costModels ∷ CostModels
- prices ∷ Prices
- maxTxExUnits ∷ ExUnits
- maxBlockExUnits ∷ ExUnits
- maxValSize ∷ Natural
- collateralPercentage ∷ Natural
- maxCollateralInputs ∷ Natural
- coinsPerUTxOByte ∷ Coin
- poolVotingThresholds ∷ PoolVotingThresholds
- drepVotingThresholds ∷ DRepVotingThresholds
- committeeMinSize ∷ Natural
- committeeMaxTermLength ∷ EpochInterval
- govActionLifetime ∷ EpochInterval
- govActionDeposit ∷ Coin
- dRepDeposit ∷ Coin
- dRepActivity ∷ EpochInterval
- minFeeRefScriptCostPerByte ∷ NonNegativeInterval
- data SimplePPUpdate = SimplePPUpdate {
- uminFeeA ∷ StrictMaybe Coin
- uminFeeB ∷ StrictMaybe Coin
- umaxBBSize ∷ StrictMaybe Word32
- umaxTxSize ∷ StrictMaybe Word32
- umaxBHSize ∷ StrictMaybe Word32
- ukeyDeposit ∷ StrictMaybe Coin
- upoolDeposit ∷ StrictMaybe Coin
- ueMax ∷ StrictMaybe EpochInterval
- unOpt ∷ StrictMaybe Word16
- ua0 ∷ StrictMaybe NonNegativeInterval
- urho ∷ StrictMaybe UnitInterval
- utau ∷ StrictMaybe UnitInterval
- udecentral ∷ StrictMaybe UnitInterval
- uprotocolVersion ∷ StrictMaybe ProtVer
- uminUTxOValue ∷ StrictMaybe Coin
- uminPoolCost ∷ StrictMaybe Coin
- ucoinsPerUTxOWord ∷ StrictMaybe Coin
- ucostModels ∷ StrictMaybe CostModels
- uprices ∷ StrictMaybe Prices
- umaxTxExUnits ∷ StrictMaybe ExUnits
- umaxBlockExUnits ∷ StrictMaybe ExUnits
- umaxValSize ∷ StrictMaybe Natural
- ucollateralPercentage ∷ StrictMaybe Natural
- umaxCollateralInputs ∷ StrictMaybe Natural
- ucoinsPerUTxOByte ∷ StrictMaybe Coin
- upoolVotingThresholds ∷ StrictMaybe PoolVotingThresholds
- udrepVotingThresholds ∷ StrictMaybe DRepVotingThresholds
- ucommitteeMinSize ∷ StrictMaybe Natural
- ucommitteeMaxTermLength ∷ StrictMaybe EpochInterval
- ugovActionLifetime ∷ StrictMaybe EpochInterval
- ugovActionDeposit ∷ StrictMaybe Coin
- udRepDeposit ∷ StrictMaybe Coin
- udRepActivity ∷ StrictMaybe EpochInterval
- uminFeeRefScriptCostPerByte ∷ StrictMaybe NonNegativeInterval
- simplePParamsSpec ∷ ∀ era. EraSpecPParams era ⇒ Specification (SimplePParams era)
- cSNothing_ ∷ (HasSpec a, IsNormalType a) ⇒ Term (StrictMaybe a)
- cSJust_ ∷ (HasSpec a, IsNormalType a) ⇒ Term a → Term (StrictMaybe a)
- succV_ ∷ Term Version → Term Version
- minFeeA_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
- minFeeB_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
- maxBBSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word32
- maxTxSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word32
- maxBHSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word32
- keyDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
- poolDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
- eMax_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval
- nOpt_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word16
- a0_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term NonNegativeInterval
- rho_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term UnitInterval
- tau_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term UnitInterval
- decentral_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term UnitInterval
- protocolVersion_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term ProtVer
- minUTxOValue_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
- minPoolCost_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
- coinsPerUTxOWord_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
- costModels_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term CostModels
- prices_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Prices
- maxTxExUnits_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term ExUnits
- maxBlockExUnits_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term ExUnits
- maxValSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural
- collateralPercentage_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural
- maxCollateralInputs_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural
- coinsPerUTxOByte_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
- poolVotingThresholds_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term PoolVotingThresholds
- drepVotingThresholds_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term DRepVotingThresholds
- committeeMinSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural
- committeeMaxTermLength_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval
- govActionLifetime_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval
- govActionDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
- dRepDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin
- dRepActivity_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval
- minFeeRefScriptCostPerByte_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term NonNegativeInterval
Documentation
class (Eq (PParamsHKD Identity era), Show (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), EraPParams era, EraTxOut era, EraGov era, EraTx era) ⇒ EraSpecPParams era where Source #
Methods
subsetToPP ∷ SimplePParams era → PParams era Source #
ppToSubset ∷ PParams era → SimplePParams era Source #
updateToPPU ∷ SimplePPUpdate → PParamsUpdate era Source #
ppuToUpdate ∷ PParamsUpdate era → SimplePPUpdate Source #
Instances
data SimplePParams era Source #
Use this as the SimpleRep of (PParams era). It is polymorphic enough to encode PParams in EVERY Era. The EraPParams instances remove the fields that do not appear in that Era.
Constructors
Instances
data SimplePPUpdate Source #
Use this as the SimpleRep of (PParamsUpdate era)
Constructors
Instances
simplePParamsSpec ∷ ∀ era. EraSpecPParams era ⇒ Specification (SimplePParams era) Source #
A sample of how to constrain (PParams era) for every Era, by writing a specification for SimplePParams. Constrained but not applicable fields (for that era) are elided in the result. Missing fields are left unconstrained and will appear as random values in the result. This can easily be lifted to PParams: see Test.Cardano.Ledger.Constrained.Conway.PParams(pparamsSpec)
cSNothing_ ∷ (HasSpec a, IsNormalType a) ⇒ Term (StrictMaybe a) Source #
cSJust_ ∷ (HasSpec a, IsNormalType a) ⇒ Term a → Term (StrictMaybe a) Source #
minFeeA_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #
minFeeB_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #
maxBBSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word32 Source #
maxTxSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word32 Source #
maxBHSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word32 Source #
keyDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #
poolDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #
eMax_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval Source #
nOpt_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Word16 Source #
a0_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term NonNegativeInterval Source #
rho_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term UnitInterval Source #
tau_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term UnitInterval Source #
decentral_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term UnitInterval Source #
protocolVersion_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term ProtVer Source #
minUTxOValue_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #
minPoolCost_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #
coinsPerUTxOWord_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #
costModels_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term CostModels Source #
prices_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Prices Source #
maxTxExUnits_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term ExUnits Source #
maxBlockExUnits_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term ExUnits Source #
maxValSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural Source #
collateralPercentage_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural Source #
maxCollateralInputs_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural Source #
coinsPerUTxOByte_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #
poolVotingThresholds_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term PoolVotingThresholds Source #
drepVotingThresholds_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term DRepVotingThresholds Source #
committeeMinSize_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Natural Source #
committeeMaxTermLength_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval Source #
govActionLifetime_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval Source #
govActionDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #
dRepDeposit_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term Coin Source #
dRepActivity_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term EpochInterval Source #
minFeeRefScriptCostPerByte_ ∷ EraSpecPParams era ⇒ Term (SimplePParams era) → Term NonNegativeInterval Source #