{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE CPP #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE UndecidableSuperClasses #-}
{-# OPTIONS_GHC -Wno-orphans #-}

-- | This module provides the necessary instances of `HasSpec`
--   and `HasSimpleRep` for the components of PParams. It hides
--   the fact that (PParams era) can have different underlying 'data' types
--   in each era, and provides Term selector functions
--   (e.g. minFeeA_, minFeeB_, etc.) for every PParam field (in every era).
--   The class EraSpecPParams provides this era parametric abstraction.
--   and instances of EraSpecPParams are defined here.
module Test.Cardano.Ledger.Constrained.Conway.Instances.PParams (
  EraSpecPParams (..),
  SimplePParams (..),
  SimplePPUpdate (..),
  simplePParamsSpec,
  cSNothing_,
  cSJust_,
  succV_,
  minFeeA_,
  minFeeB_,
  maxBBSize_,
  maxTxSize_,
  maxBHSize_,
  keyDeposit_,
  poolDeposit_,
  eMax_,
  nOpt_,
  a0_,
  rho_,
  tau_,
  decentral_,
  protocolVersion_,
  minUTxOValue_,
  minPoolCost_,
  coinsPerUTxOWord_,
  costModels_,
  prices_,
  maxTxExUnits_,
  maxBlockExUnits_,
  maxValSize_,
  collateralPercentage_,
  maxCollateralInputs_,
  coinsPerUTxOByte_,
  poolVotingThresholds_,
  drepVotingThresholds_,
  committeeMinSize_,
  committeeMaxTermLength_,
  govActionLifetime_,
  govActionDeposit_,
  dRepDeposit_,
  dRepActivity_,
  minFeeRefScriptCostPerByte_,
) where

import Cardano.Ledger.Allegra (AllegraEra)
import Cardano.Ledger.Alonzo (AlonzoEra)
import Cardano.Ledger.Alonzo.PParams
import Cardano.Ledger.Babbage (BabbageEra)
import Cardano.Ledger.BaseTypes hiding (inject)
import Cardano.Ledger.Coin
import Cardano.Ledger.Conway (ConwayEra)
import Cardano.Ledger.Conway.Core
import Cardano.Ledger.Conway.PParams
import Cardano.Ledger.Conway.Scripts ()
import Cardano.Ledger.Mary (MaryEra)
import Cardano.Ledger.Plutus.CostModels (CostModels)
import Cardano.Ledger.Plutus.ExUnits
import Cardano.Ledger.Shelley (ShelleyEra)
import Constrained.API
import Data.Word
import Lens.Micro
import Numeric.Natural (Natural)
import Test.Cardano.Ledger.Allegra.Arbitrary ()
import Test.Cardano.Ledger.Alonzo.Arbitrary ()
import Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

-- ============================================

instance EraSpecPParams ShelleyEra where
  subsetToPP :: SimplePParams ShelleyEra -> PParams ShelleyEra
subsetToPP = SimplePParams ShelleyEra -> PParams ShelleyEra
forall era. EraPParams era => SimplePParams era -> PParams era
liftShelley
  ppToSubset :: PParams ShelleyEra -> SimplePParams ShelleyEra
ppToSubset PParams ShelleyEra
x = PParams ShelleyEra
-> SimplePParams ShelleyEra -> SimplePParams ShelleyEra
forall era.
(EraPParams era, ProtVerAtMost era 4, ProtVerAtMost era 6) =>
PParams era -> SimplePParams era -> SimplePParams era
dropAtMost4 PParams ShelleyEra
x (SimplePParams ShelleyEra -> SimplePParams ShelleyEra)
-> SimplePParams ShelleyEra -> SimplePParams ShelleyEra
forall a b. (a -> b) -> a -> b
$ PParams ShelleyEra -> SimplePParams ShelleyEra
forall era. EraPParams era => PParams era -> SimplePParams era
dropShelley PParams ShelleyEra
x
  updateToPPU :: SimplePPUpdate -> PParamsUpdate ShelleyEra
updateToPPU SimplePPUpdate
x = (SimplePPUpdate
-> PParamsUpdate ShelleyEra -> PParamsUpdate ShelleyEra
forall era.
(EraPParams era, ProtVerAtMost era 8) =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftProtVer SimplePPUpdate
x (PParamsUpdate ShelleyEra -> PParamsUpdate ShelleyEra)
-> (SimplePPUpdate -> PParamsUpdate ShelleyEra)
-> SimplePPUpdate
-> PParamsUpdate ShelleyEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePPUpdate -> PParamsUpdate ShelleyEra
forall era. EraPParams era => SimplePPUpdate -> PParamsUpdate era
uLiftShelley) SimplePPUpdate
x
  ppuToUpdate :: PParamsUpdate ShelleyEra -> SimplePPUpdate
ppuToUpdate PParamsUpdate ShelleyEra
x = PParamsUpdate ShelleyEra -> SimplePPUpdate -> SimplePPUpdate
forall era.
(EraPParams era, ProtVerAtMost era 8) =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropProtVer PParamsUpdate ShelleyEra
x (SimplePPUpdate -> SimplePPUpdate)
-> SimplePPUpdate -> SimplePPUpdate
forall a b. (a -> b) -> a -> b
$ PParamsUpdate ShelleyEra -> SimplePPUpdate
forall era. EraPParams era => PParamsUpdate era -> SimplePPUpdate
uDropShelley PParamsUpdate ShelleyEra
x

instance EraSpecPParams AllegraEra where
  subsetToPP :: SimplePParams AllegraEra -> PParams AllegraEra
subsetToPP = SimplePParams AllegraEra -> PParams AllegraEra
forall era. EraPParams era => SimplePParams era -> PParams era
liftShelley
  ppToSubset :: PParams AllegraEra -> SimplePParams AllegraEra
ppToSubset PParams AllegraEra
x = PParams AllegraEra
-> SimplePParams AllegraEra -> SimplePParams AllegraEra
forall era.
(EraPParams era, ProtVerAtMost era 4, ProtVerAtMost era 6) =>
PParams era -> SimplePParams era -> SimplePParams era
dropAtMost4 PParams AllegraEra
x (SimplePParams AllegraEra -> SimplePParams AllegraEra)
-> SimplePParams AllegraEra -> SimplePParams AllegraEra
forall a b. (a -> b) -> a -> b
$ PParams AllegraEra -> SimplePParams AllegraEra
forall era. EraPParams era => PParams era -> SimplePParams era
dropShelley PParams AllegraEra
x
  updateToPPU :: SimplePPUpdate -> PParamsUpdate AllegraEra
updateToPPU SimplePPUpdate
x = (SimplePPUpdate
-> PParamsUpdate AllegraEra -> PParamsUpdate AllegraEra
forall era.
(EraPParams era, ProtVerAtMost era 8) =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftProtVer SimplePPUpdate
x (PParamsUpdate AllegraEra -> PParamsUpdate AllegraEra)
-> (SimplePPUpdate -> PParamsUpdate AllegraEra)
-> SimplePPUpdate
-> PParamsUpdate AllegraEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePPUpdate -> PParamsUpdate AllegraEra
forall era. EraPParams era => SimplePPUpdate -> PParamsUpdate era
uLiftShelley) SimplePPUpdate
x
  ppuToUpdate :: PParamsUpdate AllegraEra -> SimplePPUpdate
ppuToUpdate PParamsUpdate AllegraEra
x = PParamsUpdate AllegraEra -> SimplePPUpdate -> SimplePPUpdate
forall era.
(EraPParams era, ProtVerAtMost era 8) =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropProtVer PParamsUpdate AllegraEra
x (SimplePPUpdate -> SimplePPUpdate)
-> SimplePPUpdate -> SimplePPUpdate
forall a b. (a -> b) -> a -> b
$ PParamsUpdate AllegraEra -> SimplePPUpdate
forall era. EraPParams era => PParamsUpdate era -> SimplePPUpdate
uDropShelley PParamsUpdate AllegraEra
x

instance EraSpecPParams MaryEra where
  subsetToPP :: SimplePParams MaryEra -> PParams MaryEra
subsetToPP SimplePParams MaryEra
x = SimplePParams MaryEra -> PParams MaryEra
forall era. EraPParams era => SimplePParams era -> PParams era
liftShelley SimplePParams MaryEra
x
  ppToSubset :: PParams MaryEra -> SimplePParams MaryEra
ppToSubset PParams MaryEra
x = PParams MaryEra -> SimplePParams MaryEra -> SimplePParams MaryEra
forall era.
(EraPParams era, ProtVerAtMost era 4, ProtVerAtMost era 6) =>
PParams era -> SimplePParams era -> SimplePParams era
dropAtMost4 PParams MaryEra
x (SimplePParams MaryEra -> SimplePParams MaryEra)
-> SimplePParams MaryEra -> SimplePParams MaryEra
forall a b. (a -> b) -> a -> b
$ PParams MaryEra -> SimplePParams MaryEra
forall era. EraPParams era => PParams era -> SimplePParams era
dropShelley PParams MaryEra
x
  updateToPPU :: SimplePPUpdate -> PParamsUpdate MaryEra
updateToPPU SimplePPUpdate
x = (SimplePPUpdate -> PParamsUpdate MaryEra -> PParamsUpdate MaryEra
forall era.
(EraPParams era, ProtVerAtMost era 8) =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftProtVer SimplePPUpdate
x (PParamsUpdate MaryEra -> PParamsUpdate MaryEra)
-> (SimplePPUpdate -> PParamsUpdate MaryEra)
-> SimplePPUpdate
-> PParamsUpdate MaryEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePPUpdate -> PParamsUpdate MaryEra
forall era. EraPParams era => SimplePPUpdate -> PParamsUpdate era
uLiftShelley) SimplePPUpdate
x
  ppuToUpdate :: PParamsUpdate MaryEra -> SimplePPUpdate
ppuToUpdate PParamsUpdate MaryEra
x = PParamsUpdate MaryEra -> SimplePPUpdate -> SimplePPUpdate
forall era.
(EraPParams era, ProtVerAtMost era 8) =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropProtVer PParamsUpdate MaryEra
x (SimplePPUpdate -> SimplePPUpdate)
-> SimplePPUpdate -> SimplePPUpdate
forall a b. (a -> b) -> a -> b
$ PParamsUpdate MaryEra -> SimplePPUpdate
forall era. EraPParams era => PParamsUpdate era -> SimplePPUpdate
uDropShelley PParamsUpdate MaryEra
x

instance EraSpecPParams AlonzoEra where
  subsetToPP :: SimplePParams AlonzoEra -> PParams AlonzoEra
subsetToPP SimplePParams AlonzoEra
x = (SimplePParams AlonzoEra -> PParams AlonzoEra -> PParams AlonzoEra
forall era.
AlonzoEraPParams era =>
SimplePParams era -> PParams era -> PParams era
liftAlonzo SimplePParams AlonzoEra
x (PParams AlonzoEra -> PParams AlonzoEra)
-> (SimplePParams AlonzoEra -> PParams AlonzoEra)
-> SimplePParams AlonzoEra
-> PParams AlonzoEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePParams AlonzoEra -> PParams AlonzoEra
forall era. EraPParams era => SimplePParams era -> PParams era
liftShelley) SimplePParams AlonzoEra
x
  ppToSubset :: PParams AlonzoEra -> SimplePParams AlonzoEra
ppToSubset PParams AlonzoEra
x = PParams AlonzoEra
-> SimplePParams AlonzoEra -> SimplePParams AlonzoEra
forall era.
AlonzoEraPParams era =>
PParams era -> SimplePParams era -> SimplePParams era
dropAlonzo PParams AlonzoEra
x (SimplePParams AlonzoEra -> SimplePParams AlonzoEra)
-> SimplePParams AlonzoEra -> SimplePParams AlonzoEra
forall a b. (a -> b) -> a -> b
$ PParams AlonzoEra
-> SimplePParams AlonzoEra -> SimplePParams AlonzoEra
forall era.
(EraPParams era, ProtVerAtMost era 6) =>
PParams era -> SimplePParams era -> SimplePParams era
dropAtMost6 PParams AlonzoEra
x (SimplePParams AlonzoEra -> SimplePParams AlonzoEra)
-> SimplePParams AlonzoEra -> SimplePParams AlonzoEra
forall a b. (a -> b) -> a -> b
$ PParams AlonzoEra -> SimplePParams AlonzoEra
forall era. EraPParams era => PParams era -> SimplePParams era
dropShelley PParams AlonzoEra
x
  updateToPPU :: SimplePPUpdate -> PParamsUpdate AlonzoEra
updateToPPU SimplePPUpdate
x = (SimplePPUpdate
-> PParamsUpdate AlonzoEra -> PParamsUpdate AlonzoEra
forall era.
AlonzoEraPParams era =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftAlonzo SimplePPUpdate
x (PParamsUpdate AlonzoEra -> PParamsUpdate AlonzoEra)
-> (SimplePPUpdate -> PParamsUpdate AlonzoEra)
-> SimplePPUpdate
-> PParamsUpdate AlonzoEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePPUpdate
-> PParamsUpdate AlonzoEra -> PParamsUpdate AlonzoEra
forall era.
(EraPParams era, ProtVerAtMost era 8) =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftProtVer SimplePPUpdate
x (PParamsUpdate AlonzoEra -> PParamsUpdate AlonzoEra)
-> (SimplePPUpdate -> PParamsUpdate AlonzoEra)
-> SimplePPUpdate
-> PParamsUpdate AlonzoEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePPUpdate -> PParamsUpdate AlonzoEra
forall era. EraPParams era => SimplePPUpdate -> PParamsUpdate era
uLiftShelley) SimplePPUpdate
x
  ppuToUpdate :: PParamsUpdate AlonzoEra -> SimplePPUpdate
ppuToUpdate PParamsUpdate AlonzoEra
x = PParamsUpdate AlonzoEra -> SimplePPUpdate -> SimplePPUpdate
forall era.
AlonzoEraPParams era =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropAlonzo PParamsUpdate AlonzoEra
x (SimplePPUpdate -> SimplePPUpdate)
-> SimplePPUpdate -> SimplePPUpdate
forall a b. (a -> b) -> a -> b
$ PParamsUpdate AlonzoEra -> SimplePPUpdate -> SimplePPUpdate
forall era.
(EraPParams era, ProtVerAtMost era 8) =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropProtVer PParamsUpdate AlonzoEra
x (SimplePPUpdate -> SimplePPUpdate)
-> SimplePPUpdate -> SimplePPUpdate
forall a b. (a -> b) -> a -> b
$ PParamsUpdate AlonzoEra -> SimplePPUpdate
forall era. EraPParams era => PParamsUpdate era -> SimplePPUpdate
uDropShelley PParamsUpdate AlonzoEra
x

instance EraSpecPParams BabbageEra where
  subsetToPP :: SimplePParams BabbageEra -> PParams BabbageEra
subsetToPP SimplePParams BabbageEra
x = (SimplePParams BabbageEra
-> PParams BabbageEra -> PParams BabbageEra
forall era.
BabbageEraPParams era =>
SimplePParams era -> PParams era -> PParams era
liftBabbage SimplePParams BabbageEra
x (PParams BabbageEra -> PParams BabbageEra)
-> (SimplePParams BabbageEra -> PParams BabbageEra)
-> SimplePParams BabbageEra
-> PParams BabbageEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePParams BabbageEra
-> PParams BabbageEra -> PParams BabbageEra
forall era.
AlonzoEraPParams era =>
SimplePParams era -> PParams era -> PParams era
liftAlonzo SimplePParams BabbageEra
x (PParams BabbageEra -> PParams BabbageEra)
-> (SimplePParams BabbageEra -> PParams BabbageEra)
-> SimplePParams BabbageEra
-> PParams BabbageEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePParams BabbageEra -> PParams BabbageEra
forall era. EraPParams era => SimplePParams era -> PParams era
liftShelley) SimplePParams BabbageEra
x
  ppToSubset :: PParams BabbageEra -> SimplePParams BabbageEra
ppToSubset PParams BabbageEra
x = PParams BabbageEra
-> SimplePParams BabbageEra -> SimplePParams BabbageEra
forall era.
BabbageEraPParams era =>
PParams era -> SimplePParams era -> SimplePParams era
dropBabbage PParams BabbageEra
x (SimplePParams BabbageEra -> SimplePParams BabbageEra)
-> SimplePParams BabbageEra -> SimplePParams BabbageEra
forall a b. (a -> b) -> a -> b
$ PParams BabbageEra
-> SimplePParams BabbageEra -> SimplePParams BabbageEra
forall era.
AlonzoEraPParams era =>
PParams era -> SimplePParams era -> SimplePParams era
dropAlonzo PParams BabbageEra
x (SimplePParams BabbageEra -> SimplePParams BabbageEra)
-> SimplePParams BabbageEra -> SimplePParams BabbageEra
forall a b. (a -> b) -> a -> b
$ PParams BabbageEra -> SimplePParams BabbageEra
forall era. EraPParams era => PParams era -> SimplePParams era
dropShelley PParams BabbageEra
x
  updateToPPU :: SimplePPUpdate -> PParamsUpdate BabbageEra
updateToPPU SimplePPUpdate
x = (SimplePPUpdate
-> PParamsUpdate BabbageEra -> PParamsUpdate BabbageEra
forall era.
BabbageEraPParams era =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftBabbage SimplePPUpdate
x (PParamsUpdate BabbageEra -> PParamsUpdate BabbageEra)
-> (SimplePPUpdate -> PParamsUpdate BabbageEra)
-> SimplePPUpdate
-> PParamsUpdate BabbageEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePPUpdate
-> PParamsUpdate BabbageEra -> PParamsUpdate BabbageEra
forall era.
AlonzoEraPParams era =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftAlonzo SimplePPUpdate
x (PParamsUpdate BabbageEra -> PParamsUpdate BabbageEra)
-> (SimplePPUpdate -> PParamsUpdate BabbageEra)
-> SimplePPUpdate
-> PParamsUpdate BabbageEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePPUpdate
-> PParamsUpdate BabbageEra -> PParamsUpdate BabbageEra
forall era.
(EraPParams era, ProtVerAtMost era 8) =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftProtVer SimplePPUpdate
x (PParamsUpdate BabbageEra -> PParamsUpdate BabbageEra)
-> (SimplePPUpdate -> PParamsUpdate BabbageEra)
-> SimplePPUpdate
-> PParamsUpdate BabbageEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePPUpdate -> PParamsUpdate BabbageEra
forall era. EraPParams era => SimplePPUpdate -> PParamsUpdate era
uLiftShelley) SimplePPUpdate
x
  ppuToUpdate :: PParamsUpdate BabbageEra -> SimplePPUpdate
ppuToUpdate PParamsUpdate BabbageEra
x = PParamsUpdate BabbageEra -> SimplePPUpdate -> SimplePPUpdate
forall era.
BabbageEraPParams era =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropBabbage PParamsUpdate BabbageEra
x (SimplePPUpdate -> SimplePPUpdate)
-> SimplePPUpdate -> SimplePPUpdate
forall a b. (a -> b) -> a -> b
$ PParamsUpdate BabbageEra -> SimplePPUpdate -> SimplePPUpdate
forall era.
AlonzoEraPParams era =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropAlonzo PParamsUpdate BabbageEra
x (SimplePPUpdate -> SimplePPUpdate)
-> SimplePPUpdate -> SimplePPUpdate
forall a b. (a -> b) -> a -> b
$ PParamsUpdate BabbageEra -> SimplePPUpdate -> SimplePPUpdate
forall era.
(EraPParams era, ProtVerAtMost era 8) =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropProtVer PParamsUpdate BabbageEra
x (SimplePPUpdate -> SimplePPUpdate)
-> SimplePPUpdate -> SimplePPUpdate
forall a b. (a -> b) -> a -> b
$ PParamsUpdate BabbageEra -> SimplePPUpdate
forall era. EraPParams era => PParamsUpdate era -> SimplePPUpdate
uDropShelley PParamsUpdate BabbageEra
x

instance EraSpecPParams ConwayEra where
  subsetToPP :: SimplePParams ConwayEra -> PParams ConwayEra
subsetToPP SimplePParams ConwayEra
x = (SimplePParams ConwayEra -> PParams ConwayEra -> PParams ConwayEra
forall era.
ConwayEraPParams era =>
SimplePParams era -> PParams era -> PParams era
liftConway SimplePParams ConwayEra
x (PParams ConwayEra -> PParams ConwayEra)
-> (SimplePParams ConwayEra -> PParams ConwayEra)
-> SimplePParams ConwayEra
-> PParams ConwayEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePParams ConwayEra -> PParams ConwayEra -> PParams ConwayEra
forall era.
BabbageEraPParams era =>
SimplePParams era -> PParams era -> PParams era
liftBabbage SimplePParams ConwayEra
x (PParams ConwayEra -> PParams ConwayEra)
-> (SimplePParams ConwayEra -> PParams ConwayEra)
-> SimplePParams ConwayEra
-> PParams ConwayEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePParams ConwayEra -> PParams ConwayEra -> PParams ConwayEra
forall era.
AlonzoEraPParams era =>
SimplePParams era -> PParams era -> PParams era
liftAlonzo SimplePParams ConwayEra
x (PParams ConwayEra -> PParams ConwayEra)
-> (SimplePParams ConwayEra -> PParams ConwayEra)
-> SimplePParams ConwayEra
-> PParams ConwayEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePParams ConwayEra -> PParams ConwayEra
forall era. EraPParams era => SimplePParams era -> PParams era
liftShelley) SimplePParams ConwayEra
x
  ppToSubset :: PParams ConwayEra -> SimplePParams ConwayEra
ppToSubset PParams ConwayEra
x = PParams ConwayEra
-> SimplePParams ConwayEra -> SimplePParams ConwayEra
forall era.
ConwayEraPParams era =>
PParams era -> SimplePParams era -> SimplePParams era
dropConway PParams ConwayEra
x (SimplePParams ConwayEra -> SimplePParams ConwayEra)
-> SimplePParams ConwayEra -> SimplePParams ConwayEra
forall a b. (a -> b) -> a -> b
$ PParams ConwayEra
-> SimplePParams ConwayEra -> SimplePParams ConwayEra
forall era.
BabbageEraPParams era =>
PParams era -> SimplePParams era -> SimplePParams era
dropBabbage PParams ConwayEra
x (SimplePParams ConwayEra -> SimplePParams ConwayEra)
-> SimplePParams ConwayEra -> SimplePParams ConwayEra
forall a b. (a -> b) -> a -> b
$ PParams ConwayEra
-> SimplePParams ConwayEra -> SimplePParams ConwayEra
forall era.
AlonzoEraPParams era =>
PParams era -> SimplePParams era -> SimplePParams era
dropAlonzo PParams ConwayEra
x (SimplePParams ConwayEra -> SimplePParams ConwayEra)
-> SimplePParams ConwayEra -> SimplePParams ConwayEra
forall a b. (a -> b) -> a -> b
$ PParams ConwayEra -> SimplePParams ConwayEra
forall era. EraPParams era => PParams era -> SimplePParams era
dropShelley PParams ConwayEra
x
  updateToPPU :: SimplePPUpdate -> PParamsUpdate ConwayEra
updateToPPU SimplePPUpdate
x = (SimplePPUpdate
-> PParamsUpdate ConwayEra -> PParamsUpdate ConwayEra
forall era.
ConwayEraPParams era =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftConway SimplePPUpdate
x (PParamsUpdate ConwayEra -> PParamsUpdate ConwayEra)
-> (SimplePPUpdate -> PParamsUpdate ConwayEra)
-> SimplePPUpdate
-> PParamsUpdate ConwayEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePPUpdate
-> PParamsUpdate ConwayEra -> PParamsUpdate ConwayEra
forall era.
BabbageEraPParams era =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftBabbage SimplePPUpdate
x (PParamsUpdate ConwayEra -> PParamsUpdate ConwayEra)
-> (SimplePPUpdate -> PParamsUpdate ConwayEra)
-> SimplePPUpdate
-> PParamsUpdate ConwayEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePPUpdate
-> PParamsUpdate ConwayEra -> PParamsUpdate ConwayEra
forall era.
AlonzoEraPParams era =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftAlonzo SimplePPUpdate
x (PParamsUpdate ConwayEra -> PParamsUpdate ConwayEra)
-> (SimplePPUpdate -> PParamsUpdate ConwayEra)
-> SimplePPUpdate
-> PParamsUpdate ConwayEra
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SimplePPUpdate -> PParamsUpdate ConwayEra
forall era. EraPParams era => SimplePPUpdate -> PParamsUpdate era
uLiftShelley) SimplePPUpdate
x
  ppuToUpdate :: PParamsUpdate ConwayEra -> SimplePPUpdate
ppuToUpdate PParamsUpdate ConwayEra
x = PParamsUpdate ConwayEra -> SimplePPUpdate -> SimplePPUpdate
forall era.
ConwayEraPParams era =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropConway PParamsUpdate ConwayEra
x (SimplePPUpdate -> SimplePPUpdate)
-> SimplePPUpdate -> SimplePPUpdate
forall a b. (a -> b) -> a -> b
$ PParamsUpdate ConwayEra -> SimplePPUpdate -> SimplePPUpdate
forall era.
BabbageEraPParams era =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropBabbage PParamsUpdate ConwayEra
x (SimplePPUpdate -> SimplePPUpdate)
-> SimplePPUpdate -> SimplePPUpdate
forall a b. (a -> b) -> a -> b
$ PParamsUpdate ConwayEra -> SimplePPUpdate -> SimplePPUpdate
forall era.
AlonzoEraPParams era =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropAlonzo PParamsUpdate ConwayEra
x (SimplePPUpdate -> SimplePPUpdate)
-> SimplePPUpdate -> SimplePPUpdate
forall a b. (a -> b) -> a -> b
$ PParamsUpdate ConwayEra -> SimplePPUpdate
forall era. EraPParams era => PParamsUpdate era -> SimplePPUpdate
uDropShelley PParamsUpdate ConwayEra
x

-- ====================================================================================
-- Since the transition from one Era to the next Era, we add or drop some of the
-- parameters. This we need some functions that lift and drop from one era to another
-- which add (or drop) the appropriate parameters.

unitI :: UnitInterval
unitI :: UnitInterval
unitI = Integer -> Integer -> UnitInterval
makeUnitInterval Integer
0 Integer
1

dropAtMost6 ::
  (EraPParams era, ProtVerAtMost era 6) => PParams era -> SimplePParams era -> SimplePParams era
dropAtMost6 :: forall era.
(EraPParams era, ProtVerAtMost era 6) =>
PParams era -> SimplePParams era -> SimplePParams era
dropAtMost6 PParams era
pp SimplePParams era
x = SimplePParams era
x {decentral = pp ^. ppDL}

dropAtMost4 ::
  (EraPParams era, ProtVerAtMost era 4, ProtVerAtMost era 6) =>
  PParams era ->
  SimplePParams era ->
  SimplePParams era
dropAtMost4 :: forall era.
(EraPParams era, ProtVerAtMost era 4, ProtVerAtMost era 6) =>
PParams era -> SimplePParams era -> SimplePParams era
dropAtMost4 PParams era
pp SimplePParams era
x =
  SimplePParams era
x
    { minUTxOValue = pp ^. ppMinUTxOValueL
    , decentral = pp ^. ppDL
    }

-- Magic functions used to implement (EraSpecPParams era). Example use for Conway
--  subsetToPP x = (toPP . liftConway x . liftBabbage x . liftAlonzo x . liftShelley) x
--  ppToSubset x = dropConway x $ dropAlonzo x $ dropAlonzo x $ dropShelley x
dropShelley :: EraPParams era => PParams era -> SimplePParams era
dropShelley :: forall era. EraPParams era => PParams era -> SimplePParams era
dropShelley PParams era
pp =
  SimplePParams
    { minFeeA :: Coin
minFeeA = PParams era
pp PParams era -> Getting Coin (PParams era) Coin -> Coin
forall s a. s -> Getting a s a -> a
^. Getting Coin (PParams era) Coin
forall era. EraPParams era => Lens' (PParams era) Coin
Lens' (PParams era) Coin
ppMinFeeAL
    , minFeeB :: Coin
minFeeB = PParams era
pp PParams era -> Getting Coin (PParams era) Coin -> Coin
forall s a. s -> Getting a s a -> a
^. Getting Coin (PParams era) Coin
forall era. EraPParams era => Lens' (PParams era) Coin
Lens' (PParams era) Coin
ppMinFeeBL
    , maxBBSize :: Word32
maxBBSize = PParams era
pp PParams era -> Getting Word32 (PParams era) Word32 -> Word32
forall s a. s -> Getting a s a -> a
^. Getting Word32 (PParams era) Word32
forall era. EraPParams era => Lens' (PParams era) Word32
Lens' (PParams era) Word32
ppMaxBBSizeL
    , maxTxSize :: Word32
maxTxSize = PParams era
pp PParams era -> Getting Word32 (PParams era) Word32 -> Word32
forall s a. s -> Getting a s a -> a
^. Getting Word32 (PParams era) Word32
forall era. EraPParams era => Lens' (PParams era) Word32
Lens' (PParams era) Word32
ppMaxTxSizeL
    , maxBHSize :: Word32
maxBHSize = Word16 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (PParams era
pp PParams era -> Getting Word16 (PParams era) Word16 -> Word16
forall s a. s -> Getting a s a -> a
^. Getting Word16 (PParams era) Word16
forall era. EraPParams era => Lens' (PParams era) Word16
Lens' (PParams era) Word16
ppMaxBHSizeL)
    , keyDeposit :: Coin
keyDeposit = PParams era
pp PParams era -> Getting Coin (PParams era) Coin -> Coin
forall s a. s -> Getting a s a -> a
^. Getting Coin (PParams era) Coin
forall era. EraPParams era => Lens' (PParams era) Coin
Lens' (PParams era) Coin
ppKeyDepositL
    , poolDeposit :: Coin
poolDeposit = PParams era
pp PParams era -> Getting Coin (PParams era) Coin -> Coin
forall s a. s -> Getting a s a -> a
^. Getting Coin (PParams era) Coin
forall era. EraPParams era => Lens' (PParams era) Coin
Lens' (PParams era) Coin
ppPoolDepositL
    , eMax :: EpochInterval
eMax = PParams era
pp PParams era
-> Getting EpochInterval (PParams era) EpochInterval
-> EpochInterval
forall s a. s -> Getting a s a -> a
^. Getting EpochInterval (PParams era) EpochInterval
forall era. EraPParams era => Lens' (PParams era) EpochInterval
Lens' (PParams era) EpochInterval
ppEMaxL
    , nOpt :: Word16
nOpt = PParams era
pp PParams era -> Getting Word16 (PParams era) Word16 -> Word16
forall s a. s -> Getting a s a -> a
^. Getting Word16 (PParams era) Word16
forall era. EraPParams era => Lens' (PParams era) Word16
Lens' (PParams era) Word16
ppNOptL
    , a0 :: NonNegativeInterval
a0 = PParams era
pp PParams era
-> Getting NonNegativeInterval (PParams era) NonNegativeInterval
-> NonNegativeInterval
forall s a. s -> Getting a s a -> a
^. Getting NonNegativeInterval (PParams era) NonNegativeInterval
forall era.
EraPParams era =>
Lens' (PParams era) NonNegativeInterval
Lens' (PParams era) NonNegativeInterval
ppA0L
    , rho :: UnitInterval
rho = PParams era
pp PParams era
-> Getting UnitInterval (PParams era) UnitInterval -> UnitInterval
forall s a. s -> Getting a s a -> a
^. Getting UnitInterval (PParams era) UnitInterval
forall era. EraPParams era => Lens' (PParams era) UnitInterval
Lens' (PParams era) UnitInterval
ppRhoL
    , tau :: UnitInterval
tau = PParams era
pp PParams era
-> Getting UnitInterval (PParams era) UnitInterval -> UnitInterval
forall s a. s -> Getting a s a -> a
^. Getting UnitInterval (PParams era) UnitInterval
forall era. EraPParams era => Lens' (PParams era) UnitInterval
Lens' (PParams era) UnitInterval
ppTauL
    , protocolVersion :: ProtVer
protocolVersion = PParams era
pp PParams era -> Getting ProtVer (PParams era) ProtVer -> ProtVer
forall s a. s -> Getting a s a -> a
^. Getting ProtVer (PParams era) ProtVer
forall era. EraPParams era => Lens' (PParams era) ProtVer
Lens' (PParams era) ProtVer
ppProtocolVersionL
    , minPoolCost :: Coin
minPoolCost = PParams era
pp PParams era -> Getting Coin (PParams era) Coin -> Coin
forall s a. s -> Getting a s a -> a
^. Getting Coin (PParams era) Coin
forall era. EraPParams era => Lens' (PParams era) Coin
Lens' (PParams era) Coin
ppMinPoolCostL
    , -- \^ In Shelley these are given default values
      decentral :: UnitInterval
decentral = UnitInterval
unitI -- in some Eras, dropAtMost6 will over ride this default
    , minUTxOValue :: Coin
minUTxOValue = Integer -> Coin
Coin Integer
0 -- in some Eras, dropAtMost4 will over ride this default
    , coinsPerUTxOWord :: Coin
coinsPerUTxOWord = Integer -> Coin
Coin Integer
0
    , costModels :: CostModels
costModels = CostModels
forall a. Monoid a => a
mempty
    , prices :: Prices
prices = Integer -> Integer -> Prices
makePrices Integer
0 Integer
0
    , maxTxExUnits :: ExUnits
maxTxExUnits = ExUnits
forall a. Monoid a => a
mempty
    , maxBlockExUnits :: ExUnits
maxBlockExUnits = ExUnits
forall a. Monoid a => a
mempty
    , maxValSize :: Natural
maxValSize = Natural
0
    , collateralPercentage :: Natural
collateralPercentage = Natural
0
    , maxCollateralInputs :: Natural
maxCollateralInputs = Natural
0
    , coinsPerUTxOByte :: Coin
coinsPerUTxOByte = Integer -> Coin
Coin Integer
0
    , poolVotingThresholds :: PoolVotingThresholds
poolVotingThresholds = UnitInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> PoolVotingThresholds
PoolVotingThresholds UnitInterval
unitI UnitInterval
unitI UnitInterval
unitI UnitInterval
unitI UnitInterval
unitI
    , drepVotingThresholds :: DRepVotingThresholds
drepVotingThresholds =
        UnitInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> DRepVotingThresholds
DRepVotingThresholds UnitInterval
unitI UnitInterval
unitI UnitInterval
unitI UnitInterval
unitI UnitInterval
unitI UnitInterval
unitI UnitInterval
unitI UnitInterval
unitI UnitInterval
unitI UnitInterval
unitI
    , committeeMinSize :: Natural
committeeMinSize = Natural
0
    , committeeMaxTermLength :: EpochInterval
committeeMaxTermLength = Word32 -> EpochInterval
EpochInterval Word32
0
    , govActionLifetime :: EpochInterval
govActionLifetime = Word32 -> EpochInterval
EpochInterval Word32
0
    , govActionDeposit :: Coin
govActionDeposit = Integer -> Coin
Coin Integer
0
    , dRepDeposit :: Coin
dRepDeposit = Integer -> Coin
Coin Integer
0
    , dRepActivity :: EpochInterval
dRepActivity = Word32 -> EpochInterval
EpochInterval Word32
0
    , minFeeRefScriptCostPerByte :: NonNegativeInterval
minFeeRefScriptCostPerByte = Integer -> Integer -> NonNegativeInterval
makeNonNegativeInterval Integer
0 Integer
1
    }

dropAlonzo :: AlonzoEraPParams era => PParams era -> SimplePParams era -> SimplePParams era
dropAlonzo :: forall era.
AlonzoEraPParams era =>
PParams era -> SimplePParams era -> SimplePParams era
dropAlonzo PParams era
pp SimplePParams era
psub =
  SimplePParams era
psub
    { coinsPerUTxOWord = Coin 0
    , costModels = pp ^. ppCostModelsL
    , prices = pp ^. ppPricesL
    , maxTxExUnits = pp ^. ppMaxTxExUnitsL
    , maxBlockExUnits = pp ^. ppMaxBlockExUnitsL
    , maxValSize = pp ^. ppMaxValSizeL
    , collateralPercentage = pp ^. ppCollateralPercentageL
    }

dropBabbage :: BabbageEraPParams era => PParams era -> SimplePParams era -> SimplePParams era
dropBabbage :: forall era.
BabbageEraPParams era =>
PParams era -> SimplePParams era -> SimplePParams era
dropBabbage PParams era
pp SimplePParams era
psub =
  SimplePParams era
psub {coinsPerUTxOByte = unCoinPerByte (pp ^. ppCoinsPerUTxOByteL)}

dropConway :: ConwayEraPParams era => PParams era -> SimplePParams era -> SimplePParams era
dropConway :: forall era.
ConwayEraPParams era =>
PParams era -> SimplePParams era -> SimplePParams era
dropConway PParams era
pp SimplePParams era
psub =
  SimplePParams era
psub
    { poolVotingThresholds = pp ^. ppPoolVotingThresholdsL
    , drepVotingThresholds = pp ^. ppDRepVotingThresholdsL
    , committeeMinSize = pp ^. ppCommitteeMinSizeL
    , committeeMaxTermLength = pp ^. ppCommitteeMaxTermLengthL
    , govActionLifetime = pp ^. ppGovActionLifetimeL
    , govActionDeposit = pp ^. ppGovActionDepositL
    , dRepDeposit = pp ^. ppDRepDepositL
    , dRepActivity = pp ^. ppDRepActivityL
    , minFeeRefScriptCostPerByte = pp ^. ppMinFeeRefScriptCostPerByteL
    }

-- ========================

liftShelley :: EraPParams era => SimplePParams era -> PParams era
liftShelley :: forall era. EraPParams era => SimplePParams era -> PParams era
liftShelley SimplePParams era
pps =
  PParams era
forall era. EraPParams era => PParams era
emptyPParams
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Coin -> Identity Coin) -> PParams era -> Identity (PParams era)
forall era. EraPParams era => Lens' (PParams era) Coin
Lens' (PParams era) Coin
ppMinFeeAL ((Coin -> Identity Coin) -> PParams era -> Identity (PParams era))
-> Coin -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Coin
forall era. SimplePParams era -> Coin
minFeeA SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Coin -> Identity Coin) -> PParams era -> Identity (PParams era)
forall era. EraPParams era => Lens' (PParams era) Coin
Lens' (PParams era) Coin
ppMinFeeBL ((Coin -> Identity Coin) -> PParams era -> Identity (PParams era))
-> Coin -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Coin
forall era. SimplePParams era -> Coin
minFeeB SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Word32 -> Identity Word32)
-> PParams era -> Identity (PParams era)
forall era. EraPParams era => Lens' (PParams era) Word32
Lens' (PParams era) Word32
ppMaxBBSizeL ((Word32 -> Identity Word32)
 -> PParams era -> Identity (PParams era))
