{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -Wno-orphans #-}

module Cardano.Ledger.Mary.PParams () where

import Cardano.Ledger.Core
import Cardano.Ledger.Mary.Era (MaryEra)
import Cardano.Ledger.Shelley.Governance (
  EraGov (..),
  ShelleyGovState (..),
  curPParamsShelleyGovStateL,
  emptyShelleyGovState,
  futurePParamsShelleyGovStateL,
  prevPParamsShelleyGovStateL,
 )
import Cardano.Ledger.Shelley.PParams
import Data.Coerce
import Lens.Micro

instance EraPParams MaryEra where
  type PParamsHKD f MaryEra = ShelleyPParams f MaryEra

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

  emptyPParamsIdentity :: PParamsHKD Identity MaryEra
emptyPParamsIdentity = PParamsHKD Identity MaryEra
ShelleyPParams Identity MaryEra
forall era. Era era => ShelleyPParams Identity era
emptyShelleyPParams
  emptyPParamsStrictMaybe :: PParamsHKD StrictMaybe MaryEra
emptyPParamsStrictMaybe = PParamsHKD StrictMaybe MaryEra
ShelleyPParams StrictMaybe MaryEra
forall era. ShelleyPParams StrictMaybe era
emptyShelleyPParamsUpdate

  upgradePParamsHKD :: forall (f :: * -> *).
(HKDApplicative f, EraPParams (PreviousEra MaryEra)) =>
UpgradePParams f MaryEra
-> PParamsHKD f (PreviousEra MaryEra) -> PParamsHKD f MaryEra
upgradePParamsHKD () = PParamsHKD f (PreviousEra MaryEra) -> PParamsHKD f MaryEra
ShelleyPParams f AllegraEra -> ShelleyPParams f MaryEra
forall a b. Coercible a b => a -> b
coerce
  downgradePParamsHKD :: forall (f :: * -> *).
(HKDFunctor f, EraPParams (PreviousEra MaryEra)) =>
DowngradePParams f MaryEra
-> PParamsHKD f MaryEra -> PParamsHKD f (PreviousEra MaryEra)
downgradePParamsHKD () = PParamsHKD f MaryEra -> PParamsHKD f (PreviousEra MaryEra)
ShelleyPParams f MaryEra -> ShelleyPParams f AllegraEra
forall a b. Coercible a b => a -> b
coerce

  hkdMinFeeAL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f MaryEra) (HKD f Coin)
hkdMinFeeAL = (PParamsHKD f MaryEra -> HKD f Coin)
-> (PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f Coin
ShelleyPParams f MaryEra -> HKD f Coin
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Coin
sppMinFeeA ((PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Coin -> f (HKD f Coin))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f Coin
x -> PParamsHKD f MaryEra
pp {sppMinFeeA = x}
  hkdMinFeeBL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f MaryEra) (HKD f Coin)
hkdMinFeeBL = (PParamsHKD f MaryEra -> HKD f Coin)
-> (PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f Coin
ShelleyPParams f MaryEra -> HKD f Coin
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Coin
sppMinFeeB ((PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Coin -> f (HKD f Coin))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f Coin
x -> PParamsHKD f MaryEra
pp {sppMinFeeB = x}
  hkdMaxBBSizeL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f MaryEra) (HKD f Word32)
hkdMaxBBSizeL = (PParamsHKD f MaryEra -> HKD f Word32)
-> (PParamsHKD f MaryEra -> HKD f Word32 -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word32 -> f (HKD f Word32))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f Word32
ShelleyPParams f MaryEra -> HKD f Word32
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word32
sppMaxBBSize ((PParamsHKD f MaryEra -> HKD f Word32 -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Word32 -> f (HKD f Word32))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra -> HKD f Word32 -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word32 -> f (HKD f Word32))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f Word32
x -> PParamsHKD f MaryEra
pp {sppMaxBBSize = x}
  hkdMaxTxSizeL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f MaryEra) (HKD f Word32)
hkdMaxTxSizeL = (PParamsHKD f MaryEra -> HKD f Word32)
-> (PParamsHKD f MaryEra -> HKD f Word32 -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word32 -> f (HKD f Word32))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f Word32
ShelleyPParams f MaryEra -> HKD f Word32
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word32
sppMaxTxSize ((PParamsHKD f MaryEra -> HKD f Word32 -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Word32 -> f (HKD f Word32))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra -> HKD f Word32 -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word32 -> f (HKD f Word32))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f Word32
x -> PParamsHKD f MaryEra
pp {sppMaxTxSize = x}
  hkdMaxBHSizeL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f MaryEra) (HKD f Word16)
