stuff

Author: newhoggy

cardano-api/test/cardano-api-test/Test/Cardano/Api/TxOut/Gen.hs

@@ -25,11 +25,11 @@ import Cardano.Api hiding (Value)
 
 import Data.Aeson (Value (..), object, (.=))
 
+import Test.Gen.Cardano.Api.Typed
+
 import Hedgehog (Gen)
 import Hedgehog.Gen qualified as Gen
 
-import Test.Gen.Cardano.Api.Typed
-
 -- | Generate a TxOut with no datum and no reference script
 genTxOutWithNoDatum
   :: ShelleyBasedEra era

cardano-api/test/cardano-api-test/Test/Cardano/Api/TxOut/Helpers.hs

@@ -28,6 +28,7 @@ where
 
 import Cardano.Api hiding (Value)
 
+import Control.Monad (unless)
 import Data.Aeson (Object, Value (..))
 import Data.Aeson qualified as Aeson
 import Data.Aeson.Key qualified as Aeson.Key
@@ -36,7 +37,6 @@ import Data.Text (Text)
 import Data.Text qualified as Text
 import GHC.Stack (HasCallStack, callStack)
 
-import Control.Monad (unless)
 import Hedgehog.Extras qualified as H
 import Hedgehog.Internal.Property (MonadTest)
 
@@ -66,7 +66,8 @@ assertFieldPresent (Object obj) field expected = do
             <> "\nActual: "
             <> show actual
 assertFieldPresent val field _ =
-  H.failMessage callStack $ "Expected Object but got: " <> show val <> " when checking field " <> Text.unpack field
+  H.failMessage callStack $
+    "Expected Object but got: " <> show val <> " when checking field " <> Text.unpack field
 
 -- | Assert that a field equals a specific value (same as assertFieldPresent)
 assertFieldEquals :: (MonadTest m, HasCallStack) => Value -> Text -> Value -> m ()
@@ -83,7 +84,8 @@ assertFieldNull (Object obj) field = do
       H.failMessage callStack $
         "Field '" <> Text.unpack field <> "' is not null, got: " <> show val
 assertFieldNull val field =
-  H.failMessage callStack $ "Expected Object but got: " <> show val <> " when checking field " <> Text.unpack field
+  H.failMessage callStack $
+    "Expected Object but got: " <> show val <> " when checking field " <> Text.unpack field
 
 -- | Assert that all specified fields are null
 assertAllNull :: (MonadTest m, HasCallStack) => Value -> [Text] -> m ()
@@ -98,7 +100,8 @@ assertParseFails val =
     Aeson.Error _ -> return ()
 
 -- | Assert that parsing fails with a message containing the specified text
-assertParseFailsWithMessage :: forall a m. (Aeson.FromJSON a, MonadTest m, HasCallStack) => Value -> Text -> m ()
+assertParseFailsWithMessage
+  :: forall a m. (Aeson.FromJSON a, MonadTest m, HasCallStack) => Value -> Text -> m ()
 assertParseFailsWithMessage val expectedMsg =
   case Aeson.fromJSON val of
     Aeson.Success (_ :: a) ->

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

@@ -17,12 +17,12 @@ module Test.Cardano.Api.TxOut.Json
   )
 where
 
-import Test.Tasty (TestTree, testGroup)
-
 import Test.Cardano.Api.TxOut.JsonEdgeCases qualified as EdgeCases
 import Test.Cardano.Api.TxOut.JsonErrorCases qualified as ErrorCases
 import Test.Cardano.Api.TxOut.JsonRoundtrip qualified as Roundtrip
 
+import Test.Tasty (TestTree, testGroup)
+
 -- | All TxOut JSON tests
 tests :: TestTree
 tests =

cardano-api/test/cardano-api-test/Test/Cardano/Api/TxOut/JsonEdgeCases.hs

@@ -14,15 +14,16 @@ import Cardano.Api hiding (Value)
 
 import Data.Aeson (Value (..), eitherDecode, encode, object, (.=))
 
