PParams

TranslateEra AlonzoEra PParams

Associated Types

type TranslationError AllegraEra PParams
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra PParams = Void

Methods

translateEra ∷ TranslationContext AllegraEra → PParams (PreviousEra AllegraEra) → Except (TranslationError AllegraEra PParams) (PParams AllegraEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra PParams
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra PParams = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → PParams (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra PParams) (PParams AlonzoEra) Source #

TranslateEra BabbageEra PParams

Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError BabbageEra PParams
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra PParams = Void

Methods

translateEra ∷ TranslationContext BabbageEra → PParams (PreviousEra BabbageEra) → Except (TranslationError BabbageEra PParams) (PParams BabbageEra) Source #

TranslateEra ConwayEra PParams

Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError ConwayEra PParams
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra PParams = Void

Methods

translateEra ∷ TranslationContext ConwayEra → PParams (PreviousEra ConwayEra) → Except (TranslationError ConwayEra PParams) (PParams ConwayEra) Source #

TranslateEra DijkstraEra PParams

Instance details

Defined in Cardano.Ledger.Dijkstra.Translation

Associated Types

type TranslationError DijkstraEra PParams
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra PParams = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → PParams (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra PParams) (PParams DijkstraEra) Source #

TranslateEra MaryEra PParams

Instance details

Associated Types

type TranslationError MaryEra PParams
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PParams = Void

Methods

translateEra ∷ TranslationContext MaryEra → PParams (PreviousEra MaryEra) → Except (TranslationError MaryEra PParams) (PParams MaryEra) Source #

EraPParams era ⇒ FromJSON (PParams era)

Instance details

Methods

parseJSON ∷ Value → Parser (PParams era) Source #

parseJSONList ∷ Value → Parser [PParams era] Source #

omittedField ∷ Maybe (PParams era) Source #

EraPParams era ⇒ ToJSON (PParams era)

Instance details

Methods

toJSON ∷ PParams era → Value Source #

toEncoding ∷ PParams era → Encoding Source #

toJSONList ∷ [PParams era] → Value Source #

toEncodingList ∷ [PParams era] → Encoding Source #

omitField ∷ PParams era → Bool Source #

EraPParams era ⇒ FromCBOR (PParams era)

Instance details

Methods

fromCBOR ∷ Decoder s (PParams era) Source #

label ∷ Proxy (PParams era) → Text Source #

EraPParams era ⇒ ToCBOR (PParams era)

Instance details

Methods

toCBOR ∷ PParams era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PParams era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PParams era] → Size Source #

EraPParams era ⇒ DecCBOR (PParams era)

Instance details

Methods

decCBOR ∷ Decoder s (PParams era) Source #

dropCBOR ∷ Proxy (PParams era) → Decoder s () Source #

label ∷ Proxy (PParams era) → Text Source #

EraPParams era ⇒ EncCBOR (PParams era)

Instance details

Methods

encCBOR ∷ PParams era → Encoding Source #

EraPParams era ⇒ ToKeyValuePairs (PParams era)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ PParams era → [kv] Source #

EraPParams era ⇒ Default (PParams era)

Instance details

Methods

def ∷ PParams era Source #

NFData (PParamsHKD Identity era) ⇒ NFData (PParams era)

Instance details

Methods

rnf ∷ PParams era → () #

Generic (PParams era)

Instance details

Associated Types

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.24.0.0-inplace" 'True) (C1 ('MetaCons "PParams" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD Identity era))))

Methods

from ∷ PParams era → Rep (PParams era) x #

to ∷ Rep (PParams era) x → PParams era #

Show (PParamsHKD Identity era) ⇒ Show (PParams era)

Instance details

Methods

showsPrec ∷ Int → PParams era → ShowS #

show ∷ PParams era → String #

showList ∷ [PParams era] → ShowS #

Eq (PParamsHKD Identity era) ⇒ Eq (PParams era)

Instance details

Methods

(==) ∷ PParams era → PParams era → Bool #

(/=) ∷ PParams era → PParams era → Bool #

Ord (PParamsHKD Identity era) ⇒ Ord (PParams era)

Instance details

Methods

compare ∷ PParams era → PParams era → Ordering #

(<) ∷ PParams era → PParams era → Bool #

(<=) ∷ PParams era → PParams era → Bool #

(>) ∷ PParams era → PParams era → Bool #

(>=) ∷ PParams era → PParams era → Bool #

max ∷ PParams era → PParams era → PParams era #

min ∷ PParams era → PParams era → PParams era #

NoThunks (PParamsHKD Identity era) ⇒ NoThunks (PParams era)

Instance details

Methods

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

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

showTypeOf ∷ Proxy (PParams era) → String Source #

type TranslationError AllegraEra PParams

Instance details

type TranslationError AllegraEra PParams = Void

type TranslationError AlonzoEra PParams

Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra PParams = Void

type TranslationError BabbageEra PParams

Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra PParams = Void

type TranslationError ConwayEra PParams

Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError ConwayEra PParams = Void

type TranslationError DijkstraEra PParams

Instance details

Defined in Cardano.Ledger.Dijkstra.Translation

type TranslationError DijkstraEra PParams = Void

type TranslationError MaryEra PParams

Instance details

type TranslationError MaryEra PParams = Void

type Rep (PParams era)

Instance details

TranslateEra AllegraEra PParamsUpdate