-> Word32 -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Word32
forall era. SimplePParams era -> Word32
maxBBSize SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Word32 -> Identity Word32)
-> PParams era -> Identity (PParams era)
forall era. EraPParams era => Lens' (PParams era) Word32
Lens' (PParams era) Word32
ppMaxTxSizeL ((Word32 -> Identity Word32)
 -> PParams era -> Identity (PParams era))
-> Word32 -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Word32
forall era. SimplePParams era -> Word32
maxTxSize SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Word16 -> Identity Word16)
-> PParams era -> Identity (PParams era)
forall era. EraPParams era => Lens' (PParams era) Word16
Lens' (PParams era) Word16
ppMaxBHSizeL ((Word16 -> Identity Word16)
 -> PParams era -> Identity (PParams era))
-> Word16 -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (Word32 -> Word16
forall a b. (Integral a, Num b) => a -> b
fromIntegral (SimplePParams era -> Word32
forall era. SimplePParams era -> Word32
maxBHSize SimplePParams era
pps))
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Coin -> Identity Coin) -> PParams era -> Identity (PParams era)
forall era. EraPParams era => Lens' (PParams era) Coin
Lens' (PParams era) Coin
ppKeyDepositL ((Coin -> Identity Coin) -> PParams era -> Identity (PParams era))
-> Coin -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Coin
forall era. SimplePParams era -> Coin
keyDeposit SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Coin -> Identity Coin) -> PParams era -> Identity (PParams era)
forall era. EraPParams era => Lens' (PParams era) Coin
Lens' (PParams era) Coin
ppPoolDepositL ((Coin -> Identity Coin) -> PParams era -> Identity (PParams era))
-> Coin -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Coin
forall era. SimplePParams era -> Coin
poolDeposit SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (EpochInterval -> Identity EpochInterval)
-> PParams era -> Identity (PParams era)
forall era. EraPParams era => Lens' (PParams era) EpochInterval
Lens' (PParams era) EpochInterval
ppEMaxL ((EpochInterval -> Identity EpochInterval)
 -> PParams era -> Identity (PParams era))
