Merge #4249

4249: Added FromJSON instance for 'EraInMode BabbageEra CardanoMode' r=Jimbo4350 a=koslambrou



Co-authored-by: Konstantinos Lambrou-Latreille <[email protected]>

Author: iohk-bors[bot]

cardano-api/src/Cardano/Api/Modes.hs

@@ -211,6 +211,13 @@ instance FromJSON (EraInMode AlonzoEra CardanoMode) where
                          "parsing 'EraInMode AlonzoEra CardanoMode' failed, "
                          invalid
 
+instance FromJSON (EraInMode BabbageEra CardanoMode) where
+  parseJSON "BabbageEraInCardanoMode" = pure BabbageEraInCardanoMode
+  parseJSON invalid =
+      invalidJSONFailure "BabbageEraInCardanoMode"
+                         "parsing 'EraInMode Babbage CardanoMode' failed, "
+                         invalid
+
 invalidJSONFailure :: String -> String -> Value -> Parser a
 invalidJSONFailure expectedType errorMsg invalidValue =
     prependFailure errorMsg

cardano-api/test/Test/Cardano/Api/Json.hs

@@ -60,6 +60,7 @@ prop_json_roundtrip_eraInMode = H.property $ do
   H.assert $ parseEither rountripEraInModeParser AllegraEraInCardanoMode == Right AllegraEraInCardanoMode
   H.assert $ parseEither rountripEraInModeParser MaryEraInCardanoMode == Right MaryEraInCardanoMode
   H.assert $ parseEither rountripEraInModeParser AlonzoEraInCardanoMode == Right AlonzoEraInCardanoMode
+  H.assert $ parseEither rountripEraInModeParser BabbageEraInCardanoMode == Right BabbageEraInCardanoMode
 
   where
     -- Defined this way instead of using 'tripping' in order to warn the
@@ -74,8 +75,7 @@ prop_json_roundtrip_eraInMode = H.property $ do
       AllegraEraInCardanoMode -> parseJSON $ toJSON AllegraEraInCardanoMode
       MaryEraInCardanoMode -> parseJSON $ toJSON MaryEraInCardanoMode
       AlonzoEraInCardanoMode -> parseJSON $ toJSON AlonzoEraInCardanoMode
-      BabbageEraInCardanoMode ->
-        panic "TODO: Babbage era - depends on consensus exposing a babbage era"
+      BabbageEraInCardanoMode -> parseJSON $ toJSON BabbageEraInCardanoMode
 
 prop_json_roundtrip_scriptdata_detailed_json :: Property
 prop_json_roundtrip_scriptdata_detailed_json = H.property $ do