type Rep (PParams era) = D1 ('MetaData "PParams" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.24.0.0-inplace" 'True) (C1 ('MetaCons "PParams" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD Identity era))))

emptyPParams ∷ EraPParams era ⇒ PParams era Source #

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

Instances

Instances details

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

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

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

Instances

Instances details

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

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

PParamsUpdate

data PParamsUpdate era Source #

The type of updates to Protocol parameters

Instances

Instances details

Instance details

TranslateEra MaryEra PParamsUpdate

Associated Types

type TranslationError AllegraEra PParamsUpdate
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra PParamsUpdate = Void

Methods

translateEra ∷ TranslationContext AllegraEra → PParamsUpdate (PreviousEra AllegraEra) → Except (TranslationError AllegraEra PParamsUpdate) (PParamsUpdate AllegraEra) Source #

Instance details

Associated Types

type TranslationError MaryEra PParamsUpdate
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra PParamsUpdate = Void

Methods

translateEra ∷ TranslationContext MaryEra → PParamsUpdate (PreviousEra MaryEra) → Except (TranslationError MaryEra PParamsUpdate) (PParamsUpdate MaryEra) Source #

EraPParams era ⇒ FromJSON (PParamsUpdate era)

Instance details

Methods

parseJSON ∷ Value → Parser (PParamsUpdate era) Source #

parseJSONList ∷ Value → Parser [PParamsUpdate era] Source #

omittedField ∷ Maybe (PParamsUpdate era) Source #

EraPParams era ⇒ ToJSON (PParamsUpdate era)

Instance details

Methods

toJSON ∷ PParamsUpdate era → Value Source #

toEncoding ∷ PParamsUpdate era → Encoding Source #

toJSONList ∷ [PParamsUpdate era] → Value Source #

toEncodingList ∷ [PParamsUpdate era] → Encoding Source #

omitField ∷ PParamsUpdate era → Bool Source #

EraPParams era ⇒ FromCBOR (PParamsUpdate era)

Instance details

Methods

fromCBOR ∷ Decoder s (PParamsUpdate era) Source #

label ∷ Proxy (PParamsUpdate era) → Text Source #

EraPParams era ⇒ ToCBOR (PParamsUpdate era)

Instance details

Methods

toCBOR ∷ PParamsUpdate era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PParamsUpdate era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PParamsUpdate era] → Size Source #

EraPParams era ⇒ DecCBOR (PParamsUpdate era)

Instance details

Methods

decCBOR ∷ Decoder s (PParamsUpdate era) Source #

dropCBOR ∷ Proxy (PParamsUpdate era) → Decoder s () Source #

label ∷ Proxy (PParamsUpdate era) → Text Source #

EraPParams era ⇒ EncCBOR (PParamsUpdate era)

Instance details

Methods

encCBOR ∷ PParamsUpdate era → Encoding Source #

EraPParams era ⇒ ToKeyValuePairs (PParamsUpdate era)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ PParamsUpdate era → [kv] Source #

ConwayEraPParams era ⇒ ToPlutusData (PParamsUpdate era)

Instance details

Methods

toPlutusData ∷ PParamsUpdate era → Data Source #

fromPlutusData ∷ Data → Maybe (PParamsUpdate era) Source #

EraPParams era ⇒ Default (PParamsUpdate era)

Instance details

Methods

def ∷ PParamsUpdate era Source #

NFData (PParamsHKD StrictMaybe era) ⇒ NFData (PParamsUpdate era)

Instance details

Methods

rnf ∷ PParamsUpdate era → () #

Generic (PParamsUpdate era)

Instance details

Associated Types

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.24.0.0-inplace" 'True) (C1 ('MetaCons "PParamsUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD StrictMaybe era))))

Methods

from ∷ PParamsUpdate era → Rep (PParamsUpdate era) x #

to ∷ Rep (PParamsUpdate era) x → PParamsUpdate era #

Show (PParamsHKD StrictMaybe era) ⇒ Show (PParamsUpdate era)

Instance details

Methods

showsPrec ∷ Int → PParamsUpdate era → ShowS #

show ∷ PParamsUpdate era → String #

showList ∷ [PParamsUpdate era] → ShowS #

Eq (PParamsHKD StrictMaybe era) ⇒ Eq (PParamsUpdate era)

Instance details

Methods

(==) ∷ PParamsUpdate era → PParamsUpdate era → Bool #

(/=) ∷ PParamsUpdate era → PParamsUpdate era → Bool #

Ord (PParamsHKD StrictMaybe era) ⇒ Ord (PParamsUpdate era)

Instance details

Methods

compare ∷ PParamsUpdate era → PParamsUpdate era → Ordering #

(<) ∷ PParamsUpdate era → PParamsUpdate era → Bool #

(<=) ∷ PParamsUpdate era → PParamsUpdate era → Bool #

(>) ∷ PParamsUpdate era → PParamsUpdate era → Bool #

(>=) ∷ PParamsUpdate era → PParamsUpdate era → Bool #

max ∷ PParamsUpdate era → PParamsUpdate era → PParamsUpdate era #

min ∷ PParamsUpdate era → PParamsUpdate era → PParamsUpdate era #

NoThunks (PParamsHKD StrictMaybe era) ⇒ NoThunks (PParamsUpdate era)

Instance details

Methods

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

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

showTypeOf ∷ Proxy (PParamsUpdate era) → String Source #

type TranslationError AllegraEra PParamsUpdate

Instance details

type TranslationError AllegraEra PParamsUpdate = Void

type TranslationError MaryEra PParamsUpdate

Instance details

type TranslationError MaryEra PParamsUpdate = Void

type Rep (PParamsUpdate era)

Instance details

type Rep (PParamsUpdate era) = D1 ('MetaData "PParamsUpdate" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.24.0.0-inplace" 'True) (C1 ('MetaCons "PParamsUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD StrictMaybe era))))

emptyPParamsUpdate ∷ EraPParams era ⇒ PParamsUpdate era Source #

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

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

Shelley params

Protocol parameters introduced in Shelley era

`TxFeePerByte`

Min fee factor

ppTxFeePerByteL ∷ EraPParams era ⇒ Lens' (PParams era) CoinPerByte Source #

The linear factor for the minimum fee calculation

ppuTxFeePerByteL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte) Source #

The linear factor for the minimum fee calculation

Deprecated

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

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

`TxFeeFixed`

Min fee constant

ppTxFeeFixedL ∷ (EraPParams era, HasCallStack) ⇒ Lens' (PParams era) Coin Source #

The constant factor for the minimum fee calculation

ppuTxFeeFixedL ∷ (EraPParams era, HasCallStack) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

The constant factor for the minimum fee calculation

Deprecated

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

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

`MaxBBSize`

Max block body size

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

Maximal block body size

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

Maximal block body size

`AaxBHSize`

Max block header size

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

Maximal block header size

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

Maximal block header size

`PoolDeposit`

Stake pool deposit

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

The amount of a pool registration deposit

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

The amount of a pool registration deposit. The value must be small enough to fit into a Word64.

`EMax`

Epoch bound on pool retirement

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

epoch bound on pool retirement

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

epoch bound on pool retirement

`NOpt`

Desired number of pools

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

Desired number of pools

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

Desired number of pools

`A0`

Pool influence

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

Pool influence

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

Pool influence

`Tau`

Treasury expansion

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

Treasury expansion

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

Treasury expansion

`Rho`

Monetary expansion

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

Monetary expansion

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

Monetary expansion

`D`

Decentralization paramteter

Note - Removed in Babbage

ppDL ∷ (EraPParams era, AtMostEra "Alonzo" era) ⇒ Lens' (PParams era) UnitInterval Source #

Decentralization parameter

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

Decentralization parameter getter

ppuDL ∷ (EraPParams era, AtMostEra "Alonzo" era) ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) Source #

Decentralization parameter

`ExtraEntropy`

Extra entropy

Note - Removed in Babbage

ppExtraEntropyL ∷ (EraPParams era, AtMostEra "Alonzo" era) ⇒ Lens' (PParams era) Nonce Source #

Extra entropy

ppuExtraEntropyL ∷ (EraPParams era, AtMostEra "Alonzo" era) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Nonce) Source #

Extra entropy

`ProtocolVersion`

Protocol version

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

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

PParamsUpdate Protocol version

`MinUTxOValue`

