| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Babbage.PParams
Contents
Description
This module contains the type of protocol parameters and EraPParams instance
Synopsis
- class AlonzoEraPParams era ⇒ BabbageEraPParams era where
- hkdCoinsPerUTxOByteL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f CoinPerByte)
- newtype CoinPerByte = CoinPerByte {}
- ppCoinsPerUTxOByteL ∷ ∀ era. BabbageEraPParams era ⇒ Lens' (PParams era) CoinPerByte
- ppuCoinsPerUTxOByteL ∷ ∀ era. BabbageEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte)
- data BabbagePParams f era = BabbagePParams {
- bppMinFeeA ∷ !(HKD f Coin)
- bppMinFeeB ∷ !(HKD f Coin)
- bppMaxBBSize ∷ !(HKD f Word32)
- bppMaxTxSize ∷ !(HKD f Word32)
- bppMaxBHSize ∷ !(HKD f Word16)
- bppKeyDeposit ∷ !(HKD f Coin)
- bppPoolDeposit ∷ !(HKD f Coin)
- bppEMax ∷ !(HKD f EpochInterval)
- bppNOpt ∷ !(HKD f Word16)
- bppA0 ∷ !(HKD f NonNegativeInterval)
- bppRho ∷ !(HKD f UnitInterval)
- bppTau ∷ !(HKD f UnitInterval)
- bppProtocolVersion ∷ !(HKD f ProtVer)
- bppMinPoolCost ∷ !(HKD f Coin)
- bppCoinsPerUTxOByte ∷ !(HKD f CoinPerByte)
- bppCostModels ∷ !(HKD f CostModels)
- bppPrices ∷ !(HKD f Prices)
- bppMaxTxExUnits ∷ !(HKD f OrdExUnits)
- bppMaxBlockExUnits ∷ !(HKD f OrdExUnits)
- bppMaxValSize ∷ !(HKD f Natural)
- bppCollateralPercentage ∷ !(HKD f Natural)
- bppMaxCollateralInputs ∷ !(HKD f Natural)
- emptyBabbagePParams ∷ ∀ era. Era era ⇒ BabbagePParams Identity era
- emptyBabbagePParamsUpdate ∷ BabbagePParams StrictMaybe era
- data DowngradeBabbagePParams f = DowngradeBabbagePParams {
- dbppD ∷ !(HKD f UnitInterval)
- dbppExtraEntropy ∷ !(HKD f Nonce)
- upgradeBabbagePParams ∷ ∀ f. HKDFunctor f ⇒ Bool → PParamsHKD f AlonzoEra → BabbagePParams f BabbageEra
- getLanguageView ∷ AlonzoEraPParams era ⇒ PParams era → Language → LangDepView
- data LangDepView = LangDepView {}
- encodeLangViews ∷ Set LangDepView → Encoding
- coinsPerUTxOWordToCoinsPerUTxOByte ∷ CoinPerWord → CoinPerByte
- coinsPerUTxOByteToCoinsPerUTxOWord ∷ CoinPerByte → CoinPerWord
- babbagePParamsHKDPairs ∷ ∀ era f. (BabbageEraPParams era, HKDFunctor f, ProtVerAtMost era 8) ⇒ Proxy f → PParamsHKD f era → [(Key, HKD f Value)]
- babbageCommonPParamsHKDPairs ∷ ∀ era f. (BabbageEraPParams era, HKDFunctor f) ⇒ Proxy f → PParamsHKD f era → [(Key, HKD f Value)]
Documentation
class AlonzoEraPParams era ⇒ BabbageEraPParams era where Source #
Methods
hkdCoinsPerUTxOByteL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f CoinPerByte) Source #
Instances
| BabbageEraPParams BabbageEra Source # | |
Defined in Cardano.Ledger.Babbage.PParams Methods hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f CoinPerByte) Source # | |
newtype CoinPerByte Source #
Constructors
| CoinPerByte | |
Fields | |
Instances
ppCoinsPerUTxOByteL ∷ ∀ era. BabbageEraPParams era ⇒ Lens' (PParams era) CoinPerByte Source #
ppuCoinsPerUTxOByteL ∷ ∀ era. BabbageEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte) Source #
data BabbagePParams f era Source #
Babbage Protocol parameters. Ways in which parameters have changed from Alonzo: lack
of d, extraEntropy and replacement of coinsPerUTxOWord with coinsPerUTxOByte
Constructors
| BabbagePParams | |
Fields
| |
Instances
emptyBabbagePParams ∷ ∀ era. Era era ⇒ BabbagePParams Identity era Source #
Returns a basic "empty" PParams structure with all zero values.
data DowngradeBabbagePParams f Source #
Constructors
| DowngradeBabbagePParams | |
Fields
| |
upgradeBabbagePParams ∷ ∀ f. HKDFunctor f ⇒ Bool → PParamsHKD f AlonzoEra → BabbagePParams f BabbageEra Source #
getLanguageView ∷ AlonzoEraPParams era ⇒ PParams era → Language → LangDepView Source #
data LangDepView Source #
Constructors
| LangDepView | |
Fields | |
Instances
coinsPerUTxOWordToCoinsPerUTxOByte ∷ CoinPerWord → CoinPerByte Source #
A word is 8 bytes, so convert from coinsPerUTxOWord to coinsPerUTxOByte, rounding down.
coinsPerUTxOByteToCoinsPerUTxOWord ∷ CoinPerByte → CoinPerWord Source #
A word is 8 bytes, so convert from coinsPerUTxOByte to coinsPerUTxOWord.
babbagePParamsHKDPairs ∷ ∀ era f. (BabbageEraPParams era, HKDFunctor f, ProtVerAtMost era 8) ⇒ Proxy f → PParamsHKD f era → [(Key, HKD f Value)] Source #
babbageCommonPParamsHKDPairs ∷ ∀ era f. (BabbageEraPParams era, HKDFunctor f) ⇒ Proxy f → PParamsHKD f era → [(Key, HKD f Value)] Source #
These are the fields that are common across all eras starting with Babbage.