-> EpochInterval -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> EpochInterval
forall era. SimplePParams era -> EpochInterval
eMax SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Word16 -> Identity Word16)
-> PParams era -> Identity (PParams era)
forall era. EraPParams era => Lens' (PParams era) Word16
Lens' (PParams era) Word16
ppNOptL ((Word16 -> Identity Word16)
 -> PParams era -> Identity (PParams era))
-> Word16 -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Word16
forall era. SimplePParams era -> Word16
nOpt SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (NonNegativeInterval -> Identity NonNegativeInterval)
-> PParams era -> Identity (PParams era)
forall era.
EraPParams era =>
Lens' (PParams era) NonNegativeInterval
Lens' (PParams era) NonNegativeInterval
ppA0L ((NonNegativeInterval -> Identity NonNegativeInterval)
 -> PParams era -> Identity (PParams era))
-> NonNegativeInterval -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> NonNegativeInterval
forall era. SimplePParams era -> NonNegativeInterval
a0 SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (UnitInterval -> Identity UnitInterval)
-> PParams era -> Identity (PParams era)
forall era. EraPParams era => Lens' (PParams era) UnitInterval
Lens' (PParams era) UnitInterval
ppRhoL ((UnitInterval -> Identity UnitInterval)
 -> PParams era -> Identity (PParams era))