Minimum allowed value of a new TxOut

ppuMinUTxOValueL ∷ (EraPParams era, AtMostEra "Mary" era, HasCallStack) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

Minimum UTxO value

ppMinUTxOValueL ∷ (EraPParams era, AtMostEra "Mary" era, HasCallStack) ⇒ Lens' (PParams era) Coin Source #

Minimum UTxO value

`MinPoolCast`

Miminum allowed stake pool cost

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

Minimum Stake Pool Cost

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

Minimum Stake Pool Cost

`KeyDeposit`

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

The amount of a key registration deposit

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

The amount of a key registration deposit

`MaxTxSize`

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

Maximal transaction size

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

Maximal transaction size

Alonzo params

Protocol parameters introduced in Alonzo era

data UpgradeAlonzoPParams (f ∷ Type → Type) Source #

Parameters that were added in Alonzo

Constructors

UpgradeAlonzoPParams
Fields uappCoinsPerUTxOWord ∷ !(HKD f CoinPerWord) uappPlutusV1CostModel ∷ !(HKD f CostModel) uappPrices ∷ !(HKD f Prices) uappMaxTxExUnits ∷ !(HKD f ExUnits) uappMaxBlockExUnits ∷ !(HKD f ExUnits) uappMaxValSize ∷ !(HKD f Word32) uappCollateralPercentage ∷ !(HKD f Word16) uappMaxCollateralInputs ∷ !(HKD f Word16)

Instances

Instances details

Default (UpgradeAlonzoPParams StrictMaybe)

Instance details

Methods

def ∷ UpgradeAlonzoPParams StrictMaybe Source #

NFData (UpgradeAlonzoPParams Identity)

Instance details

Methods

rnf ∷ UpgradeAlonzoPParams Identity → () #

Generic (UpgradeAlonzoPParams f)

Instance details

Associated Types

type Rep (UpgradeAlonzoPParams f)

Instance details

Methods

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

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

Show (UpgradeAlonzoPParams Identity)

Instance details

Methods

showsPrec ∷ Int → UpgradeAlonzoPParams Identity → ShowS #

show ∷ UpgradeAlonzoPParams Identity → String #

showList ∷ [UpgradeAlonzoPParams Identity] → ShowS #

Eq (UpgradeAlonzoPParams Identity)

Instance details

Methods

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

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

NoThunks (UpgradeAlonzoPParams Identity)

Instance details

Methods

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

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

showTypeOf ∷ Proxy (UpgradeAlonzoPParams Identity) → String Source #

type Rep (UpgradeAlonzoPParams f)

Instance details

newtype DowngradeAlonzoPParams (f ∷ Type → Type) Source #

Parameters that were removed in Alonzo

Constructors

DowngradeAlonzoPParams
Fields dappMinUTxOValue ∷ HKD f (CompactForm Coin)

Instances

Instances details

NFData (DowngradeAlonzoPParams Identity)

Instance details

Methods

rnf ∷ DowngradeAlonzoPParams Identity → () #

Generic (DowngradeAlonzoPParams f)

Instance details

Associated Types

type Rep (DowngradeAlonzoPParams f)

Instance details

