Cardano.Ledger.Allegra.PParams
Contents
Associated Types
type PParamsHKD f (AllegraEra c) = (r ∷ Type) Source #
type UpgradePParams f (AllegraEra c) Source #
type DowngradePParams f (AllegraEra c) Source #
Methods
applyPPUpdates ∷ PParams (AllegraEra c) → PParamsUpdate (AllegraEra c) → PParams (AllegraEra c) Source #
emptyPParamsIdentity ∷ PParamsHKD Identity (AllegraEra c) Source #
emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe (AllegraEra c) Source #
upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra (AllegraEra c))) ⇒ UpgradePParams f (AllegraEra c) → PParamsHKD f (PreviousEra (AllegraEra c)) → PParamsHKD f (AllegraEra c) Source #
downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra (AllegraEra c))) ⇒ DowngradePParams f (AllegraEra c) → PParamsHKD f (AllegraEra c) → PParamsHKD f (PreviousEra (AllegraEra c)) Source #
hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source #
hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source #
hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Word32) Source #
hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Word32) Source #
hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Word16) Source #
hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source #
hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source #
hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f EpochInterval) Source #
hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Natural) Source #
hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f NonNegativeInterval) Source #
hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f UnitInterval) Source #
hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f UnitInterval) Source #
hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (AllegraEra c) 6) ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f UnitInterval) Source #
ppDG ∷ SimpleGetter (PParams (AllegraEra c)) UnitInterval Source #
hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (AllegraEra c) 6) ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Nonce) Source #
hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (AllegraEra c) 8) ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f ProtVer) Source #
ppProtocolVersionL ∷ Lens' (PParams (AllegraEra c)) ProtVer Source #
ppuProtocolVersionL ∷ Lens' (PParamsUpdate (AllegraEra c)) (StrictMaybe ProtVer) Source #
hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost (AllegraEra c) 4) ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source #
hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source #
type GovState (AllegraEra c) = (r ∷ Type) Source #
emptyGovState ∷ GovState (AllegraEra c) Source #
getProposedPPUpdates ∷ GovState (AllegraEra c) → Maybe (ProposedPPUpdates (AllegraEra c)) Source #
curPParamsGovStateL ∷ Lens' (GovState (AllegraEra c)) (PParams (AllegraEra c)) Source #
prevPParamsGovStateL ∷ Lens' (GovState (AllegraEra c)) (PParams (AllegraEra c)) Source #
futurePParamsGovStateL ∷ Lens' (GovState (AllegraEra c)) (FuturePParams (AllegraEra c)) Source #
obligationGovState ∷ GovState (AllegraEra c) → Obligations Source #