-> UnitInterval -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> UnitInterval
forall era. SimplePParams era -> UnitInterval
rho SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (UnitInterval -> Identity UnitInterval)
-> PParams era -> Identity (PParams era)
forall era. EraPParams era => Lens' (PParams era) UnitInterval
Lens' (PParams era) UnitInterval
ppTauL ((UnitInterval -> Identity UnitInterval)
 -> PParams era -> Identity (PParams era))
-> UnitInterval -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> UnitInterval
forall era. SimplePParams era -> UnitInterval
tau SimplePParams era
pps)
    -- & ppDL .~ (decentral pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (ProtVer -> Identity ProtVer)
-> PParams era -> Identity (PParams era)
forall era. EraPParams era => Lens' (PParams era) ProtVer
Lens' (PParams era) ProtVer
ppProtocolVersionL ((ProtVer -> Identity ProtVer)
 -> PParams era -> Identity (PParams era))
-> ProtVer -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> ProtVer
forall era. SimplePParams era -> ProtVer
protocolVersion SimplePParams era
pps)
    -- & ppMinUTxOValueL .~ (minUTxOValue pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Coin -> Identity Coin) -> PParams era -> Identity (PParams era)
forall era. EraPParams era => Lens' (PParams era) Coin
Lens' (PParams era) Coin
ppMinPoolCostL ((Coin -> Identity Coin) -> PParams era -> Identity (PParams era))
-> Coin -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Coin
forall era. SimplePParams era -> Coin
minPoolCost SimplePParams era
pps)

liftAlonzo :: AlonzoEraPParams era => SimplePParams era -> PParams era -> PParams era
liftAlonzo :: forall era.
AlonzoEraPParams era =>
SimplePParams era -> PParams era -> PParams era
liftAlonzo SimplePParams era
pps PParams era
pp =
  PParams era
pp -- & ppCoinsPerUTxOWordL .~  CoinPerWord (coinsPerUTxOWord pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (CostModels -> Identity CostModels)
-> PParams era -> Identity (PParams era)
forall era. AlonzoEraPParams era => Lens' (PParams era) CostModels
Lens' (PParams era) CostModels
ppCostModelsL ((CostModels -> Identity CostModels)
 -> PParams era -> Identity (PParams era))
-> CostModels -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> CostModels
forall era. SimplePParams era -> CostModels
costModels SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Prices -> Identity Prices)
-> PParams era -> Identity (PParams era)
forall era. AlonzoEraPParams era => Lens' (PParams era) Prices
Lens' (PParams era) Prices
ppPricesL ((Prices -> Identity Prices)
 -> PParams era -> Identity (PParams era))
-> Prices -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Prices
forall era. SimplePParams era -> Prices
prices SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (ExUnits -> Identity ExUnits)
-> PParams era -> Identity (PParams era)
forall era. AlonzoEraPParams era => Lens' (PParams era) ExUnits
Lens' (PParams era) ExUnits
ppMaxTxExUnitsL ((ExUnits -> Identity ExUnits)
 -> PParams era -> Identity (PParams era))
-> ExUnits -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> ExUnits
forall era. SimplePParams era -> ExUnits
maxTxExUnits SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (ExUnits -> Identity ExUnits)
-> PParams era -> Identity (PParams era)
forall era. AlonzoEraPParams era => Lens' (PParams era) ExUnits
Lens' (PParams era) ExUnits
ppMaxBlockExUnitsL ((ExUnits -> Identity ExUnits)
 -> PParams era -> Identity (PParams era))
-> ExUnits -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> ExUnits
forall era. SimplePParams era -> ExUnits
maxBlockExUnits SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Natural -> Identity Natural)
-> PParams era -> Identity (PParams era)
forall era. AlonzoEraPParams era => Lens' (PParams era) Natural
Lens' (PParams era) Natural
ppMaxValSizeL ((Natural -> Identity Natural)
 -> PParams era -> Identity (PParams era))