hkdMaxBHSizeL = (PParamsHKD f MaryEra -> HKD f Word16)
-> (PParamsHKD f MaryEra -> HKD f Word16 -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word16 -> f (HKD f Word16))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f Word16
ShelleyPParams f MaryEra -> HKD f Word16
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word16
sppMaxBHSize ((PParamsHKD f MaryEra -> HKD f Word16 -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Word16 -> f (HKD f Word16))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra -> HKD f Word16 -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word16 -> f (HKD f Word16))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f Word16
x -> PParamsHKD f MaryEra
pp {sppMaxBHSize = x}
  hkdKeyDepositL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f MaryEra) (HKD f Coin)
hkdKeyDepositL = (PParamsHKD f MaryEra -> HKD f Coin)
-> (PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f Coin
ShelleyPParams f MaryEra -> HKD f Coin
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Coin
sppKeyDeposit ((PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Coin -> f (HKD f Coin))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f Coin
x -> PParamsHKD f MaryEra
pp {sppKeyDeposit = x}
  hkdPoolDepositL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f MaryEra) (HKD f Coin)
hkdPoolDepositL = (PParamsHKD f MaryEra -> HKD f Coin)
-> (PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f Coin
ShelleyPParams f MaryEra -> HKD f Coin
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Coin
sppPoolDeposit ((PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Coin -> f (HKD f Coin))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f Coin
x -> PParamsHKD f MaryEra
pp {sppPoolDeposit = x}
  hkdEMaxL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f MaryEra) (HKD f EpochInterval)
hkdEMaxL = (PParamsHKD f MaryEra -> HKD f EpochInterval)
-> (PParamsHKD f MaryEra
    -> HKD f EpochInterval -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f EpochInterval -> f (HKD f EpochInterval))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f EpochInterval
ShelleyPParams f MaryEra -> HKD f EpochInterval
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f EpochInterval
sppEMax ((PParamsHKD f MaryEra
  -> HKD f EpochInterval -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f EpochInterval -> f (HKD f EpochInterval))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra
    -> HKD f EpochInterval -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f EpochInterval -> f (HKD f EpochInterval))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f EpochInterval
x -> PParamsHKD f MaryEra
pp {sppEMax = x}
  hkdNOptL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f MaryEra) (HKD f Word16)
hkdNOptL = (PParamsHKD f MaryEra -> HKD f Word16)
-> (PParamsHKD f MaryEra -> HKD f Word16 -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word16 -> f (HKD f Word16))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f Word16
ShelleyPParams f MaryEra -> HKD f Word16
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word16
sppNOpt ((PParamsHKD f MaryEra -> HKD f Word16 -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Word16 -> f (HKD f Word16))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra -> HKD f Word16 -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word16 -> f (HKD f Word16))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f Word16
x -> PParamsHKD f MaryEra
pp {sppNOpt = x}
  hkdA0L :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f MaryEra) (HKD f NonNegativeInterval)
hkdA0L = (PParamsHKD f MaryEra -> HKD f NonNegativeInterval)
-> (PParamsHKD f MaryEra
    -> HKD f NonNegativeInterval -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f NonNegativeInterval -> f (HKD f NonNegativeInterval))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f NonNegativeInterval
ShelleyPParams f MaryEra -> HKD f NonNegativeInterval
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f NonNegativeInterval
sppA0 ((PParamsHKD f MaryEra
  -> HKD f NonNegativeInterval -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f NonNegativeInterval -> f (HKD f NonNegativeInterval))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra
    -> HKD f NonNegativeInterval -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f NonNegativeInterval -> f (HKD f NonNegativeInterval))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f NonNegativeInterval
