Merge pull request #43 from input-output-hk/coot/prop_codec_splitsM

Improved performance of `prop codec splitsM`

Author: coot

typed-protocols/CHANGELOG.md

@@ -1,5 +1,9 @@
 # Revision history for typed-protocols-cborg
 
+## 0.1.0.7 -- 2023-10-20
+
+* Improved performance of `prop_codecs_splitsM` and `prop_codecs_compatM`.
+
 ## 0.1.0.5 -- 2023-03-08
 
 * Support `ghc-9.6.1`.

typed-protocols/src/Network/TypedProtocol/Codec.hs

@@ -361,7 +361,7 @@ prop_codec_splitsM splits
     and <$> sequence
       [ do r <- decode stok >>= runDecoder bytes'
            case r of
-             Right (SomeMessage msg') -> return $ AnyMessage msg' == AnyMessage msg
+             Right (SomeMessage msg') -> return $! AnyMessage msg' == AnyMessage msg
              Left _                   -> return False
 
       | let bytes = encode stok msg
@@ -471,12 +471,12 @@ prop_codecs_compatM codecA codecB
                     (AnyMessageAndAgency stok msg) =
     getAll <$> do r <- decode codecB stok >>= runDecoder [encode codecA stok msg]
                   case r of
-                    Right (SomeMessage msg') -> return $ All $ AnyMessage msg' == AnyMessage msg
-                    Left _                   -> return $ All False
+                    Right (SomeMessage msg') -> return $! All $ AnyMessage msg' == AnyMessage msg
+                    Left _                   -> return $! All False
             <> do r <- decode codecA stok >>= runDecoder [encode codecB stok msg]
                   case r of
-                    Right (SomeMessage msg') -> return $ All $ AnyMessage msg' == AnyMessage msg
-                    Left _                   -> return $ All False
+                    Right (SomeMessage msg') -> return $! All $ AnyMessage msg' == AnyMessage msg
+                    Left _                   -> return $! All False
 
 -- | Like @'prop_codecs_compatM'@ but run in a pure monad @m@, e.g. @Identity@.
 --

typed-protocols/typed-protocols.cabal

@@ -1,6 +1,6 @@
 cabal-version:       3.0
 name:                typed-protocols
-version:             0.1.0.6
+version:             0.1.1.0
 synopsis:            A framework for strongly typed protocols
 -- description:
 license:             Apache-2.0