-> Natural -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Natural
forall era. SimplePParams era -> Natural
maxValSize SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Natural -> Identity Natural)
-> PParams era -> Identity (PParams era)
forall era. AlonzoEraPParams era => Lens' (PParams era) Natural
Lens' (PParams era) Natural
ppCollateralPercentageL ((Natural -> Identity Natural)
 -> PParams era -> Identity (PParams era))
-> Natural -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Natural
forall era. SimplePParams era -> Natural
collateralPercentage SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Natural -> Identity Natural)
-> PParams era -> Identity (PParams era)
forall era. AlonzoEraPParams era => Lens' (PParams era) Natural
Lens' (PParams era) Natural
ppMaxCollateralInputsL ((Natural -> Identity Natural)
 -> PParams era -> Identity (PParams era))
-> Natural -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Natural
forall era. SimplePParams era -> Natural
maxCollateralInputs SimplePParams era
pps)

liftBabbage :: BabbageEraPParams era => SimplePParams era -> PParams era -> PParams era
liftBabbage :: forall era.
BabbageEraPParams era =>
SimplePParams era -> PParams era -> PParams era
liftBabbage SimplePParams era
pps PParams era
pp = PParams era
pp PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (CoinPerByte -> Identity CoinPerByte)
-> PParams era -> Identity (PParams era)
forall era.
BabbageEraPParams era =>
Lens' (PParams era) CoinPerByte
Lens' (PParams era) CoinPerByte
ppCoinsPerUTxOByteL ((CoinPerByte -> Identity CoinPerByte)
 -> PParams era -> Identity (PParams era))
-> CoinPerByte -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ Coin -> CoinPerByte
CoinPerByte (SimplePParams era -> Coin
forall era. SimplePParams era -> Coin
coinsPerUTxOByte SimplePParams era
pps)

liftConway :: ConwayEraPParams era => SimplePParams era -> PParams era -> PParams era
liftConway :: forall era.
ConwayEraPParams era =>
SimplePParams era -> PParams era -> PParams era
liftConway SimplePParams era
pps PParams era
pp =
  PParams era
pp
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (PoolVotingThresholds -> Identity PoolVotingThresholds)
-> PParams era -> Identity (PParams era)
forall era.
ConwayEraPParams era =>
Lens' (PParams era) PoolVotingThresholds
Lens' (PParams era) PoolVotingThresholds
ppPoolVotingThresholdsL ((PoolVotingThresholds -> Identity PoolVotingThresholds)
 -> PParams era -> Identity (PParams era))
-> PoolVotingThresholds -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> PoolVotingThresholds
forall era. SimplePParams era -> PoolVotingThresholds
poolVotingThresholds SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (DRepVotingThresholds -> Identity DRepVotingThresholds)
-> PParams era -> Identity (PParams era)
forall era.
ConwayEraPParams era =>
Lens' (PParams era) DRepVotingThresholds
Lens' (PParams era) DRepVotingThresholds
ppDRepVotingThresholdsL ((DRepVotingThresholds -> Identity DRepVotingThresholds)
 -> PParams era -> Identity (PParams era))
-> DRepVotingThresholds -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> DRepVotingThresholds
forall era. SimplePParams era -> DRepVotingThresholds
drepVotingThresholds SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Natural -> Identity Natural)
-> PParams era -> Identity (PParams era)
forall era. ConwayEraPParams era => Lens' (PParams era) Natural
Lens' (PParams era) Natural
ppCommitteeMinSizeL ((Natural -> Identity Natural)
 -> PParams era -> Identity (PParams era))
-> Natural -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Natural
forall era. SimplePParams era -> Natural
committeeMinSize SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (EpochInterval -> Identity EpochInterval)
-> PParams era -> Identity (PParams era)
forall era.
ConwayEraPParams era =>
Lens' (PParams era) EpochInterval
Lens' (PParams era) EpochInterval
ppCommitteeMaxTermLengthL ((EpochInterval -> Identity EpochInterval)
 -> PParams era -> Identity (PParams era))
-> EpochInterval -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> EpochInterval
forall era. SimplePParams era -> EpochInterval
committeeMaxTermLength SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (EpochInterval -> Identity EpochInterval)
-> PParams era -> Identity (PParams era)
forall era.
ConwayEraPParams era =>
Lens' (PParams era) EpochInterval
Lens' (PParams era) EpochInterval
ppGovActionLifetimeL ((EpochInterval -> Identity EpochInterval)
 -> PParams era -> Identity (PParams era))
-> EpochInterval -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> EpochInterval
forall era. SimplePParams era -> EpochInterval
govActionLifetime SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Coin -> Identity Coin) -> PParams era -> Identity (PParams era)
forall era. ConwayEraPParams era => Lens' (PParams era) Coin
Lens' (PParams era) Coin
ppGovActionDepositL ((Coin -> Identity Coin) -> PParams era -> Identity (PParams era))
-> Coin -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Coin
forall era. SimplePParams era -> Coin
govActionDeposit SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (Coin -> Identity Coin) -> PParams era -> Identity (PParams era)
forall era. ConwayEraPParams era => Lens' (PParams era) Coin
Lens' (PParams era) Coin
ppDRepDepositL ((Coin -> Identity Coin) -> PParams era -> Identity (PParams era))
-> Coin -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> Coin
forall era. SimplePParams era -> Coin
dRepDeposit SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (EpochInterval -> Identity EpochInterval)
-> PParams era -> Identity (PParams era)
forall era.
ConwayEraPParams era =>
Lens' (PParams era) EpochInterval
Lens' (PParams era) EpochInterval
ppDRepActivityL ((EpochInterval -> Identity EpochInterval)
 -> PParams era -> Identity (PParams era))
-> EpochInterval -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> EpochInterval
forall era. SimplePParams era -> EpochInterval
dRepActivity SimplePParams era
pps)
    PParams era -> (PParams era -> PParams era) -> PParams era
forall a b. a -> (a -> b) -> b
& (NonNegativeInterval -> Identity NonNegativeInterval)
-> PParams era -> Identity (PParams era)
forall era.
ConwayEraPParams era =>
Lens' (PParams era) NonNegativeInterval
Lens' (PParams era) NonNegativeInterval
ppMinFeeRefScriptCostPerByteL ((NonNegativeInterval -> Identity NonNegativeInterval)
 -> PParams era -> Identity (PParams era))
-> NonNegativeInterval -> PParams era -> PParams era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePParams era -> NonNegativeInterval
forall era. SimplePParams era -> NonNegativeInterval
minFeeRefScriptCostPerByte SimplePParams era
pps)

-- ================================================================

uDropShelley :: EraPParams era => PParamsUpdate era -> SimplePPUpdate
uDropShelley :: forall era. EraPParams era => PParamsUpdate era -> SimplePPUpdate
uDropShelley PParamsUpdate era
pp =
  SimplePPUpdate
    { uminFeeA :: StrictMaybe Coin
uminFeeA = PParamsUpdate era
pp PParamsUpdate era
-> Getting
     (StrictMaybe Coin) (PParamsUpdate era) (StrictMaybe Coin)
-> StrictMaybe Coin
forall s a. s -> Getting a s a -> a
^. Getting (StrictMaybe Coin) (PParamsUpdate era) (StrictMaybe Coin)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMinFeeAL
    , uminFeeB :: StrictMaybe Coin
uminFeeB = PParamsUpdate era
pp PParamsUpdate era
-> Getting
     (StrictMaybe Coin) (PParamsUpdate era) (StrictMaybe Coin)
-> StrictMaybe Coin
forall s a. s -> Getting a s a -> a
^. Getting (StrictMaybe Coin) (PParamsUpdate era) (StrictMaybe Coin)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMinFeeBL
    , umaxBBSize :: StrictMaybe Word32
umaxBBSize = PParamsUpdate era
pp PParamsUpdate era
-> Getting
     (StrictMaybe Word32) (PParamsUpdate era) (StrictMaybe Word32)
-> StrictMaybe Word32
forall s a. s -> Getting a s a -> a
^. Getting
  (StrictMaybe Word32) (PParamsUpdate era) (StrictMaybe Word32)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Word32)
Lens' (PParamsUpdate era) (StrictMaybe Word32)
ppuMaxBBSizeL
    , umaxTxSize :: StrictMaybe Word32
umaxTxSize = PParamsUpdate era
pp PParamsUpdate era
-> Getting
     (StrictMaybe Word32) (PParamsUpdate era) (StrictMaybe Word32)
-> StrictMaybe Word32
forall s a. s -> Getting a s a -> a
^. Getting
  (StrictMaybe Word32) (PParamsUpdate era) (StrictMaybe Word32)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Word32)
Lens' (PParamsUpdate era) (StrictMaybe Word32)
ppuMaxTxSizeL
    , umaxBHSize :: StrictMaybe Word32
umaxBHSize = Word16 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word16 -> Word32) -> StrictMaybe Word16 -> StrictMaybe Word32
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (PParamsUpdate era
pp PParamsUpdate era
-> Getting
     (StrictMaybe Word16) (PParamsUpdate era) (StrictMaybe Word16)
-> StrictMaybe Word16
forall s a. s -> Getting a s a -> a
^. Getting
  (StrictMaybe Word16) (PParamsUpdate era) (StrictMaybe Word16)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Word16)
Lens' (PParamsUpdate era) (StrictMaybe Word16)
ppuMaxBHSizeL)
    , ukeyDeposit :: StrictMaybe Coin
ukeyDeposit = PParamsUpdate era
pp PParamsUpdate era
-> Getting
     (StrictMaybe Coin) (PParamsUpdate era) (StrictMaybe Coin)
-> StrictMaybe Coin
forall s a. s -> Getting a s a -> a
^. Getting (StrictMaybe Coin) (PParamsUpdate era) (StrictMaybe Coin)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuKeyDepositL
    , upoolDeposit :: StrictMaybe Coin
upoolDeposit = PParamsUpdate era
pp PParamsUpdate era
-> Getting
     (StrictMaybe Coin) (PParamsUpdate era) (StrictMaybe Coin)
-> StrictMaybe Coin
forall s a. s -> Getting a s a -> a
^. Getting (StrictMaybe Coin) (PParamsUpdate era) (StrictMaybe Coin)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuPoolDepositL
    , ueMax :: StrictMaybe EpochInterval
ueMax = PParamsUpdate era
pp PParamsUpdate era
-> Getting
     (StrictMaybe EpochInterval)
     (PParamsUpdate era)
     (StrictMaybe EpochInterval)
-> StrictMaybe EpochInterval
forall s a. s -> Getting a s a -> a
^. Getting
  (StrictMaybe EpochInterval)
  (PParamsUpdate era)
  (StrictMaybe EpochInterval)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
ppuEMaxL
    , unOpt :: StrictMaybe Word16
unOpt = PParamsUpdate era
pp PParamsUpdate era
-> Getting
     (StrictMaybe Word16) (PParamsUpdate era) (StrictMaybe Word16)
-> StrictMaybe Word16
forall s a. s -> Getting a s a -> a
^. Getting
  (StrictMaybe Word16) (PParamsUpdate era) (StrictMaybe Word16)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Word16)
Lens' (PParamsUpdate era) (StrictMaybe Word16)
ppuNOptL
    , ua0 :: StrictMaybe NonNegativeInterval
ua0 = PParamsUpdate era
pp PParamsUpdate era
-> Getting
     (StrictMaybe NonNegativeInterval)
     (PParamsUpdate era)
     (StrictMaybe NonNegativeInterval)