-import Hedgehog (Property, forAll)
-import Hedgehog qualified as H
 import Test.Gen.Cardano.Api.Typed
-import Test.Tasty (TestTree, testGroup)
-import Test.Tasty.Hedgehog (testPropertyNamed)
 
 import Test.Cardano.Api.TxOut.Gen
 import Test.Cardano.Api.TxOut.Helpers
 
+import Hedgehog (Property, forAll)
+import Hedgehog qualified as H
+import Test.Tasty (TestTree, testGroup)
+import Test.Tasty.Hedgehog (testPropertyNamed)
+
 -- | All edge case tests
 tests :: TestTree
 tests =

cardano-api/test/cardano-api-test/Test/Cardano/Api/TxOut/JsonErrorCases.hs

@@ -13,15 +13,16 @@ import Cardano.Api hiding (Value)
 
 import Data.Aeson (object, (.=))
 
-import Hedgehog (Property, forAll)
-import Hedgehog qualified as H
 import Test.Gen.Cardano.Api.Typed
-import Test.Tasty (TestTree, testGroup)
-import Test.Tasty.Hedgehog (testPropertyNamed)
 
 import Test.Cardano.Api.TxOut.Gen
 import Test.Cardano.Api.TxOut.Helpers
 
+import Hedgehog (Property, forAll)
+import Hedgehog qualified as H
+import Test.Tasty (TestTree, testGroup)
+import Test.Tasty.Hedgehog (testPropertyNamed)
+
 -- | All error case tests
 tests :: TestTree
 tests =
@@ -48,17 +49,19 @@ testsConflictingDatums =
       "Conway: reject conflicting Alonzo and Conway datums"
       "prop_reject_conflicting_datums_conway"
       prop_reject_conflicting_datums_conway
-  -- Dijkstra era not yet supported in shelleyBasedEraConstraints
-  -- , testPropertyNamed
-  --     "Dijkstra: reject conflicting Alonzo and Dijkstra datums"
-  --     "prop_reject_conflicting_datums_dijkstra"
-  --     prop_reject_conflicting_datums_dijkstra
+      -- Dijkstra era not yet supported in shelleyBasedEraConstraints
+      -- , testPropertyNamed
+      --     "Dijkstra: reject conflicting Alonzo and Dijkstra datums"
+      --     "prop_reject_conflicting_datums_dijkstra"
+      --     prop_reject_conflicting_datums_dijkstra
   ]
 
 prop_reject_conflicting_datums_babbage :: Property
 prop_reject_conflicting_datums_babbage = H.property $ do
   json <- forAll genConflictingDatumJSON
-  assertParseFailsWithMessage @(TxOut CtxTx BabbageEra) json "Alonzo era datum and a Babbage era datum"
+  assertParseFailsWithMessage @(TxOut CtxTx BabbageEra)
+    json
+    "Alonzo era datum and a Babbage era datum"
 
 prop_reject_conflicting_datums_conway :: Property
 prop_reject_conflicting_datums_conway = H.property $ do
@@ -98,22 +101,30 @@ testsMismatchedHashes =
 prop_reject_mismatched_hash_babbage_ctx_tx :: Property
 prop_reject_mismatched_hash_babbage_ctx_tx = H.property $ do
   json <- forAll genMismatchedInlineDatumHashJSON
-  assertParseFailsWithMessage @(TxOut CtxTx BabbageEra) json "Inline datum not equivalent to inline datum hash"
+  assertParseFailsWithMessage @(TxOut CtxTx BabbageEra)
+    json
+    "Inline datum not equivalent to inline datum hash"
 
 prop_reject_mismatched_hash_babbage_ctx_utxo :: Property
 prop_reject_mismatched_hash_babbage_ctx_utxo = H.property $ do
   json <- forAll genMismatchedInlineDatumHashJSON
