cardano-ledger-alonzo-1.15.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 Natural) Source #

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

hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Natural) 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 Natural) Source #

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

hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Natural) 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) Natural Source #

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

ppMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural 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 Natural) Source #

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

ppuMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) 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.15.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoPParams" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "appMinFeeA") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin)) :*: (S1 ('MetaSel ('Just "appMinFeeB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f 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 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 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 Natural)) :*: (S1 ('MetaSel ('Just "appCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural)) :*: S1 ('MetaSel ('Just "appMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural))))))))

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.15.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoPParams" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "appMinFeeA") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin)) :*: (S1 ('MetaSel ('Just "appMinFeeB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f 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 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 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 Natural)) :*: (S1 ('MetaSel ('Just "appCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural)) :*: S1 ('MetaSel ('Just "appMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural))))))))

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.15.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 Natural))) :*: (S1 ('MetaSel ('Just "uappCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural)) :*: S1 ('MetaSel ('Just "uappMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural))))))

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

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.15.0.0-inplace" 'True) (C1 ('MetaCons "DowngradeAlonzoPParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "dappMinUTxOValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HKD f 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.15.0.0-inplace" 'True) (C1 ('MetaCons "DowngradeAlonzoPParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "dappMinUTxOValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HKD f 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.15.0.0-inplace" 'False) (C1 ('MetaCons "LangDepView" 'PrefixI 'True) (S1 ('MetaSel ('Just "tag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Methods

from ∷ LangDepView → Rep LangDepView x #

to ∷ Rep LangDepView x → LangDepView #

Show LangDepView 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.15.0.0-inplace" 'False) (C1 ('MetaCons "LangDepView" 'PrefixI 'True) (S1 ('MetaSel ('Just "tag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

encodeLangViews ∷ Set LangDepView → Encoding Source #

newtype OrdExUnits Source #

This is a helper type that allows us to define an Ord instance for executions units without affecting the ExUnits type. This is needed in order to derive an Ord instance` for PParams. This is just a helper type and should not be used directly. Both lenses that operate on TxExUnits and BlockExUnits use the ExUnits type, not this one.

Constructors

OrdExUnits 

Fields

Instances

Instances details
FromJSON OrdExUnits Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

parseJSON ∷ Value → Parser OrdExUnits Source #

parseJSONList ∷ Value → Parser [OrdExUnits] Source #

omittedField ∷ Maybe OrdExUnits Source #

ToJSON OrdExUnits Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

toJSON ∷ OrdExUnits → Value Source #

toEncoding ∷ OrdExUnits → Encoding Source #

toJSONList ∷ [OrdExUnits] → Value Source #

toEncodingList ∷ [OrdExUnits] → Encoding Source #

omitField ∷ OrdExUnits → Bool Source #

DecCBOR OrdExUnits Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

decCBOR ∷ Decoder s OrdExUnits Source #

dropCBOR ∷ Proxy OrdExUnits → Decoder s () Source #

label ∷ Proxy OrdExUnits → Text Source #

EncCBOR OrdExUnits Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

encCBOR ∷ OrdExUnits → Encoding Source #

NFData OrdExUnits Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

rnf ∷ OrdExUnits → () #

Show OrdExUnits Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

showsPrec ∷ Int → OrdExUnits → ShowS #

show ∷ OrdExUnits → String #

showList ∷ [OrdExUnits] → ShowS #

Eq OrdExUnits Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

(==) ∷ OrdExUnits → OrdExUnits → Bool #

(/=) ∷ OrdExUnits → OrdExUnits → Bool #

Ord OrdExUnits Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

compare ∷ OrdExUnits → OrdExUnits → Ordering #

(<) ∷ OrdExUnits → OrdExUnits → Bool #

(<=) ∷ OrdExUnits → OrdExUnits → Bool #

(>) ∷ OrdExUnits → OrdExUnits → Bool #

(>=) ∷ OrdExUnits → OrdExUnits → Bool #

max ∷ OrdExUnits → OrdExUnits → OrdExUnits #

min ∷ OrdExUnits → OrdExUnits → OrdExUnits #

NoThunks OrdExUnits Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

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

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

showTypeOf ∷ Proxy OrdExUnits → String 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 #

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

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

hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f 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 #

hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f 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 #

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

hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Coin) 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 #