Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Api.PParams

Contents

PParams
PParamsUpdate
Shelley params
Alonzo params
Babbage params
- CoinsPerUTxOByte
Type classes

Synopsis

data PParams era
emptyPParams ∷ EraPParams era ⇒ PParams era
type family UpgradePParams (f ∷ Type → Type) era
upgradePParams ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ UpgradePParams Identity era → PParams (PreviousEra era) → PParams era
type family DowngradePParams (f ∷ Type → Type) era
downgradePParams ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ DowngradePParams Identity era → PParams era → PParams (PreviousEra era)
data PParamsUpdate era
emptyPParamsUpdate ∷ EraPParams era ⇒ PParamsUpdate era
upgradePParamsUpdate ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ UpgradePParams StrictMaybe era → PParamsUpdate (PreviousEra era) → PParamsUpdate era
downgradePParamsUpdate ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ DowngradePParams StrictMaybe era → PParamsUpdate era → PParamsUpdate (PreviousEra era)
ppMinFeeAL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppuMinFeeAL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppMinFeeBL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppuMinFeeBL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppMaxBBSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word32
ppuMaxBBSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32)
ppMaxBHSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word16
ppuMaxBHSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16)
ppPoolDepositL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppuPoolDepositL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppEMaxL ∷ EraPParams era ⇒ Lens' (PParams era) EpochInterval
ppuEMaxL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
ppNOptL ∷ EraPParams era ⇒ Lens' (PParams era) Natural
ppuNOptL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural)
ppA0L ∷ EraPParams era ⇒ Lens' (PParams era) NonNegativeInterval
ppuA0L ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval)
ppTauL ∷ EraPParams era ⇒ Lens' (PParams era) UnitInterval
ppuTauL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppRhoL ∷ EraPParams era ⇒ Lens' (PParams era) UnitInterval
ppuRhoL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppDL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParams era) UnitInterval
ppDG ∷ EraPParams era ⇒ SimpleGetter (PParams era) UnitInterval
ppuDL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppExtraEntropyL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParams era) Nonce
ppuExtraEntropyL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Nonce)
ppProtocolVersionL ∷ EraPParams era ⇒ Lens' (PParams era) ProtVer
ppuProtocolVersionL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ProtVer)
ppuMinUTxOValueL ∷ (EraPParams era, ProtVerAtMost era 4) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppMinUTxOValueL ∷ (EraPParams era, ProtVerAtMost era 4) ⇒ Lens' (PParams era) Coin
ppMinPoolCostL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppuMinPoolCostL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppKeyDepositL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppuKeyDepositL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppMaxTxSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word32
ppuMaxTxSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32)
data UpgradeAlonzoPParams (f ∷ Type → Type) = UpgradeAlonzoPParams {
- uappCoinsPerUTxOWord ∷ !(HKD f CoinPerWord)
- uappCostModels ∷ !(HKD f CostModels)
- uappPrices ∷ !(HKD f Prices)
- uappMaxTxExUnits ∷ !(HKD f ExUnits)
- uappMaxBlockExUnits ∷ !(HKD f ExUnits)
- uappMaxValSize ∷ !(HKD f Natural)
- uappCollateralPercentage ∷ !(HKD f Natural)
- uappMaxCollateralInputs ∷ !(HKD f Natural)
}
newtype DowngradeAlonzoPParams (f ∷ Type → Type) = DowngradeAlonzoPParams {
- dappMinUTxOValue ∷ HKD f Coin
}
data LangDepView = LangDepView {
- tag ∷ ByteString
- params ∷ ByteString
}
getLanguageView ∷ AlonzoEraPParams era ⇒ PParams era → Language → LangDepView
ppCostModelsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) CostModels
ppuCostModelsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CostModels)
ppPricesL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Prices
ppuPricesL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Prices)
ppMaxTxExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits
ppuMaxTxExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ExUnits)
ppMaxBlockExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits
ppuMaxBlockExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ExUnits)
ppMaxValSizeL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural
ppuMaxValSizeL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural)
newtype CoinPerWord = CoinPerWord {
- unCoinPerWord ∷ Coin
}
ppCoinsPerUTxOWordL ∷ (AlonzoEraPParams era, ExactEra AlonzoEra era) ⇒ Lens' (PParams era) CoinPerWord
ppuCoinsPerUTxOWordL ∷ (AlonzoEraPParams era, ExactEra AlonzoEra era) ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerWord)
ppCollateralPercentageL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural
ppuCollateralPercentageL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural)
ppMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural
ppuMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural)
data DowngradeBabbagePParams (f ∷ Type → Type) = DowngradeBabbagePParams {
- dbppD ∷ !(HKD f UnitInterval)
- dbppExtraEntropy ∷ !(HKD f Nonce)
}
newtype CoinPerByte = CoinPerByte {
- unCoinPerByte ∷ Coin
}
coinsPerUTxOWordToCoinsPerUTxOByte ∷ CoinPerWord → CoinPerByte
coinsPerUTxOByteToCoinsPerUTxOWord ∷ CoinPerByte → CoinPerWord
ppCoinsPerUTxOByteL ∷ BabbageEraPParams era ⇒ Lens' (PParams era) CoinPerByte
ppuCoinsPerUTxOByteL ∷ BabbageEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte)
class (Era era, Eq (PParamsHKD Identity era), Ord (PParamsHKD Identity era), Show (PParamsHKD Identity era), NFData (PParamsHKD Identity era), EncCBOR (PParamsHKD Identity era), DecCBOR (PParamsHKD Identity era), ToCBOR (PParamsHKD Identity era), FromCBOR (PParamsHKD Identity era), NoThunks (PParamsHKD Identity era), ToJSON (PParamsHKD Identity era), FromJSON (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Ord (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), NFData (PParamsHKD StrictMaybe era), EncCBOR (PParamsHKD StrictMaybe era), DecCBOR (PParamsHKD StrictMaybe era), ToCBOR (PParamsHKD StrictMaybe era), FromCBOR (PParamsHKD StrictMaybe era), NoThunks (PParamsHKD StrictMaybe era), ToJSON (PParamsHKD StrictMaybe era)) ⇒ EraPParams era
class EraPParams era ⇒ AlonzoEraPParams era
class AlonzoEraPParams era ⇒ BabbageEraPParams era

PParams

data PParams era Source #

Protocol parameters

Instances

Instances details

FromJSON (PParamsHKD Identity era) ⇒ FromJSON (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods parseJSON ∷ Value → Parser (PParams era) Source # parseJSONList ∷ Value → Parser [PParams era] Source # omittedField ∷ Maybe (PParams era) Source #
ToJSON (PParamsHKD Identity era) ⇒ ToJSON (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods toJSON ∷ PParams era → Value Source # toEncoding ∷ PParams era → Encoding Source # toJSONList ∷ [PParams era] → Value Source # toEncodingList ∷ [PParams era] → Encoding Source # omitField ∷ PParams era → Bool Source #
Generic (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Associated Types type Rep (PParams era) ∷ Type → Type Source # Methods from ∷ PParams era → Rep (PParams era) x Source # to ∷ Rep (PParams era) x → PParams era Source #
Show (PParamsHKD Identity era) ⇒ Show (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods showsPrec ∷ Int → PParams era → ShowS Source # show ∷ PParams era → String Source # showList ∷ [PParams era] → ShowS Source #
(Typeable era, FromCBOR (PParamsHKD Identity era)) ⇒ FromCBOR (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods fromCBOR ∷ Decoder s (PParams era) Source # label ∷ Proxy (PParams era) → Text Source #
(Typeable era, ToCBOR (PParamsHKD Identity era)) ⇒ ToCBOR (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods toCBOR ∷ PParams era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PParams era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PParams era] → Size Source #
(Typeable era, DecCBOR (PParamsHKD Identity era)) ⇒ DecCBOR (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods decCBOR ∷ Decoder s (PParams era) Source # dropCBOR ∷ Proxy (PParams era) → Decoder s () Source # label ∷ Proxy (PParams era) → Text Source #
(Typeable era, EncCBOR (PParamsHKD Identity era)) ⇒ EncCBOR (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods encCBOR ∷ PParams era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PParams era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PParams era] → Size Source #
EraPParams era ⇒ Default (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods def ∷ PParams era Source #
NFData (PParamsHKD Identity era) ⇒ NFData (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods rnf ∷ PParams era → () Source #
Eq (PParamsHKD Identity era) ⇒ Eq (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods (==) ∷ PParams era → PParams era → Bool Source # (/=) ∷ PParams era → PParams era → Bool Source #
Ord (PParamsHKD Identity era) ⇒ Ord (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods compare ∷ PParams era → PParams era → Ordering Source # (<) ∷ PParams era → PParams era → Bool Source # (<=) ∷ PParams era → PParams era → Bool Source # (>) ∷ PParams era → PParams era → Bool Source # (>=) ∷ PParams era → PParams era → Bool Source # max ∷ PParams era → PParams era → PParams era Source # min ∷ PParams era → PParams era → PParams era Source #
NoThunks (PParamsHKD Identity era) ⇒ NoThunks (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods noThunks ∷ Context → PParams era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PParams era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PParams era) → String Source #
type Rep (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams type Rep (PParams era) = D1 ('MetaData "PParams" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.12.0.0-inplace" 'True) (C1 ('MetaCons "PParams" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD Identity era))))
type TranslationError (AllegraEra c) PParams
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) PParams = Void
type TranslationError (AlonzoEra c) PParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) PParams = Void
type TranslationError (BabbageEra c) PParams
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) PParams = Void
type TranslationError (ConwayEra c) PParams
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) PParams = Void
type TranslationError (MaryEra c) PParams
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) PParams = Void

emptyPParams ∷ EraPParams era ⇒ PParams era Source #

type family UpgradePParams (f ∷ Type → Type) era Source #

Instances

Instances details

type UpgradePParams f (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.PParams type UpgradePParams f (AllegraEra c) = ()
type UpgradePParams f (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.PParams type UpgradePParams f (AlonzoEra c) = UpgradeAlonzoPParams f
type UpgradePParams f (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.PParams type UpgradePParams f (BabbageEra c) = ()
type UpgradePParams f (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.PParams type UpgradePParams f (ConwayEra c) = UpgradeConwayPParams f
type UpgradePParams f (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.PParams type UpgradePParams f (MaryEra c) = ()
type UpgradePParams f (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.PParams type UpgradePParams f (ShelleyEra c) = Void

upgradePParams ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ UpgradePParams Identity era → PParams (PreviousEra era) → PParams era Source #

type family DowngradePParams (f ∷ Type → Type) era Source #

Instances

Instances details

type DowngradePParams f (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.PParams type DowngradePParams f (AllegraEra c) = ()
type DowngradePParams f (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.PParams type DowngradePParams f (AlonzoEra c) = DowngradeAlonzoPParams f
type DowngradePParams f (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.PParams type DowngradePParams f (BabbageEra c) = DowngradeBabbagePParams f
type DowngradePParams f (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.PParams type DowngradePParams f (ConwayEra c) = ()
type DowngradePParams f (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.PParams type DowngradePParams f (MaryEra c) = ()
type DowngradePParams f (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.PParams type DowngradePParams f (ShelleyEra c) = Void

downgradePParams ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ DowngradePParams Identity era → PParams era → PParams (PreviousEra era) Source #

PParamsUpdate

data PParamsUpdate era Source #

The type of updates to Protocol parameters

Instances

Instances details

FromJSON (PParamsHKD StrictMaybe era) ⇒ FromJSON (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods parseJSON ∷ Value → Parser (PParamsUpdate era) Source # parseJSONList ∷ Value → Parser [PParamsUpdate era] Source # omittedField ∷ Maybe (PParamsUpdate era) Source #
ToJSON (PParamsHKD StrictMaybe era) ⇒ ToJSON (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods toJSON ∷ PParamsUpdate era → Value Source # toEncoding ∷ PParamsUpdate era → Encoding Source # toJSONList ∷ [PParamsUpdate era] → Value Source # toEncodingList ∷ [PParamsUpdate era] → Encoding Source # omitField ∷ PParamsUpdate era → Bool Source #
Generic (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Associated Types type Rep (PParamsUpdate era) ∷ Type → Type Source # Methods from ∷ PParamsUpdate era → Rep (PParamsUpdate era) x Source # to ∷ Rep (PParamsUpdate era) x → PParamsUpdate era Source #
Show (PParamsHKD StrictMaybe era) ⇒ Show (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods showsPrec ∷ Int → PParamsUpdate era → ShowS Source # show ∷ PParamsUpdate era → String Source # showList ∷ [PParamsUpdate era] → ShowS Source #
(Typeable era, FromCBOR (PParamsHKD StrictMaybe era)) ⇒ FromCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods fromCBOR ∷ Decoder s (PParamsUpdate era) Source # label ∷ Proxy (PParamsUpdate era) → Text Source #
(Typeable era, ToCBOR (PParamsHKD StrictMaybe era)) ⇒ ToCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods toCBOR ∷ PParamsUpdate era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PParamsUpdate era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PParamsUpdate era] → Size Source #
(Typeable era, DecCBOR (PParamsHKD StrictMaybe era)) ⇒ DecCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods decCBOR ∷ Decoder s (PParamsUpdate era) Source # dropCBOR ∷ Proxy (PParamsUpdate era) → Decoder s () Source # label ∷ Proxy (PParamsUpdate era) → Text Source #
(Typeable era, EncCBOR (PParamsHKD StrictMaybe era)) ⇒ EncCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods encCBOR ∷ PParamsUpdate era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PParamsUpdate era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PParamsUpdate era] → Size Source #
EraPParams era ⇒ Default (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods def ∷ PParamsUpdate era Source #
NFData (PParamsHKD StrictMaybe era) ⇒ NFData (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods rnf ∷ PParamsUpdate era → () Source #
Eq (PParamsHKD StrictMaybe era) ⇒ Eq (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods (==) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # (/=) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source #
Ord (PParamsHKD StrictMaybe era) ⇒ Ord (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods compare ∷ PParamsUpdate era → PParamsUpdate era → Ordering Source # (<) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # (<=) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # (>) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # (>=) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # max ∷ PParamsUpdate era → PParamsUpdate era → PParamsUpdate era Source # min ∷ PParamsUpdate era → PParamsUpdate era → PParamsUpdate era Source #
NoThunks (PParamsHKD StrictMaybe era) ⇒ NoThunks (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods noThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PParamsUpdate era) → String Source #
type Rep (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams type Rep (PParamsUpdate era) = D1 ('MetaData "PParamsUpdate" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.12.0.0-inplace" 'True) (C1 ('MetaCons "PParamsUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD StrictMaybe era))))
type TranslationError (AllegraEra c) PParamsUpdate
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) PParamsUpdate = Void
type TranslationError (MaryEra c) PParamsUpdate
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) PParamsUpdate = Void

emptyPParamsUpdate ∷ EraPParams era ⇒ PParamsUpdate era Source #

upgradePParamsUpdate ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ UpgradePParams StrictMaybe era → PParamsUpdate (PreviousEra era) → PParamsUpdate era Source #

downgradePParamsUpdate ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ DowngradePParams StrictMaybe era → PParamsUpdate era → PParamsUpdate (PreviousEra era) Source #

Shelley params

Protocol parameters introduced in Shelley era

`MinFeeA`

Min fee factor

ppMinFeeAL ∷ EraPParams era ⇒ Lens' (PParams era) Coin Source #

The linear factor for the minimum fee calculation

ppuMinFeeAL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

The linear factor for the minimum fee calculation

`MinFeeB`

Min fee constant

ppMinFeeBL ∷ EraPParams era ⇒ Lens' (PParams era) Coin Source #

The constant factor for the minimum fee calculation

ppuMinFeeBL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

The constant factor for the minimum fee calculation

`MaxBBSize`

Max block body size

ppMaxBBSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word32 Source #

Maximal block body size

ppuMaxBBSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32) Source #

Maximal block body size

`AaxBHSize`

Max block header size

ppMaxBHSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word16 Source #

Maximal block header size

ppuMaxBHSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16) Source #

Maximal block header size

`PoolDeposit`

Stake pool deposit

ppPoolDepositL ∷ EraPParams era ⇒ Lens' (PParams era) Coin Source #

The amount of a pool registration deposit

ppuPoolDepositL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

The amount of a pool registration deposit

`EMax`

Epoch bound on pool retirement

ppEMaxL ∷ EraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

epoch bound on pool retirement

ppuEMaxL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

epoch bound on pool retirement

`NOpt`

Desired number of pools

ppNOptL ∷ EraPParams era ⇒ Lens' (PParams era) Natural Source #

Desired number of pools

ppuNOptL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #

Desired number of pools

`A0`

Pool influence

ppA0L ∷ EraPParams era ⇒ Lens' (PParams era) NonNegativeInterval Source #

Pool influence

ppuA0L ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval) Source #

Pool influence

`Tau`

Treasury expansion

ppTauL ∷ EraPParams era ⇒ Lens' (PParams era) UnitInterval Source #

Treasury expansion

ppuTauL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) Source #

Treasury expansion

`Rho`

Monetary expansion

ppRhoL ∷ EraPParams era ⇒ Lens' (PParams era) UnitInterval Source #

Monetary expansion

ppuRhoL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) Source #

Monetary expansion

`D`

Decentralization paramteter

Note - Removed in Babbage

ppDL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParams era) UnitInterval Source #

Decentralization parameter

ppDG ∷ EraPParams era ⇒ SimpleGetter (PParams era) UnitInterval Source #

Decentralization parameter getter

ppuDL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) Source #

Decentralization parameter

`ExtraEntropy`

Extra entropy

Note - Removed in Babbage

ppExtraEntropyL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParams era) Nonce Source #

Extra entropy

ppuExtraEntropyL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Nonce) Source #

Extra entropy

`ProtocolVersion`

Protocol version

ppProtocolVersionL ∷ EraPParams era ⇒ Lens' (PParams era) ProtVer Source #

ppuProtocolVersionL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ProtVer) Source #

PParamsUpdate Protocol version

`MinUTxOValue`

Minimum allowed value of a new TxOut

ppuMinUTxOValueL ∷ (EraPParams era, ProtVerAtMost era 4) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

Minimum UTxO value

ppMinUTxOValueL ∷ (EraPParams era, ProtVerAtMost era 4) ⇒ Lens' (PParams era) Coin Source #

Minimum UTxO value

`MinPoolCast`

Miminum allowed stake pool cost

ppMinPoolCostL ∷ EraPParams era ⇒ Lens' (PParams era) Coin Source #

Minimum Stake Pool Cost

ppuMinPoolCostL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

Minimum Stake Pool Cost

`KeyDeposit`

ppKeyDepositL ∷ EraPParams era ⇒ Lens' (PParams era) Coin Source #

The amount of a key registration deposit

ppuKeyDepositL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

The amount of a key registration deposit

`MaxTxSize`

ppMaxTxSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word32 Source #

Maximal transaction size

ppuMaxTxSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32) Source #

Maximal transaction size

Alonzo params

Protocol parameters introduced in Alonzo era

data UpgradeAlonzoPParams (f ∷ Type → Type) Source #

Parameters that were added in Alonzo

Constructors

UpgradeAlonzoPParams
Fields uappCoinsPerUTxOWord ∷ !(HKD f CoinPerWord) uappCostModels ∷ !(HKD f CostModels) uappPrices ∷ !(HKD f Prices) uappMaxTxExUnits ∷ !(HKD f ExUnits) uappMaxBlockExUnits ∷ !(HKD f ExUnits) uappMaxValSize ∷ !(HKD f Natural) uappCollateralPercentage ∷ !(HKD f Natural) uappMaxCollateralInputs ∷ !(HKD f Natural)

Instances

Instances details

Generic (UpgradeAlonzoPParams f)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Associated Types type Rep (UpgradeAlonzoPParams f) ∷ Type → Type Source # Methods from ∷ UpgradeAlonzoPParams f → Rep (UpgradeAlonzoPParams f) x Source # to ∷ Rep (UpgradeAlonzoPParams f) x → UpgradeAlonzoPParams f Source #
Show (UpgradeAlonzoPParams Identity)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods showsPrec ∷ Int → UpgradeAlonzoPParams Identity → ShowS Source # show ∷ UpgradeAlonzoPParams Identity → String Source # showList ∷ [UpgradeAlonzoPParams Identity] → ShowS Source #
Default (UpgradeAlonzoPParams StrictMaybe)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods def ∷ UpgradeAlonzoPParams StrictMaybe Source #
NFData (UpgradeAlonzoPParams Identity)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods rnf ∷ UpgradeAlonzoPParams Identity → () Source #
Eq (UpgradeAlonzoPParams Identity)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods (==) ∷ UpgradeAlonzoPParams Identity → UpgradeAlonzoPParams Identity → Bool Source # (/=) ∷ UpgradeAlonzoPParams Identity → UpgradeAlonzoPParams Identity → Bool Source #
NoThunks (UpgradeAlonzoPParams Identity)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods noThunks ∷ Context → UpgradeAlonzoPParams Identity → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UpgradeAlonzoPParams Identity → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UpgradeAlonzoPParams Identity) → String Source #
type Rep (UpgradeAlonzoPParams f)
Instance details Defined in Cardano.Ledger.Alonzo.PParams type Rep (UpgradeAlonzoPParams f) = D1 ('MetaData "UpgradeAlonzoPParams" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.8.0.0-inplace" 'False) (C1 ('MetaCons "UpgradeAlonzoPParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "uappCoinsPerUTxOWord") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CoinPerWord)) :: S1 ('MetaSel ('Just "uappCostModels") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CostModels))) :: (S1 ('MetaSel ('Just "uappPrices") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Prices)) :: S1 ('MetaSel ('Just "uappMaxTxExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f ExUnits)))) :: ((S1 ('MetaSel ('Just "uappMaxBlockExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f ExUnits)) :: S1 ('MetaSel ('Just "uappMaxValSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural))) :: (S1 ('MetaSel ('Just "uappCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural)) :*: S1 ('MetaSel ('Just "uappMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural))))))

newtype DowngradeAlonzoPParams (f ∷ Type → Type) Source #

Parameters that were removed in Alonzo

Constructors

DowngradeAlonzoPParams
Fields dappMinUTxOValue ∷ HKD f Coin

Instances

Instances details

Generic (DowngradeAlonzoPParams f)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Associated Types type Rep (DowngradeAlonzoPParams f) ∷ Type → Type Source # Methods from ∷ DowngradeAlonzoPParams f → Rep (DowngradeAlonzoPParams f) x Source # to ∷ Rep (DowngradeAlonzoPParams f) x → DowngradeAlonzoPParams f Source #
Show (DowngradeAlonzoPParams Identity)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods showsPrec ∷ Int → DowngradeAlonzoPParams Identity → ShowS Source # show ∷ DowngradeAlonzoPParams Identity → String Source # showList ∷ [DowngradeAlonzoPParams Identity] → ShowS Source #
NFData (DowngradeAlonzoPParams Identity)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods rnf ∷ DowngradeAlonzoPParams Identity → () Source #
Eq (DowngradeAlonzoPParams Identity)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods (==) ∷ DowngradeAlonzoPParams Identity → DowngradeAlonzoPParams Identity → Bool Source # (/=) ∷ DowngradeAlonzoPParams Identity → DowngradeAlonzoPParams Identity → Bool Source #
NoThunks (DowngradeAlonzoPParams Identity)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods noThunks ∷ Context → DowngradeAlonzoPParams Identity → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DowngradeAlonzoPParams Identity → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DowngradeAlonzoPParams Identity) → String Source #
type Rep (DowngradeAlonzoPParams f)
Instance details Defined in Cardano.Ledger.Alonzo.PParams type Rep (DowngradeAlonzoPParams f) = D1 ('MetaData "DowngradeAlonzoPParams" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.8.0.0-inplace" 'True) (C1 ('MetaCons "DowngradeAlonzoPParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "dappMinUTxOValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HKD f Coin))))

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 ∷ Type → Type Source # Methods from ∷ LangDepView → Rep LangDepView x Source # to ∷ Rep LangDepView x → LangDepView Source #
Show LangDepView
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods showsPrec ∷ Int → LangDepView → ShowS Source # show ∷ LangDepView → String Source # showList ∷ [LangDepView] → ShowS Source #
Eq LangDepView
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods (==) ∷ LangDepView → LangDepView → Bool Source # (/=) ∷ LangDepView → LangDepView → Bool Source #
Ord LangDepView
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods compare ∷ LangDepView → LangDepView → Ordering Source # (<) ∷ LangDepView → LangDepView → Bool Source # (<=) ∷ LangDepView → LangDepView → Bool Source # (>) ∷ LangDepView → LangDepView → Bool Source # (>=) ∷ LangDepView → LangDepView → Bool Source # max ∷ LangDepView → LangDepView → LangDepView Source # min ∷ LangDepView → LangDepView → LangDepView Source #
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.8.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)))

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

To convert resource primitives into the more abstract ExUnits during script execution a cost model needs to be supplied to the interpreter. The cost models required for this purpose are recorded in the CostModels protocol parameter.

ppCostModelsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) CostModels Source #

ppuCostModelsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CostModels) Source #

`Prices`

The calculation of the actual cost, in Ada, of running a script that takes ExUnits resources to run, is done by a formula in the ledger rules, which uses the Prices parameter

ppPricesL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Prices Source #

ppuPricesL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Prices) Source #

`MaxTxExUnits`

Limit the total per-transaction resource use for phase-2 scripts.

ppMaxTxExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits Source #

ppuMaxTxExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ExUnits) Source #

`MaxBlockExUnits`

Limit the total per-transaction and per-block resource use for phase-2 scripts.

ppMaxBlockExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits Source #

ppuMaxBlockExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ExUnits) Source #

`MaxValSize`

The new parameter maxValSize replaces the constant maxValSize used Mary era to limit the size of the Value part of an output in a serialised transaction.

ppMaxValSizeL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural Source #

ppuMaxValSizeL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #

`CoinsPerUTxOWord`

In Alonzo, the protocol parameter minUTxOValue is deprecated, and replaced by coinsPerUTxOWord. This specifies directly the deposit required for storing bytes of data on the ledger in the form of UTxO entries.

newtype CoinPerWord Source #

Constructors

CoinPerWord
Fields unCoinPerWord ∷ Coin

Instances

Instances details

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

ppCoinsPerUTxOWordL ∷ (AlonzoEraPParams era, ExactEra AlonzoEra era) ⇒ Lens' (PParams era) CoinPerWord Source #

ppuCoinsPerUTxOWordL ∷ (AlonzoEraPParams era, ExactEra AlonzoEra era) ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerWord) Source #

`CollateralPercentage`

The parameter collateralPercent is used to specify the percentage of the total transaction fee its collateral must (at minimum) cover.

ppCollateralPercentageL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural Source #

ppuCollateralPercentageL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #

`MaxCollateralInputs`

The parameter maxCollateralInputs is used to limit, additionally, the total number of collateral inputs, and thus the total number of additional signatures that must be checked during validation.

ppMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural Source #

ppuMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #

Babbage params

Protocol parameters introduced in Babbage era

data DowngradeBabbagePParams (f ∷ Type → Type) Source #

Constructors

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

`CoinsPerUTxOByte`

Cost in the amount of lovelace ber byte.

Note - This parameter is a replacement for coinsPerUTxOWord

newtype CoinPerByte Source #

Constructors

CoinPerByte
Fields unCoinPerByte ∷ Coin

Instances

Instances details

FromJSON CoinPerByte
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
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 #
Show CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods showsPrec ∷ Int → CoinPerByte → ShowS Source # show ∷ CoinPerByte → String Source # showList ∷ [CoinPerByte] → ShowS Source #
DecCBOR CoinPerByte
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
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods encCBOR ∷ CoinPerByte → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy CoinPerByte → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CoinPerByte] → Size Source #
NFData CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods rnf ∷ CoinPerByte → () Source #
Eq CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods (==) ∷ CoinPerByte → CoinPerByte → Bool Source # (/=) ∷ CoinPerByte → CoinPerByte → Bool Source #
Ord CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods compare ∷ CoinPerByte → CoinPerByte → Ordering Source # (<) ∷ CoinPerByte → CoinPerByte → Bool Source # (<=) ∷ CoinPerByte → CoinPerByte → Bool Source # (>) ∷ CoinPerByte → CoinPerByte → Bool Source # (>=) ∷ CoinPerByte → CoinPerByte → Bool Source # max ∷ CoinPerByte → CoinPerByte → CoinPerByte Source # min ∷ CoinPerByte → CoinPerByte → CoinPerByte Source #
NoThunks CoinPerByte
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 #

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.

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

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

Type classes

class EraPParams era ⇒ AlonzoEraPParams era Source #

Minimal complete definition

hkdCoinsPerUTxOWordL, hkdCostModelsL, hkdPricesL, hkdMaxTxExUnitsL, hkdMaxBlockExUnitsL, hkdMaxValSizeL, hkdCollateralPercentageL, hkdMaxCollateralInputsL

Instances

Instances details

Crypto c ⇒ AlonzoEraPParams (AlonzoEra c)

Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

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

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

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

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

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

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

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

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

class AlonzoEraPParams era ⇒ BabbageEraPParams era Source #

Minimal complete definition

hkdCoinsPerUTxOByteL

Instances

Instances details

Crypto c ⇒ BabbageEraPParams (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f CoinPerByte) Source #