Merge pull request #28 from well-typed/edsko/testsuite

Finish first spec of the testsuite
well-typed · Jul 14, 2023 · 357d29a · 357d29a
2 parents 65084c3 + 354735a
commit 357d29a
Show file tree

Hide file tree

Showing 5 changed files with 369 additions and 71 deletions.
diff --git a/grapesy.cabal b/grapesy.cabal
@@ -214,12 +214,17 @@ test-suite test-grapesy
   build-depends:
       -- External dependencies
     , async            >= 2.2  && < 2.3
+    , bytestring       >= 0.10 && < 0.12
     , containers       >= 0.6  && < 0.7
     , contra-tracer    >= 0.2  && < 0.3
     , data-default     >= 0.7  && < 0.8
+    , exceptions       >= 0.10 && < 0.11
+    , mtl              >= 2.2  && < 2.4
+    , QuickCheck       >= 2.14 && < 2.15
     , stm              >= 2.5  && < 2.6
     , tasty            >= 1.4  && < 1.5
     , tasty-hunit      >= 0.10 && < 0.11
+--    , tasty-quickcheck >= 0.10 && < 0.11
     , text             >= 1.2  && < 2.1
     , tls              >= 1.5  && < 1.8
     , unbounded-delays >= 0.1  && < 0.2

diff --git a/src/Network/GRPC/Common/CustomMetadata.hs b/src/Network/GRPC/Common/CustomMetadata.hs
@@ -6,10 +6,12 @@
 --
 -- Intended for qualified import.
 --
--- > import Network.GRPC.Common.CustomMetadata (CustomMetadata(..))
+-- > import Network.GRPC.Common.CustomMetadata (CustomMetadata(..), HeaderName(..))
 -- > import Network.GRPC.Common.CustomMetadata qualified as Metadata
 module Network.GRPC.Common.CustomMetadata (
     CustomMetadata(..)
+  , HeaderName(HeaderName)
+  , AsciiValue(AsciiValue)
   ) where
 
 import Network.GRPC.Spec.CustomMetadata
diff --git a/src/Network/GRPC/Common/Exceptions.hs b/src/Network/GRPC/Common/Exceptions.hs
@@ -33,7 +33,7 @@ data GrpcException = GrpcException {
     , grpcErrorMessage  :: Maybe Text
     , grpcErrorMetadata :: [CustomMetadata]
     }
-  deriving stock (Show)
+  deriving stock (Show, Eq)
   deriving anyclass (Exception)
 
 grpcExceptionFromTrailers :: ProperTrailers -> Maybe GrpcException

diff --git a/src/Network/GRPC/Spec/CustomMetadata.hs b/src/Network/GRPC/Spec/CustomMetadata.hs
@@ -81,7 +81,7 @@ data CustomMetadata =
 
 -- | Header name
 --
--- Header names cannot be empty, can must consist of digits (@0-9@), lowercase
+-- Header names cannot be empty, and must consist of digits (@0-9@), lowercase
 -- letters (@a-z@), underscore (@_@), hyphen (@-@), or period (@.@).
 --
 -- Header names should not start with @grpc-@ (these are reserved for future