cardano-ledger-alonzo-1.17.0.0: Cardano ledger introducing Plutus Core
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Alonzo.PParams

Description

This module contains just the type of protocol parameters.

Synopsis

Era Agnostic

class EraPParams era ⇒ AlonzoEraPParams era where Source #

Methods

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

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

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

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

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

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

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

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

Instances

Instances details
AlonzoEraPParams AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Alonzo specific

data AlonzoPParams (f ∷ Type → Type) era Source #

Protocol parameters. Shelley parameters + additional ones

Constructors

AlonzoPParams 

Fields

Instances

Instances details
NFData (AlonzoPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

rnf ∷ AlonzoPParams StrictMaybe era → () #

NFData (AlonzoPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

rnf ∷ AlonzoPParams Identity era → () #

Generic (AlonzoPParams f era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Associated Types

type Rep (AlonzoPParams f era) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type Rep (AlonzoPParams f era) = D1 ('MetaData "AlonzoPParams" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.17.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoPParams" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "appTxFeePerByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CoinPerByte)) :*: (S1 ('MetaSel ('Just "appTxFeeFixed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f (CompactForm Coin))) :*: S1 ('MetaSel ('Just "appMaxBBSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word32)))) :*: (S1 ('MetaSel ('Just "appMaxTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word32)) :*: (S1 ('MetaSel ('Just "appMaxBHSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16)) :*: S1 ('MetaSel ('Just "appKeyDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f (CompactForm Coin)))))) :*: ((S1 ('MetaSel ('Just "appPoolDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f (CompactForm Coin))) :*: (S1 ('MetaSel ('Just "appEMax") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f EpochInterval)) :*: S1 ('MetaSel ('Just "appNOpt") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16)))) :*: (S1 ('MetaSel ('Just "appA0") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f NonNegativeInterval)) :*: (S1 ('MetaSel ('Just "appRho") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f UnitInterval)) :*: S1 ('MetaSel ('Just "appTau") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f UnitInterval)))))) :*: (((S1 ('MetaSel ('Just "appD") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f UnitInterval)) :*: (S1 ('MetaSel ('Just "appExtraEntropy") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Nonce)) :*: S1 ('MetaSel ('Just "appProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f ProtVer)))) :*: (S1 ('MetaSel ('Just "appMinPoolCost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f (CompactForm Coin))) :*: (S1 ('MetaSel ('Just "appCoinsPerUTxOWord") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CoinPerWord)) :*: S1 ('MetaSel ('Just "appCostModels") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CostModels))))) :*: ((S1 ('MetaSel ('Just "appPrices") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Prices)) :*: (S1 ('MetaSel ('Just "appMaxTxExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f OrdExUnits)) :*: S1 ('MetaSel ('Just "appMaxBlockExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f OrdExUnits)))) :*: (S1 ('MetaSel ('Just "appMaxValSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word32)) :*: (S1 ('MetaSel ('Just "appCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16)) :*: S1 ('MetaSel ('Just "appMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16))))))))

Methods

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

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

Show (AlonzoPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

showsPrec ∷ Int → AlonzoPParams StrictMaybe era → ShowS #

show ∷ AlonzoPParams StrictMaybe era → String #

showList ∷ [AlonzoPParams StrictMaybe era] → ShowS #

Show (AlonzoPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

showsPrec ∷ Int → AlonzoPParams Identity era → ShowS #

show ∷ AlonzoPParams Identity era → String #

showList ∷ [AlonzoPParams Identity era] → ShowS #

Eq (AlonzoPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

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

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

Eq (AlonzoPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

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

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

Ord (AlonzoPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

compare ∷ AlonzoPParams StrictMaybe era → AlonzoPParams StrictMaybe era → Ordering #

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

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

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

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

max ∷ AlonzoPParams StrictMaybe era → AlonzoPParams StrictMaybe era → AlonzoPParams StrictMaybe era #

min ∷ AlonzoPParams StrictMaybe era → AlonzoPParams StrictMaybe era → AlonzoPParams StrictMaybe era #

Ord (AlonzoPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

compare ∷ AlonzoPParams Identity era → AlonzoPParams Identity era → Ordering #

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

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

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

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

max ∷ AlonzoPParams Identity era → AlonzoPParams Identity era → AlonzoPParams Identity era #

min ∷ AlonzoPParams Identity era → AlonzoPParams Identity era → AlonzoPParams Identity era #

NoThunks (AlonzoPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

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

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

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

NoThunks (AlonzoPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

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

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

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

type Rep (AlonzoPParams f era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type Rep (AlonzoPParams f era) = D1 ('MetaData "AlonzoPParams" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.17.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoPParams" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "appTxFeePerByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CoinPerByte)) :*: (S1 ('MetaSel ('Just "appTxFeeFixed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f (CompactForm Coin))) :*: S1 ('MetaSel ('Just "appMaxBBSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word32)))) :*: (S1 ('MetaSel ('Just "appMaxTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word32)) :*: (S1 ('MetaSel ('Just "appMaxBHSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16)) :*: S1 ('MetaSel ('Just "appKeyDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f (CompactForm Coin)))))) :*: ((S1 ('MetaSel ('Just "appPoolDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f (CompactForm Coin))) :*: (S1 ('MetaSel ('Just "appEMax") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f EpochInterval)) :*: S1 ('MetaSel ('Just "appNOpt") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16)))) :*: (S1 ('MetaSel ('Just "appA0") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f NonNegativeInterval)) :*: (S1 ('MetaSel ('Just "appRho") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f UnitInterval)) :*: S1 ('MetaSel ('Just "appTau") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f UnitInterval)))))) :*: (((S1 ('MetaSel ('Just "appD") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f UnitInterval)) :*: (S1 ('MetaSel ('Just "appExtraEntropy") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Nonce)) :*: S1 ('MetaSel ('Just "appProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f ProtVer)))) :*: (S1 ('MetaSel ('Just "appMinPoolCost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f (CompactForm Coin))) :*: (S1 ('MetaSel ('Just "appCoinsPerUTxOWord") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CoinPerWord)) :*: S1 ('MetaSel ('Just "appCostModels") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CostModels))))) :*: ((S1 ('MetaSel ('Just "appPrices") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Prices)) :*: (S1 ('MetaSel ('Just "appMaxTxExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f OrdExUnits)) :*: S1 ('MetaSel ('Just "appMaxBlockExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f OrdExUnits)))) :*: (S1 ('MetaSel ('Just "appMaxValSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word32)) :*: (S1 ('MetaSel ('Just "appCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16)) :*: S1 ('MetaSel ('Just "appMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16))))))))

data UpgradeAlonzoPParams (f ∷ Type → Type) Source #

Parameters that were added in Alonzo

Constructors

UpgradeAlonzoPParams 

Fields

Instances

Instances details
Default (UpgradeAlonzoPParams StrictMaybe) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

def ∷ UpgradeAlonzoPParams StrictMaybe Source #

NFData (UpgradeAlonzoPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

rnf ∷ UpgradeAlonzoPParams Identity → () #

Generic (UpgradeAlonzoPParams f) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Associated Types

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.17.0.0-inplace" 'False) (C1 ('MetaCons "UpgradeAlonzoPParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "uappCoinsPerUTxOWord") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CoinPerWord)) :*: S1 ('MetaSel ('Just "uappPlutusV1CostModel") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CostModel))) :*: (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 Word32))) :*: (S1 ('MetaSel ('Just "uappCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16)) :*: S1 ('MetaSel ('Just "uappMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16))))))

Methods

from ∷ UpgradeAlonzoPParams f → Rep (UpgradeAlonzoPParams f) x #

to ∷ Rep (UpgradeAlonzoPParams f) x → UpgradeAlonzoPParams f #

Show (UpgradeAlonzoPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

showsPrec ∷ Int → UpgradeAlonzoPParams Identity → ShowS #

show ∷ UpgradeAlonzoPParams Identity → String #

showList ∷ [UpgradeAlonzoPParams Identity] → ShowS #

Eq (UpgradeAlonzoPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

(==) ∷ UpgradeAlonzoPParams Identity → UpgradeAlonzoPParams Identity → Bool #

(/=) ∷ UpgradeAlonzoPParams Identity → UpgradeAlonzoPParams Identity → Bool #

NoThunks (UpgradeAlonzoPParams Identity) Source # 
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) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type Rep (UpgradeAlonzoPParams f) = D1 ('MetaData "UpgradeAlonzoPParams" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.17.0.0-inplace" 'False) (C1 ('MetaCons "UpgradeAlonzoPParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "uappCoinsPerUTxOWord") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CoinPerWord)) :*: S1 ('MetaSel ('Just "uappPlutusV1CostModel") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CostModel))) :*: (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 Word32))) :*: (S1 ('MetaSel ('Just "uappCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16)) :*: S1 ('MetaSel ('Just "uappMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16))))))

newtype DowngradeAlonzoPParams (f ∷ Type → Type) Source #

Parameters that were removed in Alonzo

Constructors

DowngradeAlonzoPParams 

Fields

Instances

Instances details
NFData (DowngradeAlonzoPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

rnf ∷ DowngradeAlonzoPParams Identity → () #

Generic (DowngradeAlonzoPParams f) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Associated Types

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.17.0.0-inplace" 'True) (C1 ('MetaCons "DowngradeAlonzoPParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "dappMinUTxOValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HKD f (CompactForm Coin)))))

Methods

from ∷ DowngradeAlonzoPParams f → Rep (DowngradeAlonzoPParams f) x #

to ∷ Rep (DowngradeAlonzoPParams f) x → DowngradeAlonzoPParams f #

Show (DowngradeAlonzoPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

showsPrec ∷ Int → DowngradeAlonzoPParams Identity → ShowS #

show ∷ DowngradeAlonzoPParams Identity → String #

showList ∷ [DowngradeAlonzoPParams Identity] → ShowS #

Eq (DowngradeAlonzoPParams Identity) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

(==) ∷ DowngradeAlonzoPParams Identity → DowngradeAlonzoPParams Identity → Bool #

(/=) ∷ DowngradeAlonzoPParams Identity → DowngradeAlonzoPParams Identity → Bool #

NoThunks (DowngradeAlonzoPParams Identity) Source # 
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) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type Rep (DowngradeAlonzoPParams f) = D1 ('MetaData "DowngradeAlonzoPParams" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.17.0.0-inplace" 'True) (C1 ('MetaCons "DowngradeAlonzoPParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "dappMinUTxOValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HKD f (CompactForm Coin)))))

emptyAlonzoPParams ∷ Era era ⇒ AlonzoPParams Identity era Source #

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

emptyAlonzoPParamsUpdate ∷ AlonzoPParams StrictMaybe era Source #

upgradeAlonzoPParams ∷ ∀ (f ∷ Type → Type) era1 era2. HKDFunctor f ⇒ UpgradeAlonzoPParams f → ShelleyPParams f era1 → AlonzoPParams f era2 Source #

Given the missing pieces, turn a ShelleyPParams into a AlonzoPParams

downgradeAlonzoPParams ∷ ∀ (f ∷ Type → Type) era2 era1. DowngradeAlonzoPParams f → AlonzoPParams f era2 → ShelleyPParams f era1 Source #

Turn an AlonzoPParams into a ShelleyParams

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

data LangDepView Source #

Constructors

LangDepView 

Fields

Instances

Instances details
Generic LangDepView Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Associated Types

type Rep LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

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

Methods

from ∷ LangDepView → Rep LangDepView x #

to ∷ Rep LangDepView x → LangDepView #

Show LangDepView Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

showsPrec ∷ Int → LangDepView → ShowS #

show ∷ LangDepView → String #

showList ∷ [LangDepView] → ShowS #

Eq LangDepView Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

(==) ∷ LangDepView → LangDepView → Bool #

(/=) ∷ LangDepView → LangDepView → Bool #

Ord LangDepView Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

compare ∷ LangDepView → LangDepView → Ordering #

(<) ∷ LangDepView → LangDepView → Bool #

(<=) ∷ LangDepView → LangDepView → Bool #

(>) ∷ LangDepView → LangDepView → Bool #

(>=) ∷ LangDepView → LangDepView → Bool #

max ∷ LangDepView → LangDepView → LangDepView #

min ∷ LangDepView → LangDepView → LangDepView #

NoThunks LangDepView Source # 
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 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

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

encodeLangViews ∷ Set LangDepView → Encoding Source #

newtype CoinPerWord Source #

Constructors

CoinPerWord 

Fields

Instances

Instances details
FromJSON CoinPerWord Source # 
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 Source # 
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 #

DecCBOR CoinPerWord Source # 
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 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

encCBOR ∷ CoinPerWord → Encoding Source #

ToPlutusData CoinPerWord Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

toPlutusData ∷ CoinPerWord → Data Source #

fromPlutusData ∷ Data → Maybe CoinPerWord Source #

NFData CoinPerWord Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

rnf ∷ CoinPerWord → () #

Show CoinPerWord Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

showsPrec ∷ Int → CoinPerWord → ShowS #

show ∷ CoinPerWord → String #

showList ∷ [CoinPerWord] → ShowS #

Eq CoinPerWord Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

(==) ∷ CoinPerWord → CoinPerWord → Bool #

(/=) ∷ CoinPerWord → CoinPerWord → Bool #

Ord CoinPerWord Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

compare ∷ CoinPerWord → CoinPerWord → Ordering #

(<) ∷ CoinPerWord → CoinPerWord → Bool #

(<=) ∷ CoinPerWord → CoinPerWord → Bool #

(>) ∷ CoinPerWord → CoinPerWord → Bool #

(>=) ∷ CoinPerWord → CoinPerWord → Bool #

max ∷ CoinPerWord → CoinPerWord → CoinPerWord #

min ∷ CoinPerWord → CoinPerWord → CoinPerWord #

NoThunks CoinPerWord Source # 
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 #

PParam

ppCollateralPercentage ∷ AlonzoEraPParams era ⇒ PParam era Source #

ppCostModels ∷ AlonzoEraPParams era ⇒ PParam era Source #

ppMaxBlockExUnits ∷ AlonzoEraPParams era ⇒ PParam era Source #

ppMaxCollateralInputs ∷ AlonzoEraPParams era ⇒ PParam era Source #

ppMaxTxExUnits ∷ AlonzoEraPParams era ⇒ PParam era Source #

ppMaxValSize ∷ AlonzoEraPParams era ⇒ PParam era Source #

ppPrices ∷ AlonzoEraPParams era ⇒ PParam era Source #

Deprecated

appMinFeeA ∷ ∀ era (f ∷ Type → Type). HKDFunctor f ⇒ AlonzoPParams f era → HKD f Coin Source #

Deprecated: In favor of appTxFeePerByte

appMinFeeB ∷ ∀ era (f ∷ Type → Type). HKDFunctor f ⇒ AlonzoPParams f era → HKD f Coin Source #

Deprecated: In favor of appTxFeeFixed

Orphan instances

EraPParams AlonzoEra Source # 
Instance details

Associated Types

type PParamsHKD f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type PParamsHKD f AlonzoEra = AlonzoPParams f AlonzoEra
type UpgradePParams f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type UpgradePParams f AlonzoEra = UpgradeAlonzoPParams f
type DowngradePParams f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type DowngradePParams f AlonzoEra = DowngradeAlonzoPParams f

Methods

applyPPUpdates ∷ PParams AlonzoEra → PParamsUpdate AlonzoEra → PParams AlonzoEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity AlonzoEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe AlonzoEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe AlonzoEra Source #

upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, HKDSemialign f, EraPParams (PreviousEra AlonzoEra)) ⇒ UpgradePParams f AlonzoEra → PParamsHKD f (PreviousEra AlonzoEra) → PParamsHKD f AlonzoEra Source #

downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra AlonzoEra)) ⇒ DowngradePParams f AlonzoEra → PParamsHKD f AlonzoEra → PParamsHKD f (PreviousEra AlonzoEra) Source #

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

hkdTxFeeFixedCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Word16) Source #

hkdKeyDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdPoolDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Word16) Source #

hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f UnitInterval) Source #

ppDG ∷ SimpleGetter (PParams AlonzoEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Babbage" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f ProtVer) Source #

ppProtocolVersionL ∷ Lens' (PParams AlonzoEra) ProtVer Source #

ppuProtocolVersionL ∷ Lens' (PParamsUpdate AlonzoEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueCompactL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Mary" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdMinPoolCostCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

ppMaxPledgeLeverageG ∷ SimpleGetter (PParams AlonzoEra) MaxPledgeLeverage Source #

ppMinPoolMarginG ∷ SimpleGetter (PParams AlonzoEra) UnitInterval Source #

eraPParams ∷ [PParam AlonzoEra] Source #

EraGov AlonzoEra Source # 
Instance details

Associated Types

type GovState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type GovState AlonzoEra = ShelleyGovState AlonzoEra

Methods

emptyGovState ∷ GovState AlonzoEra Source #

curPParamsGovStateL ∷ Lens' (GovState AlonzoEra) (PParams AlonzoEra) Source #

prevPParamsGovStateL ∷ Lens' (GovState AlonzoEra) (PParams AlonzoEra) Source #

futurePParamsGovStateL ∷ Lens' (GovState AlonzoEra) (FuturePParams AlonzoEra) Source #

obligationGovState ∷ GovState AlonzoEra → Obligations Source #