x -> PParamsHKD f MaryEra
pp {sppA0 = x}
  hkdRhoL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f MaryEra) (HKD f UnitInterval)
hkdRhoL = (PParamsHKD f MaryEra -> HKD f UnitInterval)
-> (PParamsHKD f MaryEra
    -> HKD f UnitInterval -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f UnitInterval -> f (HKD f UnitInterval))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f UnitInterval
ShelleyPParams f MaryEra -> HKD f UnitInterval
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
sppRho ((PParamsHKD f MaryEra
  -> HKD f UnitInterval -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f UnitInterval -> f (HKD f UnitInterval))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra
    -> HKD f UnitInterval -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f UnitInterval -> f (HKD f UnitInterval))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f UnitInterval
x -> PParamsHKD f MaryEra
pp {sppRho = x}
  hkdTauL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f MaryEra) (HKD f UnitInterval)
hkdTauL = (PParamsHKD f MaryEra -> HKD f UnitInterval)
-> (PParamsHKD f MaryEra
    -> HKD f UnitInterval -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f UnitInterval -> f (HKD f UnitInterval))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f UnitInterval
ShelleyPParams f MaryEra -> HKD f UnitInterval
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
sppTau ((PParamsHKD f MaryEra
  -> HKD f UnitInterval -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f UnitInterval -> f (HKD f UnitInterval))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra
    -> HKD f UnitInterval -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f UnitInterval -> f (HKD f UnitInterval))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f UnitInterval
x -> PParamsHKD f MaryEra
pp {sppTau = x}
  hkdDL :: forall (f :: * -> *).
(HKDFunctor f, ProtVerAtMost MaryEra 6) =>
Lens' (PParamsHKD f MaryEra) (HKD f UnitInterval)
hkdDL = (PParamsHKD f MaryEra -> HKD f UnitInterval)
-> (PParamsHKD f MaryEra
    -> HKD f UnitInterval -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f UnitInterval -> f (HKD f UnitInterval))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f UnitInterval
ShelleyPParams f MaryEra -> HKD f UnitInterval
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
sppD ((PParamsHKD f MaryEra
  -> HKD f UnitInterval -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f UnitInterval -> f (HKD f UnitInterval))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra
    -> HKD f UnitInterval -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f UnitInterval -> f (HKD f UnitInterval))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f UnitInterval
x -> PParamsHKD f MaryEra
pp {sppD = x}
  hkdExtraEntropyL :: forall (f :: * -> *).
(HKDFunctor f, ProtVerAtMost MaryEra 6) =>
Lens' (PParamsHKD f MaryEra) (HKD f Nonce)
hkdExtraEntropyL = (PParamsHKD f MaryEra -> HKD f Nonce)
-> (PParamsHKD f MaryEra -> HKD f Nonce -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Nonce -> f (HKD f Nonce))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f Nonce
ShelleyPParams f MaryEra -> HKD f Nonce
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Nonce
sppExtraEntropy ((PParamsHKD f MaryEra -> HKD f Nonce -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Nonce -> f (HKD f Nonce))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra -> HKD f Nonce -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Nonce -> f (HKD f Nonce))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f Nonce
x -> PParamsHKD f MaryEra
pp {sppExtraEntropy = x}
  hkdProtocolVersionL :: forall (f :: * -> *).
(HKDFunctor f, ProtVerAtMost MaryEra 8) =>
Lens' (PParamsHKD f MaryEra) (HKD f ProtVer)
hkdProtocolVersionL = (PParamsHKD f MaryEra -> HKD f ProtVer)
-> (PParamsHKD f MaryEra -> HKD f ProtVer -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f ProtVer -> f (HKD f ProtVer))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f ProtVer
ShelleyPParams f MaryEra -> HKD f ProtVer
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f ProtVer
sppProtocolVersion ((PParamsHKD f MaryEra -> HKD f ProtVer -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f ProtVer -> f (HKD f ProtVer))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra -> HKD f ProtVer -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f ProtVer -> f (HKD f ProtVer))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f ProtVer
x -> PParamsHKD f MaryEra
pp {sppProtocolVersion = x}
  hkdMinUTxOValueL :: forall (f :: * -> *).
