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) Natural
ppuMaxBBSizeL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Natural)
ppMaxBHSizeL :: EraPParams era => Lens' (PParams era) Natural
ppuMaxBHSizeL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Natural)
ppPoolDepositL :: EraPParams era => Lens' (PParams era) Coin
ppuPoolDepositL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppEMaxL :: EraPParams era => Lens' (PParams era) EpochNo
ppuEMaxL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe EpochNo)
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) Natural
ppuMaxTxSizeL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Natural)
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), ToExpr (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), ToExpr (PParamsHKD StrictMaybe era)) => EraPParams era
class EraPParams era => AlonzoEraPParams era
class AlonzoEraPParams era => BabbageEraPParams era

PParams

data PParams era #

Instances

Instances details

FromJSON (PParamsHKD Identity era) => FromJSON (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods parseJSON :: Value -> Parser (PParams era) parseJSONList :: Value -> Parser [PParams era] omittedField :: Maybe (PParams era)
ToJSON (PParamsHKD Identity era) => ToJSON (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods toJSON :: PParams era -> Value toEncoding :: PParams era -> Encoding toJSONList :: [PParams era] -> Value toEncodingList :: [PParams era] -> Encoding omitField :: PParams era -> Bool
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) label :: Proxy (PParams era) -> Text
(Typeable era, ToCBOR (PParamsHKD Identity era)) => ToCBOR (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods toCBOR :: PParams era -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (PParams era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [PParams era] -> Size
(Typeable era, DecCBOR (PParamsHKD Identity era)) => DecCBOR (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods decCBOR :: Decoder s (PParams era) dropCBOR :: Proxy (PParams era) -> Decoder s () label :: Proxy (PParams era) -> Text
(Typeable era, EncCBOR (PParamsHKD Identity era)) => EncCBOR (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods encCBOR :: PParams era -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (PParams era) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [PParams era] -> Size
EraPParams era => Default (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods def :: PParams era
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) wNoThunks :: Context -> PParams era -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (PParams era) -> String
ToExpr (PParamsHKD Identity era) => ToExpr (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods toExpr :: PParams era -> Expr listToExpr :: [PParams era] -> Expr
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.9.0.0-1dQ7WLDbkZc8aXLEpNIvOr" '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 #

type family UpgradePParams (f :: Type -> Type) era #

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 #

type family DowngradePParams (f :: Type -> Type) era #

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) #

PParamsUpdate

data PParamsUpdate era #

Instances

Instances details

FromJSON (PParamsHKD StrictMaybe era) => FromJSON (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods parseJSON :: Value -> Parser (PParamsUpdate era) parseJSONList :: Value -> Parser [PParamsUpdate era] omittedField :: Maybe (PParamsUpdate era)
ToJSON (PParamsHKD StrictMaybe era) => ToJSON (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods toJSON :: PParamsUpdate era -> Value toEncoding :: PParamsUpdate era -> Encoding toJSONList :: [PParamsUpdate era] -> Value toEncodingList :: [PParamsUpdate era] -> Encoding omitField :: PParamsUpdate era -> Bool
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) label :: Proxy (PParamsUpdate era) -> Text
(Typeable era, ToCBOR (PParamsHKD StrictMaybe era)) => ToCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods toCBOR :: PParamsUpdate era -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (PParamsUpdate era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [PParamsUpdate era] -> Size
(Typeable era, DecCBOR (PParamsHKD StrictMaybe era)) => DecCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods decCBOR :: Decoder s (PParamsUpdate era) dropCBOR :: Proxy (PParamsUpdate era) -> Decoder s () label :: Proxy (PParamsUpdate era) -> Text
(Typeable era, EncCBOR (PParamsHKD StrictMaybe era)) => EncCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods encCBOR :: PParamsUpdate era -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (PParamsUpdate era) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [PParamsUpdate era] -> Size
EraPParams era => Default (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods def :: PParamsUpdate era
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) wNoThunks :: Context -> PParamsUpdate era -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (PParamsUpdate era) -> String
ToExpr (PParamsHKD StrictMaybe era) => ToExpr (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods toExpr :: PParamsUpdate era -> Expr listToExpr :: [PParamsUpdate era] -> Expr
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.9.0.0-1dQ7WLDbkZc8aXLEpNIvOr" '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 #

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) #

Shelley params

Protocol parameters introduced in Shelley era

`MinFeeA`

Min fee factor

ppMinFeeAL :: EraPParams era => Lens' (PParams era) Coin #

ppuMinFeeAL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Coin) #

`MinFeeB`

Min fee constant

ppMinFeeBL :: EraPParams era => Lens' (PParams era) Coin #

ppuMinFeeBL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Coin) #

`MaxBBSize`

Max block body size

ppMaxBBSizeL :: EraPParams era => Lens' (PParams era) Natural #

ppuMaxBBSizeL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Natural) #

`AaxBHSize`

Max block header size

ppMaxBHSizeL :: EraPParams era => Lens' (PParams era) Natural #

ppuMaxBHSizeL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Natural) #

`PoolDeposit`

Stake pool deposit

ppPoolDepositL :: EraPParams era => Lens' (PParams era) Coin #

ppuPoolDepositL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Coin) #

`EMax`

Epoch bound on pool retirement

ppEMaxL :: EraPParams era => Lens' (PParams era) EpochNo #

ppuEMaxL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe EpochNo) #

`NOpt`

Desired number of pools

ppNOptL :: EraPParams era => Lens' (PParams era) Natural #

ppuNOptL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Natural) #