type Rep (DowngradeAlonzoPParams f) = D1 ('MetaData "DowngradeAlonzoPParams" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.19.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)

Instance details

Methods

showsPrec ∷ Int → DowngradeAlonzoPParams Identity → ShowS #

show ∷ DowngradeAlonzoPParams Identity → String #

showList ∷ [DowngradeAlonzoPParams Identity] → ShowS #

Eq (DowngradeAlonzoPParams Identity)

Instance details

Methods

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

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

NoThunks (DowngradeAlonzoPParams Identity)

Instance details

Methods

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

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

showTypeOf ∷ Proxy (DowngradeAlonzoPParams Identity) → String Source #

type Rep (DowngradeAlonzoPParams f)

Instance details

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

data LangDepView Source #

Constructors

LangDepView
Fields tag ∷ ByteString params ∷ ByteString

Instances

Instances details

Generic LangDepView

Instance details

Associated Types

type Rep LangDepView

Instance details

type Rep LangDepView = D1 ('MetaData "LangDepView" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.19.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

Instance details

Methods

showsPrec ∷ Int → LangDepView → ShowS #

show ∷ LangDepView → String #

showList ∷ [LangDepView] → ShowS #

Eq LangDepView

Instance details

Methods

(==) ∷ LangDepView → LangDepView → Bool #

(/=) ∷ LangDepView → LangDepView → Bool #

Ord LangDepView

Instance details

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

Instance details

Methods

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

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

showTypeOf ∷ Proxy LangDepView → String Source #

type Rep LangDepView

Instance details

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

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

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

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

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

`Prices`

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

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

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

`MaxTxExUnits`

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

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

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

`MaxBlockExUnits`

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

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

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

`MaxValSize`

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

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

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

`CoinsPerUTxOWord`

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

newtype CoinPerWord Source #

Constructors

CoinPerWord
Fields unCoinPerWord ∷ Coin

Instances

Instances details

FromJSON CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods parseJSON ∷ Value → Parser CoinPerWord Source # parseJSONList ∷ Value → Parser [CoinPerWord] Source # omittedField ∷ Maybe CoinPerWord Source #
ToJSON CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON ∷ CoinPerWord → Value Source # toEncoding ∷ CoinPerWord → Encoding Source # toJSONList ∷ [CoinPerWord] → Value Source # toEncodingList ∷ [CoinPerWord] → Encoding Source # omitField ∷ CoinPerWord → Bool Source #
DecCBOR CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods decCBOR ∷ Decoder s CoinPerWord Source # dropCBOR ∷ Proxy CoinPerWord → Decoder s () Source # label ∷ Proxy CoinPerWord → Text Source #
EncCBOR CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods encCBOR ∷ CoinPerWord → Encoding Source #
ToPlutusData CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toPlutusData ∷ CoinPerWord → Data Source # fromPlutusData ∷ Data → Maybe CoinPerWord Source #
NFData CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods rnf ∷ CoinPerWord → () #
Show CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods showsPrec ∷ Int → CoinPerWord → ShowS # show ∷ CoinPerWord → String # showList ∷ [CoinPerWord] → ShowS #
Eq CoinPerWord
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods (==) ∷ CoinPerWord → CoinPerWord → Bool # (/=) ∷ CoinPerWord → CoinPerWord → Bool #
Ord CoinPerWord
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
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods noThunks ∷ Context → CoinPerWord → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CoinPerWord → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CoinPerWord → String Source #

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

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

`CollateralPercentage`

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

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

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

`MaxCollateralInputs`

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

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

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

Babbage params

Protocol parameters introduced in Babbage era

data DowngradeBabbagePParams (f ∷ Type → Type) Source #

Constructors

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

`CoinsPerUTxOByte`

Cost in the amount of lovelace ber byte.

Note - This parameter is a replacement for coinsPerUTxOWord

newtype CoinPerByte Source #

Constructors

CoinPerByte
Fields unCoinPerByte ∷ CompactForm Coin

Instances

Instances details

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

coinsPerUTxOWordToCoinsPerUTxOByte ∷ CoinPerWord → CoinPerByte Source #

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

coinsPerUTxOByteToCoinsPerUTxOWord ∷ CoinPerByte → CoinPerWord Source #

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

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

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

Conway params

Protocol parameters introduced in Conway era

data UpgradeConwayPParams (f ∷ Type → Type) Source #

Constructors

UpgradeConwayPParams

Fields

ucppPoolVotingThresholds ∷ !(HKD f PoolVotingThresholds)
ucppDRepVotingThresholds ∷ !(HKD f DRepVotingThresholds)
ucppCommitteeMinSize ∷ !(HKD f Word16)
ucppCommitteeMaxTermLength ∷ !(HKD f EpochInterval)
ucppGovActionLifetime ∷ !(HKD f EpochInterval)
ucppGovActionDeposit ∷ !(HKD f Coin)
ucppDRepDeposit ∷ !(HKD f Coin)
ucppDRepActivity ∷ !(HKD f EpochInterval)
ucppMinFeeRefScriptCostPerByte ∷ !(HKD f NonNegativeInterval)
ucppPlutusV3CostModel ∷ !(HKD f CostModel)

Instances

Instances details

FromJSON (UpgradeConwayPParams Identity)

Instance details

Methods

parseJSON ∷ Value → Parser (UpgradeConwayPParams Identity) Source #

parseJSONList ∷ Value → Parser [UpgradeConwayPParams Identity] Source #

omittedField ∷ Maybe (UpgradeConwayPParams Identity) Source #

ToJSON (UpgradeConwayPParams Identity)

Instance details

Methods

toJSON ∷ UpgradeConwayPParams Identity → Value Source #

toEncoding ∷ UpgradeConwayPParams Identity → Encoding Source #

toJSONList ∷ [UpgradeConwayPParams Identity] → Value Source #

toEncodingList ∷ [UpgradeConwayPParams Identity] → Encoding Source #

omitField ∷ UpgradeConwayPParams Identity → Bool Source #

DecCBOR (UpgradeConwayPParams Identity)

Instance details

Methods

decCBOR ∷ Decoder s (UpgradeConwayPParams Identity) Source #

dropCBOR ∷ Proxy (UpgradeConwayPParams Identity) → Decoder s () Source #

label ∷ Proxy (UpgradeConwayPParams Identity) → Text Source #

EncCBOR (UpgradeConwayPParams Identity)

Instance details

Methods

encCBOR ∷ UpgradeConwayPParams Identity → Encoding Source #

ToKeyValuePairs (UpgradeConwayPParams Identity)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ UpgradeConwayPParams Identity → [kv] Source #

Default (UpgradeConwayPParams StrictMaybe)

Instance details

Methods

def ∷ UpgradeConwayPParams StrictMaybe Source #

NFData (UpgradeConwayPParams StrictMaybe)

Instance details

Methods

rnf ∷ UpgradeConwayPParams StrictMaybe → () #

NFData (UpgradeConwayPParams Identity)

Instance details

Methods

rnf ∷ UpgradeConwayPParams Identity → () #

Generic (UpgradeConwayPParams f)

Instance details

Associated Types

type Rep (UpgradeConwayPParams f)

Instance details

Methods

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

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

Show (UpgradeConwayPParams StrictMaybe)

Instance details

Methods

showsPrec ∷ Int → UpgradeConwayPParams StrictMaybe → ShowS #

show ∷ UpgradeConwayPParams StrictMaybe → String #

showList ∷ [UpgradeConwayPParams StrictMaybe] → ShowS #

Show (UpgradeConwayPParams Identity)

Instance details

Methods

showsPrec ∷ Int → UpgradeConwayPParams Identity → ShowS #

show ∷ UpgradeConwayPParams Identity → String #

showList ∷ [UpgradeConwayPParams Identity] → ShowS #

Eq (UpgradeConwayPParams StrictMaybe)

Instance details

Methods

(==) ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Bool #

(/=) ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Bool #

Eq (UpgradeConwayPParams Identity)

Instance details

Methods

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

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

Ord (UpgradeConwayPParams StrictMaybe)

Instance details

Methods

compare ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Ordering #

(<) ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Bool #

(<=) ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Bool #

(>) ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Bool #

(>=) ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → Bool #

max ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe #

min ∷ UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe → UpgradeConwayPParams StrictMaybe #

Ord (UpgradeConwayPParams Identity)

Instance details

Methods

compare ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → Ordering #

(<) ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → Bool #

(<=) ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → Bool #

(>) ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → Bool #

(>=) ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → Bool #

max ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → UpgradeConwayPParams Identity #

min ∷ UpgradeConwayPParams Identity → UpgradeConwayPParams Identity → UpgradeConwayPParams Identity #

NoThunks (UpgradeConwayPParams StrictMaybe)

Instance details

Methods

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

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

showTypeOf ∷ Proxy (UpgradeConwayPParams StrictMaybe) → String Source #

NoThunks (UpgradeConwayPParams Identity)

Instance details

Methods

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

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

showTypeOf ∷ Proxy (UpgradeConwayPParams Identity) → String Source #

type Rep (UpgradeConwayPParams f)

Instance details

FromJSON PoolVotingThresholds

`PoolVotingThresholds`

Thresholds for stake pool votes on governance actions

data PoolVotingThresholds Source #

Constructors

PoolVotingThresholds
Fields pvtMotionNoConfidence ∷ !UnitInterval pvtCommitteeNormal ∷ !UnitInterval pvtCommitteeNoConfidence ∷ !UnitInterval pvtHardForkInitiation ∷ !UnitInterval pvtPPSecurityGroup ∷ !UnitInterval

Instances

Instances details

Instance details

ToJSON PoolVotingThresholds

Methods

parseJSON ∷ Value → Parser PoolVotingThresholds Source #

parseJSONList ∷ Value → Parser [PoolVotingThresholds] Source #

omittedField ∷ Maybe PoolVotingThresholds Source #

Instance details

DecCBOR PoolVotingThresholds

Methods

toJSON ∷ PoolVotingThresholds → Value Source #

toEncoding ∷ PoolVotingThresholds → Encoding Source #

toJSONList ∷ [PoolVotingThresholds] → Value Source #

toEncodingList ∷ [PoolVotingThresholds] → Encoding Source #

omitField ∷ PoolVotingThresholds → Bool Source #

Instance details

EncCBOR PoolVotingThresholds

Methods

decCBOR ∷ Decoder s PoolVotingThresholds Source #

dropCBOR ∷ Proxy PoolVotingThresholds → Decoder s () Source #

label ∷ Proxy PoolVotingThresholds → Text Source #

Instance details

ToPlutusData PoolVotingThresholds

Methods

encCBOR ∷ PoolVotingThresholds → Encoding Source #

Instance details

Default PoolVotingThresholds

Methods

toPlutusData ∷ PoolVotingThresholds → Data Source #

fromPlutusData ∷ Data → Maybe PoolVotingThresholds Source #

Instance details

NFData PoolVotingThresholds

Methods

def ∷ PoolVotingThresholds Source #

Instance details

Generic PoolVotingThresholds

Methods

rnf ∷ PoolVotingThresholds → () #

Instance details

Associated Types

type Rep PoolVotingThresholds

Instance details

Show PoolVotingThresholds

type Rep PoolVotingThresholds = D1 ('MetaData "PoolVotingThresholds" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.25.0.0-inplace" 'False) (C1 ('MetaCons "PoolVotingThresholds" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pvtMotionNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "pvtCommitteeNormal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)) :*: (S1 ('MetaSel ('Just "pvtCommitteeNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: (S1 ('MetaSel ('Just "pvtHardForkInitiation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "pvtPPSecurityGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))))

Methods

from ∷ PoolVotingThresholds → Rep PoolVotingThresholds x #

to ∷ Rep PoolVotingThresholds x → PoolVotingThresholds #

Instance details

Methods

showsPrec ∷ Int → PoolVotingThresholds → ShowS #

show ∷ PoolVotingThresholds → String #

showList ∷ [PoolVotingThresholds] → ShowS #

Eq PoolVotingThresholds

Instance details

Methods

(==) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

(/=) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

Ord PoolVotingThresholds

Instance details

NoThunks PoolVotingThresholds

Methods

compare ∷ PoolVotingThresholds → PoolVotingThresholds → Ordering #

(<) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

(<=) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

(>) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

(>=) ∷ PoolVotingThresholds → PoolVotingThresholds → Bool #

max ∷ PoolVotingThresholds → PoolVotingThresholds → PoolVotingThresholds #

min ∷ PoolVotingThresholds → PoolVotingThresholds → PoolVotingThresholds #

Instance details

Methods

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

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

showTypeOf ∷ Proxy PoolVotingThresholds → String Source #

type Rep PoolVotingThresholds

Instance details

FromJSON DRepVotingThresholds

type Rep PoolVotingThresholds = D1 ('MetaData "PoolVotingThresholds" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.25.0.0-inplace" 'False) (C1 ('MetaCons "PoolVotingThresholds" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pvtMotionNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "pvtCommitteeNormal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)) :*: (S1 ('MetaSel ('Just "pvtCommitteeNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: (S1 ('MetaSel ('Just "pvtHardForkInitiation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "pvtPPSecurityGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))))

pvtMotionNoConfidenceL ∷ Lens' PoolVotingThresholds UnitInterval Source #

pvtCommitteeNormalL ∷ Lens' PoolVotingThresholds UnitInterval Source #

pvtCommitteeNoConfidenceL ∷ Lens' PoolVotingThresholds UnitInterval Source #

pvtHardForkInitiationL ∷ Lens' PoolVotingThresholds UnitInterval Source #

pvtPPSecurityGroupL ∷ Lens' PoolVotingThresholds UnitInterval Source #

ppPoolVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) PoolVotingThresholds Source #

ppuPoolVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe PoolVotingThresholds) Source #

`DRepVotingThresholds`

Thresholds for DRep votes on governance actions

data DRepVotingThresholds Source #

Constructors

DRepVotingThresholds

Fields

dvtMotionNoConfidence ∷ !UnitInterval
dvtCommitteeNormal ∷ !UnitInterval
dvtCommitteeNoConfidence ∷ !UnitInterval
dvtUpdateToConstitution ∷ !UnitInterval
dvtHardForkInitiation ∷ !UnitInterval
dvtPPNetworkGroup ∷ !UnitInterval
dvtPPEconomicGroup ∷ !UnitInterval
dvtPPTechnicalGroup ∷ !UnitInterval
dvtPPGovGroup ∷ !UnitInterval
dvtTreasuryWithdrawal ∷ !UnitInterval

Instances

Instances details

Instance details

ToJSON DRepVotingThresholds

Methods

parseJSON ∷ Value → Parser DRepVotingThresholds Source #

parseJSONList ∷ Value → Parser [DRepVotingThresholds] Source #

omittedField ∷ Maybe DRepVotingThresholds Source #

Instance details

DecCBOR DRepVotingThresholds

Methods

toJSON ∷ DRepVotingThresholds → Value Source #

toEncoding ∷ DRepVotingThresholds → Encoding Source #

toJSONList ∷ [DRepVotingThresholds] → Value Source #

toEncodingList ∷ [DRepVotingThresholds] → Encoding Source #

omitField ∷ DRepVotingThresholds → Bool Source #

Instance details

EncCBOR DRepVotingThresholds

Methods

decCBOR ∷ Decoder s DRepVotingThresholds Source #

dropCBOR ∷ Proxy DRepVotingThresholds → Decoder s () Source #

label ∷ Proxy DRepVotingThresholds → Text Source #

Instance details

ToPlutusData DRepVotingThresholds

Methods

encCBOR ∷ DRepVotingThresholds → Encoding Source #

Instance details

Default DRepVotingThresholds

Methods

toPlutusData ∷ DRepVotingThresholds → Data Source #

fromPlutusData ∷ Data → Maybe DRepVotingThresholds Source #

Instance details

NFData DRepVotingThresholds

Methods

def ∷ DRepVotingThresholds Source #

Instance details

Generic DRepVotingThresholds

Methods

rnf ∷ DRepVotingThresholds → () #

Instance details

Associated Types

type Rep DRepVotingThresholds

Instance details

Show DRepVotingThresholds

Methods

from ∷ DRepVotingThresholds → Rep DRepVotingThresholds x #

to ∷ Rep DRepVotingThresholds x → DRepVotingThresholds #

Instance details

Methods

showsPrec ∷ Int → DRepVotingThresholds → ShowS #

show ∷ DRepVotingThresholds → String #

showList ∷ [DRepVotingThresholds] → ShowS #

Eq DRepVotingThresholds

Instance details

Methods

(==) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

(/=) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

Ord DRepVotingThresholds

Instance details

NoThunks DRepVotingThresholds

Methods

compare ∷ DRepVotingThresholds → DRepVotingThresholds → Ordering #

(<) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

(<=) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

(>) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

(>=) ∷ DRepVotingThresholds → DRepVotingThresholds → Bool #

max ∷ DRepVotingThresholds → DRepVotingThresholds → DRepVotingThresholds #

min ∷ DRepVotingThresholds → DRepVotingThresholds → DRepVotingThresholds #

Instance details

Methods

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

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

showTypeOf ∷ Proxy DRepVotingThresholds → String Source #

type Rep DRepVotingThresholds

Instance details

dvtMotionNoConfidenceL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtCommitteeNormalL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtCommitteeNoConfidenceL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtUpdateToConstitutionL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtHardForkInitiationL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtPPNetworkGroupL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtPPEconomicGroupL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtPPTechnicalGroupL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtPPGovGroupL ∷ Lens' DRepVotingThresholds UnitInterval Source #

dvtTreasuryWithdrawalL ∷ Lens' DRepVotingThresholds UnitInterval Source #

ppDRepVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) DRepVotingThresholds Source #

ppuDRepVotingThresholdsL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe DRepVotingThresholds) Source #

`CommitteeMinSize`

Minimum size of the Constitutional Committee

ppCommitteeMinSizeL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Word16 Source #

ppuCommitteeMinSizeL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16) Source #

`CommitteeMaxTermLength`

Maximum term length of a Constitutional Committee member, in number of epochs

ppCommitteeMaxTermLengthL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

ppuCommitteeMaxTermLengthL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

`GovActionLifetime`

Number of epochs a governance action can remain active without being enacted before it expires

ppGovActionLifetimeL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

ppuGovActionLifetimeL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

`GovActionDeposit`

Deposit that has to be paid for submitting a governance action proposal

ppGovActionDepositL ∷ (ConwayEraPParams era, HasCallStack) ⇒ Lens' (PParams era) Coin Source #

ppuGovActionDepositL ∷ (ConwayEraPParams era, HasCallStack) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

`DRepDeposit`

Deposit that has to be paid for a DRep registration

ppDRepDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) Coin Source #

ppuDRepDepositL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

`DRepActivity`

Number of epochs that a DRep can perform no activity without losing their Active status

ppDRepActivityL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

ppuDRepActivityL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

`MinFeeRefScriptCostPerByte`

Base price in lovelace per byte of reference scripts used by a transaction, which is used for the reference scripts part of the minimum fee calculation

ppMinFeeRefScriptCostPerByteL ∷ ConwayEraPParams era ⇒ Lens' (PParams era) NonNegativeInterval Source #

ppuMinFeeRefScriptCostPerByteL ∷ ConwayEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval) Source #

Dijkstra params

Protocol parameters introduced in Dijkstra era

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

Constructors

UpgradeDijkstraPParams

Fields

udppMaxRefScriptSizePerBlock ∷ !(HKD f Word32)
udppMaxRefScriptSizePerTx ∷ !(HKD f Word32)
udppRefScriptCostStride ∷ !(HKD f (NonZero Word32))
udppRefScriptCostMultiplier ∷ !(HKD f PositiveInterval)
udppMaxPledgeLeverage ∷ !(HKD f MaxPledgeLeverage)
udppMinPoolMargin ∷ !(HKD f UnitInterval)
udppPlutusV4CostModel ∷ !(HKD f CostModel)
udppLeiosAnnouncementPeriodLength ∷ !(HKD f Milliseconds32)
udppLeiosVotePeriodLength ∷ !(HKD f Milliseconds32)
udppLeiosDiffusionPeriodLength ∷ !(HKD f Milliseconds32)
udppLeiosCommitteeSize ∷ !(HKD f Word16)
udppLeiosQuorumStakeThreshold ∷ !(HKD f UnitInterval)
udppMaxEndorserBlockReferencesSize ∷ !(HKD f Word32)
udppMaxEndorserBlockTxsSize ∷ !(HKD f Word32)
udppMaxEndorserBlockExUnits ∷ !(HKD f OrdExUnits)
udppMaxRefScriptSizePerEndorserBlock ∷ !(HKD f Word32)
udppPerasMinCandidateBlockAge ∷ !(HKD f SlotInterval)
udppPerasHealingFactor ∷ !(HKD f PositiveInterval)
udppPerasCertBoost ∷ !(HKD f Word16)
udppPerasTargetCommitteeSize ∷ !(HKD f Word16)
udppPerasBootstrapRound ∷ !(HKD f (StrictMaybe Word32))
udppPerasQuorumThresholdSafetyMargin ∷ !(HKD f UnitInterval)
udppRefInputsCostPerMultiAssetByte ∷ !(HKD f CoinPerByte)
udppRefInputsCostPerDatumByte ∷ !(HKD f CoinPerByte)

Instances

Instances details

FromJSON (UpgradeDijkstraPParams Identity era)

Instance details

Methods

parseJSON ∷ Value → Parser (UpgradeDijkstraPParams Identity era) Source #

parseJSONList ∷ Value → Parser [UpgradeDijkstraPParams Identity era] Source #

omittedField ∷ Maybe (UpgradeDijkstraPParams Identity era) Source #

ToJSON (UpgradeDijkstraPParams Identity era)

Instance details

Methods

toJSON ∷ UpgradeDijkstraPParams Identity era → Value Source #

toEncoding ∷ UpgradeDijkstraPParams Identity era → Encoding Source #

toJSONList ∷ [UpgradeDijkstraPParams Identity era] → Value Source #

toEncodingList ∷ [UpgradeDijkstraPParams Identity era] → Encoding Source #

omitField ∷ UpgradeDijkstraPParams Identity era → Bool Source #

Era era ⇒ DecCBOR (UpgradeDijkstraPParams Identity era)

Instance details

Methods

decCBOR ∷ Decoder s (UpgradeDijkstraPParams Identity era) Source #

dropCBOR ∷ Proxy (UpgradeDijkstraPParams Identity era) → Decoder s () Source #

label ∷ Proxy (UpgradeDijkstraPParams Identity era) → Text Source #

Era era ⇒ EncCBOR (UpgradeDijkstraPParams Identity era)

Instance details

Methods

encCBOR ∷ UpgradeDijkstraPParams Identity era → Encoding Source #

ToKeyValuePairs (UpgradeDijkstraPParams Identity era)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ UpgradeDijkstraPParams Identity era → [kv] Source #

NFData (UpgradeDijkstraPParams Identity era)

Instance details

Methods

rnf ∷ UpgradeDijkstraPParams Identity era → () #

Generic (UpgradeDijkstraPParams f era)

Instance details

Associated Types

type Rep (UpgradeDijkstraPParams f era)

Instance details

Methods

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

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

Show (UpgradeDijkstraPParams Identity era)

Instance details

Methods

showsPrec ∷ Int → UpgradeDijkstraPParams Identity era → ShowS #

show ∷ UpgradeDijkstraPParams Identity era → String #

showList ∷ [UpgradeDijkstraPParams Identity era] → ShowS #

Eq (UpgradeDijkstraPParams Identity era)

Instance details

Methods

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

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

NoThunks (UpgradeDijkstraPParams Identity era)

Instance details

Methods

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

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

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

type Rep (UpgradeDijkstraPParams f era)

Instance details

FromJSON MaxPledgeLeverage

`MaxRefScriptSizePerBlock`

Limit on the total number of bytes of all reference scripts combined from all transactions within a block

ppMaxRefScriptSizePerBlockL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Word32 Source #

ppuMaxRefScriptSizePerBlockL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32) Source #

`MaxRefScriptSizePerTx`

Limit on the total number of bytes of reference scripts that a transaction can use

ppMaxRefScriptSizePerTxL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Word32 Source #

ppuMaxRefScriptSizePerTxL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32) Source #

`RefScriptCostStride`

Size in bytes of each tier in the reference scripts fee calculation, after which the price per byte is multiplied by RefScriptCostMultiplier

ppRefScriptCostStrideL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) (NonZero Word32) Source #

