cardano-ledger-babbage-1.8.2.1: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Babbage.PParams

Description

This module contains the type of protocol parameters and EraPParams instance

Synopsis

Documentation

class AlonzoEraPParams era ⇒ BabbageEraPParams era where Source #

Instances

Instances details
Crypto c ⇒ BabbageEraPParams (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f CoinPerByte) Source #

newtype CoinPerByte Source #

Constructors

CoinPerByte 

Fields

Instances

Instances details
FromJSON CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

ToJSON CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Show CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

DecCBOR CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

EncCBOR CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

encCBORCoinPerByteEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy CoinPerByteSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CoinPerByte] → Size Source #

NFData CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

rnfCoinPerByte → () Source #

Eq CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Ord CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

NoThunks CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

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

Instances details
FromJSON (BabbagePParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

(PParamsHKD Identity era ~ BabbagePParams Identity era, BabbageEraPParams era, ProtVerAtMost era 8) ⇒ ToJSON (BabbagePParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

(PParamsHKD StrictMaybe era ~ BabbagePParams StrictMaybe era, BabbageEraPParams era, ProtVerAtMost era 8) ⇒ ToJSON (BabbagePParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Generic (BabbagePParams f era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Associated Types

type Rep (BabbagePParams f era) ∷ TypeType Source #

Methods

fromBabbagePParams f era → Rep (BabbagePParams f era) x Source #

toRep (BabbagePParams f era) x → BabbagePParams f era Source #

Show (BabbagePParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Show (BabbagePParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Era era ⇒ FromCBOR (BabbagePParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Era era ⇒ FromCBOR (BabbagePParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Era era ⇒ ToCBOR (BabbagePParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Era era ⇒ ToCBOR (BabbagePParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Era era ⇒ DecCBOR (BabbagePParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Era era ⇒ DecCBOR (BabbagePParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Era era ⇒ EncCBOR (BabbagePParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Era era ⇒ EncCBOR (BabbagePParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

NFData (BabbagePParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

rnfBabbagePParams Identity era → () Source #

NFData (BabbagePParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

rnfBabbagePParams StrictMaybe era → () Source #

Eq (BabbagePParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Eq (BabbagePParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Ord (BabbagePParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Ord (BabbagePParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

NoThunks (BabbagePParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

NoThunks (BabbagePParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type Rep (BabbagePParams f era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type Rep (BabbagePParams f era) = D1 ('MetaData "BabbagePParams" "Cardano.Ledger.Babbage.PParams" "cardano-ledger-babbage-1.8.2.1-inplace" 'False) (C1 ('MetaCons "BabbagePParams" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "bppMinFeeA") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin)) :*: S1 ('MetaSel ('Just "bppMinFeeB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin))) :*: (S1 ('MetaSel ('Just "bppMaxBBSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word32)) :*: (S1 ('MetaSel ('Just "bppMaxTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word32)) :*: S1 ('MetaSel ('Just "bppMaxBHSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16))))) :*: ((S1 ('MetaSel ('Just "bppKeyDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin)) :*: (S1 ('MetaSel ('Just "bppPoolDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin)) :*: S1 ('MetaSel ('Just "bppEMax") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f EpochInterval)))) :*: (S1 ('MetaSel ('Just "bppNOpt") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural)) :*: (S1 ('MetaSel ('Just "bppA0") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f NonNegativeInterval)) :*: S1 ('MetaSel ('Just "bppRho") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f UnitInterval)))))) :*: (((S1 ('MetaSel ('Just "bppTau") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f UnitInterval)) :*: S1 ('MetaSel ('Just "bppProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f ProtVer))) :*: (S1 ('MetaSel ('Just "bppMinPoolCost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin)) :*: (S1 ('MetaSel ('Just "bppCoinsPerUTxOByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CoinPerByte)) :*: S1 ('MetaSel ('Just "bppCostModels") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CostModels))))) :*: ((S1 ('MetaSel ('Just "bppPrices") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Prices)) :*: (S1 ('MetaSel ('Just "bppMaxTxExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f OrdExUnits)) :*: S1 ('MetaSel ('Just "bppMaxBlockExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f OrdExUnits)))) :*: (S1 ('MetaSel ('Just "bppMaxValSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural)) :*: (S1 ('MetaSel ('Just "bppCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural)) :*: S1 ('MetaSel ('Just "bppMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural))))))))

emptyBabbagePParams ∷ ∀ era. Era era ⇒ BabbagePParams Identity era Source #

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

data LangDepView Source #

Constructors

LangDepView 

Fields

Instances

Instances details
Generic LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Associated Types

type Rep LangDepViewTypeType Source #

Show LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Eq LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Ord LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

NoThunks LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

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.10.0.1-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)))

coinsPerUTxOWordToCoinsPerUTxOByteCoinPerWordCoinPerByte Source #

A word is 8 bytes, so convert from coinsPerUTxOWord to coinsPerUTxOByte, rounding down.

coinsPerUTxOByteToCoinsPerUTxOWordCoinPerByteCoinPerWord 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.

Orphan instances

Crypto c ⇒ AlonzoEraPParams (BabbageEra c) Source # 
Instance details

Crypto c ⇒ EraPParams (BabbageEra c) Source # 
Instance details

Associated Types

type PParamsHKD f (BabbageEra c) = (r ∷ Type) Source #

type UpgradePParams f (BabbageEra c) Source #

type DowngradePParams f (BabbageEra c) Source #

Methods

applyPPUpdatesPParams (BabbageEra c) → PParamsUpdate (BabbageEra c) → PParams (BabbageEra c) Source #

emptyPParamsIdentityPParamsHKD Identity (BabbageEra c) Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe (BabbageEra c) Source #

upgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDApplicative f, EraPParams (PreviousEra (BabbageEra c))) ⇒ UpgradePParams f (BabbageEra c) → PParamsHKD f (PreviousEra (BabbageEra c)) → PParamsHKD f (BabbageEra c) Source #

downgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDFunctor f, EraPParams (PreviousEra (BabbageEra c))) ⇒ DowngradePParams f (BabbageEra c) → PParamsHKD f (BabbageEra c) → PParamsHKD f (PreviousEra (BabbageEra c)) Source #

hkdMinFeeAL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source #

hkdMinFeeBL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Word16) Source #

hkdKeyDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source #

hkdPoolDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source #

hkdEMaxL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Natural) Source #

hkdA0L ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (BabbageEra c) 6) ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f UnitInterval) Source #

ppDGSimpleGetter (PParams (BabbageEra c)) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (BabbageEra c) 6) ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (BabbageEra c) 8) ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f ProtVer) Source #

ppProtocolVersionLLens' (PParams (BabbageEra c)) ProtVer Source #

ppuProtocolVersionLLens' (PParamsUpdate (BabbageEra c)) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (BabbageEra c) 4) ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source #

hkdMinPoolCostL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source #

Crypto c ⇒ EraGov (BabbageEra c) Source # 
Instance details

Associated Types

type GovState (BabbageEra c) = (r ∷ Type) Source #