Round trip CBOR test on PraosNonce

IntersectMBO · Jun 8, 2021 · 901bf72 · 901bf72
1 parent bf43ee5
commit 901bf72
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 8 deletions.
diff --git a/.hlint.yaml b/.hlint.yaml
@@ -65,3 +65,7 @@
 - ignore:
     name: Use camelCase
     within: Test.Cardano.Api.KeysByron
+- ignore:
+    name: Use camelCase
+    within: Test.Cardano.Api.Typed.JSON
+
diff --git a/cardano-api/test/Test/Cardano/Api/Typed/Gen.hs b/cardano-api/test/Test/Cardano/Api/Typed/Gen.hs
@@ -7,6 +7,7 @@ module Test.Cardano.Api.Typed.Gen
   ( genAddressByron
   , genAddressShelley
   , genMaybePraosNonce
+  , genPraosNonce
   , genProtocolParameters
   , genValueNestedRep
   , genValueNestedBundle
@@ -693,9 +694,11 @@ genRational = Gen.realFrac_ (Range.linearFrac 0 1)
 genEpochNo :: Gen EpochNo
 genEpochNo = EpochNo <$> Gen.word64 (Range.linear 0 10)
 
+genPraosNonce :: Gen PraosNonce
+genPraosNonce = makePraosNonce <$> Gen.bytes (Range.linear 0 32)
+
 genMaybePraosNonce :: Gen (Maybe PraosNonce)
-genMaybePraosNonce =
-  Gen.maybe (makePraosNonce <$> Gen.bytes (Range.linear 0 32))
+genMaybePraosNonce = Gen.maybe genPraosNonce
 
 genProtocolParameters :: Gen ProtocolParameters
 genProtocolParameters =

diff --git a/cardano-api/test/Test/Cardano/Api/Typed/JSON.hs b/cardano-api/test/Test/Cardano/Api/Typed/JSON.hs
@@ -1,22 +1,27 @@
+{-# LANGUAGE DeriveAnyClass #-}
+{-# LANGUAGE DerivingStrategies #-}
 {-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE TypeFamilies #-}
+
+{-# OPTIONS_GHC -Wno-orphans #-}
 
 module Test.Cardano.Api.Typed.JSON
   ( tests
   ) where
 
 import           Cardano.Prelude
-
 import           Data.Aeson
-
 import           Hedgehog (Property, discover, forAll, tripping)
-import qualified Hedgehog as H
-import qualified Hedgehog.Gen as Gen
+import           Test.Cardano.Api.Typed.Gen
+import           Test.Cardano.Api.Typed.Orphans ()
 import           Test.Tasty (TestTree)
 import           Test.Tasty.Hedgehog.Group (fromGroup)
 
-import           Test.Cardano.Api.Typed.Gen
-
+import qualified Hedgehog as H
+import qualified Hedgehog.Gen as Gen
 
 {- HLINT ignore "Use camelCase" -}