ppuRefScriptCostStrideL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe (NonZero Word32)) Source #

`RefScriptCostMultiplier`

Growth factor of the reference scripts price per byte for each subsequent tier of RefScriptCostStride bytes

ppRefScriptCostMultiplierL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) PositiveInterval Source #

ppuRefScriptCostMultiplierL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe PositiveInterval) Source #

`MaxPledgeLeverage`

Maximum ratio of a stake pool's stake to its pledge that counts towards its rewards, as introduced in CIP-50. When unset, the stake is not limited by the pledge.

newtype MaxPledgeLeverage Source #

Maximum pledge leverage, protocol parameter introduced in CIP-50. Eras prior to Dijkstra do not have this protocol parameter, which is equivalent to it being unset, ie. SNothing.

Constructors

MaxPledgeLeverage
Fields unMaxPledgeLeverage ∷ StrictMaybe NonNegativeInterval

Instances

Instances details

Instance details

Methods

parseJSON ∷ Value → Parser MaxPledgeLeverage Source #

parseJSONList ∷ Value → Parser [MaxPledgeLeverage] Source #

omittedField ∷ Maybe MaxPledgeLeverage Source #

ToJSON MaxPledgeLeverage

Instance details

DecCBOR MaxPledgeLeverage

Methods

toJSON ∷ MaxPledgeLeverage → Value Source #

