cardano-ledger-allegra-1.5.0.1: Allegra ledger era that introduces time lock support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Allegra.PParams

Orphan instances

Crypto c ⇒ EraPParams (AllegraEra c) Source # 
Instance details

Associated Types

type PParamsHKD f (AllegraEra c) = (r ∷ Type) Source #

type UpgradePParams f (AllegraEra c) Source #

type DowngradePParams f (AllegraEra c) Source #

Methods

applyPPUpdatesPParams (AllegraEra c) → PParamsUpdate (AllegraEra c) → PParams (AllegraEra c) Source #

emptyPParamsIdentityPParamsHKD Identity (AllegraEra c) Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe (AllegraEra c) Source #

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

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

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

hkdMinFeeBL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source #

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

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

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

hkdKeyDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source #

hkdPoolDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source #

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

hkdNOptL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Natural) Source #

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

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

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

hkdDL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (AllegraEra c) 6) ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f UnitInterval) Source #

ppDGSimpleGetter (PParams (AllegraEra c)) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (AllegraEra c) 6) ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (AllegraEra c) 8) ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f ProtVer) Source #

ppProtocolVersionLLens' (PParams (AllegraEra c)) ProtVer Source #

ppuProtocolVersionLLens' (PParamsUpdate (AllegraEra c)) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (AllegraEra c) 4) ⇒ Lens' (PParamsHKD f (AllegraEra c)) (HKD f Coin) Source #

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

Crypto c ⇒ EraGov (AllegraEra c) Source # 
Instance details

Associated Types

type GovState (AllegraEra c) = (r ∷ Type) Source #