Skip to content

Commit 59ad700

Browse files
committed
typed-protocols:codec-properties library
Moved `prop_codec` properties to a sublibrary. All properties return QuickCheck's `Property` type.
1 parent cae610f commit 59ad700

File tree

10 files changed

+745
-617
lines changed

10 files changed

+745
-617
lines changed

cabal.project

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
index-state: 2025-05-21T15:48:46Z
1+
index-state: 2025-07-08T15:23:02Z
22

33
packages: ./typed-protocols
44
./typed-protocols-doc
@@ -10,6 +10,10 @@ if impl(ghc >= 9.12)
1010
, serdoc-core:template-haskell
1111
, serdoc-core:th-abstraction
1212

13+
allow-newer:
14+
, serdoc-core:QuickCheck
15+
, serdoc-core:tasty-quickcheck
16+
1317
if os(windows)
1418
package text
1519
flags: -simdutf

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -89,7 +89,7 @@ test-suite typed-protocols-doc-test
8989
build-depends: base >=4.14.0.0 && <5
9090
, blaze-html >=0.9.1.2 && <0.10
9191
, tasty >=1.5 && <1.6
92-
, tasty-quickcheck >=0.10.3 && <0.11
92+
, tasty-quickcheck >=0.10.3 && <0.12
9393
, typed-protocols
9494
, typed-protocols-doc
9595
, serdoc-core

typed-protocols/CHANGELOG.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@
77
* Annotated codecs which allow to retain original bytes received from the network.
88
The `Codec` type evolved into a new `CodecF` data type, and two type aliases
99
`AnnotatedCodec`, `Codec`.
10+
* `prop_codec` properties moved to `typed-protocols:codec-properties` library
11+
(`Network.TypedProtocol.Codec.Properties` module).
1012

1113
### Non-breaking changes
1214

0 commit comments

Comments
 (0)