cardano-ledger-api-1.13.0.0: Public API for the cardano ledger codebase
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Api.PParams

Synopsis

PParams

data PParams era Source #

Protocol parameters

Instances

Instances details
TranslateEra AllegraEra PParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

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 #

TranslateEra AlonzoEra PParams 
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

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Core.PParams

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

Defined in Cardano.Ledger.Core.PParams

Methods

toJSON ∷ PParams era → Value Source #

toEncoding ∷ PParams era → Encoding Source #

toJSONList ∷ [PParams era] → Value Source #

toEncodingList ∷ [PParams era] → Encoding Source #

omitField ∷ PParams era → Bool Source #

EraPParams era ⇒ FromCBOR (PParams era) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

fromCBOR ∷ Decoder s (PParams era) Source #

label ∷ Proxy (PParams era) → Text Source #

EraPParams era ⇒ ToCBOR (PParams era) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

toCBOR ∷ PParams era → Encoding Source #

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

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

EraPParams era ⇒ DecCBOR (PParams era) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

decCBOR ∷ Decoder s (PParams era) Source #

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

label ∷ Proxy (PParams era) → Text Source #

EraPParams era ⇒ EncCBOR (PParams era) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

encCBOR ∷ PParams era → Encoding Source #

EraPParams era ⇒ ToKeyValuePairs (PParams era) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

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

EraPParams era ⇒ Default (PParams era) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

def ∷ PParams era Source #

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

Defined in Cardano.Ledger.Core.PParams

Methods

rnf ∷ PParams era → () #

Generic (PParams era) 
Instance details

Defined in Cardano.Ledger.Core.PParams

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

Defined in Cardano.Ledger.Core.PParams

Methods

showsPrec ∷ Int → PParams era → ShowS #

show ∷ PParams era → String #

showList ∷ [PParams era] → ShowS #

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

Defined in Cardano.Ledger.Core.PParams

Methods

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

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

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

Defined in Cardano.Ledger.Core.PParams

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

Defined in Cardano.Ledger.Core.PParams

Methods

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

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

showTypeOf ∷ Proxy (PParams era) → String Source #

type TranslationError AllegraEra PParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

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

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra PParams = Void
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.19.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
TranslateEra AllegraEra PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

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 #

TranslateEra MaryEra PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Mary.Translation

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

Defined in Cardano.Ledger.Core.PParams

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

Defined in Cardano.Ledger.Core.PParams

Methods

toJSON ∷ PParamsUpdate era → Value Source #

toEncoding ∷ PParamsUpdate era → Encoding Source #

toJSONList ∷ [PParamsUpdate era] → Value Source #

toEncodingList ∷ [PParamsUpdate era] → Encoding Source #

omitField ∷ PParamsUpdate era → Bool Source #

EraPParams era ⇒ FromCBOR (PParamsUpdate era) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

fromCBOR ∷ Decoder s (PParamsUpdate era) Source #

label ∷ Proxy (PParamsUpdate era) → Text Source #

EraPParams era ⇒ ToCBOR (PParamsUpdate era) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

toCBOR ∷ PParamsUpdate era → Encoding Source #

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

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

EraPParams era ⇒ DecCBOR (PParamsUpdate era) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

decCBOR ∷ Decoder s (PParamsUpdate era) Source #

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

label ∷ Proxy (PParamsUpdate era) → Text Source #

EraPParams era ⇒ EncCBOR (PParamsUpdate era) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

encCBOR ∷ PParamsUpdate era → Encoding Source #

EraPParams era ⇒ ToKeyValuePairs (PParamsUpdate era) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

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

ConwayEraPParams era ⇒ ToPlutusData (PParamsUpdate era) 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

toPlutusData ∷ PParamsUpdate era → Data Source #

fromPlutusData ∷ Data → Maybe (PParamsUpdate era) Source #

EraPParams era ⇒ Default (PParamsUpdate era) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

def ∷ PParamsUpdate era Source #

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

Defined in Cardano.Ledger.Core.PParams

Methods

rnf ∷ PParamsUpdate era → () #

Generic (PParamsUpdate era) 
Instance details

Defined in Cardano.Ledger.Core.PParams

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

Defined in Cardano.Ledger.Core.PParams

Methods

showsPrec ∷ Int → PParamsUpdate era → ShowS #

show ∷ PParamsUpdate era → String #

showList ∷ [PParamsUpdate era] → ShowS #

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

Defined in Cardano.Ledger.Core.PParams

Methods

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

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

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

Defined in Cardano.Ledger.Core.PParams

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

Defined in Cardano.Ledger.Core.PParams

Methods

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

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

showTypeOf ∷ Proxy (PParamsUpdate era) → String Source #

type TranslationError AllegraEra PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PParamsUpdate = Void
type TranslationError MaryEra PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra PParamsUpdate = Void
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.19.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

MinFeeA

Min fee factor

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

The linear factor for the minimum fee calculation

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

The linear factor for the minimum fee calculation

MinFeeB

Min fee constant

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

