Add roundtrip property test for {encode,decode}PoolIdBech32

cardano-foundation · Aug 27, 2020 · 433ea9b · 433ea9b
1 parent a58539e
commit 433ea9b
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/lib/core/test/unit/Cardano/Wallet/Primitive/TypesSpec.hs b/lib/core/test/unit/Cardano/Wallet/Primitive/TypesSpec.hs
@@ -86,6 +86,8 @@ import Cardano.Wallet.Primitive.Types
     , WalletName (..)
     , balance
     , computeUtxoStatistics
+    , decodePoolIdBech32
+    , encodePoolIdBech32
     , excluding
     , isAfterRange
     , isBeforeRange
@@ -228,6 +230,10 @@ spec = do
                 toText <$> fromText @(Hash "Account") text
                     `shouldBe` Right text
 
+        it "Can roundtrip {decode,encode}PoolIdBech32" $
+            withMaxSuccess 1000 $ property $ \(pid :: PoolId) ->
+                decodePoolIdBech32 (encodePoolIdBech32 pid) === Right pid
+
     describe "Buildable" $ do
         it "WalletId" $ do
             let mw = someDummyMnemonic (Proxy @12)