Add tests for roundtrip textual encoding of Port and Network types.

cardano-wallet.cabal

@@ -151,6 +151,7 @@ test-suite unit
       Cardano.Wallet.CoinSelectionSpec
       Cardano.Wallet.CoinSelection.LargestFirstSpec
       Cardano.Wallet.CoinSelection.RandomSpec
+      Cardano.Wallet.CLI.TypesSpec
       Cardano.Wallet.DBSpec
       Cardano.Wallet.DB.MVarSpec
       Cardano.Wallet.NetworkSpec

src/Cardano/Wallet/CLI/Types.hs

@@ -1,4 +1,5 @@
 {-# LANGUAGE DataKinds #-}
+{-# LANGUAGE DeriveGeneric #-}
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE LambdaCase #-}
 
@@ -17,6 +18,8 @@ import Prelude
 
 import Data.Text.Class
     ( FromText (..), TextDecodingError (..), ToText (..) )
+import GHC.Generics
+    ( Generic )
 import GHC.TypeLits
     ( Symbol )
 
@@ -25,7 +28,7 @@ import qualified Data.Text as T
 -- | Available network options. 'Local' means a local cluster running on the
 -- host machine.
 data Network = Mainnet | Testnet | Staging | Local
-    deriving (Show, Enum)
+    deriving (Eq, Generic, Show, Enum)
 
 instance ToText Network where
     toText = \case
@@ -46,6 +49,7 @@ instance FromText Network where
 
 -- | Port number with a tag for describing what it is used for
 newtype Port (tag :: Symbol) = Port Int
+    deriving (Eq, Generic, Show)
 
 instance FromText (Port tag) where
     fromText = fmap Port . fromText

test/unit/Cardano/Wallet/CLI/TypesSpec.hs

@@ -0,0 +1,35 @@
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE TypeApplications #-}
+{-# OPTIONS_GHC -fno-warn-orphans #-}
+
+module Cardano.Wallet.CLI.TypesSpec (spec) where
+
+import Prelude
+
+import Cardano.Wallet.CLI.Types
+    ( Network, Port (..) )
+import Data.Proxy
+    ( Proxy (..) )
+import Test.Hspec
+    ( Spec, describe )
+import Test.QuickCheck
+    ( Arbitrary (..) )
+import Test.QuickCheck.Arbitrary.Generic
+    ( genericArbitrary, genericShrink )
+import Test.Text.Roundtrip
+    ( textRoundtrip )
+
+spec :: Spec
+spec = do
+    describe "Can perform roundtrip textual encoding & decoding" $ do
+        textRoundtrip $ Proxy @Network
+        textRoundtrip $ Proxy @(Port "test")
+
+instance Arbitrary Network where
+    arbitrary = genericArbitrary
+    shrink = genericShrink
+
+instance Arbitrary (Port "test") where
+    arbitrary = genericArbitrary
+    shrink = genericShrink