Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Babbage.PParams

Contents

Orphan instances

Description

This module contains the type of protocol parameters and EraPParams instance

Synopsis

class AlonzoEraPParams era ⇒ BabbageEraPParams era where
- hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f CoinPerByte)
newtype CoinPerByte = CoinPerByte {
- unCoinPerByte ∷ Coin
}
ppCoinsPerUTxOByteL ∷ BabbageEraPParams era ⇒ Lens' (PParams era) CoinPerByte
ppuCoinsPerUTxOByteL ∷ BabbageEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte)
data BabbagePParams (f ∷ Type → Type) 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 (CompactForm 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 ⇒ BabbagePParams Identity era
emptyBabbagePParamsUpdate ∷ BabbagePParams StrictMaybe era
data DowngradeBabbagePParams (f ∷ Type → Type) = DowngradeBabbagePParams {
- dbppD ∷ !(HKD f UnitInterval)
- dbppExtraEntropy ∷ !(HKD f Nonce)
}
upgradeBabbagePParams ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Bool → PParamsHKD f AlonzoEra → BabbagePParams f BabbageEra
getLanguageView ∷ AlonzoEraPParams era ⇒ PParams era → Language → LangDepView
data LangDepView = LangDepView {
- tag ∷ ByteString
- params ∷ ByteString
}
encodeLangViews ∷ Set LangDepView → Encoding
coinsPerUTxOWordToCoinsPerUTxOByte ∷ CoinPerWord → CoinPerByte
coinsPerUTxOByteToCoinsPerUTxOWord ∷ CoinPerByte → CoinPerWord
ppCoinsPerUTxOByte ∷ BabbageEraPParams era ⇒ PParam era

Documentation

class AlonzoEraPParams era ⇒ BabbageEraPParams era where Source #

Methods

hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f CoinPerByte) Source #

Instances

Instances details

BabbageEraPParams BabbageEra Source #
Instance details 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 unCoinPerByte ∷ Coin

Instances

Instances details

FromJSON CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods parseJSON ∷ Value → Parser CoinPerByte Source # parseJSONList ∷ Value → Parser [CoinPerByte] Source # omittedField ∷ Maybe CoinPerByte Source #
ToJSON CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods toJSON ∷ CoinPerByte → Value Source # toEncoding ∷ CoinPerByte → Encoding Source # toJSONList ∷ [CoinPerByte] → Value Source # toEncodingList ∷ [CoinPerByte] → Encoding Source # omitField ∷ CoinPerByte → Bool Source #
DecCBOR CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods decCBOR ∷ Decoder s CoinPerByte Source # dropCBOR ∷ Proxy CoinPerByte → Decoder s () Source # label ∷ Proxy CoinPerByte → Text Source #
EncCBOR CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods encCBOR ∷ CoinPerByte → Encoding Source #
ToPlutusData CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods toPlutusData ∷ CoinPerByte → Data Source # fromPlutusData ∷ Data → Maybe CoinPerByte Source #
NFData CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods rnf ∷ CoinPerByte → () #
Show CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods showsPrec ∷ Int → CoinPerByte → ShowS # show ∷ CoinPerByte → String # showList ∷ [CoinPerByte] → ShowS #
Eq CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods (==) ∷ CoinPerByte → CoinPerByte → Bool # (/=) ∷ CoinPerByte → CoinPerByte → Bool #
Ord CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods compare ∷ CoinPerByte → CoinPerByte → Ordering # (<) ∷ CoinPerByte → CoinPerByte → Bool # (<=) ∷ CoinPerByte → CoinPerByte → Bool # (>) ∷ CoinPerByte → CoinPerByte → Bool # (>=) ∷ CoinPerByte → CoinPerByte → Bool # max ∷ CoinPerByte → CoinPerByte → CoinPerByte # min ∷ CoinPerByte → CoinPerByte → CoinPerByte #
NoThunks CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods noThunks ∷ Context → CoinPerByte → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CoinPerByte → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CoinPerByte → String Source #

ppCoinsPerUTxOByteL ∷ BabbageEraPParams era ⇒ Lens' (PParams era) CoinPerByte Source #

ppuCoinsPerUTxOByteL ∷ BabbageEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte) Source #

data BabbagePParams (f ∷ Type → Type) 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

