{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -Wno-orphans #-}

module Cardano.Ledger.Dijkstra.PParams () where

import Cardano.Ledger.Alonzo.PParams
import Cardano.Ledger.Babbage.PParams
import Cardano.Ledger.BaseTypes (EpochInterval (..), StrictMaybe (..))
import Cardano.Ledger.Conway.PParams
import Cardano.Ledger.Core
import Cardano.Ledger.Dijkstra.Era (DijkstraEra)
import Cardano.Ledger.HKD (HKDFunctor (..))
import Cardano.Ledger.Plutus (ExUnits)
import Cardano.Ledger.Shelley.PParams
import Cardano.Ledger.Val (Val (..))
import Data.Coerce (coerce)
import Data.Data (Proxy (..))
import Data.Word (Word16, Word32)
import Lens.Micro (Lens', lens, to, (^.))
import Numeric.Natural (Natural)

instance EraPParams DijkstraEra where
  type PParamsHKD f DijkstraEra = ConwayPParams f DijkstraEra
  type UpgradePParams f DijkstraEra = ()
  type DowngradePParams f DijkstraEra = ()

  applyPPUpdates :: PParams DijkstraEra
-> PParamsUpdate DijkstraEra -> PParams DijkstraEra
applyPPUpdates (PParams PParamsHKD Identity DijkstraEra
pp) (PParamsUpdate PParamsHKD StrictMaybe DijkstraEra
ppu) =
    PParamsHKD Identity DijkstraEra -> PParams DijkstraEra
forall era. PParamsHKD Identity era -> PParams era
PParams (PParamsHKD Identity DijkstraEra -> PParams DijkstraEra)
-> PParamsHKD Identity DijkstraEra -> PParams DijkstraEra
forall a b. (a -> b) -> a -> b
$ ConwayPParams Identity DijkstraEra
-> ConwayPParams StrictMaybe DijkstraEra
-> ConwayPParams Identity DijkstraEra
forall era.
ConwayPParams Identity era
-> ConwayPParams StrictMaybe era -> ConwayPParams Identity era
conwayApplyPPUpdates PParamsHKD Identity DijkstraEra
ConwayPParams Identity DijkstraEra
pp PParamsHKD StrictMaybe DijkstraEra
ConwayPParams StrictMaybe DijkstraEra
ppu

  emptyPParamsIdentity :: PParamsHKD Identity DijkstraEra
emptyPParamsIdentity = PParamsHKD Identity DijkstraEra
ConwayPParams Identity DijkstraEra
forall era. Era era => ConwayPParams Identity era
emptyConwayPParams
  emptyPParamsStrictMaybe :: PParamsHKD StrictMaybe DijkstraEra
emptyPParamsStrictMaybe = PParamsHKD StrictMaybe DijkstraEra
ConwayPParams StrictMaybe DijkstraEra
forall era. ConwayPParams StrictMaybe era
emptyConwayPParamsUpdate

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

  hkdMinFeeAL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Coin)
hkdMinFeeAL = (PParamsHKD f DijkstraEra -> HKD f Coin)
-> (PParamsHKD f DijkstraEra
    -> HKD f Coin -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin -> HKD f Coin
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin
 -> HKD f Coin)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin)
-> ConwayPParams f DijkstraEra
-> HKD f Coin
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin
cppMinFeeA) ((PParamsHKD f DijkstraEra
  -> HKD f Coin -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Coin -> f (HKD f Coin))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Coin -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f Coin
x -> PParamsHKD f DijkstraEra
pp {cppMinFeeA = THKD x}
  hkdMinFeeBL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Coin)
hkdMinFeeBL = (PParamsHKD f DijkstraEra -> HKD f Coin)
-> (PParamsHKD f DijkstraEra
    -> HKD f Coin -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin -> HKD f Coin
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin
 -> HKD f Coin)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin)
-> ConwayPParams f DijkstraEra
-> HKD f Coin
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f Coin
cppMinFeeB) ((PParamsHKD f DijkstraEra
  -> HKD f Coin -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Coin -> f (HKD f Coin))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Coin -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f Coin
x -> PParamsHKD f DijkstraEra
pp {cppMinFeeB = THKD x}
  hkdMaxBBSizeL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Word32)
hkdMaxBBSizeL = (PParamsHKD f DijkstraEra -> HKD f Word32)
-> (PParamsHKD f DijkstraEra
    -> HKD f Word32 -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word32 -> f (HKD f Word32))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
-> HKD f Word32
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
 -> HKD f Word32)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)
-> ConwayPParams f DijkstraEra
-> HKD f Word32
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
cppMaxBBSize) ((PParamsHKD f DijkstraEra
  -> HKD f Word32 -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Word32 -> f (HKD f Word32))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Word32 -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word32 -> f (HKD f Word32))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f Word32
x -> PParamsHKD f DijkstraEra
pp {cppMaxBBSize = THKD x}
  hkdMaxTxSizeL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Word32)
hkdMaxTxSizeL = (PParamsHKD f DijkstraEra -> HKD f Word32)
-> (PParamsHKD f DijkstraEra
    -> HKD f Word32 -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word32 -> f (HKD f Word32))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
-> HKD f Word32
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
 -> HKD f Word32)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)
-> ConwayPParams f DijkstraEra
-> HKD f Word32
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
cppMaxTxSize) ((PParamsHKD f DijkstraEra
  -> HKD f Word32 -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Word32 -> f (HKD f Word32))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Word32 -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word32 -> f (HKD f Word32))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f Word32
x -> PParamsHKD f DijkstraEra
pp {cppMaxTxSize = THKD x}
  hkdMaxBHSizeL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Word16)
hkdMaxBHSizeL = (PParamsHKD f DijkstraEra -> HKD f Word16)
-> (PParamsHKD f DijkstraEra
    -> HKD f Word16 -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word16 -> f (HKD f Word16))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word16
-> HKD f Word16
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word16
 -> HKD f Word16)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word16)
-> ConwayPParams f DijkstraEra
-> HKD f Word16
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word16
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word16
cppMaxBHSize) ((PParamsHKD f DijkstraEra
  -> HKD f Word16 -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Word16 -> f (HKD f Word16))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Word16 -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word16 -> f (HKD f Word16))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f Word16
x -> PParamsHKD f DijkstraEra
pp {cppMaxBHSize = THKD x}
  hkdKeyDepositL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Coin)
