Merge pull request #369 from input-output-hk/ch/expose-protocol-param…

…eters-generators Leftover from #352: forgot to expose new module `Test.Gen.Cardano.Api.ProtocolParameters`
IntersectMBO · Nov 14, 2023 · 004ade6 · 004ade6
2 parents 65240dd + 1df547c
commit 004ade6
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 9 deletions.
diff --git a/cardano-api-gen/cardano-api-gen.cabal b/cardano-api-gen/cardano-api-gen.cabal
@@ -37,10 +37,11 @@ library
   hs-source-dirs:       src
   -- These modules should match those in cardano-api:gen
   exposed-modules:      Test.Gen.Cardano.Api.Empty
-  reexported-modules:   Test.Gen.Cardano.Api,
-                        Test.Gen.Cardano.Api.Metadata,
-                        Test.Gen.Cardano.Api.Typed,
-                        Test.Gen.Cardano.Crypto.Seed,
-                        Test.Hedgehog.Golden.ErrorMessage,
-                        Test.Hedgehog.Roundtrip.Bech32,
-                        Test.Hedgehog.Roundtrip.CBOR,
+  reexported-modules:   Test.Gen.Cardano.Api
+                      , Test.Gen.Cardano.Api.Metadata
+                      , Test.Gen.Cardano.Api.ProtocolParameters
+                      , Test.Gen.Cardano.Api.Typed
+                      , Test.Gen.Cardano.Crypto.Seed
+                      , Test.Hedgehog.Golden.ErrorMessage
+                      , Test.Hedgehog.Roundtrip.Bech32
+                      , Test.Hedgehog.Roundtrip.CBOR
diff --git a/cardano-api/cardano-api.cabal b/cardano-api/cardano-api.cabal
@@ -248,6 +248,7 @@ library gen
                         Test.Gen.Cardano.Api.Era
                         Test.Gen.Cardano.Api.Metadata
                         Test.Gen.Cardano.Api.Typed
+                        Test.Gen.Cardano.Api.ProtocolParameters
                         Test.Gen.Cardano.Crypto.Seed
                         Test.Hedgehog.Golden.ErrorMessage
                         Test.Hedgehog.Roundtrip.Bech32
@@ -261,7 +262,7 @@ library gen
                       , cardano-binary >= 1.6 && < 1.8
                       , cardano-crypto-class ^>= 2.1.2
                       , cardano-crypto-test ^>= 1.5
-                      , cardano-ledger-alonzo:{cardano-ledger-alonzo} >= 1.5.0
+                      , cardano-ledger-alonzo:{cardano-ledger-alonzo, testlib} >= 1.5.0
                       , cardano-ledger-byron-test >= 1.5
                       , cardano-ledger-core:{cardano-ledger-core, testlib} >= 1.8.0
                       , cardano-ledger-shelley >= 1.7.0

diff --git a/cardano-api/gen/Test/Gen/Cardano/Api/ProtocolParameters.hs b/cardano-api/gen/Test/Gen/Cardano/Api/ProtocolParameters.hs
@@ -37,11 +37,13 @@ genCommonProtocolParametersUpdate =
     <*> genStrictMaybe Q.arbitrary
     <*> genStrictMaybe Q.arbitrary
     <*> genStrictMaybe Q.arbitrary
-    <*> genStrictMaybe Q.arbitrary
 
 genDeprecatedAfterMaryPParams :: MonadGen m => m (DeprecatedAfterMaryPParams era)
 genDeprecatedAfterMaryPParams = DeprecatedAfterMaryPParams <$> genStrictMaybe Q.arbitrary
 
+genDeprecatedAfterBabbagePParams :: MonadGen m => m (DeprecatedAfterBabbagePParams era)
+genDeprecatedAfterBabbagePParams = DeprecatedAfterBabbagePParams <$> genStrictMaybe Q.arbitrary
+
 genShelleyToAlonzoPParams :: MonadGen m => m (ShelleyToAlonzoPParams era)
 genShelleyToAlonzoPParams =
   ShelleyToAlonzoPParams
@@ -79,6 +81,7 @@ genShelleyEraBasedProtocolParametersUpdate =
   ShelleyEraBasedProtocolParametersUpdate
      <$> genCommonProtocolParametersUpdate
      <*> genDeprecatedAfterMaryPParams
+     <*> genDeprecatedAfterBabbagePParams
      <*> genShelleyToAlonzoPParams
 
 genAllegraEraBasedProtocolParametersUpdate :: MonadGen m => m (EraBasedProtocolParametersUpdate AllegraEra)
@@ -87,26 +90,30 @@ genAllegraEraBasedProtocolParametersUpdate =
      <$> genCommonProtocolParametersUpdate
      <*> genDeprecatedAfterMaryPParams
      <*> genShelleyToAlonzoPParams
+     <*> genDeprecatedAfterBabbagePParams
 
 genMaryEraBasedProtocolParametersUpdate :: MonadGen m => m (EraBasedProtocolParametersUpdate MaryEra)
 genMaryEraBasedProtocolParametersUpdate =
   MaryEraBasedProtocolParametersUpdate
      <$> genCommonProtocolParametersUpdate
      <*> genDeprecatedAfterMaryPParams
      <*> genShelleyToAlonzoPParams
+     <*> genDeprecatedAfterBabbagePParams
 
 genAlonzoEraBasedProtocolParametersUpdate :: MonadGen m => m (EraBasedProtocolParametersUpdate AlonzoEra)
 genAlonzoEraBasedProtocolParametersUpdate =
   AlonzoEraBasedProtocolParametersUpdate
      <$> genCommonProtocolParametersUpdate
      <*> genShelleyToAlonzoPParams
      <*> genAlonzoOnwardsPParams
+     <*> genDeprecatedAfterBabbagePParams
 
 genBabbageEraBasedProtocolParametersUpdate :: MonadGen m => m (EraBasedProtocolParametersUpdate BabbageEra)
 genBabbageEraBasedProtocolParametersUpdate =
   BabbageEraBasedProtocolParametersUpdate
      <$> genCommonProtocolParametersUpdate
      <*> genAlonzoOnwardsPParams
+     <*> genDeprecatedAfterBabbagePParams
      <*> genIntroducedInBabbagePParams
 
 genConwayEraBasedProtocolParametersUpdate :: MonadGen m => m (EraBasedProtocolParametersUpdate ConwayEra)