`A0`

Pool influence

ppA0L :: EraPParams era => Lens' (PParams era) NonNegativeInterval #

ppuA0L :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval) #

`Tau`

Treasury expansion

ppTauL :: EraPParams era => Lens' (PParams era) UnitInterval #

ppuTauL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) #

`Rho`

Monetary expansion

ppRhoL :: EraPParams era => Lens' (PParams era) UnitInterval #

ppuRhoL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) #

`D`

Decentralization paramteter

Note - Removed in Babbage

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) #

`ExtraEntropy`

Extra entropy

Note - Removed in Babbage

ppExtraEntropyL :: (EraPParams era, ProtVerAtMost era 6) => Lens' (PParams era) Nonce #

ppuExtraEntropyL :: (EraPParams era, ProtVerAtMost era 6) => Lens' (PParamsUpdate era) (StrictMaybe Nonce) #

`ProtocolVersion`

Protocol version

ppProtocolVersionL :: EraPParams era => Lens' (PParams era) ProtVer #

ppuProtocolVersionL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe ProtVer) #

`MinUTxOValue`

Minimum allowed value of a new TxOut

ppuMinUTxOValueL :: (EraPParams era, ProtVerAtMost era 4) => Lens' (PParamsUpdate era) (StrictMaybe Coin) #

ppMinUTxOValueL :: (EraPParams era, ProtVerAtMost era 4) => Lens' (PParams era) Coin #

`MinPoolCast`

Miminum allowed stake pool cost

ppMinPoolCostL :: EraPParams era => Lens' (PParams era) Coin #

ppuMinPoolCostL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Coin) #

`KeyDeposit`

ppKeyDepositL :: EraPParams era => Lens' (PParams era) Coin #

ppuKeyDepositL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Coin) #

`MaxTxSize`

ppMaxTxSizeL :: EraPParams era => Lens' (PParams era) Natural #

ppuMaxTxSizeL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Natural) #

Alonzo params

Protocol parameters introduced in Alonzo era

data UpgradeAlonzoPParams (f :: Type -> Type) #

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
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) wNoThunks :: Context -> UpgradeAlonzoPParams Identity -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (UpgradeAlonzoPParams Identity) -> String
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.5.1.0-1MT8TTvKeeyGoJw1KVxcth" '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) #

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) wNoThunks :: Context -> DowngradeAlonzoPParams Identity -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (DowngradeAlonzoPParams Identity) -> String
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.5.1.0-1MT8TTvKeeyGoJw1KVxcth" 'True) (C1 ('MetaCons "DowngradeAlonzoPParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "dappMinUTxOValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HKD f Coin))))

data LangDepView #

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) wNoThunks :: Context -> LangDepView -> IO (Maybe ThunkInfo) showTypeOf :: Proxy LangDepView -> String
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.5.1.0-1MT8TTvKeeyGoJw1KVxcth" '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 #

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 #

ppuCostModelsL :: AlonzoEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe CostModels) #

`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 #

ppuPricesL :: AlonzoEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Prices) #

`MaxTxExUnits`

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

ppMaxTxExUnitsL :: AlonzoEraPParams era => Lens' (PParams era) ExUnits #

ppuMaxTxExUnitsL :: AlonzoEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe ExUnits) #

`MaxBlockExUnits`

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

ppMaxBlockExUnitsL :: AlonzoEraPParams era => Lens' (PParams era) ExUnits #

ppuMaxBlockExUnitsL :: AlonzoEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe ExUnits) #

`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 #

ppuMaxValSizeL :: AlonzoEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Natural) #