hkdKeyDepositL = (PParamsHKD f DijkstraEra -> HKD f Coin)
-> (PParamsHKD f DijkstraEra
    -> HKD f Coin -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin
-> HKD f Coin
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin
 -> HKD f Coin)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin)
-> ConwayPParams f DijkstraEra
-> HKD f Coin
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin
cppKeyDeposit) ((PParamsHKD f DijkstraEra
  -> HKD f Coin -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Coin -> f (HKD f Coin))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Coin -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f Coin
x -> PParamsHKD f DijkstraEra
pp {cppKeyDeposit = THKD x}
  hkdPoolDepositL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Coin)
hkdPoolDepositL = (PParamsHKD f DijkstraEra -> HKD f Coin)
-> (PParamsHKD f DijkstraEra
    -> HKD f Coin -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin
-> HKD f Coin
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin
 -> HKD f Coin)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin)
-> ConwayPParams f DijkstraEra
-> HKD f Coin
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin
cppPoolDeposit) ((PParamsHKD f DijkstraEra
  -> HKD f Coin -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Coin -> f (HKD f Coin))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Coin -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f Coin
x -> PParamsHKD f DijkstraEra
pp {cppPoolDeposit = THKD x}
  hkdEMaxL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f EpochInterval)
hkdEMaxL = (PParamsHKD f DijkstraEra -> HKD f EpochInterval)
-> (PParamsHKD f DijkstraEra
    -> HKD f EpochInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f EpochInterval -> f (HKD f EpochInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f EpochInterval
-> HKD f EpochInterval
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f EpochInterval
 -> HKD f EpochInterval)
-> (ConwayPParams f DijkstraEra
    -> THKD
         ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f EpochInterval)
-> ConwayPParams f DijkstraEra
-> HKD f EpochInterval
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f EpochInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f EpochInterval
cppEMax) ((PParamsHKD f DijkstraEra
  -> HKD f EpochInterval -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f EpochInterval -> f (HKD f EpochInterval))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f EpochInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f EpochInterval -> f (HKD f EpochInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f EpochInterval
x -> PParamsHKD f DijkstraEra
pp {cppEMax = THKD x}
  hkdNOptL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Word16)
hkdNOptL = (PParamsHKD f DijkstraEra -> HKD f Word16)
-> (PParamsHKD f DijkstraEra
    -> HKD f Word16 -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word16 -> f (HKD f Word16))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16
-> HKD f Word16
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16
 -> HKD f Word16)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16)
-> ConwayPParams f DijkstraEra
-> HKD f Word16
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16
cppNOpt) ((PParamsHKD f DijkstraEra
  -> HKD f Word16 -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Word16 -> f (HKD f Word16))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Word16 -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Word16 -> f (HKD f Word16))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f Word16
x -> PParamsHKD f DijkstraEra
pp {cppNOpt = THKD x}
  hkdA0L :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f NonNegativeInterval)