toEncoding ∷ MaxPledgeLeverage → Encoding Source #

toJSONList ∷ [MaxPledgeLeverage] → Value Source #

toEncodingList ∷ [MaxPledgeLeverage] → Encoding Source #

omitField ∷ MaxPledgeLeverage → Bool Source #

Instance details

EncCBOR MaxPledgeLeverage

Methods

decCBOR ∷ Decoder s MaxPledgeLeverage Source #

dropCBOR ∷ Proxy MaxPledgeLeverage → Decoder s () Source #

label ∷ Proxy MaxPledgeLeverage → Text Source #

Instance details

ToPlutusData MaxPledgeLeverage

Methods

encCBOR ∷ MaxPledgeLeverage → Encoding Source #

Instance details

Methods

toPlutusData ∷ MaxPledgeLeverage → Data Source #

fromPlutusData ∷ Data → Maybe MaxPledgeLeverage Source #

NFData MaxPledgeLeverage

Instance details

Generic MaxPledgeLeverage

Methods

rnf ∷ MaxPledgeLeverage → () #

Instance details

Associated Types

type Rep MaxPledgeLeverage
Instance details Defined in Cardano.Ledger.Core.PParams type Rep MaxPledgeLeverage = D1 ('MetaData "MaxPledgeLeverage" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.24.0.0-inplace" 'True) (C1 ('MetaCons "MaxPledgeLeverage" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaxPledgeLeverage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe NonNegativeInterval))))

Methods

from ∷ MaxPledgeLeverage → Rep MaxPledgeLeverage x #

to ∷ Rep MaxPledgeLeverage x → MaxPledgeLeverage #

Show MaxPledgeLeverage

Instance details

Methods

showsPrec ∷ Int → MaxPledgeLeverage → ShowS #

show ∷ MaxPledgeLeverage → String #

showList ∷ [MaxPledgeLeverage] → ShowS #

Eq MaxPledgeLeverage

Instance details

Methods

(==) ∷ MaxPledgeLeverage → MaxPledgeLeverage → Bool #

(/=) ∷ MaxPledgeLeverage → MaxPledgeLeverage → Bool #

Ord MaxPledgeLeverage

Instance details

NoThunks MaxPledgeLeverage

Methods

compare ∷ MaxPledgeLeverage → MaxPledgeLeverage → Ordering #

(<) ∷ MaxPledgeLeverage → MaxPledgeLeverage → Bool #

(<=) ∷ MaxPledgeLeverage → MaxPledgeLeverage → Bool #

(>) ∷ MaxPledgeLeverage → MaxPledgeLeverage → Bool #

(>=) ∷ MaxPledgeLeverage → MaxPledgeLeverage → Bool #

max ∷ MaxPledgeLeverage → MaxPledgeLeverage → MaxPledgeLeverage #

min ∷ MaxPledgeLeverage → MaxPledgeLeverage → MaxPledgeLeverage #

Instance details

Methods

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

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

showTypeOf ∷ Proxy MaxPledgeLeverage → String Source #

type Rep MaxPledgeLeverage

Instance details

type Rep MaxPledgeLeverage = D1 ('MetaData "MaxPledgeLeverage" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.24.0.0-inplace" 'True) (C1 ('MetaCons "MaxPledgeLeverage" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaxPledgeLeverage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe NonNegativeInterval))))

ppMaxPledgeLeverageL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) MaxPledgeLeverage Source #

ppuMaxPledgeLeverageL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe MaxPledgeLeverage) Source #

`MinPoolMargin`

Lower bound on the margin a stake pool is credited with in the calculation of stake pool rewards, as introduced in CIP-23

ppMinPoolMarginL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) UnitInterval Source #

ppuMinPoolMarginL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) Source #