-> StrictMaybe NonNegativeInterval
forall s a. s -> Getting a s a -> a
^. Getting
  (StrictMaybe NonNegativeInterval)
  (PParamsUpdate era)
  (StrictMaybe NonNegativeInterval)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval)
Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval)
ppuA0L
    , urho :: StrictMaybe UnitInterval
urho = PParamsUpdate era
pp PParamsUpdate era
-> Getting
     (StrictMaybe UnitInterval)
     (PParamsUpdate era)
     (StrictMaybe UnitInterval)
-> StrictMaybe UnitInterval
forall s a. s -> Getting a s a -> a
^. Getting
  (StrictMaybe UnitInterval)
  (PParamsUpdate era)
  (StrictMaybe UnitInterval)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppuRhoL
    , utau :: StrictMaybe UnitInterval
utau = PParamsUpdate era
pp PParamsUpdate era
-> Getting
     (StrictMaybe UnitInterval)
     (PParamsUpdate era)
     (StrictMaybe UnitInterval)
-> StrictMaybe UnitInterval
forall s a. s -> Getting a s a -> a
^. Getting
  (StrictMaybe UnitInterval)
  (PParamsUpdate era)
  (StrictMaybe UnitInterval)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppuTauL
    , uminPoolCost :: StrictMaybe Coin
uminPoolCost = PParamsUpdate era
pp PParamsUpdate era
-> Getting
     (StrictMaybe Coin) (PParamsUpdate era) (StrictMaybe Coin)
-> StrictMaybe Coin
forall s a. s -> Getting a s a -> a
^. Getting (StrictMaybe Coin) (PParamsUpdate era) (StrictMaybe Coin)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMinPoolCostL
    , -- In Shelley these are given SNothing values
      udecentral :: StrictMaybe UnitInterval
udecentral = StrictMaybe UnitInterval
forall a. StrictMaybe a
SNothing -- in some Eras, dropAtMost6 will over ride this default
    , uprotocolVersion :: StrictMaybe ProtVer
uprotocolVersion = StrictMaybe ProtVer
forall a. StrictMaybe a
SNothing
    , uminUTxOValue :: StrictMaybe Coin
uminUTxOValue = StrictMaybe Coin
forall a. StrictMaybe a
SNothing -- in some Eras, dropAtMost4 will over ride this default
    , ucoinsPerUTxOWord :: StrictMaybe Coin
ucoinsPerUTxOWord = StrictMaybe Coin
forall a. StrictMaybe a
SNothing
    , ucostModels :: StrictMaybe CostModels
ucostModels = StrictMaybe CostModels
forall a. StrictMaybe a
SNothing
    , uprices :: StrictMaybe Prices
uprices = StrictMaybe Prices
forall a. StrictMaybe a
SNothing
    , umaxTxExUnits :: StrictMaybe ExUnits
umaxTxExUnits = StrictMaybe ExUnits
forall a. StrictMaybe a
SNothing
    , umaxBlockExUnits :: StrictMaybe ExUnits
umaxBlockExUnits = StrictMaybe ExUnits
forall a. StrictMaybe a
SNothing
    , umaxValSize :: StrictMaybe Natural
umaxValSize = StrictMaybe Natural
forall a. StrictMaybe a
SNothing
    , ucollateralPercentage :: StrictMaybe Natural
ucollateralPercentage = StrictMaybe Natural
forall a. StrictMaybe a
SNothing
    , umaxCollateralInputs :: StrictMaybe Natural
umaxCollateralInputs = StrictMaybe Natural
forall a. StrictMaybe a
SNothing
    , ucoinsPerUTxOByte :: StrictMaybe Coin
ucoinsPerUTxOByte = StrictMaybe Coin
forall a. StrictMaybe a
SNothing
    , upoolVotingThresholds :: StrictMaybe PoolVotingThresholds
upoolVotingThresholds = StrictMaybe PoolVotingThresholds
forall a. StrictMaybe a
SNothing
    , udrepVotingThresholds :: StrictMaybe DRepVotingThresholds
udrepVotingThresholds = StrictMaybe DRepVotingThresholds
forall a. StrictMaybe a
SNothing
    , ucommitteeMinSize :: StrictMaybe Natural
ucommitteeMinSize = StrictMaybe Natural
forall a. StrictMaybe a
SNothing
    , ucommitteeMaxTermLength :: StrictMaybe EpochInterval
ucommitteeMaxTermLength = StrictMaybe EpochInterval
forall a. StrictMaybe a
SNothing
    , ugovActionLifetime :: StrictMaybe EpochInterval
ugovActionLifetime = StrictMaybe EpochInterval
forall a. StrictMaybe a
SNothing
    , ugovActionDeposit :: StrictMaybe Coin
ugovActionDeposit = StrictMaybe Coin
forall a. StrictMaybe a
SNothing
    , udRepDeposit :: StrictMaybe Coin
udRepDeposit = StrictMaybe Coin
forall a. StrictMaybe a
SNothing
    , udRepActivity :: StrictMaybe EpochInterval
udRepActivity = StrictMaybe EpochInterval
forall a. StrictMaybe a
SNothing
    , uminFeeRefScriptCostPerByte :: StrictMaybe NonNegativeInterval
uminFeeRefScriptCostPerByte = StrictMaybe NonNegativeInterval
forall a. StrictMaybe a
SNothing
    }

uDropProtVer ::
  (EraPParams era, ProtVerAtMost era 8) => PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropProtVer :: forall era.
(EraPParams era, ProtVerAtMost era 8) =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropProtVer PParamsUpdate era
pp SimplePPUpdate
psub = SimplePPUpdate
psub {uprotocolVersion = pp ^. ppuProtocolVersionL}

uDropAlonzo :: AlonzoEraPParams era => PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropAlonzo :: forall era.
AlonzoEraPParams era =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropAlonzo PParamsUpdate era
pp SimplePPUpdate
psub =
  SimplePPUpdate
psub
    { -- ucoinsPerUTxOWord = unCoinPerWord <$> pp ^. ppuCoinsPerUTxOWordL
      ucostModels = pp ^. ppuCostModelsL
    , uprices = pp ^. ppuPricesL
    , umaxTxExUnits = pp ^. ppuMaxTxExUnitsL
    , umaxBlockExUnits = pp ^. ppuMaxBlockExUnitsL
    , umaxValSize = pp ^. ppuMaxValSizeL
    , ucollateralPercentage = pp ^. ppuCollateralPercentageL
    , umaxCollateralInputs = pp ^. ppuMaxCollateralInputsL
    }

uDropBabbage :: BabbageEraPParams era => PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropBabbage :: forall era.
BabbageEraPParams era =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropBabbage PParamsUpdate era
pp SimplePPUpdate
psub =
  SimplePPUpdate
psub {ucoinsPerUTxOByte = unCoinPerByte <$> (pp ^. ppuCoinsPerUTxOByteL)}

uDropConway :: ConwayEraPParams era => PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropConway :: forall era.
ConwayEraPParams era =>
PParamsUpdate era -> SimplePPUpdate -> SimplePPUpdate
uDropConway PParamsUpdate era
pp SimplePPUpdate
psub =
  SimplePPUpdate
psub
    { upoolVotingThresholds = pp ^. ppuPoolVotingThresholdsL
    , udrepVotingThresholds = pp ^. ppuDRepVotingThresholdsL
    , ucommitteeMinSize = pp ^. ppuCommitteeMinSizeL
    , ucommitteeMaxTermLength = pp ^. ppuCommitteeMaxTermLengthL
    , ugovActionLifetime = pp ^. ppuGovActionLifetimeL
    , ugovActionDeposit = pp ^. ppuGovActionDepositL
    , udRepDeposit = pp ^. ppuDRepDepositL
    , udRepActivity = pp ^. ppuDRepActivityL
    , uminFeeRefScriptCostPerByte = pp ^. ppuMinFeeRefScriptCostPerByteL
    }

uLiftShelley :: EraPParams era => SimplePPUpdate -> PParamsUpdate era
uLiftShelley :: forall era. EraPParams era => SimplePPUpdate -> PParamsUpdate era
uLiftShelley SimplePPUpdate
pps =
  PParamsUpdate era
forall era. EraPParams era => PParamsUpdate era
emptyPParamsUpdate
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Coin -> Identity (StrictMaybe Coin))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMinFeeAL ((StrictMaybe Coin -> Identity (StrictMaybe Coin))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Coin -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Coin
uminFeeA SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Coin -> Identity (StrictMaybe Coin))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMinFeeBL ((StrictMaybe Coin -> Identity (StrictMaybe Coin))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Coin -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Coin
uminFeeB SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Word32 -> Identity (StrictMaybe Word32))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Word32)
Lens' (PParamsUpdate era) (StrictMaybe Word32)
ppuMaxBBSizeL ((StrictMaybe Word32 -> Identity (StrictMaybe Word32))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Word32 -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Word32
umaxBBSize SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Word32 -> Identity (StrictMaybe Word32))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Word32)
Lens' (PParamsUpdate era) (StrictMaybe Word32)
ppuMaxTxSizeL ((StrictMaybe Word32 -> Identity (StrictMaybe Word32))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Word32 -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Word32
umaxTxSize SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Word16 -> Identity (StrictMaybe Word16))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Word16)
Lens' (PParamsUpdate era) (StrictMaybe Word16)
ppuMaxBHSizeL ((StrictMaybe Word16 -> Identity (StrictMaybe Word16))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Word16 -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (Word32 -> Word16
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Word32 -> Word16) -> StrictMaybe Word32 -> StrictMaybe Word16
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (SimplePPUpdate -> StrictMaybe Word32
umaxBHSize SimplePPUpdate
pps))
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Coin -> Identity (StrictMaybe Coin))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuKeyDepositL ((StrictMaybe Coin -> Identity (StrictMaybe Coin))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Coin -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Coin
ukeyDeposit SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Coin -> Identity (StrictMaybe Coin))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuPoolDepositL ((StrictMaybe Coin -> Identity (StrictMaybe Coin))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Coin -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Coin
upoolDeposit SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe EpochInterval -> Identity (StrictMaybe EpochInterval))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
ppuEMaxL ((StrictMaybe EpochInterval
  -> Identity (StrictMaybe EpochInterval))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe EpochInterval
-> PParamsUpdate era
-> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe EpochInterval
ueMax SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Word16 -> Identity (StrictMaybe Word16))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Word16)
Lens' (PParamsUpdate era) (StrictMaybe Word16)
ppuNOptL ((StrictMaybe Word16 -> Identity (StrictMaybe Word16))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Word16 -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Word16
unOpt SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe NonNegativeInterval
 -> Identity (StrictMaybe NonNegativeInterval))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval)
Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval)
ppuA0L ((StrictMaybe NonNegativeInterval
  -> Identity (StrictMaybe NonNegativeInterval))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe NonNegativeInterval
-> PParamsUpdate era
-> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe NonNegativeInterval
ua0 SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe UnitInterval -> Identity (StrictMaybe UnitInterval))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppuRhoL ((StrictMaybe UnitInterval -> Identity (StrictMaybe UnitInterval))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe UnitInterval
-> PParamsUpdate era
-> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe UnitInterval
urho SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe UnitInterval -> Identity (StrictMaybe UnitInterval))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppuTauL ((StrictMaybe UnitInterval -> Identity (StrictMaybe UnitInterval))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe UnitInterval
-> PParamsUpdate era
-> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe UnitInterval
utau SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Coin -> Identity (StrictMaybe Coin))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMinPoolCostL ((StrictMaybe Coin -> Identity (StrictMaybe Coin))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Coin -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Coin
uminPoolCost SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Coin -> Identity (StrictMaybe Coin))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
EraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMinPoolCostL ((StrictMaybe Coin -> Identity (StrictMaybe Coin))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Coin -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Coin
uminPoolCost SimplePPUpdate
pps)