hkdA0L = (PParamsHKD f DijkstraEra -> HKD f NonNegativeInterval)
-> (PParamsHKD f DijkstraEra
    -> HKD f NonNegativeInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f NonNegativeInterval -> f (HKD f NonNegativeInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD
  ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f NonNegativeInterval
-> HKD f NonNegativeInterval
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD
   ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f NonNegativeInterval
 -> HKD f NonNegativeInterval)
-> (ConwayPParams f DijkstraEra
    -> THKD
         ('PPGroups 'TechnicalGroup 'NoStakePoolGroup)
         f
         NonNegativeInterval)
-> ConwayPParams f DijkstraEra
-> HKD f NonNegativeInterval
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f NonNegativeInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f NonNegativeInterval
cppA0) ((PParamsHKD f DijkstraEra
  -> HKD f NonNegativeInterval -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f NonNegativeInterval -> f (HKD f NonNegativeInterval))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f NonNegativeInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f NonNegativeInterval -> f (HKD f NonNegativeInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f NonNegativeInterval
x -> PParamsHKD f DijkstraEra
pp {cppA0 = THKD x}
  hkdRhoL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f UnitInterval)
hkdRhoL = (PParamsHKD f DijkstraEra -> HKD f UnitInterval)
-> (PParamsHKD f DijkstraEra
    -> HKD f UnitInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f UnitInterval -> f (HKD f UnitInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval
-> HKD f UnitInterval
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval
 -> HKD f UnitInterval)
-> (ConwayPParams f DijkstraEra
    -> THKD
         ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval)
-> ConwayPParams f DijkstraEra
-> HKD f UnitInterval
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval
cppRho) ((PParamsHKD f DijkstraEra
  -> HKD f UnitInterval -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f UnitInterval -> f (HKD f UnitInterval))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f UnitInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f UnitInterval -> f (HKD f UnitInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f UnitInterval
x -> PParamsHKD f DijkstraEra
pp {cppRho = THKD x}
  hkdTauL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f UnitInterval)
hkdTauL = (PParamsHKD f DijkstraEra -> HKD f UnitInterval)
-> (PParamsHKD f DijkstraEra
    -> HKD f UnitInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f UnitInterval -> f (HKD f UnitInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval
-> HKD f UnitInterval
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval
 -> HKD f UnitInterval)
-> (ConwayPParams f DijkstraEra
    -> THKD
         ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval)
-> ConwayPParams f DijkstraEra
-> HKD f UnitInterval
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval
cppTau) ((PParamsHKD f DijkstraEra
  -> HKD f UnitInterval -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f UnitInterval -> f (HKD f UnitInterval))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f UnitInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f UnitInterval -> f (HKD f UnitInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f UnitInterval
x -> PParamsHKD f DijkstraEra
pp {cppTau = THKD x}
  hkdProtocolVersionL :: forall (f :: * -> *).
(HKDFunctor f, ProtVerAtMost DijkstraEra 8) =>
Lens' (PParamsHKD f DijkstraEra) (HKD f ProtVer)
hkdProtocolVersionL = (HKD f ProtVer -> f (HKD f ProtVer))
-> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
(HKD f ProtVer -> f (HKD f ProtVer))
-> ConwayPParams f DijkstraEra -> f (ConwayPParams f DijkstraEra)
forall a b. HasCallStack => Lens' a b
Lens' (ConwayPParams f DijkstraEra) (HKD f ProtVer)
notSupportedInThisEraL
  hkdMinPoolCostL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Coin)
hkdMinPoolCostL = (PParamsHKD f DijkstraEra -> HKD f Coin)
-> (PParamsHKD f DijkstraEra
    -> HKD f Coin -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin
-> HKD f Coin
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin
 -> HKD f Coin)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin)
-> ConwayPParams f DijkstraEra
-> HKD f Coin
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Coin
cppMinPoolCost) ((PParamsHKD f DijkstraEra
  -> HKD f Coin -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Coin -> f (HKD f Coin))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Coin -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f Coin
x -> PParamsHKD f DijkstraEra
pp {cppMinPoolCost = THKD x}
  ppProtocolVersionL :: Lens' (PParams DijkstraEra) ProtVer
ppProtocolVersionL = (PParamsHKD Identity DijkstraEra
 -> f (PParamsHKD Identity DijkstraEra))
-> PParams DijkstraEra -> f (PParams DijkstraEra)
(ConwayPParams Identity DijkstraEra
 -> f (ConwayPParams Identity DijkstraEra))
-> PParams DijkstraEra -> f (PParams DijkstraEra)
forall era (f :: * -> *).
Functor f =>
(PParamsHKD Identity era -> f (PParamsHKD Identity era))
-> PParams era -> f (PParams era)
ppLensHKD ((ConwayPParams Identity DijkstraEra
  -> f (ConwayPParams Identity DijkstraEra))
 -> PParams DijkstraEra -> f (PParams DijkstraEra))
-> ((ProtVer -> f ProtVer)
    -> ConwayPParams Identity DijkstraEra
    -> f (ConwayPParams Identity DijkstraEra))
-> (ProtVer -> f ProtVer)
-> PParams DijkstraEra
-> f (PParams DijkstraEra)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (ConwayPParams Identity DijkstraEra -> ProtVer)
-> (ConwayPParams Identity DijkstraEra
    -> ProtVer -> ConwayPParams Identity DijkstraEra)
-> Lens
     (ConwayPParams Identity DijkstraEra)
     (ConwayPParams Identity DijkstraEra)
     ProtVer
     ProtVer
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens ConwayPParams Identity DijkstraEra -> HKDNoUpdate Identity ProtVer
ConwayPParams Identity DijkstraEra -> ProtVer
forall (f :: * -> *) era.
ConwayPParams f era -> HKDNoUpdate f ProtVer
cppProtocolVersion (\ConwayPParams Identity DijkstraEra
pp ProtVer
x -> ConwayPParams Identity DijkstraEra
pp {cppProtocolVersion = x})

  ppDG :: SimpleGetter (PParams DijkstraEra) UnitInterval
ppDG = (PParams DijkstraEra -> UnitInterval)
-> SimpleGetter (PParams DijkstraEra) UnitInterval
forall s a. (s -> a) -> SimpleGetter s a
to (UnitInterval -> PParams DijkstraEra -> UnitInterval
forall a b. a -> b -> a
const UnitInterval
forall a. Bounded a => a
minBound)
  ppuProtocolVersionL :: ProtVerAtMost DijkstraEra 8 =>
Lens' (PParamsUpdate DijkstraEra) (StrictMaybe ProtVer)
ppuProtocolVersionL = (StrictMaybe ProtVer -> f (StrictMaybe ProtVer))
-> PParamsUpdate DijkstraEra -> f (PParamsUpdate DijkstraEra)
forall a b. HasCallStack => Lens' a b
Lens' (PParamsUpdate DijkstraEra) (StrictMaybe ProtVer)
notSupportedInThisEraL
  hkdDL :: forall (f :: * -> *).
(HKDFunctor f, ProtVerAtMost DijkstraEra 6) =>
Lens' (PParamsHKD f DijkstraEra) (HKD f UnitInterval)
hkdDL = (HKD f UnitInterval -> f (HKD f UnitInterval))
-> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
(HKD f UnitInterval -> f (HKD f UnitInterval))
-> ConwayPParams f DijkstraEra -> f (ConwayPParams f DijkstraEra)
forall a b. HasCallStack => Lens' a b
Lens' (ConwayPParams f DijkstraEra) (HKD f UnitInterval)
notSupportedInThisEraL
  hkdExtraEntropyL :: forall (f :: * -> *).
(HKDFunctor f, ProtVerAtMost DijkstraEra 6) =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Nonce)
hkdExtraEntropyL = (HKD f Nonce -> f (HKD f Nonce))
-> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
(HKD f Nonce -> f (HKD f Nonce))
-> ConwayPParams f DijkstraEra -> f (ConwayPParams f DijkstraEra)
forall a b. HasCallStack => Lens' a b
Lens' (ConwayPParams f DijkstraEra) (HKD f Nonce)
notSupportedInThisEraL
  hkdMinUTxOValueL :: forall (f :: * -> *).
(HKDFunctor f, ProtVerAtMost DijkstraEra 4) =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Coin)
hkdMinUTxOValueL = (HKD f Coin -> f (HKD f Coin))
-> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
(HKD f Coin -> f (HKD f Coin))
-> ConwayPParams f DijkstraEra -> f (ConwayPParams f DijkstraEra)
forall a b. HasCallStack => Lens' a b
Lens' (ConwayPParams f DijkstraEra) (HKD f Coin)
notSupportedInThisEraL
  eraPParams :: [PParam DijkstraEra]
eraPParams =
    [ PParam DijkstraEra
forall era. EraPParams era => PParam era
ppMinFeeA
    , PParam DijkstraEra
forall era. EraPParams era => PParam era
ppMinFeeB
    , PParam DijkstraEra
forall era. EraPParams era => PParam era
ppMaxBBSize
    , PParam DijkstraEra
forall era. EraPParams era => PParam era
ppMaxTxSize
    , PParam DijkstraEra
forall era. EraPParams era => PParam era
ppMaxBHSize
    , PParam DijkstraEra
forall era. EraPParams era => PParam era
ppKeyDeposit
    , PParam DijkstraEra
forall era. EraPParams era => PParam era
ppPoolDeposit
    , PParam DijkstraEra
forall era. EraPParams era => PParam era
ppEMax
    , PParam DijkstraEra
forall era. EraPParams era => PParam era
ppNOpt
    , PParam DijkstraEra
forall era. EraPParams era => PParam era
ppA0
    , PParam DijkstraEra
forall era. EraPParams era => PParam era
ppRho
    , PParam DijkstraEra
forall era. EraPParams era => PParam era
ppTau
    , PParam DijkstraEra
forall era. ConwayEraPParams era => PParam era
ppGovProtocolVersion
    , PParam DijkstraEra
forall era. EraPParams era => PParam era
ppMinPoolCost
    , PParam DijkstraEra
forall era. BabbageEraPParams era => PParam era
ppCoinsPerUTxOByte
    , PParam DijkstraEra
forall era. AlonzoEraPParams era => PParam era
ppCostModels
    , PParam DijkstraEra
forall era. AlonzoEraPParams era => PParam era
ppPrices
    , PParam DijkstraEra
forall era. AlonzoEraPParams era => PParam era
ppMaxTxExUnits
    , PParam DijkstraEra
forall era. AlonzoEraPParams era => PParam era
ppMaxBlockExUnits
    , PParam DijkstraEra
forall era. AlonzoEraPParams era => PParam era
ppMaxValSize
    , PParam DijkstraEra
forall era. AlonzoEraPParams era => PParam era
ppCollateralPercentage
    , PParam DijkstraEra
forall era. AlonzoEraPParams era => PParam era
ppMaxCollateralInputs
    , PParam DijkstraEra
forall era. ConwayEraPParams era => PParam era
ppPoolVotingThresholds
    , PParam DijkstraEra
forall era. ConwayEraPParams era => PParam era
ppDRepVotingThresholds
    , PParam DijkstraEra
forall era. ConwayEraPParams era => PParam era
ppCommitteeMinSize
    , PParam DijkstraEra
forall era. ConwayEraPParams era => PParam era
ppCommitteeMaxTermLength
    , PParam DijkstraEra
forall era. ConwayEraPParams era => PParam era
ppGovActionLifetime
    , PParam DijkstraEra
forall era. ConwayEraPParams era => PParam era
ppGovActionDeposit
    , PParam DijkstraEra
forall era. ConwayEraPParams era => PParam era
ppDRepDeposit
    , PParam DijkstraEra
forall era. ConwayEraPParams era => PParam era
ppDRepActivity
    , PParam DijkstraEra
forall era. ConwayEraPParams era => PParam era
ppMinFeeRefScriptCostPerByte
    ]

instance AlonzoEraPParams DijkstraEra where
  hkdCoinsPerUTxOWordL :: forall (f :: * -> *).
(HKDFunctor f, ExactEra AlonzoEra DijkstraEra) =>
Lens' (PParamsHKD f DijkstraEra) (HKD f CoinPerWord)
hkdCoinsPerUTxOWordL = (HKD f CoinPerWord -> f (HKD f CoinPerWord))
-> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
(HKD f CoinPerWord -> f (HKD f CoinPerWord))
-> ConwayPParams f DijkstraEra -> f (ConwayPParams f DijkstraEra)
forall a b. HasCallStack => Lens' a b
Lens' (ConwayPParams f DijkstraEra) (HKD f CoinPerWord)
notSupportedInThisEraL
  hkdCostModelsL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f CostModels)
