typed-protocols:codec-properties library

Moved `prop_codec` properties to a sublibrary.  All properties return
QuickCheck's `Property` type.

Author: coot

cabal.project

@@ -1,4 +1,4 @@
-index-state:  2025-05-21T15:48:46Z
+index-state: 2025-07-08T15:23:02Z
 
 packages: ./typed-protocols
           ./typed-protocols-doc
@@ -10,6 +10,10 @@ if impl(ghc >= 9.12)
     , serdoc-core:template-haskell
     , serdoc-core:th-abstraction
 
+allow-newer:
+  , serdoc-core:QuickCheck
+  , serdoc-core:tasty-quickcheck
+
 if os(windows)
   package text
     flags: -simdutf

typed-protocols-doc/typed-protocols-doc.cabal

@@ -89,7 +89,7 @@ test-suite typed-protocols-doc-test
     build-depends: base >=4.14.0.0 && <5
                  , blaze-html >=0.9.1.2 && <0.10
                  , tasty >=1.5 && <1.6
-                 , tasty-quickcheck >=0.10.3 && <0.11
+                 , tasty-quickcheck >=0.10.3 && <0.12
                  , typed-protocols
                  , typed-protocols-doc
                  , serdoc-core

typed-protocols/CHANGELOG.md

@@ -7,6 +7,8 @@
 * Annotated codecs which allow to retain original bytes received from the network.
   The `Codec` type evolved into a new `CodecF` data type, and two type aliases
   `AnnotatedCodec`, `Codec`.
+* `prop_codec` properties moved to `typed-protocols:codec-properties` library
+  (`Network.TypedProtocol.Codec.Properties` module).
 
 ### Non-breaking changes