`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 #

Constructors

CoinPerWord
Fields unCoinPerWord :: Coin

Instances

Instances details

FromJSON CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.Core Methods parseJSON :: Value -> Parser CoinPerWord parseJSONList :: Value -> Parser [CoinPerWord] omittedField :: Maybe CoinPerWord
ToJSON CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.Core Methods toJSON :: CoinPerWord -> Value toEncoding :: CoinPerWord -> Encoding toJSONList :: [CoinPerWord] -> Value toEncodingList :: [CoinPerWord] -> Encoding omitField :: CoinPerWord -> Bool
Show CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.Core Methods showsPrec :: Int -> CoinPerWord -> ShowS Source # show :: CoinPerWord -> String Source # showList :: [CoinPerWord] -> ShowS Source #
DecCBOR CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.Core Methods decCBOR :: Decoder s CoinPerWord dropCBOR :: Proxy CoinPerWord -> Decoder s () label :: Proxy CoinPerWord -> Text
EncCBOR CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.Core Methods encCBOR :: CoinPerWord -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy CoinPerWord -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [CoinPerWord] -> Size
NFData CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.Core Methods rnf :: CoinPerWord -> () Source #
Eq CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.Core Methods (==) :: CoinPerWord -> CoinPerWord -> Bool Source # (/=) :: CoinPerWord -> CoinPerWord -> Bool Source #
Ord CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.Core 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.Core Methods noThunks :: Context -> CoinPerWord -> IO (Maybe ThunkInfo) wNoThunks :: Context -> CoinPerWord -> IO (Maybe ThunkInfo) showTypeOf :: Proxy CoinPerWord -> String
ToExpr CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.Core Methods toExpr :: CoinPerWord -> Expr listToExpr :: [CoinPerWord] -> Expr

ppCoinsPerUTxOWordL :: (AlonzoEraPParams era, ExactEra AlonzoEra era) => Lens' (PParams era) CoinPerWord #

ppuCoinsPerUTxOWordL :: (AlonzoEraPParams era, ExactEra AlonzoEra era) => Lens' (PParamsUpdate era) (StrictMaybe CoinPerWord) #

`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 #

ppuCollateralPercentageL :: AlonzoEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Natural) #

`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 #

ppuMaxCollateralInputsL :: AlonzoEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Natural) #

Babbage params

Protocol parameters introduced in Babbage era

data DowngradeBabbagePParams (f :: Type -> Type) #

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 #

Constructors

CoinPerByte
Fields unCoinPerByte :: Coin

Instances

Instances details

FromJSON CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.Core Methods parseJSON :: Value -> Parser CoinPerByte parseJSONList :: Value -> Parser [CoinPerByte] omittedField :: Maybe CoinPerByte
ToJSON CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.Core Methods toJSON :: CoinPerByte -> Value toEncoding :: CoinPerByte -> Encoding toJSONList :: [CoinPerByte] -> Value toEncodingList :: [CoinPerByte] -> Encoding omitField :: CoinPerByte -> Bool
Show CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.Core Methods showsPrec :: Int -> CoinPerByte -> ShowS Source # show :: CoinPerByte -> String Source # showList :: [CoinPerByte] -> ShowS Source #
DecCBOR CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.Core Methods decCBOR :: Decoder s CoinPerByte dropCBOR :: Proxy CoinPerByte -> Decoder s () label :: Proxy CoinPerByte -> Text
EncCBOR CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.Core Methods encCBOR :: CoinPerByte -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy CoinPerByte -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [CoinPerByte] -> Size
NFData CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.Core Methods rnf :: CoinPerByte -> () Source #
Eq CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.Core Methods (==) :: CoinPerByte -> CoinPerByte -> Bool Source # (/=) :: CoinPerByte -> CoinPerByte -> Bool Source #
Ord CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.Core 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.Core Methods noThunks :: Context -> CoinPerByte -> IO (Maybe ThunkInfo) wNoThunks :: Context -> CoinPerByte -> IO (Maybe ThunkInfo) showTypeOf :: Proxy CoinPerByte -> String
ToExpr CoinPerByte
Instance details Defined in Cardano.Ledger.Babbage.Core Methods toExpr :: CoinPerByte -> Expr listToExpr :: [CoinPerByte] -> Expr

coinsPerUTxOWordToCoinsPerUTxOByte :: CoinPerWord -> CoinPerByte #

coinsPerUTxOByteToCoinsPerUTxOWord :: CoinPerByte -> CoinPerWord #

ppCoinsPerUTxOByteL :: BabbageEraPParams era => Lens' (PParams era) CoinPerByte #

ppuCoinsPerUTxOByteL :: BabbageEraPParams era => Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte) #

Type classes

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), ToExpr (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), ToExpr (PParamsHKD StrictMaybe era)) => EraPParams era #

Minimal complete definition

emptyPParamsIdentity, emptyPParamsStrictMaybe, upgradePParamsHKD, downgradePParamsHKD, hkdMinFeeAL, hkdMinFeeBL, hkdMaxBBSizeL, hkdMaxTxSizeL, hkdMaxBHSizeL, hkdKeyDepositL, hkdPoolDepositL, hkdEMaxL, hkdNOptL, hkdA0L, hkdRhoL, hkdTauL, hkdDL, hkdExtraEntropyL, hkdProtocolVersionL, hkdMinUTxOValueL, hkdMinPoolCostL

class EraPParams era => AlonzoEraPParams era #

Minimal complete definition

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

class AlonzoEraPParams era => BabbageEraPParams era #

Minimal complete definition

hkdCoinsPerUTxOByteL