Orphan instances

Methods

applyPPUpdates ∷ PParams (MaryEra c) → PParamsUpdate (MaryEra c) → PParams (MaryEra c) Source #

emptyPParamsIdentity ∷ PParamsHKD Identity (MaryEra c) Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe (MaryEra c) Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ppDG ∷ SimpleGetter (PParams (MaryEra c)) UnitInterval Source #

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

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

ppProtocolVersionL ∷ Lens' (PParams (MaryEra c)) ProtVer Source #

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

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

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

Methods

emptyGovState ∷ GovState (MaryEra c) Source #

getProposedPPUpdates ∷ GovState (MaryEra c) → Maybe (ProposedPPUpdates (MaryEra c)) Source #

curPParamsGovStateL ∷ Lens' (GovState (MaryEra c)) (PParams (MaryEra c)) Source #

prevPParamsGovStateL ∷ Lens' (GovState (MaryEra c)) (PParams (MaryEra c)) Source #

futurePParamsGovStateL ∷ Lens' (GovState (MaryEra c)) (FuturePParams (MaryEra c)) Source #

obligationGovState ∷ GovState (MaryEra c) → Obligations Source #