diff --git a/cardano-api/cardano-api.cabal b/cardano-api/cardano-api.cabal index 96e12fcc5d..ce8d976e2e 100644 --- a/cardano-api/cardano-api.cabal +++ b/cardano-api/cardano-api.cabal @@ -257,6 +257,7 @@ test-suite cardano-api-test , hedgehog , hedgehog-extras ^>= 0.4.3 , hedgehog-quickcheck + , interpolatedstring-perl6 , mtl , microlens , QuickCheck @@ -272,6 +273,7 @@ test-suite cardano-api-test Test.Cardano.Api.KeysByron Test.Cardano.Api.Ledger Test.Cardano.Api.Metadata + Test.Cardano.Api.SerialiseTextEnvelope Test.Cardano.Api.Typed.Address Test.Cardano.Api.Typed.Bech32 Test.Cardano.Api.Typed.CBOR diff --git a/cardano-api/test/Test/Cardano/Api/SerialiseTextEnvelope.hs b/cardano-api/test/Test/Cardano/Api/SerialiseTextEnvelope.hs new file mode 100644 index 0000000000..5d70269bc5 --- /dev/null +++ b/cardano-api/test/Test/Cardano/Api/SerialiseTextEnvelope.hs @@ -0,0 +1,64 @@ +{-# LANGUAGE QuasiQuotes #-} + +module Test.Cardano.Api.SerialiseTextEnvelope where + +import Cardano.Api + +import qualified Data.Aeson as A +import Data.Bifunctor (first) +import Data.Functor (void) +import Text.InterpolatedString.Perl6 (q) + +import qualified Hedgehog as H +import Test.Tasty +import Test.Tasty.Hedgehog + +newtype CddlTx = CddlTx {unCddlTx :: InAnyCardanoEra Tx} deriving (Show, Eq) + + +tryReadEnvelope :: TextEnvelope -> H.PropertyT IO () +tryReadEnvelope = void . H.evalEither . first displayError . + deserialiseFromTextEnvelopeAnyOf + [ FromSomeType (AsTx AsAlonzoEra) (InAnyCardanoEra AlonzoEra) + , FromSomeType (AsTx AsBabbageEra) (InAnyCardanoEra BabbageEra) + ] + +tryReadEnvelopeCddl :: TextEnvelopeCddl -> H.PropertyT IO () +tryReadEnvelopeCddl = void . H.evalEither . first displayError . + deserialiseFromTextEnvelopeCddlAnyOf + [ FromCDDLTx "Witnessed Tx AlonzoEra" CddlTx + , FromCDDLTx "Unwitnessed Tx AlonzoEra" CddlTx + , FromCDDLTx "Witnessed Tx BabbageEra" CddlTx + , FromCDDLTx "Unwitnessed Tx BabbageEra" CddlTx + ] + +tests :: TestTree +tests = testGroup "Test.Cardano.Api.SerialiseTextEnvelope" + [ testProperty "unsigned tx envelope" . H.property $ + tryReadEnvelope unsignedTxEnvelope + , testProperty "signed tx envelope" . H.property $ + tryReadEnvelope signedTxEnvelope + , testProperty "unsigned tx envelope cddl" . H.property $ + tryReadEnvelopeCddl unsignedTxEnvelope + , testProperty "signed tx envelope cddl" . H.property $ + tryReadEnvelopeCddl signedTxEnvelope + ] + +unsignedTxEnvelope :: A.FromJSON a => a +unsignedTxEnvelope = either error id $ A.eitherDecode + [q| + { + "type": "Unwitnessed Tx BabbageEra", + "description": "Ledger Cddl Format", + "cborHex": "84aa0081825820826f1cc366c5405a70c09bdaf2baaee746c806446c90e12097fa37892336a9d3000d81825820826f1cc366c5405a70c09bdaf2baaee746c806446c90e12097fa37892336a9d3010182a2005839006ddf3afef24f8f037ea632d438ba82041ecbc69e781ae636bd3cf9e7be7dcbf397cf0341814927af227a49e4c4ea728f48802cdc346b5c6a011a00989680a2005839000f807d1a6cb743be749795f664a49218df38230e744d2c29834e209ab3f16631cdef2d036418f00947806331d394bc836420890cbcdd2319011a0b479c4710a2005839000f807d1a6cb743be749795f664a49218df38230e744d2c29834e209ab3f16631cdef2d036418f00947806331d394bc836420890cbcdd2319011a0016556a111a00082f16021a000574b90319bbf1048182008200581cb3f16631cdef2d036418f00947806331d394bc836420890cbcdd231908010b5820f2494e4c888dbce3e5d98a019fcb5de1dad5ccb2a992af5614cb676698374aa6a30381590fc9590fc601000033232332232323232323232323232323232323232323232223223232323232323232322323253353330103333573466e1cd55cea8072400046eb4d5d09aab9e500f2326353357380480460440426666ae68cdc39aab9d500c480008ccccccccc88888888848ccccccccc00402802402001c01801401000c008cd4048050d5d0a80619a8090099aba1500b3335501675ca02a6ae854028cd4061d69aba150093335501675ca02a6ae854020cd4048cd5406dd710009aba1500733501201f35742a00c66a024eb8d5d0a80299a80b80e1aba135744a00a464c6a66ae7009008c088084cccd5cd19b8735573aa004900011991091980080180119191919191919191919191999ab9a3370e6aae754029200023333333333222222222212333333333300100b00a00900800700600500400300233501e01f35742a01466a03c0406ae854024ccd54089d728109aba150083335502275ca0426ae85401ccd40780acd5d0a80319a80f19aa8138163ad35742a00a66a048eb4d5d0a80219a80f3ae35742a00666a03c66aa04eeb88004d5d0a80118151aba135744a004464c6a66ae700c00bc0b80b44d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d55cf280089baa00135742a00460386ae84d5d1280111931a99ab9c024023022021102213263533573892010350543500022021135573ca00226ea80044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226aae7940044dd500089baa0011232230023758002640026aa02e446666aae7c004940608cd405cc010d5d080118019aba2002014232323333573466e1cd55cea80124000466442466002006004601c6ae854008c014d5d09aba2500223263533573802a02802602426aae7940044dd500091919191999ab9a3370e6aae75400d20002333222123330010040030023232323333573466e1cd55cea80124000466442466002006004602c6ae854008cd4030054d5d09aba2500223263533573803203002e02c26aae7940044dd50009aba150033335500775ca00c6ae854008cd4021d71aba135744a004464c6a66ae7005405004c0484d5d1280089aab9e500113754002266aa002eb9d6889119118011bab00132001355014223233335573e0044a02c466a02a66aa02e600c6aae754008c014d55cf280118021aba200301213574200224464646666ae68cdc3a800a40004642446004006600a6ae84d55cf280191999ab9a3370ea0049001109100091931a99ab9c01301201101000f135573aa00226ea8004488c8c8cccd5cd19b8735573aa00490001199109198008018011919191999ab9a3370e6aae754009200023322123300100300233500a00935742a00460166ae84d5d1280111931a99ab9c015014013012135573ca00226ea8004d5d0a8011919191999ab9a3370e6aae754009200023322123300100300233500a00935742a00460166ae84d5d1280111931a99ab9c015014013012135573ca00226ea8004d5d09aba2500223263533573802202001e01c26aae7940044dd500089119191999ab9a3370ea00290021091100091999ab9a3370ea00490011190911180180218031aba135573ca00846666ae68cdc3a801a400042444004464c6a66ae7004804404003c0380344d55cea80089baa0012323333573466e1d40052002212200223333573466e1d40092000212200123263533573801c01a01801601426aae74dd50008891119191999ab9a3370e6aae754009200023355012300635742a004600a6ae84d5d1280111931a99ab9c00f00e00d00c135573ca00226ea80048c8c8cccd5cd19b875001480188c848888c010014c01cd5d09aab9e500323333573466e1d400920042321222230020053009357426aae7940108cccd5cd19b875003480088c848888c004014c01cd5d09aab9e500523333573466e1d40112000232122223003005375c6ae84d55cf280311931a99ab9c00f00e00d00c00b00a009135573aa00226ea80048c8c8cccd5cd19b8735573aa004900011991091980080180118029aba15002375a6ae84d5d1280111931a99ab9c00b00a009008135573ca00226ea80048c8cccd5cd19b8735573aa002900011bae357426aae7940088c98d4cd5ce00480400380309baa001232323232323333573466e1d4005200c21222222200323333573466e1d4009200a21222222200423333573466e1d400d2008233221222222233001009008375c6ae854014dd69aba135744a00a46666ae68cdc3a8022400c4664424444444660040120106eb8d5d0a8039bae357426ae89401c8cccd5cd19b875005480108cc8848888888cc018024020c030d5d0a8049bae357426ae8940248cccd5cd19b875006480088c848888888c01c020c034d5d09aab9e500b23333573466e1d401d2000232122222223005008300e357426aae7940308c98d4cd5ce00900880800780700680600580500489aab9d5004135573ca00626aae7940084d55cf280089baa0012323232323333573466e1d400520022333222122333001005004003375a6ae854010dd69aba15003375a6ae84d5d1280191999ab9a3370ea0049000119091180100198041aba135573ca00c464c6a66ae7002c02802402001c4d55cea80189aba25001135573ca00226ea80048c8c8cccd5cd19b875001480088c8488c00400cdd71aba135573ca00646666ae68cdc3a8012400046424460040066eb8d5d09aab9e500423263533573801000e00c00a00826aae7540044dd5000a4c2400292103505431001122002122122330010040031122123300100300211232300100122330033002002001323233223232332232323232323232323232323322323232323232323232323222232323500423223232222223222533533301b02935500f22222222220070081533532350012235002223500c2232350032232533350082153335004215335330360020011500310381037103715333500321037150011036153335003210371036150011533500615335001150031035153350011035150031350052235003225333500421533350032153353303600200113303700500310381037103715333500221037133035003001103615333500221037103613303500300135500f2222222222004153353335301912001223500222350032253353302e0040021333573466ebc00c0040c80c440c4d5403c888888888800801454cd4ccd4c064480040a0d5403c888888888800c00854cd4c030cd54c04c48004cd54c05848004050d5403c8888888888024d4060488cc0092002330024801000454cd54cd4c02540384c029403840ac54cd4c00ccd54c04c48004d5403c8888888888018d4060488cc00920020011533500121323333500223333500223302a002001202f202f202f233335002202f23302c002001202f202f233335002202f202f23302b002001202f233335002202f202f202f233029002001350112200116102b102b102b102b102b102b102b3200135502f225335001102a2213500222533533029002533500713501801a221002102f1300600332001355029225335001102422135002225335330170025335008135012014221002102913006003320013550282253350011023221350022253353301600253353302a007502c13501101322100210281300600332001355026225335001102122135002225335333015023002533533027335530101200100e007502a13500f01122100210261300600313355300512001355001222222222200a3500a1223300248008cc0092004001135001220023200135501f2211225335002150212215335003150232213350243355026004002335530081200100300123500122200212326353357380022400293190009aa80e110891299a8008a80f11099a80f980200119aa980309000802000a49035054380012335001501850193200135501922122253350021533500110182210192215335003101922153353300700400213335300912001007003001101b22350022235003225335330110040021350032223500322350062223500322325335335008233500425335333573466e3c0080040940905400c409080908cd4010809094cd4ccd5cd19b8f0020010250241500310241533533301202000a0051533500921533500521330210020011023153350042102310231022102215335006215335002213301f0020011022153350012102210221017222333553009120013500b500a2350012233355300c120013500e500d23500122333500123300a4800000488cc02c0080048cc0280052000001335530081200123500122335501c002333500123355300c1200123500122335502000235500e0010012233355500901500200123355300c1200123500122335502000235500d001001333555004010002001111222333553004120015016335530071200123500122335501b00235500900133355300412001223500222533533355300c12001323350102233350032200200200135001220011233001225335002101a1001017235001223300a0020050061003133501a004003501700133553007120012350012232335501c00330010053200135501c225335001135500a003221350022253353300c002008112223300200a0041300600300232001355015221122253350011002221330050023335530071200100500400111212223003004112122230010043200135501222112253350011501422133501530040023355300612001004001320013550112211222533500113500322001221333500522002300400233355300712001005004001112330012253350021001100c00b123350022233350032200200200135001220011221233001003002225335333573466e3cd400888008d4004880080240204ccd5cd19b873500222001350012200100900810082253333333500221533333335002213300500200122100a210091008100822100a22100a2215333333350032100a221533533007004002133008003001100b2100a1009100922100b22100b215333333350022100922100a21330050020011008100822100a22100a153333333500121008221009210081008100722100922100915333333350012100822100921008100710082210092210092215333333350032100a22100b2100a100910092215335333573466e3c01000803002c4cc02000c004402c88402c8854ccccccd400c8402888402c840284024402488402c8854cd4ccd5cd19b8f00400200c00b133009003001100b22335002233500223350022335002233007002001200a2335002200a23300700200122200a222335004200a2225335333573466e1c01800c03403054cd4ccd5cd19b8700500200d00c13300a004001100c100c22333573466e3c00800401801488ccd5cd19b8700200100500422533500210011533500110031004122002122001320013550052225335002100122133005001335007002003320013550042225335002100122133005001335006002003112200212212233001004003112212330010030021123230010012233003300200200110481d8799f182aff0581840000d8799f8080a140a14000d8799fd8799fd87a9f182affd87a80ffd8799fd87b80d87a80ffffa140a14000808080d87a80ff820000f4f6" + }|] + +signedTxEnvelope :: FromJSON a => a +signedTxEnvelope = either error id $ A.eitherDecode + [q| + { + "type": "Witnessed Tx BabbageEra", + "description": "Ledger Cddl Format", + "cborHex": "84aa0081825820826f1cc366c5405a70c09bdaf2baaee746c806446c90e12097fa37892336a9d3000d81825820826f1cc366c5405a70c09bdaf2baaee746c806446c90e12097fa37892336a9d3010182a2005839006ddf3afef24f8f037ea632d438ba82041ecbc69e781ae636bd3cf9e7be7dcbf397cf0341814927af227a49e4c4ea728f48802cdc346b5c6a011a00989680a2005839000f807d1a6cb743be749795f664a49218df38230e744d2c29834e209ab3f16631cdef2d036418f00947806331d394bc836420890cbcdd2319011a0b479c4710a2005839000f807d1a6cb743be749795f664a49218df38230e744d2c29834e209ab3f16631cdef2d036418f00947806331d394bc836420890cbcdd2319011a0016556a111a00082f16021a000574b90319bbf1048182008200581cb3f16631cdef2d036418f00947806331d394bc836420890cbcdd231908010b5820f2494e4c888dbce3e5d98a019fcb5de1dad5ccb2a992af5614cb676698374aa6a40081825820e947310bf8be6677768b25f771a3fe2ecc6059c871ded0f5a1c915fcf6fc28395840496bf2ba691b7e27eccfcd0c72dba8f787a8ae142724f75966ba22197f67ce4ca6bdc9b332f53abbbe3f644969df5e42104a4c073e4bbec78ecfc29be9bb480a0381590fc9590fc601000033232332232323232323232323232323232323232323232223223232323232323232322323253353330103333573466e1cd55cea8072400046eb4d5d09aab9e500f2326353357380480460440426666ae68cdc39aab9d500c480008ccccccccc88888888848ccccccccc00402802402001c01801401000c008cd4048050d5d0a80619a8090099aba1500b3335501675ca02a6ae854028cd4061d69aba150093335501675ca02a6ae854020cd4048cd5406dd710009aba1500733501201f35742a00c66a024eb8d5d0a80299a80b80e1aba135744a00a464c6a66ae7009008c088084cccd5cd19b8735573aa004900011991091980080180119191919191919191919191999ab9a3370e6aae754029200023333333333222222222212333333333300100b00a00900800700600500400300233501e01f35742a01466a03c0406ae854024ccd54089d728109aba150083335502275ca0426ae85401ccd40780acd5d0a80319a80f19aa8138163ad35742a00a66a048eb4d5d0a80219a80f3ae35742a00666a03c66aa04eeb88004d5d0a80118151aba135744a004464c6a66ae700c00bc0b80b44d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d55cf280089baa00135742a00460386ae84d5d1280111931a99ab9c024023022021102213263533573892010350543500022021135573ca00226ea80044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226aae7940044dd500089baa0011232230023758002640026aa02e446666aae7c004940608cd405cc010d5d080118019aba2002014232323333573466e1cd55cea80124000466442466002006004601c6ae854008c014d5d09aba2500223263533573802a02802602426aae7940044dd500091919191999ab9a3370e6aae75400d20002333222123330010040030023232323333573466e1cd55cea80124000466442466002006004602c6ae854008cd4030054d5d09aba2500223263533573803203002e02c26aae7940044dd50009aba150033335500775ca00c6ae854008cd4021d71aba135744a004464c6a66ae7005405004c0484d5d1280089aab9e500113754002266aa002eb9d6889119118011bab00132001355014223233335573e0044a02c466a02a66aa02e600c6aae754008c014d55cf280118021aba200301213574200224464646666ae68cdc3a800a40004642446004006600a6ae84d55cf280191999ab9a3370ea0049001109100091931a99ab9c01301201101000f135573aa00226ea8004488c8c8cccd5cd19b8735573aa00490001199109198008018011919191999ab9a3370e6aae754009200023322123300100300233500a00935742a00460166ae84d5d1280111931a99ab9c015014013012135573ca00226ea8004d5d0a8011919191999ab9a3370e6aae754009200023322123300100300233500a00935742a00460166ae84d5d1280111931a99ab9c015014013012135573ca00226ea8004d5d09aba2500223263533573802202001e01c26aae7940044dd500089119191999ab9a3370ea00290021091100091999ab9a3370ea00490011190911180180218031aba135573ca00846666ae68cdc3a801a400042444004464c6a66ae7004804404003c0380344d55cea80089baa0012323333573466e1d40052002212200223333573466e1d40092000212200123263533573801c01a01801601426aae74dd50008891119191999ab9a3370e6aae754009200023355012300635742a004600a6ae84d5d1280111931a99ab9c00f00e00d00c135573ca00226ea80048c8c8cccd5cd19b875001480188c848888c010014c01cd5d09aab9e500323333573466e1d400920042321222230020053009357426aae7940108cccd5cd19b875003480088c848888c004014c01cd5d09aab9e500523333573466e1d40112000232122223003005375c6ae84d55cf280311931a99ab9c00f00e00d00c00b00a009135573aa00226ea80048c8c8cccd5cd19b8735573aa004900011991091980080180118029aba15002375a6ae84d5d1280111931a99ab9c00b00a009008135573ca00226ea80048c8cccd5cd19b8735573aa002900011bae357426aae7940088c98d4cd5ce00480400380309baa001232323232323333573466e1d4005200c21222222200323333573466e1d4009200a21222222200423333573466e1d400d2008233221222222233001009008375c6ae854014dd69aba135744a00a46666ae68cdc3a8022400c4664424444444660040120106eb8d5d0a8039bae357426ae89401c8cccd5cd19b875005480108cc8848888888cc018024020c030d5d0a8049bae357426ae8940248cccd5cd19b875006480088c848888888c01c020c034d5d09aab9e500b23333573466e1d401d2000232122222223005008300e357426aae7940308c98d4cd5ce00900880800780700680600580500489aab9d5004135573ca00626aae7940084d55cf280089baa0012323232323333573466e1d400520022333222122333001005004003375a6ae854010dd69aba15003375a6ae84d5d1280191999ab9a3370ea0049000119091180100198041aba135573ca00c464c6a66ae7002c02802402001c4d55cea80189aba25001135573ca00226ea80048c8c8cccd5cd19b875001480088c8488c00400cdd71aba135573ca00646666ae68cdc3a8012400046424460040066eb8d5d09aab9e500423263533573801000e00c00a00826aae7540044dd5000a4c2400292103505431001122002122122330010040031122123300100300211232300100122330033002002001323233223232332232323232323232323232323322323232323232323232323222232323500423223232222223222533533301b02935500f22222222220070081533532350012235002223500c2232350032232533350082153335004215335330360020011500310381037103715333500321037150011036153335003210371036150011533500615335001150031035153350011035150031350052235003225333500421533350032153353303600200113303700500310381037103715333500221037133035003001103615333500221037103613303500300135500f2222222222004153353335301912001223500222350032253353302e0040021333573466ebc00c0040c80c440c4d5403c888888888800801454cd4ccd4c064480040a0d5403c888888888800c00854cd4c030cd54c04c48004cd54c05848004050d5403c8888888888024d4060488cc0092002330024801000454cd54cd4c02540384c029403840ac54cd4c00ccd54c04c48004d5403c8888888888018d4060488cc00920020011533500121323333500223333500223302a002001202f202f202f233335002202f23302c002001202f202f233335002202f202f23302b002001202f233335002202f202f202f233029002001350112200116102b102b102b102b102b102b102b3200135502f225335001102a2213500222533533029002533500713501801a221002102f1300600332001355029225335001102422135002225335330170025335008135012014221002102913006003320013550282253350011023221350022253353301600253353302a007502c13501101322100210281300600332001355026225335001102122135002225335333015023002533533027335530101200100e007502a13500f01122100210261300600313355300512001355001222222222200a3500a1223300248008cc0092004001135001220023200135501f2211225335002150212215335003150232213350243355026004002335530081200100300123500122200212326353357380022400293190009aa80e110891299a8008a80f11099a80f980200119aa980309000802000a49035054380012335001501850193200135501922122253350021533500110182210192215335003101922153353300700400213335300912001007003001101b22350022235003225335330110040021350032223500322350062223500322325335335008233500425335333573466e3c0080040940905400c409080908cd4010809094cd4ccd5cd19b8f0020010250241500310241533533301202000a0051533500921533500521330210020011023153350042102310231022102215335006215335002213301f0020011022153350012102210221017222333553009120013500b500a2350012233355300c120013500e500d23500122333500123300a4800000488cc02c0080048cc0280052000001335530081200123500122335501c002333500123355300c1200123500122335502000235500e0010012233355500901500200123355300c1200123500122335502000235500d001001333555004010002001111222333553004120015016335530071200123500122335501b00235500900133355300412001223500222533533355300c12001323350102233350032200200200135001220011233001225335002101a1001017235001223300a0020050061003133501a004003501700133553007120012350012232335501c00330010053200135501c225335001135500a003221350022253353300c002008112223300200a0041300600300232001355015221122253350011002221330050023335530071200100500400111212223003004112122230010043200135501222112253350011501422133501530040023355300612001004001320013550112211222533500113500322001221333500522002300400233355300712001005004001112330012253350021001100c00b123350022233350032200200200135001220011221233001003002225335333573466e3cd400888008d4004880080240204ccd5cd19b873500222001350012200100900810082253333333500221533333335002213300500200122100a210091008100822100a22100a2215333333350032100a221533533007004002133008003001100b2100a1009100922100b22100b215333333350022100922100a21330050020011008100822100a22100a153333333500121008221009210081008100722100922100915333333350012100822100921008100710082210092210092215333333350032100a22100b2100a100910092215335333573466e3c01000803002c4cc02000c004402c88402c8854ccccccd400c8402888402c840284024402488402c8854cd4ccd5cd19b8f00400200c00b133009003001100b22335002233500223350022335002233007002001200a2335002200a23300700200122200a222335004200a2225335333573466e1c01800c03403054cd4ccd5cd19b8700500200d00c13300a004001100c100c22333573466e3c00800401801488ccd5cd19b8700200100500422533500210011533500110031004122002122001320013550052225335002100122133005001335007002003320013550042225335002100122133005001335006002003112200212212233001004003112212330010030021123230010012233003300200200110481d8799f182aff0581840000d8799f8080a140a14000d8799fd8799fd87a9f182affd87a80ffd8799fd87b80d87a80ffffa140a14000808080d87a80ff820000f4f6" + }|] + diff --git a/cardano-api/test/cardano-api-test.hs b/cardano-api/test/cardano-api-test.hs index f8f189fcc9..5f61ff76bc 100644 --- a/cardano-api/test/cardano-api-test.hs +++ b/cardano-api/test/cardano-api-test.hs @@ -10,6 +10,7 @@ import qualified Test.Cardano.Api.Json import qualified Test.Cardano.Api.KeysByron import qualified Test.Cardano.Api.Ledger import qualified Test.Cardano.Api.Metadata +import qualified Test.Cardano.Api.SerialiseTextEnvelope import qualified Test.Cardano.Api.Typed.Address import qualified Test.Cardano.Api.Typed.Bech32 import qualified Test.Cardano.Api.Typed.CBOR @@ -40,6 +41,7 @@ tests = , Test.Cardano.Api.KeysByron.tests , Test.Cardano.Api.Ledger.tests , Test.Cardano.Api.Metadata.tests + , Test.Cardano.Api.SerialiseTextEnvelope.tests , Test.Cardano.Api.Typed.Address.tests , Test.Cardano.Api.Typed.Bech32.tests , Test.Cardano.Api.Typed.CBOR.tests