hkdCostModelsL = (PParamsHKD f DijkstraEra -> HKD f CostModels)
-> (PParamsHKD f DijkstraEra
    -> HKD f CostModels -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f CostModels -> f (HKD f CostModels))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f CostModels
-> HKD f CostModels
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f CostModels
 -> HKD f CostModels)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f CostModels)
-> ConwayPParams f DijkstraEra
-> HKD f CostModels
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f CostModels
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f CostModels
cppCostModels) ((PParamsHKD f DijkstraEra
  -> HKD f CostModels -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f CostModels -> f (HKD f CostModels))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f CostModels -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f CostModels -> f (HKD f CostModels))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f CostModels
x -> PParamsHKD f DijkstraEra
pp {cppCostModels = THKD x}
  hkdPricesL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Prices)
hkdPricesL = (PParamsHKD f DijkstraEra -> HKD f Prices)
-> (PParamsHKD f DijkstraEra
    -> HKD f Prices -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Prices -> f (HKD f Prices))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Prices
-> HKD f Prices
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Prices
 -> HKD f Prices)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Prices)
-> ConwayPParams f DijkstraEra
-> HKD f Prices
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Prices
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Prices
cppPrices) ((PParamsHKD f DijkstraEra
  -> HKD f Prices -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Prices -> f (HKD f Prices))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Prices -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Prices -> f (HKD f Prices))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f Prices
x -> PParamsHKD f DijkstraEra
pp {cppPrices = THKD x}

  hkdMaxTxExUnitsL :: forall f. HKDFunctor f => Lens' (PParamsHKD f DijkstraEra) (HKD f ExUnits)
  hkdMaxTxExUnitsL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f ExUnits)
hkdMaxTxExUnitsL =
    (PParamsHKD f DijkstraEra -> HKD f ExUnits)
-> (PParamsHKD f DijkstraEra
    -> HKD f ExUnits -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f ExUnits -> f (HKD f ExUnits))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (Proxy f
-> (OrdExUnits -> ExUnits) -> HKD f OrdExUnits -> HKD f ExUnits
forall (f :: * -> *) (proxy :: (* -> *) -> *) a b.
HKDFunctor f =>
proxy f -> (a -> b) -> HKD f a -> HKD f b
forall (proxy :: (* -> *) -> *) a b.
proxy f -> (a -> b) -> HKD f a -> HKD f b
hkdMap (forall {k} (t :: k). Proxy t
forall (t :: * -> *). Proxy t
Proxy @f) OrdExUnits -> ExUnits
unOrdExUnits (HKD f OrdExUnits -> HKD f ExUnits)
-> (ConwayPParams f DijkstraEra -> HKD f OrdExUnits)
-> ConwayPParams f DijkstraEra
-> HKD f ExUnits
forall b c a. (b -> c) -> (a -> b) -> a -> c
. THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f OrdExUnits
-> HKD f OrdExUnits
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f OrdExUnits
 -> HKD f OrdExUnits)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f OrdExUnits)
-> ConwayPParams f DijkstraEra
-> HKD f OrdExUnits
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f OrdExUnits
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f OrdExUnits
cppMaxTxExUnits) ((PParamsHKD f DijkstraEra
  -> HKD f ExUnits -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f ExUnits -> f (HKD f ExUnits))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f ExUnits -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f ExUnits -> f (HKD f ExUnits))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f ExUnits