`LeiosAnnouncementPeriodLength`

Duration in milliseconds for announcement headers (extended praos headers) to propagate through the network, L_hdr in CIP-164

ppLeiosAnnouncementPeriodLengthL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Milliseconds32 Source #

ppuLeiosAnnouncementPeriodLengthL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Milliseconds32) Source #

`LeiosVotePeriodLength`

Duration in milliseconds during which committee members can vote on endorser blocks, L_vote in CIP-164

ppLeiosVotePeriodLengthL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Milliseconds32 Source #

ppuLeiosVotePeriodLengthL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Milliseconds32) Source #

`LeiosDiffusionPeriodLength`

Duration in milliseconds after voting that ensures network-wide availability of a certified endorser block, L_diff in CIP-164

ppLeiosDiffusionPeriodLengthL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Milliseconds32 Source #

ppuLeiosDiffusionPeriodLengthL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Milliseconds32) Source #

`LeiosCommitteeSize`

Number of top-stake pools seated on the epoch's voting committee, N_c in CIP-164

ppLeiosCommitteeSizeL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Word16 Source #

ppuLeiosCommitteeSizeL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16) Source #

`LeiosQuorumStakeThreshold`

Minimum fraction of total active stake that the votes in a certificate must represent, tau in CIP-164

ppLeiosQuorumStakeThresholdL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) UnitInterval Source #