(HKDFunctor f, ProtVerAtMost MaryEra 4) =>
Lens' (PParamsHKD f MaryEra) (HKD f Coin)
hkdMinUTxOValueL = (PParamsHKD f MaryEra -> HKD f Coin)
-> (PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f Coin
ShelleyPParams f MaryEra -> HKD f Coin
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Coin
sppMinUTxOValue ((PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Coin -> f (HKD f Coin))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f Coin
x -> PParamsHKD f MaryEra
pp {sppMinUTxOValue = x}
  hkdMinPoolCostL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f MaryEra) (HKD f Coin)
hkdMinPoolCostL = (PParamsHKD f MaryEra -> HKD f Coin)
-> (PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens PParamsHKD f MaryEra -> HKD f Coin
ShelleyPParams f MaryEra -> HKD f Coin
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Coin
sppMinPoolCost ((PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Coin -> f (HKD f Coin))
    -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra))
-> (PParamsHKD f MaryEra -> HKD f Coin -> PParamsHKD f MaryEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f MaryEra -> f (PParamsHKD f MaryEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f MaryEra
pp HKD f Coin
x -> PParamsHKD f MaryEra
pp {sppMinPoolCost = x}

  eraPParams :: [PParam MaryEra]
eraPParams = [PParam MaryEra]
forall era.
(EraPParams era, ProtVerAtMost era 4, ProtVerAtMost era 6,
 ProtVerAtMost era 8) =>
[PParam era]
shelleyPParams

instance EraGov MaryEra where
  type GovState MaryEra = ShelleyGovState MaryEra
  emptyGovState :: GovState MaryEra
emptyGovState = GovState MaryEra
ShelleyGovState MaryEra
forall era. EraPParams era => ShelleyGovState era
emptyShelleyGovState

  curPParamsGovStateL :: Lens' (GovState MaryEra) (PParams MaryEra)
curPParamsGovStateL = (PParams MaryEra -> f (PParams MaryEra))
-> GovState MaryEra -> f (GovState MaryEra)
(PParams MaryEra -> f (PParams MaryEra))
-> ShelleyGovState MaryEra -> f (ShelleyGovState MaryEra)
forall era (f :: * -> *).
Functor f =>
(PParams era -> f (PParams era))
-> ShelleyGovState era -> f (ShelleyGovState era)
curPParamsShelleyGovStateL

  prevPParamsGovStateL :: Lens' (GovState MaryEra) (PParams MaryEra)
prevPParamsGovStateL = (PParams MaryEra -> f (PParams MaryEra))
-> GovState MaryEra -> f (GovState MaryEra)
(PParams MaryEra -> f (PParams MaryEra))
-> ShelleyGovState MaryEra -> f (ShelleyGovState MaryEra)
forall era (f :: * -> *).
Functor f =>
(PParams era -> f (PParams era))
-> ShelleyGovState era -> f (ShelleyGovState era)
prevPParamsShelleyGovStateL

  futurePParamsGovStateL :: Lens' (GovState MaryEra) (FuturePParams MaryEra)
futurePParamsGovStateL = (FuturePParams MaryEra -> f (FuturePParams MaryEra))
-> GovState MaryEra -> f (GovState MaryEra)
(FuturePParams MaryEra -> f (FuturePParams MaryEra))
-> ShelleyGovState MaryEra -> f (ShelleyGovState MaryEra)
forall era (f :: * -> *).
Functor f =>
(FuturePParams era -> f (FuturePParams era))
-> ShelleyGovState era -> f (ShelleyGovState era)
futurePParamsShelleyGovStateL

  obligationGovState :: GovState MaryEra -> Obligations
obligationGovState = Obligations -> ShelleyGovState MaryEra -> Obligations
forall a b. a -> b -> a
const Obligations
forall a. Monoid a => a
mempty