uLiftProtVer ::
  (EraPParams era, ProtVerAtMost era 8) => SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftProtVer :: forall era.
(EraPParams era, ProtVerAtMost era 8) =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftProtVer SimplePPUpdate
pps PParamsUpdate era
pp = PParamsUpdate era
pp PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe ProtVer -> Identity (StrictMaybe ProtVer))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
(EraPParams era, ProtVerAtMost era 8) =>
Lens' (PParamsUpdate era) (StrictMaybe ProtVer)
Lens' (PParamsUpdate era) (StrictMaybe ProtVer)
ppuProtocolVersionL ((StrictMaybe ProtVer -> Identity (StrictMaybe ProtVer))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe ProtVer -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe ProtVer
uprotocolVersion SimplePPUpdate
pps)

uLiftAlonzo :: AlonzoEraPParams era => SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftAlonzo :: forall era.
AlonzoEraPParams era =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftAlonzo SimplePPUpdate
pps PParamsUpdate era
pp =
  PParamsUpdate era
pp
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe CostModels -> Identity (StrictMaybe CostModels))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
AlonzoEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe CostModels)
Lens' (PParamsUpdate era) (StrictMaybe CostModels)
ppuCostModelsL ((StrictMaybe CostModels -> Identity (StrictMaybe CostModels))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe CostModels -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe CostModels
ucostModels SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Prices -> Identity (StrictMaybe Prices))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
AlonzoEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Prices)
Lens' (PParamsUpdate era) (StrictMaybe Prices)
ppuPricesL ((StrictMaybe Prices -> Identity (StrictMaybe Prices))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Prices -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Prices
uprices SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe ExUnits -> Identity (StrictMaybe ExUnits))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
AlonzoEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe ExUnits)
Lens' (PParamsUpdate era) (StrictMaybe ExUnits)
ppuMaxTxExUnitsL ((StrictMaybe ExUnits -> Identity (StrictMaybe ExUnits))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe ExUnits -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe ExUnits
umaxTxExUnits SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe ExUnits -> Identity (StrictMaybe ExUnits))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
AlonzoEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe ExUnits)
Lens' (PParamsUpdate era) (StrictMaybe ExUnits)
ppuMaxBlockExUnitsL ((StrictMaybe ExUnits -> Identity (StrictMaybe ExUnits))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe ExUnits -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe ExUnits
umaxBlockExUnits SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Natural -> Identity (StrictMaybe Natural))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
AlonzoEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Natural)
Lens' (PParamsUpdate era) (StrictMaybe Natural)
ppuMaxValSizeL ((StrictMaybe Natural -> Identity (StrictMaybe Natural))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Natural -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Natural
umaxValSize SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Natural -> Identity (StrictMaybe Natural))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
AlonzoEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Natural)
Lens' (PParamsUpdate era) (StrictMaybe Natural)
ppuCollateralPercentageL ((StrictMaybe Natural -> Identity (StrictMaybe Natural))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Natural -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Natural
ucollateralPercentage SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Natural -> Identity (StrictMaybe Natural))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
AlonzoEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Natural)
Lens' (PParamsUpdate era) (StrictMaybe Natural)
ppuMaxCollateralInputsL ((StrictMaybe Natural -> Identity (StrictMaybe Natural))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Natural -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Natural
umaxCollateralInputs SimplePPUpdate
pps)

uLiftBabbage :: BabbageEraPParams era => SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftBabbage :: forall era.
BabbageEraPParams era =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftBabbage SimplePPUpdate
pps PParamsUpdate era
pp = PParamsUpdate era
pp PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe CoinPerByte -> Identity (StrictMaybe CoinPerByte))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
BabbageEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte)
Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte)
ppuCoinsPerUTxOByteL ((StrictMaybe CoinPerByte -> Identity (StrictMaybe CoinPerByte))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe CoinPerByte
-> PParamsUpdate era
-> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (Coin -> CoinPerByte
CoinPerByte (Coin -> CoinPerByte)
-> StrictMaybe Coin -> StrictMaybe CoinPerByte
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (SimplePPUpdate -> StrictMaybe Coin
ucoinsPerUTxOByte SimplePPUpdate
pps))

uLiftConway :: ConwayEraPParams era => SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftConway :: forall era.
ConwayEraPParams era =>
SimplePPUpdate -> PParamsUpdate era -> PParamsUpdate era
uLiftConway SimplePPUpdate
pps PParamsUpdate era
pp =
  PParamsUpdate era
pp
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe PoolVotingThresholds
 -> Identity (StrictMaybe PoolVotingThresholds))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
ConwayEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe PoolVotingThresholds)
Lens' (PParamsUpdate era) (StrictMaybe PoolVotingThresholds)
ppuPoolVotingThresholdsL ((StrictMaybe PoolVotingThresholds
  -> Identity (StrictMaybe PoolVotingThresholds))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe PoolVotingThresholds
-> PParamsUpdate era
-> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe PoolVotingThresholds
upoolVotingThresholds SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe DRepVotingThresholds
 -> Identity (StrictMaybe DRepVotingThresholds))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
ConwayEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe DRepVotingThresholds)
Lens' (PParamsUpdate era) (StrictMaybe DRepVotingThresholds)
ppuDRepVotingThresholdsL ((StrictMaybe DRepVotingThresholds
  -> Identity (StrictMaybe DRepVotingThresholds))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe DRepVotingThresholds
-> PParamsUpdate era
-> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe DRepVotingThresholds
udrepVotingThresholds SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Natural -> Identity (StrictMaybe Natural))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
ConwayEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Natural)
Lens' (PParamsUpdate era) (StrictMaybe Natural)
ppuCommitteeMinSizeL ((StrictMaybe Natural -> Identity (StrictMaybe Natural))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Natural -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Natural
ucommitteeMinSize SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe EpochInterval -> Identity (StrictMaybe EpochInterval))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
ConwayEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
ppuCommitteeMaxTermLengthL ((StrictMaybe EpochInterval
  -> Identity (StrictMaybe EpochInterval))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe EpochInterval
-> PParamsUpdate era
-> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe EpochInterval
ucommitteeMaxTermLength SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe EpochInterval -> Identity (StrictMaybe EpochInterval))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
ConwayEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
ppuGovActionLifetimeL ((StrictMaybe EpochInterval
  -> Identity (StrictMaybe EpochInterval))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe EpochInterval
-> PParamsUpdate era
-> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe EpochInterval
ugovActionLifetime SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Coin -> Identity (StrictMaybe Coin))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
ConwayEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuGovActionDepositL ((StrictMaybe Coin -> Identity (StrictMaybe Coin))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Coin -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Coin
ugovActionDeposit SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe Coin -> Identity (StrictMaybe Coin))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
ConwayEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe Coin)
Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuDRepDepositL ((StrictMaybe Coin -> Identity (StrictMaybe Coin))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe Coin -> PParamsUpdate era -> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe Coin
udRepDeposit SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe EpochInterval -> Identity (StrictMaybe EpochInterval))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
ConwayEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
ppuDRepActivityL ((StrictMaybe EpochInterval
  -> Identity (StrictMaybe EpochInterval))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe EpochInterval
-> PParamsUpdate era
-> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe EpochInterval
udRepActivity SimplePPUpdate
pps)
    PParamsUpdate era
-> (PParamsUpdate era -> PParamsUpdate era) -> PParamsUpdate era
forall a b. a -> (a -> b) -> b
& (StrictMaybe NonNegativeInterval
 -> Identity (StrictMaybe NonNegativeInterval))
-> PParamsUpdate era -> Identity (PParamsUpdate era)
forall era.
ConwayEraPParams era =>
Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval)
Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval)
ppuMinFeeRefScriptCostPerByteL ((StrictMaybe NonNegativeInterval
  -> Identity (StrictMaybe NonNegativeInterval))
 -> PParamsUpdate era -> Identity (PParamsUpdate era))
-> StrictMaybe NonNegativeInterval
-> PParamsUpdate era
-> PParamsUpdate era
forall s t a b. ASetter s t a b -> b -> s -> t
.~ (SimplePPUpdate -> StrictMaybe NonNegativeInterval
uminFeeRefScriptCostPerByte SimplePPUpdate
pps)

-- ============================================================================
-- Term Selectors for SimplePParams

minFeeA_ :: EraSpecPParams era => Term (SimplePParams era) -> Term Coin
minFeeA_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Coin
minFeeA_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @0 Term (SimplePParams era)
simplepp

minFeeB_ :: EraSpecPParams era => Term (SimplePParams era) -> Term Coin
minFeeB_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Coin
minFeeB_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @1 Term (SimplePParams era)
simplepp

maxBBSize_ :: EraSpecPParams era => Term (SimplePParams era) -> Term Word32
maxBBSize_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Word32
maxBBSize_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @2 Term (SimplePParams era)
simplepp

maxTxSize_ :: EraSpecPParams era => Term (SimplePParams era) -> Term Word32
maxTxSize_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Word32
maxTxSize_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @3 Term (SimplePParams era)
simplepp

maxBHSize_ :: EraSpecPParams era => Term (SimplePParams era) -> Term Word32
maxBHSize_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Word32
maxBHSize_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @4 Term (SimplePParams era)
simplepp

keyDeposit_ :: EraSpecPParams era => Term (SimplePParams era) -> Term Coin
keyDeposit_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Coin
keyDeposit_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @5 Term (SimplePParams era)
simplepp

poolDeposit_ :: EraSpecPParams era => Term (SimplePParams era) -> Term Coin
poolDeposit_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Coin
poolDeposit_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @6 Term (SimplePParams era)
simplepp

eMax_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term EpochInterval
eMax_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term EpochInterval
eMax_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @7 Term (SimplePParams era)
simplepp

nOpt_ :: EraSpecPParams era => Term (SimplePParams era) -> Term Word16
nOpt_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Word16
nOpt_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @8 Term (SimplePParams era)
simplepp

a0_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term NonNegativeInterval
a0_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term NonNegativeInterval
a0_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @9 Term (SimplePParams era)
simplepp

rho_ :: EraSpecPParams era => Term (SimplePParams era) -> Term UnitInterval
rho_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term UnitInterval
rho_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @10 Term (SimplePParams era)
simplepp

tau_ :: EraSpecPParams era => Term (SimplePParams era) -> Term UnitInterval
tau_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term UnitInterval
tau_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @11 Term (SimplePParams era)
simplepp

decentral_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term UnitInterval
decentral_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term UnitInterval
decentral_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @12 Term (SimplePParams era)
simplepp

protocolVersion_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term ProtVer
protocolVersion_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term ProtVer
protocolVersion_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @13 Term (SimplePParams era)
simplepp

minUTxOValue_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term Coin
minUTxOValue_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Coin
minUTxOValue_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @14 Term (SimplePParams era)
simplepp

minPoolCost_ :: EraSpecPParams era => Term (SimplePParams era) -> Term Coin
minPoolCost_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Coin
minPoolCost_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @15 Term (SimplePParams era)
simplepp

coinsPerUTxOWord_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term Coin
coinsPerUTxOWord_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Coin
coinsPerUTxOWord_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @16 Term (SimplePParams era)
simplepp

costModels_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term CostModels
costModels_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term CostModels
costModels_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @17 Term (SimplePParams era)
simplepp

prices_ :: EraSpecPParams era => Term (SimplePParams era) -> Term Prices
prices_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Prices
prices_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @18 Term (SimplePParams era)
simplepp

