Use lenses for config

IntersectMBO · Jan 6, 2024 · 85ca504 · 85ca504
1 parent 1147cab
commit 85ca504
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 15 deletions.
diff --git a/cardano-testnet/cardano-testnet.cabal b/cardano-testnet/cardano-testnet.cabal
@@ -76,7 +76,6 @@ library
                       , time
                       , transformers
                       , transformers-except
-                      , unordered-containers
                       , vector
 
   hs-source-dirs:       src

diff --git a/cardano-testnet/src/Testnet/Components/Configuration.hs b/cardano-testnet/src/Testnet/Components/Configuration.hs
@@ -24,7 +24,6 @@ import           Control.Monad.IO.Class (MonadIO)
 import           Data.Aeson
 import qualified Data.Aeson as Aeson
 import qualified Data.ByteString.Lazy as LBS
-import qualified Data.HashMap.Lazy as HM
 import qualified Data.List as List
 import           Data.String
 import           Data.Time
@@ -34,7 +33,6 @@ import           System.FilePath.Posix ((</>))
 
 import           Hedgehog
 import qualified Hedgehog as H
-import qualified Hedgehog.Extras.Stock.Aeson as J
 import qualified Hedgehog.Extras.Stock.Time as DTC
 import qualified Hedgehog.Extras.Test.Base as H
 import qualified Hedgehog.Extras.Test.File as H
@@ -104,18 +102,20 @@ createSPOGenesisAndFiles testnetOptions startTime (TmpAbsolutePath tempAbsPath')
   -- TODO: Remove this rewrite.
  -- 50 second epochs
  -- Epoch length should be "10 * k / f" where "k = securityParam, f = activeSlotsCoeff"
-  H.rewriteJsonFile createStakedInitialGenesisFile $ J.rewriteObject
-      ( HM.insert "securityParam"          (toJSON @Int 5)    -- TODO: USE config p arameter
-      . HM.adjust
-          (J.rewriteObject
-              $ HM.adjust
-                (J.rewriteObject (HM.insert "major" (toJSON @Int 8)))
-                "protocolVersion"
-          )   "protocolParams"
-      . HM.insert "rho"                    (toJSON @Double 0.1)
-      . HM.insert "tau"                    (toJSON @Double 0.1)
-      . HM.insert "updateQuorum"           (toJSON @Int 2)
-      )
+  H.rewriteJsonFile createStakedInitialGenesisFile $ \o ->
+    o
+  -- J.rewriteObject
+  --     ( HM.insert "securityParam"          (toJSON @Int 5)    -- TODO: USE config p arameter
+  --     . HM.adjust
+  --         (J.rewriteObject
+  --             $ HM.adjust
+  --               (J.rewriteObject (HM.insert "major" (toJSON @Int 8)))
+  --               "protocolVersion"
+  --         )   "protocolParams"
+  --     . HM.insert "rho"                    (toJSON @Double 0.1)
+  --     . HM.insert "tau"                    (toJSON @Double 0.1)
+  --     . HM.insert "updateQuorum"           (toJSON @Int 2)
+  --     )
 
   execCli_
     [ "genesis", "create-staked"