bppMinFeeA ∷ !(HKD f Coin)
The linear factor for the minimum fee calculation
bppMinFeeB ∷ !(HKD f Coin)
The constant factor for the minimum fee calculation
bppMaxBBSize ∷ !(HKD f Word32)
Maximal block body size
bppMaxTxSize ∷ !(HKD f Word32)
Maximal transaction size
bppMaxBHSize ∷ !(HKD f Word16)
Maximal block header size
bppKeyDeposit ∷ !(HKD f Coin)
The amount of a key registration deposit
bppPoolDeposit ∷ !(HKD f (CompactForm Coin))
The amount of a pool registration deposit
bppEMax ∷ !(HKD f EpochInterval)
Maximum number of epochs in the future a pool retirement is allowed to be scheduled for.
bppNOpt ∷ !(HKD f Word16)
Desired number of pools
bppA0 ∷ !(HKD f NonNegativeInterval)
Pool influence
bppRho ∷ !(HKD f UnitInterval)
Monetary expansion
bppTau ∷ !(HKD f UnitInterval)
Treasury expansion
bppProtocolVersion ∷ !(HKD f ProtVer)
Protocol version
bppMinPoolCost ∷ !(HKD f Coin)
Minimum Stake Pool Cost
bppCoinsPerUTxOByte ∷ !(HKD f CoinPerByte)
Cost in lovelace per byte of UTxO storage (instead of bppCoinsPerUTxOByte)
bppCostModels ∷ !(HKD f CostModels)
Cost models for non-native script languages
bppPrices ∷ !(HKD f Prices)
Prices of execution units (for non-native script languages)
bppMaxTxExUnits ∷ !(HKD f OrdExUnits)
Max total script execution resources units allowed per tx
bppMaxBlockExUnits ∷ !(HKD f OrdExUnits)
Max total script execution resources units allowed per block
bppMaxValSize ∷ !(HKD f Natural)
Max size of a Value in an output
bppCollateralPercentage ∷ !(HKD f Natural)
Percentage of the txfee which must be provided as collateral when including non-native scripts.
bppMaxCollateralInputs ∷ !(HKD f Natural)
Maximum number of collateral inputs allowed in a transaction

Instances

Instances details