x ->
      PParamsHKD f DijkstraEra
pp {cppMaxTxExUnits = THKD $ hkdMap (Proxy @f) OrdExUnits x}
  hkdMaxBlockExUnitsL :: forall f. HKDFunctor f => Lens' (PParamsHKD f DijkstraEra) (HKD f ExUnits)
  hkdMaxBlockExUnitsL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f ExUnits)
hkdMaxBlockExUnitsL =
    (PParamsHKD f DijkstraEra -> HKD f ExUnits)
-> (PParamsHKD f DijkstraEra
    -> HKD f ExUnits -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f ExUnits -> f (HKD f ExUnits))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (Proxy f
-> (OrdExUnits -> ExUnits) -> HKD f OrdExUnits -> HKD f ExUnits
forall (f :: * -> *) (proxy :: (* -> *) -> *) a b.
HKDFunctor f =>
proxy f -> (a -> b) -> HKD f a -> HKD f b
forall (proxy :: (* -> *) -> *) a b.
proxy f -> (a -> b) -> HKD f a -> HKD f b
hkdMap (forall {k} (t :: k). Proxy t
forall (t :: * -> *). Proxy t
Proxy @f) OrdExUnits -> ExUnits
unOrdExUnits (HKD f OrdExUnits -> HKD f ExUnits)
-> (ConwayPParams f DijkstraEra -> HKD f OrdExUnits)
-> ConwayPParams f DijkstraEra
-> HKD f ExUnits
forall b c a. (b -> c) -> (a -> b) -> a -> c
. THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f OrdExUnits
-> HKD f OrdExUnits
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f OrdExUnits
 -> HKD f OrdExUnits)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f OrdExUnits)
-> ConwayPParams f DijkstraEra
-> HKD f OrdExUnits
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f OrdExUnits
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f OrdExUnits
cppMaxBlockExUnits) ((PParamsHKD f DijkstraEra
  -> HKD f ExUnits -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f ExUnits -> f (HKD f ExUnits))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f ExUnits -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f ExUnits -> f (HKD f ExUnits))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f ExUnits
x ->
      PParamsHKD f DijkstraEra
pp {cppMaxBlockExUnits = THKD $ hkdMap (Proxy @f) OrdExUnits x}
  hkdMaxValSizeL :: forall f. HKDFunctor f => Lens' (PParamsHKD f DijkstraEra) (HKD f Natural)
  hkdMaxValSizeL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Natural)
hkdMaxValSizeL =
    (PParamsHKD f DijkstraEra -> HKD f Natural)
-> (PParamsHKD f DijkstraEra
    -> HKD f Natural -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Natural -> f (HKD f Natural))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (forall (f :: * -> *) i.
(HKDFunctor f, Integral i) =>
HKD f i -> HKD f Natural
asNaturalHKD @f @Word32 (HKD f Word32 -> HKD f Natural)
-> (ConwayPParams f DijkstraEra -> HKD f Word32)
-> ConwayPParams f DijkstraEra
-> HKD f Natural
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
-> HKD f Word32
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
 -> HKD f Word32)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32)
-> ConwayPParams f DijkstraEra
-> HKD f Word32
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
cppMaxValSize)) ((PParamsHKD f DijkstraEra
  -> HKD f Natural -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Natural -> f (HKD f Natural))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Natural -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Natural -> f (HKD f Natural))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$
      \PParamsHKD f DijkstraEra
pp HKD f Natural
x -> PParamsHKD f DijkstraEra
pp {cppMaxValSize = THKD (asBoundedIntegralHKD @f @Natural @Word32 x)}
  hkdCollateralPercentageL ::
    forall f. HKDFunctor f => Lens' (PParamsHKD f DijkstraEra) (HKD f Natural)
  hkdCollateralPercentageL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Natural)
hkdCollateralPercentageL =
    (PParamsHKD f DijkstraEra -> HKD f Natural)
-> (PParamsHKD f DijkstraEra
    -> HKD f Natural -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Natural -> f (HKD f Natural))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (forall (f :: * -> *) i.
(HKDFunctor f, Integral i) =>
HKD f i -> HKD f Natural
asNaturalHKD @f @Word16 (HKD f Word16 -> HKD f Natural)
-> (ConwayPParams f DijkstraEra -> HKD f Word16)
-> ConwayPParams f DijkstraEra
-> HKD f Natural
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16
-> HKD f Word16
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16
 -> HKD f Word16)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16)
-> ConwayPParams f DijkstraEra
-> HKD f Word16
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16
cppCollateralPercentage)) ((PParamsHKD f DijkstraEra
  -> HKD f Natural -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Natural -> f (HKD f Natural))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Natural -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Natural -> f (HKD f Natural))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$
      \PParamsHKD f DijkstraEra
pp HKD f Natural
x -> PParamsHKD f DijkstraEra
pp {cppCollateralPercentage = THKD (asBoundedIntegralHKD @f @Natural @Word16 x)}
  hkdMaxCollateralInputsL ::
    forall f. HKDFunctor f => Lens' (PParamsHKD f DijkstraEra) (HKD f Natural)
  hkdMaxCollateralInputsL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Natural)
hkdMaxCollateralInputsL =
    (PParamsHKD f DijkstraEra -> HKD f Natural)
-> (PParamsHKD f DijkstraEra
    -> HKD f Natural -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Natural -> f (HKD f Natural))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (forall (f :: * -> *) i.
(HKDFunctor f, Integral i) =>
HKD f i -> HKD f Natural
asNaturalHKD @f @Word16 (HKD f Word16 -> HKD f Natural)
-> (ConwayPParams f DijkstraEra -> HKD f Word16)
-> ConwayPParams f DijkstraEra
-> HKD f Natural
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f Word16
-> HKD f Word16
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f Word16
 -> HKD f Word16)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f Word16)
-> ConwayPParams f DijkstraEra
-> HKD f Word16
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f Word16
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f Word16
cppMaxCollateralInputs)) ((PParamsHKD f DijkstraEra
  -> HKD f Natural -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Natural -> f (HKD f Natural))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Natural -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Natural -> f (HKD f Natural))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$
      \PParamsHKD f DijkstraEra
pp HKD f Natural
x -> PParamsHKD f DijkstraEra
pp {cppMaxCollateralInputs = THKD (asBoundedIntegralHKD @f @Natural @Word16 x)}