The constant factor for the minimum fee calculation

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

The constant factor for the minimum fee calculation

MaxBBSize

Max block body size

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

Maximal block body size

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

Maximal block body size

AaxBHSize

Max block header size

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

Maximal block header size

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

Maximal block header size

PoolDeposit

Stake pool deposit

ppPoolDepositL ∷ (EraPParams era, 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) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

Minimum UTxO value

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

Minimum UTxO value

MinPoolCast

Miminum allowed stake pool cost

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

Minimum Stake Pool Cost

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

Minimum Stake Pool Cost

KeyDeposit

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

The amount of a key registration deposit

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

The amount of a key registration deposit

MaxTxSize

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

Maximal transaction size

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

Maximal transaction size

Alonzo params

Protocol parameters introduced in Alonzo era

data UpgradeAlonzoPParams (f ∷ Type → Type) Source #

Parameters that were added in Alonzo

Constructors

UpgradeAlonzoPParams 

Fields

Instances

Instances details
Default (UpgradeAlonzoPParams StrictMaybe) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

def ∷ UpgradeAlonzoPParams StrictMaybe Source #

NFData (UpgradeAlonzoPParams Identity) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

rnf ∷ UpgradeAlonzoPParams Identity → () #

Generic (UpgradeAlonzoPParams f) 
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 "uappCostModels") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CostModels))) :*: (S1 ('MetaSel ('Just "uappPrices") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Prices)) :*: S1 ('MetaSel ('Just "uappMaxTxExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f ExUnits)))) :*: ((S1 ('MetaSel ('Just "uappMaxBlockExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f ExUnits)) :*: S1 ('MetaSel ('Just "uappMaxValSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural))) :*: (S1 ('MetaSel ('Just "uappCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural)) :*: S1 ('MetaSel ('Just "uappMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural))))))

Methods

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

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

Show (UpgradeAlonzoPParams Identity) 
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) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

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

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

NoThunks (UpgradeAlonzoPParams Identity) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

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

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

showTypeOf ∷ Proxy (UpgradeAlonzoPParams Identity) → String Source #