-  assertParseFailsWithMessage @(TxOut CtxUTxO BabbageEra) json "Inline datum not equivalent to inline datum hash"
+  assertParseFailsWithMessage @(TxOut CtxUTxO BabbageEra)
+    json
+    "Inline datum not equivalent to inline datum hash"
 
 prop_reject_mismatched_hash_conway_ctx_tx :: Property
 prop_reject_mismatched_hash_conway_ctx_tx = H.property $ do
   json <- forAll genMismatchedInlineDatumHashJSON
-  assertParseFailsWithMessage @(TxOut CtxTx ConwayEra) json "Inline datum not equivalent to inline datum hash"
+  assertParseFailsWithMessage @(TxOut CtxTx ConwayEra)
+    json
+    "Inline datum not equivalent to inline datum hash"
 
 prop_reject_mismatched_hash_conway_ctx_utxo :: Property
 prop_reject_mismatched_hash_conway_ctx_utxo = H.property $ do
   json <- forAll genMismatchedInlineDatumHashJSON
-  assertParseFailsWithMessage @(TxOut CtxUTxO ConwayEra) json "Inline datum not equivalent to inline datum hash"
+  assertParseFailsWithMessage @(TxOut CtxUTxO ConwayEra)
+    json
+    "Inline datum not equivalent to inline datum hash"
 
 -- -----------------------------------------------------------------------------
 -- Partial Field Tests
@@ -138,17 +149,23 @@ testsPartialFields =
 prop_reject_partial_inline_datum_babbage_ctx_tx :: Property
 prop_reject_partial_inline_datum_babbage_ctx_tx = H.property $ do
   json <- forAll genPartialInlineDatumJSON
-  assertParseFailsWithMessage @(TxOut CtxTx BabbageEra) json "either an inline datum hash or an inline datum"
+  assertParseFailsWithMessage @(TxOut CtxTx BabbageEra)
+    json
+    "either an inline datum hash or an inline datum"
 
 prop_reject_partial_inline_datum_babbage_ctx_utxo :: Property
 prop_reject_partial_inline_datum_babbage_ctx_utxo = H.property $ do
   json <- forAll genPartialInlineDatumJSON
-  assertParseFailsWithMessage @(TxOut CtxUTxO BabbageEra) json "either an inline datum hash or an inline datum"
+  assertParseFailsWithMessage @(TxOut CtxUTxO BabbageEra)
+    json
+    "either an inline datum hash or an inline datum"
 
 prop_reject_partial_inline_datum_conway_ctx_tx :: Property
 prop_reject_partial_inline_datum_conway_ctx_tx = H.property $ do
   json <- forAll genPartialInlineDatumJSON
-  assertParseFailsWithMessage @(TxOut CtxTx ConwayEra) json "either an inline datum hash or an inline datum"
+  assertParseFailsWithMessage @(TxOut CtxTx ConwayEra)
+    json
+    "either an inline datum hash or an inline datum"
 
 -- -----------------------------------------------------------------------------
 -- Invalid Data Tests

cardano-api/test/cardano-api-test/Test/Cardano/Api/TxOut/JsonRoundtrip.hs

@@ -11,14 +11,15 @@ import Cardano.Api
 
 import Data.Aeson (eitherDecode, encode)
 
+import Test.Gen.Cardano.Api.Typed
+
+import Test.Cardano.Api.TxOut.Gen
+
 import Hedgehog (Property, forAll, tripping)
 import Hedgehog qualified as H
-import Test.Gen.Cardano.Api.Typed
 import Test.Tasty (TestTree, testGroup)
 import Test.Tasty.Hedgehog (testProperty)
 
-import Test.Cardano.Api.TxOut.Gen
-
 -- | All roundtrip tests
 tests :: TestTree
 tests =

cardano-wasm/test/cardano-wasm-golden/cardano-wasm-golden.hs

@@ -5,4 +5,3 @@
 #else
 main = return ()
 #endif
-