instance BabbageEraPParams DijkstraEra where
  hkdCoinsPerUTxOByteL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f CoinPerByte)
hkdCoinsPerUTxOByteL =
    (PParamsHKD f DijkstraEra -> HKD f CoinPerByte)
-> (PParamsHKD f DijkstraEra
    -> HKD f CoinPerByte -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f CoinPerByte -> f (HKD f CoinPerByte))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte
-> HKD f CoinPerByte
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte
 -> HKD f CoinPerByte)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte)
-> ConwayPParams f DijkstraEra
-> HKD f CoinPerByte
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte
cppCoinsPerUTxOByte) ((PParamsHKD f DijkstraEra
  -> HKD f CoinPerByte -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f CoinPerByte -> f (HKD f CoinPerByte))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f CoinPerByte -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f CoinPerByte -> f (HKD f CoinPerByte))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f CoinPerByte
x -> PParamsHKD f DijkstraEra
pp {cppCoinsPerUTxOByte = THKD x}

instance ConwayEraPParams DijkstraEra where
  modifiedPPGroups :: PParamsUpdate DijkstraEra -> Set PPGroups
modifiedPPGroups (PParamsUpdate PParamsHKD StrictMaybe DijkstraEra
ppu) = ConwayPParams StrictMaybe DijkstraEra -> Set PPGroups
forall era. ConwayPParams StrictMaybe era -> Set PPGroups
conwayModifiedPPGroups PParamsHKD StrictMaybe DijkstraEra
ConwayPParams StrictMaybe DijkstraEra
ppu
  ppuWellFormed :: ProtVer -> PParamsUpdate DijkstraEra -> Bool
ppuWellFormed ProtVer
_pv PParamsUpdate DijkstraEra
ppu =
    [Bool] -> Bool
forall (t :: * -> *). Foldable t => t Bool -> Bool
and
      [ -- Numbers
        (Word32 -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Word32) -> Bool
forall t.
(t -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t) -> Bool
isValid (Word32 -> Word32 -> Bool
forall a. Eq a => a -> a -> Bool
/= Word32
0) (StrictMaybe Word32 -> f (StrictMaybe Word32))
-> PParamsUpdate DijkstraEra -> f (PParamsUpdate DijkstraEra)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Word32)
Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Word32)
ppuMaxBBSizeL
      , (Word32 -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Word32) -> Bool
forall t.
(t -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t) -> Bool
isValid (Word32 -> Word32 -> Bool
forall a. Eq a => a -> a -> Bool
/= Word32
0) (StrictMaybe Word32 -> f (StrictMaybe Word32))
-> PParamsUpdate DijkstraEra -> f (PParamsUpdate DijkstraEra)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Word32)
Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Word32)
ppuMaxTxSizeL
      , (Word16 -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Word16) -> Bool
forall t.
(t -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t) -> Bool
isValid (Word16 -> Word16 -> Bool
forall a. Eq a => a -> a -> Bool
/= Word16
0) (StrictMaybe Word16 -> f (StrictMaybe Word16))
-> PParamsUpdate DijkstraEra -> f (PParamsUpdate DijkstraEra)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Word16)
Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Word16)
ppuMaxBHSizeL
      , (Natural -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Natural) -> Bool
forall t.
(t -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t) -> Bool
isValid (Natural -> Natural -> Bool
forall a. Eq a => a -> a -> Bool
/= Natural
0) (StrictMaybe Natural -> f (StrictMaybe Natural))
-> PParamsUpdate DijkstraEra -> f (PParamsUpdate DijkstraEra)
forall era.
AlonzoEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Natural)
Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Natural)
ppuMaxValSizeL
      , (Natural -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Natural) -> Bool
forall t.
(t -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t) -> Bool
isValid (Natural -> Natural -> Bool
forall a. Eq a => a -> a -> Bool
/= Natural
0) (StrictMaybe Natural -> f (StrictMaybe Natural))
-> PParamsUpdate DijkstraEra -> f (PParamsUpdate DijkstraEra)
forall era.
AlonzoEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Natural)
Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Natural)
ppuCollateralPercentageL
      , (EpochInterval -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe EpochInterval)
-> Bool
forall t.
(t -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t) -> Bool
isValid (EpochInterval -> EpochInterval -> Bool
forall a. Eq a => a -> a -> Bool
/= Word32 -> EpochInterval
EpochInterval Word32
0) (StrictMaybe EpochInterval -> f (StrictMaybe EpochInterval))
-> PParamsUpdate DijkstraEra -> f (PParamsUpdate DijkstraEra)
forall era.
ConwayEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
Lens' (PParamsUpdate DijkstraEra) (StrictMaybe EpochInterval)
ppuCommitteeMaxTermLengthL
      , (EpochInterval -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe EpochInterval)
-> Bool
forall t.
(t -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t) -> Bool
isValid (EpochInterval -> EpochInterval -> Bool
forall a. Eq a => a -> a -> Bool
/= Word32 -> EpochInterval
EpochInterval Word32
0) (StrictMaybe EpochInterval -> f (StrictMaybe EpochInterval))
-> PParamsUpdate DijkstraEra -> f (PParamsUpdate DijkstraEra)
forall era.
ConwayEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
Lens' (PParamsUpdate DijkstraEra) (StrictMaybe EpochInterval)
ppuGovActionLifetimeL
      , -- Coins
        (Coin -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Coin) -> Bool
forall t.
(t -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t) -> Bool
isValid (Coin -> Coin -> Bool
forall a. Eq a => a -> a -> Bool
/= Coin
forall t. Val t => t
zero) (StrictMaybe Coin -> f (StrictMaybe Coin))
-> PParamsUpdate DijkstraEra -> f (PParamsUpdate DijkstraEra)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Coin)
ppuPoolDepositL
      , (Coin -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Coin) -> Bool
forall t.
(t -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t) -> Bool
isValid (Coin -> Coin -> Bool
forall a. Eq a => a -> a -> Bool
/= Coin
forall t. Val t => t
zero) (StrictMaybe Coin -> f (StrictMaybe Coin))
-> PParamsUpdate DijkstraEra -> f (PParamsUpdate DijkstraEra)
forall era.
ConwayEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Coin)
ppuGovActionDepositL
      , (Coin -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Coin) -> Bool