type Rep (UpgradeAlonzoPParams f) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type Rep (UpgradeAlonzoPParams f) = D1 ('MetaData "UpgradeAlonzoPParams" "Cardano.Ledger.Alonzo.PParams" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "UpgradeAlonzoPParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "uappCoinsPerUTxOWord") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CoinPerWord)) :*: S1 ('MetaSel ('Just "uappCostModels") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CostModels))) :*: (S1 ('MetaSel ('Just "uappPrices") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Prices)) :*: S1 ('MetaSel ('Just "uappMaxTxExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f ExUnits)))) :*: ((S1 ('MetaSel ('Just "uappMaxBlockExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f ExUnits)) :*: S1 ('MetaSel ('Just "uappMaxValSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural))) :*: (S1 ('MetaSel ('Just "uappCollateralPercentage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural)) :*: S1 ('MetaSel ('Just "uappMaxCollateralInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Natural))))))

newtype DowngradeAlonzoPParams (f ∷ Type → Type) Source #

Parameters that were removed in Alonzo

Constructors

DowngradeAlonzoPParams 

Fields

Instances

Instances details
NFData (DowngradeAlonzoPParams Identity) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

rnf ∷ DowngradeAlonzoPParams Identity → () #

Generic (DowngradeAlonzoPParams f) 
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) 
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) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

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

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

NoThunks (DowngradeAlonzoPParams Identity) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

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

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

showTypeOf ∷ Proxy (DowngradeAlonzoPParams Identity) → String Source #

type Rep (DowngradeAlonzoPParams f) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

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

data LangDepView Source #

Constructors

LangDepView 

Fields

Instances

Instances details
Generic LangDepView 
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 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

showsPrec ∷ Int → LangDepView → ShowS #

show ∷ LangDepView → String #

showList ∷ [LangDepView] → ShowS #

Eq LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

(==) ∷ LangDepView → LangDepView → Bool #

(/=) ∷ LangDepView → LangDepView → Bool #

Ord LangDepView 
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 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

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

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

showTypeOf ∷ Proxy LangDepView → String Source #

type Rep LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

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

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

CostModels

Plutus CostModels

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

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

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

Prices

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

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

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

MaxTxExUnits

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

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

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

MaxBlockExUnits

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

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

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

MaxValSize

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

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

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

CoinsPerUTxOWord

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

newtype CoinPerWord Source #

Constructors

CoinPerWord 

Fields

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

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

MaxCollateralInputs

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

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

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

Babbage params

Protocol parameters introduced in Babbage era

data DowngradeBabbagePParams (f ∷ Type → Type) Source #

Constructors

DowngradeBabbagePParams 

Fields

CoinsPerUTxOByte

Cost in the amount of lovelace ber byte.

Note - This parameter is a replacement for coinsPerUTxOWord

newtype CoinPerByte Source #

Constructors

CoinPerByte 

Fields

Instances

Instances details
FromJSON CoinPerByte 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

parseJSON ∷ Value → Parser CoinPerByte Source #

parseJSONList ∷ Value → Parser [CoinPerByte] Source #

omittedField ∷ Maybe CoinPerByte Source #

ToJSON CoinPerByte 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

toJSON ∷ CoinPerByte → Value Source #

toEncoding ∷ CoinPerByte → Encoding Source #

toJSONList ∷ [CoinPerByte] → Value Source #

toEncodingList ∷ [CoinPerByte] → Encoding Source #

omitField ∷ CoinPerByte → Bool Source #

DecCBOR CoinPerByte 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

decCBOR ∷ Decoder s CoinPerByte Source #

dropCBOR ∷ Proxy CoinPerByte → Decoder s () Source #

label ∷ Proxy CoinPerByte → Text Source #

EncCBOR CoinPerByte 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

encCBOR ∷ CoinPerByte → Encoding Source #

ToPlutusData CoinPerByte 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

toPlutusData ∷ CoinPerByte → Data Source #

fromPlutusData ∷ Data → Maybe CoinPerByte Source #

NFData CoinPerByte 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

rnf ∷ CoinPerByte → () #

Show CoinPerByte 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

showsPrec ∷ Int → CoinPerByte → ShowS #

show ∷ CoinPerByte → String #

showList ∷ [CoinPerByte] → ShowS #

Eq CoinPerByte 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

(==) ∷ CoinPerByte → CoinPerByte → Bool #

(/=) ∷ CoinPerByte → CoinPerByte → Bool #

Ord CoinPerByte 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

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.Babbage.PParams

Methods

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

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

showTypeOf ∷ Proxy CoinPerByte → String Source #

coinsPerUTxOWordToCoinsPerUTxOByte ∷ CoinPerWord → CoinPerByte Source #

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

coinsPerUTxOByteToCoinsPerUTxOWord ∷ CoinPerByte → CoinPerWord Source #

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

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

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

Type classes

class (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 #

Minimal complete definition

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

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

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

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

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

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

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

eraPParams ∷ [PParam AllegraEra] Source #

EraPParams AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

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 #

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

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

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

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

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

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

eraPParams ∷ [PParam BabbageEra] Source #

EraPParams ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.PParams

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

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

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

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

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

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

eraPParams ∷ [PParam ConwayEra] Source #

EraPParams DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Associated Types

type PParamsHKD f DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

type PParamsHKD f DijkstraEra = DijkstraPParams f DijkstraEra
type UpgradePParams f DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

type UpgradePParams f DijkstraEra = UpgradeDijkstraPParams f DijkstraEra
type DowngradePParams f DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

type DowngradePParams f DijkstraEra = ()

Methods

applyPPUpdates ∷ PParams DijkstraEra → PParamsUpdate DijkstraEra → PParams DijkstraEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity DijkstraEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe DijkstraEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe DijkstraEra Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ppDG ∷ SimpleGetter (PParams DijkstraEra) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams DijkstraEra) ProtVer Source #

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

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

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

eraPParams ∷ [PParam DijkstraEra] Source #

EraPParams MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

Associated Types

type PParamsHKD f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type PParamsHKD f MaryEra = ShelleyPParams f MaryEra
type UpgradePParams f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type UpgradePParams f MaryEra = ()
type DowngradePParams f MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.PParams

type DowngradePParams f MaryEra = ()

Methods

applyPPUpdates ∷ PParams MaryEra → PParamsUpdate MaryEra → PParams MaryEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity MaryEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe MaryEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe MaryEra Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ppDG ∷ SimpleGetter (PParams MaryEra) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams MaryEra) ProtVer Source #

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

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

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

eraPParams ∷ [PParam MaryEra] Source #

EraPParams ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Associated Types

type PParamsHKD f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEra
type UpgradePParams f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type UpgradePParams f ShelleyEra = Void
type DowngradePParams f ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type DowngradePParams f ShelleyEra = Void

Methods

applyPPUpdates ∷ PParams ShelleyEra → PParamsUpdate ShelleyEra → PParams ShelleyEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity ShelleyEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe ShelleyEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe ShelleyEra Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ppDG ∷ SimpleGetter (PParams ShelleyEra) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams ShelleyEra) ProtVer Source #

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

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

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

eraPParams ∷ [PParam ShelleyEra] Source #

class EraPParams era ⇒ AlonzoEraPParams era Source #

Minimal complete definition

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

Instances

Instances details
AlonzoEraPParams AlonzoEra 
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 #

AlonzoEraPParams BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

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

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

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

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

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

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

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

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

AlonzoEraPParams ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

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

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

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

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

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

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

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

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

AlonzoEraPParams DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Methods

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

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

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

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

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

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

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

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

class AlonzoEraPParams era ⇒ BabbageEraPParams era Source #

Minimal complete definition

hkdCoinsPerUTxOByteL

Instances

Instances details
BabbageEraPParams BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

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

BabbageEraPParams ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.PParams

Methods

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

BabbageEraPParams DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.PParams

Methods

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