NFData (BabbagePParams StrictMaybe era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

rnf ∷ BabbagePParams StrictMaybe era → () #

NFData (BabbagePParams Identity era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

rnf ∷ BabbagePParams Identity era → () #

Generic (BabbagePParams f era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.PParams

Associated Types

type Rep (BabbagePParams f era)

Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

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

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

Show (BabbagePParams StrictMaybe era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

showsPrec ∷ Int → BabbagePParams StrictMaybe era → ShowS #

show ∷ BabbagePParams StrictMaybe era → String #

showList ∷ [BabbagePParams StrictMaybe era] → ShowS #

Show (BabbagePParams Identity era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

showsPrec ∷ Int → BabbagePParams Identity era → ShowS #

show ∷ BabbagePParams Identity era → String #

showList ∷ [BabbagePParams Identity era] → ShowS #

Eq (BabbagePParams StrictMaybe era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

(==) ∷ BabbagePParams StrictMaybe era → BabbagePParams StrictMaybe era → Bool #

(/=) ∷ BabbagePParams StrictMaybe era → BabbagePParams StrictMaybe era → Bool #

Eq (BabbagePParams Identity era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

(==) ∷ BabbagePParams Identity era → BabbagePParams Identity era → Bool #

(/=) ∷ BabbagePParams Identity era → BabbagePParams Identity era → Bool #

Ord (BabbagePParams StrictMaybe era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

compare ∷ BabbagePParams StrictMaybe era → BabbagePParams StrictMaybe era → Ordering #

(<) ∷ BabbagePParams StrictMaybe era → BabbagePParams StrictMaybe era → Bool #

(<=) ∷ BabbagePParams StrictMaybe era → BabbagePParams StrictMaybe era → Bool #

(>) ∷ BabbagePParams StrictMaybe era → BabbagePParams StrictMaybe era → Bool #

(>=) ∷ BabbagePParams StrictMaybe era → BabbagePParams StrictMaybe era → Bool #

max ∷ BabbagePParams StrictMaybe era → BabbagePParams StrictMaybe era → BabbagePParams StrictMaybe era #

min ∷ BabbagePParams StrictMaybe era → BabbagePParams StrictMaybe era → BabbagePParams StrictMaybe era #

Ord (BabbagePParams Identity era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

compare ∷ BabbagePParams Identity era → BabbagePParams Identity era → Ordering #

(<) ∷ BabbagePParams Identity era → BabbagePParams Identity era → Bool #

(<=) ∷ BabbagePParams Identity era → BabbagePParams Identity era → Bool #

(>) ∷ BabbagePParams Identity era → BabbagePParams Identity era → Bool #

(>=) ∷ BabbagePParams Identity era → BabbagePParams Identity era → Bool #

max ∷ BabbagePParams Identity era → BabbagePParams Identity era → BabbagePParams Identity era #

min ∷ BabbagePParams Identity era → BabbagePParams Identity era → BabbagePParams Identity era #

NoThunks (BabbagePParams StrictMaybe era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

noThunks ∷ Context → BabbagePParams StrictMaybe era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BabbagePParams StrictMaybe era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BabbagePParams StrictMaybe era) → String Source #

NoThunks (BabbagePParams Identity era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

noThunks ∷ Context → BabbagePParams Identity era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BabbagePParams Identity era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BabbagePParams Identity era) → String Source #

type Rep (BabbagePParams f era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.PParams

emptyBabbagePParams ∷ Era era ⇒ BabbagePParams Identity era Source #

Returns a basic "empty" PParams structure with all zero values.

emptyBabbagePParamsUpdate ∷ BabbagePParams StrictMaybe era Source #

data DowngradeBabbagePParams (f ∷ Type → Type) Source #

Constructors

DowngradeBabbagePParams
Fields dbppD ∷ !(HKD f UnitInterval) dbppExtraEntropy ∷ !(HKD f Nonce)

upgradeBabbagePParams ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Bool → PParamsHKD f AlonzoEra → BabbagePParams f BabbageEra Source #

getLanguageView ∷ AlonzoEraPParams era ⇒ PParams era → Language → LangDepView Source #

data LangDepView Source #

Constructors

LangDepView
Fields tag ∷ ByteString params ∷ ByteString

Instances

Instances details

Generic LangDepView

Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Associated Types

type Rep LangDepView

Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type Rep LangDepView = D1 ('MetaData "LangDepView" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "LangDepView" 'PrefixI 'True) (S1 ('MetaSel ('Just "tag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Methods

from ∷ LangDepView → Rep LangDepView x #

to ∷ Rep LangDepView x → LangDepView #

Show LangDepView

Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

showsPrec ∷ Int → LangDepView → ShowS #

show ∷ LangDepView → String #

showList ∷ [LangDepView] → ShowS #

Eq LangDepView

Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

(==) ∷ LangDepView → LangDepView → Bool #

(/=) ∷ LangDepView → LangDepView → Bool #

Ord LangDepView

Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

compare ∷ LangDepView → LangDepView → Ordering #

(<) ∷ LangDepView → LangDepView → Bool #

(<=) ∷ LangDepView → LangDepView → Bool #

(>) ∷ LangDepView → LangDepView → Bool #

(>=) ∷ LangDepView → LangDepView → Bool #

max ∷ LangDepView → LangDepView → LangDepView #

min ∷ LangDepView → LangDepView → LangDepView #

NoThunks LangDepView

Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

noThunks ∷ Context → LangDepView → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LangDepView → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy LangDepView → String Source #

type Rep LangDepView

Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type Rep LangDepView = D1 ('MetaData "LangDepView" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "LangDepView" 'PrefixI 'True) (S1 ('MetaSel ('Just "tag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

encodeLangViews ∷ Set LangDepView → Encoding Source #

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.

ppCoinsPerUTxOByte ∷ BabbageEraPParams era ⇒ PParam era Source #

Orphan instances

AlonzoEraPParams BabbageEra Source #

Instance details

Methods

hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra BabbageEra) ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f CoinPerWord) Source #

hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f CostModels) Source #

hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Prices) Source #

hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f ExUnits) Source #

hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f ExUnits) Source #

hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Natural) Source #

hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Natural) Source #

hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f Natural) Source #

EraPParams BabbageEra Source #

Instance details

Associated Types

type PParamsHKD f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type PParamsHKD f BabbageEra = BabbagePParams f BabbageEra
type UpgradePParams f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type UpgradePParams f BabbageEra = ()
type DowngradePParams f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type DowngradePParams f BabbageEra = DowngradeBabbagePParams f