forall t.
(t -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t) -> Bool
isValid (Coin -> Coin -> Bool
forall a. Eq a => a -> a -> Bool
/= Coin
forall t. Val t => t
zero) (StrictMaybe Coin -> f (StrictMaybe Coin))
-> PParamsUpdate DijkstraEra -> f (PParamsUpdate DijkstraEra)
forall era.
ConwayEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate DijkstraEra) (StrictMaybe Coin)
ppuDRepDepositL
      , (CoinPerByte -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe CoinPerByte)
-> Bool
forall t.
(t -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t) -> Bool
isValid ((Coin -> Coin -> Bool
forall a. Eq a => a -> a -> Bool
/= Coin
forall t. Val t => t
zero) (Coin -> Bool) -> (CoinPerByte -> Coin) -> CoinPerByte -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. CoinPerByte -> Coin
unCoinPerByte) (StrictMaybe CoinPerByte -> f (StrictMaybe CoinPerByte))
-> PParamsUpdate DijkstraEra -> f (PParamsUpdate DijkstraEra)
forall era.
BabbageEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte)
Lens' (PParamsUpdate DijkstraEra) (StrictMaybe CoinPerByte)
ppuCoinsPerUTxOByteL
      , PParamsUpdate DijkstraEra
ppu PParamsUpdate DijkstraEra -> PParamsUpdate DijkstraEra -> Bool
forall a. Eq a => a -> a -> Bool
/= PParamsUpdate DijkstraEra
forall era. EraPParams era => PParamsUpdate era
emptyPParamsUpdate
      ]
    where
      isValid ::
        (t -> Bool) ->
        Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t) ->
        Bool
      isValid :: forall t.
(t -> Bool)
-> Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t) -> Bool
isValid t -> Bool
p Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t)
l = case PParamsUpdate DijkstraEra
ppu PParamsUpdate DijkstraEra
-> Getting
     (StrictMaybe t) (PParamsUpdate DijkstraEra) (StrictMaybe t)
-> StrictMaybe t
forall s a. s -> Getting a s a -> a
^. Getting (StrictMaybe t) (PParamsUpdate DijkstraEra) (StrictMaybe t)
Lens' (PParamsUpdate DijkstraEra) (StrictMaybe t)
l of
        SJust t
x -> t -> Bool
p t
x
        StrictMaybe t
SNothing -> Bool
True
  hkdPoolVotingThresholdsL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f PoolVotingThresholds)
hkdPoolVotingThresholdsL =
    (PParamsHKD f DijkstraEra -> HKD f PoolVotingThresholds)
-> (PParamsHKD f DijkstraEra
    -> HKD f PoolVotingThresholds -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f PoolVotingThresholds -> f (HKD f PoolVotingThresholds))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f PoolVotingThresholds
-> HKD f PoolVotingThresholds
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD
   ('PPGroups 'GovGroup 'NoStakePoolGroup) f PoolVotingThresholds
 -> HKD f PoolVotingThresholds)
-> (ConwayPParams f DijkstraEra
    -> THKD
         ('PPGroups 'GovGroup 'NoStakePoolGroup) f PoolVotingThresholds)
-> ConwayPParams f DijkstraEra
-> HKD f PoolVotingThresholds
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup) f PoolVotingThresholds
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup) f PoolVotingThresholds
cppPoolVotingThresholds) ((PParamsHKD f DijkstraEra
  -> HKD f PoolVotingThresholds -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f PoolVotingThresholds -> f (HKD f PoolVotingThresholds))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f PoolVotingThresholds -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f PoolVotingThresholds -> f (HKD f PoolVotingThresholds))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f PoolVotingThresholds
x -> PParamsHKD f DijkstraEra
pp {cppPoolVotingThresholds = THKD x}
  hkdDRepVotingThresholdsL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f DRepVotingThresholds)
hkdDRepVotingThresholdsL =
    (PParamsHKD f DijkstraEra -> HKD f DRepVotingThresholds)
-> (PParamsHKD f DijkstraEra
    -> HKD f DRepVotingThresholds -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f DRepVotingThresholds -> f (HKD f DRepVotingThresholds))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f DRepVotingThresholds
-> HKD f DRepVotingThresholds
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD
   ('PPGroups 'GovGroup 'NoStakePoolGroup) f DRepVotingThresholds
 -> HKD f DRepVotingThresholds)
-> (ConwayPParams f DijkstraEra
    -> THKD
         ('PPGroups 'GovGroup 'NoStakePoolGroup) f DRepVotingThresholds)
-> ConwayPParams f DijkstraEra
-> HKD f DRepVotingThresholds
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup) f DRepVotingThresholds
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup) f DRepVotingThresholds
cppDRepVotingThresholds) ((PParamsHKD f DijkstraEra
  -> HKD f DRepVotingThresholds -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f DRepVotingThresholds -> f (HKD f DRepVotingThresholds))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f DRepVotingThresholds -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f DRepVotingThresholds -> f (HKD f DRepVotingThresholds))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f DRepVotingThresholds
x -> PParamsHKD f DijkstraEra
pp {cppDRepVotingThresholds = THKD x}
  hkdCommitteeMinSizeL :: forall f. HKDFunctor f => Lens' (PParamsHKD f DijkstraEra) (HKD f Natural)
  hkdCommitteeMinSizeL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Natural)
hkdCommitteeMinSizeL =
    (PParamsHKD f DijkstraEra -> HKD f Natural)
-> (PParamsHKD f DijkstraEra
    -> HKD f Natural -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Natural -> f (HKD f Natural))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (forall (f :: * -> *) i.
(HKDFunctor f, Integral i) =>
HKD f i -> HKD f Natural
asNaturalHKD @f @Word16 (HKD f Word16 -> HKD f Natural)
-> (ConwayPParams f DijkstraEra -> HKD f Word16)
-> ConwayPParams f DijkstraEra
-> HKD f Natural
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Word16
-> HKD f Word16
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Word16
 -> HKD f Word16)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Word16)
-> ConwayPParams f DijkstraEra
-> HKD f Word16
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Word16
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Word16
cppCommitteeMinSize)) ((PParamsHKD f DijkstraEra
  -> HKD f Natural -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Natural -> f (HKD f Natural))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Natural -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Natural -> f (HKD f Natural))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$
      \PParamsHKD f DijkstraEra
pp HKD f Natural
x -> PParamsHKD f DijkstraEra
pp {cppCommitteeMinSize = THKD (asBoundedIntegralHKD @f @Natural @Word16 x)}
  hkdCommitteeMaxTermLengthL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f EpochInterval)