ppuLeiosQuorumStakeThresholdL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) Source #

`MaxEndorserBlockReferencesSize`

Limit on the size of the endorsement itself, i.e. size of all transaction references and sizes contained in an endorser block

ppMaxEndorserBlockReferencesSizeL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Word32 Source #

ppuMaxEndorserBlockReferencesSizeL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32) Source #

`MaxEndorserBlockTxsSize`

Limit on the total size of all transactions endorsed by an endorser block

ppMaxEndorserBlockTxsSizeL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Word32 Source #

ppuMaxEndorserBlockTxsSizeL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32) Source #

`MaxEndorserBlockExUnits`

Limit on the total resource use of phase-2 scripts per endorser block

ppMaxEndorserBlockExUnitsL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) OrdExUnits Source #

ppuMaxEndorserBlockExUnitsL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe OrdExUnits) Source #

`MaxRefScriptSizePerEndorserBlock`

Limit on the total number of bytes of all reference scripts combined from all transactions within an endorser block

ppMaxRefScriptSizePerEndorserBlockL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Word32 Source #

ppuMaxRefScriptSizePerEndorserBlockL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32) Source #

`PerasMinCandidateBlockAge`

Minimum age in slots for a block to be eligible for voting in a Peras round

ppPerasMinCandidateBlockAgeL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) SlotInterval Source #

ppuPerasMinCandidateBlockAgeL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe SlotInterval) Source #

`PerasHealingFactor`

Healing time coefficient used to derive the length of a Peras cooldown period

ppPerasHealingFactorL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) PositiveInterval Source #

ppuPerasHealingFactorL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe PositiveInterval) Source #

`PerasCertBoost`

Extra chain weight that a Peras certificate gives to a boosted block

ppPerasCertBoostL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Word16 Source #

ppuPerasCertBoostL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16) Source #

`PerasTargetCommitteeSize`

Target size of the Peras voting committee

ppPerasTargetCommitteeSizeL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) Word16 Source #

ppuPerasTargetCommitteeSizeL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16) Source #

`PerasBootstrapRound`

Optional round number used to manually bootstrap Peras voting at a specific time

ppPerasBootstrapRoundL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) (StrictMaybe Word32) Source #

ppuPerasBootstrapRoundL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe (StrictMaybe Word32)) Source #

`PerasQuorumThresholdSafetyMargin`

Extra safety margin added on top of the 75% Peras quorum threshold baseline. Must be between 0 and 0.25, inclusive.

ppPerasQuorumThresholdSafetyMarginL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) UnitInterval Source #

ppuPerasQuorumThresholdSafetyMarginL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) Source #

`RefInputsCostPerMultiAssetByte`

Fee charged per byte of binary overhead of the multi-assets present in the values of a transaction’s reference inputs.

ppRefInputsCostPerMultiAssetByteL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) CoinPerByte Source #

ppuRefInputsCostPerMultiAssetByteL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte) Source #

`RefInputsCostPerDatumByte`

Fee charged per byte of datum attached to a transaction's reference inputs

ppRefInputsCostPerDatumByteL ∷ DijkstraEraPParams era ⇒ Lens' (PParams era) CoinPerByte Source #

ppuRefInputsCostPerDatumByteL ∷ DijkstraEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte) Source #

Type classes

class (Era era, Eq (PParamsHKD Identity era), Ord (PParamsHKD Identity era), Show (PParamsHKD Identity era), NFData (PParamsHKD Identity era), NoThunks (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Ord (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), NFData (PParamsHKD StrictMaybe era), NoThunks (PParamsHKD StrictMaybe era)) ⇒ EraPParams era Source #

Instances

Instances details

EraPParams AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.PParams

Associated Types

type PParamsHKD f AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type PParamsHKD f AllegraEra = ShelleyPParams f AllegraEra
type UpgradePParams f AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type UpgradePParams f AllegraEra = ()
type DowngradePParams f AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.PParams type DowngradePParams f AllegraEra = ()

Methods

applyPPUpdates ∷ PParams AllegraEra → PParamsUpdate AllegraEra → PParams AllegraEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity AllegraEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe AllegraEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe AllegraEra Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ppDG ∷ SimpleGetter (PParams AllegraEra) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams AllegraEra) ProtVer Source #

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

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

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

ppMaxPledgeLeverageG ∷ SimpleGetter (PParams AllegraEra) MaxPledgeLeverage Source #

ppMinPoolMarginG ∷ SimpleGetter (PParams AllegraEra) UnitInterval Source #

eraPParams ∷ [PParam AllegraEra] Source #

EraPParams AlonzoEra

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 #

EraPParams BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.PParams

Associated Types

type PParamsHKD f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type PParamsHKD f BabbageEra = BabbagePParams f BabbageEra
type UpgradePParams f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type UpgradePParams f BabbageEra = ()
type DowngradePParams f BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.PParams type DowngradePParams f BabbageEra = DowngradeBabbagePParams f

Methods

applyPPUpdates ∷ PParams BabbageEra → PParamsUpdate BabbageEra → PParams BabbageEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity BabbageEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe BabbageEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe BabbageEra Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ppDG ∷ SimpleGetter (PParams BabbageEra) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams BabbageEra) ProtVer Source #

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

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

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

ppMaxPledgeLeverageG ∷ SimpleGetter (PParams BabbageEra) MaxPledgeLeverage Source #

ppMinPoolMarginG ∷ SimpleGetter (PParams BabbageEra) UnitInterval Source #

eraPParams ∷ [PParam BabbageEra] Source #

EraPParams ConwayEra

Instance details

Associated Types

type PParamsHKD f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.PParams type PParamsHKD f ConwayEra = ConwayPParams f ConwayEra
type UpgradePParams f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.PParams type UpgradePParams f ConwayEra = UpgradeConwayPParams f
type DowngradePParams f ConwayEra
Instance details Defined in Cardano.Ledger.Conway.PParams type DowngradePParams f ConwayEra = ()

Methods

applyPPUpdates ∷ PParams ConwayEra → PParamsUpdate ConwayEra → PParams ConwayEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity ConwayEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe ConwayEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe ConwayEra Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ppDG ∷ SimpleGetter (PParams ConwayEra) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams ConwayEra) ProtVer Source #

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

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

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

ppMaxPledgeLeverageG ∷ SimpleGetter (PParams ConwayEra) MaxPledgeLeverage Source #

ppMinPoolMarginG ∷ SimpleGetter (PParams ConwayEra) UnitInterval Source #

eraPParams ∷ [PParam ConwayEra] Source #

EraPParams DijkstraEra

Instance details