maxTxExUnits_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term ExUnits
maxTxExUnits_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term ExUnits
maxTxExUnits_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @19 Term (SimplePParams era)
simplepp

maxBlockExUnits_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term ExUnits
maxBlockExUnits_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term ExUnits
maxBlockExUnits_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @20 Term (SimplePParams era)
simplepp

maxValSize_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term Natural
maxValSize_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Natural
maxValSize_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @21 Term (SimplePParams era)
simplepp

collateralPercentage_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term Natural
collateralPercentage_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Natural
collateralPercentage_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @22 Term (SimplePParams era)
simplepp

maxCollateralInputs_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term Natural
maxCollateralInputs_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Natural
maxCollateralInputs_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @23 Term (SimplePParams era)
simplepp

coinsPerUTxOByte_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term Coin
coinsPerUTxOByte_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Coin
coinsPerUTxOByte_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @24 Term (SimplePParams era)
simplepp

poolVotingThresholds_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term PoolVotingThresholds
poolVotingThresholds_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term PoolVotingThresholds
poolVotingThresholds_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @25 Term (SimplePParams era)
simplepp

drepVotingThresholds_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term DRepVotingThresholds
drepVotingThresholds_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term DRepVotingThresholds
drepVotingThresholds_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @26 Term (SimplePParams era)
simplepp

committeeMinSize_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term Natural
committeeMinSize_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Natural
committeeMinSize_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @27 Term (SimplePParams era)
simplepp

committeeMaxTermLength_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term EpochInterval
committeeMaxTermLength_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term EpochInterval
committeeMaxTermLength_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @28 Term (SimplePParams era)
simplepp

govActionLifetime_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term EpochInterval
govActionLifetime_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term EpochInterval
govActionLifetime_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @29 Term (SimplePParams era)
simplepp

govActionDeposit_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term Coin
govActionDeposit_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Coin
govActionDeposit_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @30 Term (SimplePParams era)
simplepp

dRepDeposit_ :: EraSpecPParams era => Term (SimplePParams era) -> Term Coin
dRepDeposit_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Coin
dRepDeposit_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @31 Term (SimplePParams era)
simplepp

dRepActivity_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term EpochInterval
dRepActivity_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term EpochInterval
dRepActivity_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @32 Term (SimplePParams era)
simplepp

minFeeRefScriptCostPerByte_ ::
  EraSpecPParams era => Term (SimplePParams era) -> Term NonNegativeInterval
minFeeRefScriptCostPerByte_ :: forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term NonNegativeInterval
minFeeRefScriptCostPerByte_ Term (SimplePParams era)
simplepp = forall (n :: Natural) a (c :: Symbol) (as :: [*]).
(SimpleRep a ~ ProdOver as, TheSop a ~ '[c ::: as],
 TypeSpec a ~ TypeSpec (ProdOver as), Select n as, HasSpec a,
 HasSpec (ProdOver as), HasSimpleRep a, GenericRequires a) =>
Term a -> Term (At n as)
sel @33 Term (SimplePParams era)
simplepp

-- =======================================================================

-- | A sample of how to constrain (PParams era) for every Era, by writing a specification for SimplePParams.
--   Constrained but not applicable fields (for that era) are elided in the result.
--   Missing fields are left unconstrained and will appear as random values in the result.
--   This can easily be lifted to PParams: see Test.Cardano.Ledger.Constrained.Conway.PParams(pparamsSpec)
simplePParamsSpec ::
  forall era. EraSpecPParams era => Specification (SimplePParams era)
simplePParamsSpec :: forall era. EraSpecPParams era => Specification (SimplePParams era)
simplePParamsSpec = (Term (SimplePParams era) -> [Pred])
-> Specification (SimplePParams era)
forall a p.
(IsPred p, HasSpec a) =>
(Term a -> p) -> Specification a
constrained ((Term (SimplePParams era) -> [Pred])
 -> Specification (SimplePParams era))
-> (Term (SimplePParams era) -> [Pred])
-> Specification (SimplePParams era)
forall a b. (a -> b) -> a -> b
$ \Term (SimplePParams era)
pp ->
  [ Term Bool -> Pred
forall p. IsPred p => p -> Pred
assert (Term Bool -> Pred) -> Term Bool -> Pred
forall a b. (a -> b) -> a -> b
$ Term (SimplePParams era) -> Term ProtVer
forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term ProtVer
protocolVersion_ Term (SimplePParams era)
pp Term ProtVer -> Term ProtVer -> Term Bool
forall a. HasSpec a => Term a -> Term a -> Term Bool
==. ProtVer -> Term ProtVer
forall a. HasSpec a => a -> Term a
lit (Version -> Natural -> ProtVer
ProtVer (forall (v :: Natural).
(KnownNat v, 0 <= v, v <= MaxVersion) =>
Version
natVersion @10) Natural
0)
  , Term Bool -> Pred
forall p. IsPred p => p -> Pred
assert (Term Bool -> Pred) -> Term Bool -> Pred
forall a b. (a -> b) -> a -> b
$ Term (SimplePParams era) -> Term Word32
forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Word32
maxBBSize_ Term (SimplePParams era)
pp Term Word32 -> Term Word32 -> Term Bool
forall a. HasSpec a => Term a -> Term a -> Term Bool
/=. Word32 -> Term Word32
forall a. HasSpec a => a -> Term a
lit Word32
0
  , Term Bool -> Pred
forall p. IsPred p => p -> Pred
assert (Term Bool -> Pred) -> Term Bool -> Pred
forall a b. (a -> b) -> a -> b
$ Term (SimplePParams era) -> Term Word32
forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Word32
maxTxSize_ Term (SimplePParams era)
pp Term Word32 -> Term Word32 -> Term Bool
forall a. HasSpec a => Term a -> Term a -> Term Bool
/=. Word32 -> Term Word32
forall a. HasSpec a => a -> Term a
lit Word32
0
  , Term Bool -> Pred
forall p. IsPred p => p -> Pred
assert (Term Bool -> Pred) -> Term Bool -> Pred
forall a b. (a -> b) -> a -> b
$ Term (SimplePParams era) -> Term Word32
forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Word32
maxBHSize_ Term (SimplePParams era)
pp Term Word32 -> Term Word32 -> Term Bool
forall a. HasSpec a => Term a -> Term a -> Term Bool
/=. Word32 -> Term Word32
forall a. HasSpec a => a -> Term a
lit Word32
0
  , Term Bool -> Pred
forall p. IsPred p => p -> Pred
assert (Term Bool -> Pred) -> Term Bool -> Pred
forall a b. (a -> b) -> a -> b
$ Term (SimplePParams era) -> Term Natural
forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Natural
maxValSize_ Term (SimplePParams era)
pp Term Natural -> Term Natural -> Term Bool
forall a. HasSpec a => Term a -> Term a -> Term Bool
/=. Natural -> Term Natural
forall a. HasSpec a => a -> Term a
lit Natural
0
  , Term Bool -> Pred
forall p. IsPred p => p -> Pred
assert (Term Bool -> Pred) -> Term Bool -> Pred
forall a b. (a -> b) -> a -> b
$ Term (SimplePParams era) -> Term Natural
forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Natural
collateralPercentage_ Term (SimplePParams era)
pp Term Natural -> Term Natural -> Term Bool
forall a. HasSpec a => Term a -> Term a -> Term Bool
/=. Natural -> Term Natural
forall a. HasSpec a => a -> Term a
lit Natural
0
  , Term Bool -> Pred
forall p. IsPred p => p -> Pred
assert (Term Bool -> Pred) -> Term Bool -> Pred
forall a b. (a -> b) -> a -> b
$ Term (SimplePParams era) -> Term EpochInterval
forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term EpochInterval
committeeMaxTermLength_ Term (SimplePParams era)
pp Term EpochInterval -> Term EpochInterval -> Term Bool
forall a. HasSpec a => Term a -> Term a -> Term Bool
/=. EpochInterval -> Term EpochInterval
forall a. HasSpec a => a -> Term a
lit (Word32 -> EpochInterval
EpochInterval Word32
0)
  , Term Bool -> Pred
forall p. IsPred p => p -> Pred
assert (Term Bool -> Pred) -> Term Bool -> Pred
forall a b. (a -> b) -> a -> b
$ Term (SimplePParams era) -> Term EpochInterval
forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term EpochInterval
govActionLifetime_ Term (SimplePParams era)
pp Term EpochInterval -> Term EpochInterval -> Term Bool
forall a. HasSpec a => Term a -> Term a -> Term Bool
/=. EpochInterval -> Term EpochInterval
forall a. HasSpec a => a -> Term a
lit (Word32 -> EpochInterval
EpochInterval Word32
0)
  , Term Bool -> Pred
forall p. IsPred p => p -> Pred
assert (Term Bool -> Pred) -> Term Bool -> Pred
forall a b. (a -> b) -> a -> b
$ Term (SimplePParams era) -> Term Coin
forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Coin
poolDeposit_ Term (SimplePParams era)
pp Term Coin -> Term Coin -> Term Bool
forall a. HasSpec a => Term a -> Term a -> Term Bool
/=. Coin -> Term Coin
forall a. HasSpec a => a -> Term a
lit Coin
forall a. Monoid a => a
mempty
  , Term Bool -> Pred
forall p. IsPred p => p -> Pred
assert (Term Bool -> Pred) -> Term Bool -> Pred
forall a b. (a -> b) -> a -> b
$ Term (SimplePParams era) -> Term Coin
forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Coin
govActionDeposit_ Term (SimplePParams era)
pp Term Coin -> Term Coin -> Term Bool
forall a. HasSpec a => Term a -> Term a -> Term Bool
/=. Coin -> Term Coin
forall a. HasSpec a => a -> Term a
lit Coin
forall a. Monoid a => a
mempty
  , Term Bool -> Pred
forall p. IsPred p => p -> Pred
assert (Term Bool -> Pred) -> Term Bool -> Pred
forall a b. (a -> b) -> a -> b
$ Term (SimplePParams era) -> Term Coin
forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term Coin
dRepDeposit_ Term (SimplePParams era)
pp Term Coin -> Term Coin -> Term Bool
forall a. HasSpec a => Term a -> Term a -> Term Bool
/=. Coin -> Term Coin
forall a. HasSpec a => a -> Term a
lit Coin
forall a. Monoid a => a
mempty
  , Term EpochInterval
-> FunTy (MapList Term (ProductAsList EpochInterval)) (Term Bool)
-> Pred
forall p a.
(IsProductType a, IsPred p, GenericRequires a,
 ProdAsListComputes a) =>
Term a -> FunTy (MapList Term (ProductAsList a)) p -> Pred
match (Term (SimplePParams era) -> Term EpochInterval
forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term EpochInterval
eMax_ Term (SimplePParams era)
pp) (\Term Word32
epochInterval -> Word32 -> Term Word32
forall a. HasSpec a => a -> Term a
lit Word32
0 Term Word32 -> Term Word32 -> Term Bool
forall a. OrdLike a => Term a -> Term a -> Term Bool
<. Term Word32
epochInterval)
  , Term Bool -> Pred
forall p. IsPred p => p -> Pred
assert (Term Bool -> Pred) -> Term Bool -> Pred
forall a b. (a -> b) -> a -> b
$ Term (SimplePParams era) -> Term CostModels
forall era.
EraSpecPParams era =>
Term (SimplePParams era) -> Term CostModels
costModels_ Term (SimplePParams era)
pp Term CostModels -> Term CostModels -> Term Bool
forall a. HasSpec a => Term a -> Term a -> Term Bool
==. CostModels -> Term CostModels
forall a. HasSpec a => a -> Term a
lit CostModels
forall a. Monoid a => a
mempty -- This makes examples soo much more readable.
  ]