test: Add tx_out.ma_tx_out roundtrip tests

Author: sgillespie

cardano-db-sync/cardano-db-sync.cabal

@@ -349,6 +349,7 @@ test-suite test
                         Cardano.DbSync.Config.TypesTest
                         Cardano.DbSync.Era.Shelley.Generic.ScriptDataTest
                         Cardano.DbSync.Era.Shelley.Generic.ScriptTest
+                        Cardano.DbSync.Era.Shelley.Generic.Tx.TypesTest
                         Cardano.DbSync.Gen
                         Cardano.DbSync.Util.AddressTest
                         Cardano.DbSync.Util.Bech32Test
@@ -372,6 +373,7 @@ test-suite test
                       , cardano-ledger-allegra:{cardano-ledger-allegra,testlib}
                       , cardano-ledger-alonzo:{testlib}
                       , cardano-ledger-byron
+                      , cardano-ledger-mary:{cardano-ledger-mary,testlib}
                       , cardano-ledger-shelley:{cardano-ledger-shelley,testlib} >= 1.12.3.0
                       , cardano-db
                       , cardano-db-sync

cardano-db-sync/src/Cardano/DbSync/Era/Shelley/Generic/Tx/Types.hs

@@ -54,7 +54,8 @@ import Cardano.Prelude
 import Cardano.Slotting.Slot (SlotNo (..))
 import Data.Aeson (FromJSON (..), ToJSON (..), (.:), (.=))
 import Data.Aeson.Types (object, withObject)
-import Data.ByteString.Short (toShort)
+import qualified Data.ByteString.Base16 as Base16
+import Data.ByteString.Short (fromShort, toShort)
 import qualified Data.Map as Map
 import Ouroboros.Consensus.Cardano.Block (StandardAlonzo, StandardBabbage, StandardConway, StandardCrypto, StandardShelley)
 
@@ -182,7 +183,8 @@ instance FromJSON TxOutMultiAsset where
       <*> o .: "amount"
     where
       parseAssetName :: Text -> AssetName
-      parseAssetName t = AssetName $ toShort (encodeUtf8 t)
+      parseAssetName =
+        AssetName . toShort . Base16.decodeLenient . encodeUtf8
 
 toTxCert :: Word16 -> Cert -> TxCertificate
 toTxCert idx dcert =

cardano-db-sync/test/Cardano/DbSync/Era/Shelley/Generic/Tx/TypesTest.hs

@@ -0,0 +1,23 @@
+{-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE NoImplicitPrelude #-}
+
+module Cardano.DbSync.Era.Shelley.Generic.Tx.TypesTest (tests) where
+
+import qualified Cardano.DbSync.Gen as Gen
+import Cardano.Prelude
+import qualified Data.Aeson as Aeson
+import Hedgehog
+import qualified Hedgehog.Gen as Gen
+
+tests :: IO Bool
+tests =
+  checkParallel $
+    Group
+      "Cardano.DbSync.Era.Shelley.Generic.Tx.Types"
+      [("TxOutMultiAssets roundtrip", prop_txOutMultiAssetsRoundTrip)]
+
+prop_txOutMultiAssetsRoundTrip :: Property
+prop_txOutMultiAssetsRoundTrip = property $ do
+  multiAsset <- forAll Gen.txOutMultiAsset
+
+  tripping multiAsset Aeson.encode Aeson.decode

cardano-db-sync/test/Cardano/DbSync/Gen.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE NumericUnderscores #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE NoImplicitPrelude #-}
@@ -19,6 +20,9 @@ module Cardano.DbSync.Gen (
   addr,
   networkName,
 
+  -- * Tx Type generators
+  txOutMultiAsset,
+
   -- * Utility generators
   hashBlake2b_256,
   filePath,
@@ -36,14 +40,17 @@ import Cardano.Crypto.Hash.Class (HashAlgorithm (..), hashFromBytes)
 import Cardano.Db (PGPassSource (..))
 import Cardano.DbSync
 import Cardano.DbSync.Config.Types
+import Cardano.DbSync.Era.Shelley.Generic (TxOutMultiAsset (..))
 import Cardano.Ledger.Slot (EpochNo (..))
 import Cardano.Prelude
 import Data.ByteString.Short (ShortByteString (), toShort)
 import Data.Maybe (fromJust)
 import Hedgehog
 import qualified Hedgehog.Gen as Gen
+import Hedgehog.Gen.QuickCheck (arbitrary)
 import qualified Hedgehog.Range as Range
 import Ouroboros.Consensus.Cardano.CanHardFork (TriggerHardFork (..))
+import Test.Cardano.Ledger.Mary.Arbitrary ()
 
 syncPreConfig :: Gen SyncPreConfig
 syncPreConfig =
@@ -189,6 +196,13 @@ scriptHash = toShort <$> Gen.utf8 (Range.linear 1 5) Gen.unicode
 networkName :: Gen NetworkName
 networkName = NetworkName <$> Gen.text (Range.linear 0 100) Gen.alpha
 
+txOutMultiAsset :: Gen TxOutMultiAsset
+txOutMultiAsset =
+  TxOutMultiAsset
+    <$> arbitrary
+    <*> arbitrary
+    <*> Gen.integral (Range.linear 0 999_999_999_999)
+
 hashBlake2b_256 :: MonadGen m => m (Maybe (Hash Blake2b_256 ByteString))
 hashBlake2b_256 = serialiseHash <$> Gen.bytes (Range.linear 0 100)
   where

cardano-db-sync/test/Main.hs

@@ -4,6 +4,7 @@ import qualified Cardano.DbSync.ApiTest as Api
 import qualified Cardano.DbSync.Config.TypesTest as Types
 import qualified Cardano.DbSync.Era.Shelley.Generic.ScriptDataTest as ScriptData
 import qualified Cardano.DbSync.Era.Shelley.Generic.ScriptTest as Script
+import qualified Cardano.DbSync.Era.Shelley.Generic.Tx.TypesTest as TxTypes
 import qualified Cardano.DbSync.Util.AddressTest as Address
 import qualified Cardano.DbSync.Util.Bech32Test as Bech32
 import qualified Cardano.DbSync.Util.CborTest as Cbor
@@ -20,6 +21,7 @@ main =
     , Cbor.tests
     , Script.tests
     , ScriptData.tests
+    , TxTypes.tests
     , DbSync.tests
     , Types.tests
     , Api.tests