hkdCommitteeMaxTermLengthL =
    (PParamsHKD f DijkstraEra -> HKD f EpochInterval)
-> (PParamsHKD f DijkstraEra
    -> HKD f EpochInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f EpochInterval -> f (HKD f EpochInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
-> HKD f EpochInterval
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
 -> HKD f EpochInterval)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)
-> ConwayPParams f DijkstraEra
-> HKD f EpochInterval
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
cppCommitteeMaxTermLength) ((PParamsHKD f DijkstraEra
  -> HKD f EpochInterval -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f EpochInterval -> f (HKD f EpochInterval))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f EpochInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f EpochInterval -> f (HKD f EpochInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f EpochInterval
x -> PParamsHKD f DijkstraEra
pp {cppCommitteeMaxTermLength = THKD x}
  hkdGovActionLifetimeL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f EpochInterval)
hkdGovActionLifetimeL =
    (PParamsHKD f DijkstraEra -> HKD f EpochInterval)
-> (PParamsHKD f DijkstraEra
    -> HKD f EpochInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f EpochInterval -> f (HKD f EpochInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
-> HKD f EpochInterval
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
 -> HKD f EpochInterval)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)
-> ConwayPParams f DijkstraEra
-> HKD f EpochInterval
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
cppGovActionLifetime) ((PParamsHKD f DijkstraEra
  -> HKD f EpochInterval -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f EpochInterval -> f (HKD f EpochInterval))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f EpochInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f EpochInterval -> f (HKD f EpochInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f EpochInterval
x -> PParamsHKD f DijkstraEra
pp {cppGovActionLifetime = THKD x}
  hkdGovActionDepositL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Coin)
hkdGovActionDepositL =
    (PParamsHKD f DijkstraEra -> HKD f Coin)
-> (PParamsHKD f DijkstraEra
    -> HKD f Coin -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'GovGroup 'SecurityGroup) f Coin -> HKD f Coin
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'GovGroup 'SecurityGroup) f Coin -> HKD f Coin)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'GovGroup 'SecurityGroup) f Coin)
-> ConwayPParams f DijkstraEra
-> HKD f Coin
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'GovGroup 'SecurityGroup) f Coin
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'GovGroup 'SecurityGroup) f Coin
cppGovActionDeposit) ((PParamsHKD f DijkstraEra
  -> HKD f Coin -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Coin -> f (HKD f Coin))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Coin -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f Coin
x -> PParamsHKD f DijkstraEra
pp {cppGovActionDeposit = THKD x}
  hkdDRepDepositL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f Coin)
hkdDRepDepositL =
    (PParamsHKD f DijkstraEra -> HKD f Coin)
-> (PParamsHKD f DijkstraEra
    -> HKD f Coin -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Coin -> HKD f Coin
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Coin -> HKD f Coin)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Coin)
-> ConwayPParams f DijkstraEra
-> HKD f Coin
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Coin
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Coin
cppDRepDeposit) ((PParamsHKD f DijkstraEra
  -> HKD f Coin -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f Coin -> f (HKD f Coin))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f Coin -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f Coin -> f (HKD f Coin))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f Coin
x -> PParamsHKD f DijkstraEra
pp {cppDRepDeposit = THKD x}
  hkdDRepActivityL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f EpochInterval)
hkdDRepActivityL =
    (PParamsHKD f DijkstraEra -> HKD f EpochInterval)
-> (PParamsHKD f DijkstraEra
    -> HKD f EpochInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f EpochInterval -> f (HKD f EpochInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
-> HKD f EpochInterval
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
 -> HKD f EpochInterval)
-> (ConwayPParams f DijkstraEra
    -> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval)
-> ConwayPParams f DijkstraEra
-> HKD f EpochInterval
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
cppDRepActivity) ((PParamsHKD f DijkstraEra
  -> HKD f EpochInterval -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f EpochInterval -> f (HKD f EpochInterval))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f EpochInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f EpochInterval -> f (HKD f EpochInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f EpochInterval
x -> PParamsHKD f DijkstraEra
pp {cppDRepActivity = THKD x}
  hkdMinFeeRefScriptCostPerByteL :: forall (f :: * -> *).
HKDFunctor f =>
Lens' (PParamsHKD f DijkstraEra) (HKD f NonNegativeInterval)
hkdMinFeeRefScriptCostPerByteL =
    (PParamsHKD f DijkstraEra -> HKD f NonNegativeInterval)
-> (PParamsHKD f DijkstraEra
    -> HKD f NonNegativeInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f NonNegativeInterval -> f (HKD f NonNegativeInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
lens (THKD
  ('PPGroups 'EconomicGroup 'SecurityGroup) f NonNegativeInterval
-> HKD f NonNegativeInterval
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD (THKD
   ('PPGroups 'EconomicGroup 'SecurityGroup) f NonNegativeInterval
 -> HKD f NonNegativeInterval)
-> (ConwayPParams f DijkstraEra
    -> THKD
         ('PPGroups 'EconomicGroup 'SecurityGroup) f NonNegativeInterval)
-> ConwayPParams f DijkstraEra
-> HKD f NonNegativeInterval
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConwayPParams f DijkstraEra
-> THKD
     ('PPGroups 'EconomicGroup 'SecurityGroup) f NonNegativeInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'EconomicGroup 'SecurityGroup) f NonNegativeInterval
cppMinFeeRefScriptCostPerByte) ((PParamsHKD f DijkstraEra
  -> HKD f NonNegativeInterval -> PParamsHKD f DijkstraEra)
 -> forall {f :: * -> *}.
    Functor f =>
    (HKD f NonNegativeInterval -> f (HKD f NonNegativeInterval))
    -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra))
-> (PParamsHKD f DijkstraEra
    -> HKD f NonNegativeInterval -> PParamsHKD f DijkstraEra)
-> forall {f :: * -> *}.
   Functor f =>
   (HKD f NonNegativeInterval -> f (HKD f NonNegativeInterval))
   -> PParamsHKD f DijkstraEra -> f (PParamsHKD f DijkstraEra)
forall a b. (a -> b) -> a -> b
$ \PParamsHKD f DijkstraEra
pp HKD f NonNegativeInterval
x -> PParamsHKD f DijkstraEra
pp {cppMinFeeRefScriptCostPerByte = THKD x}