test: SessionName ToJSON/ToSchema

Author: brprice

primer-service/primer-service.cabal

@@ -1,4 +1,4 @@
-cabal-version: 2.4
+cabal-version: 3.0
 name:          primer-service
 version:       0.7.2.0
 license:       AGPL-3.0-or-later
@@ -12,14 +12,12 @@ category:      Web
 
 library
   exposed-modules:
+    Primer.OpenAPI
     Primer.Pagination
     Primer.Server
 
   hs-source-dirs:     src
-  other-modules:
-    Primer.OpenAPI
-    Servant.OpenApi.OperationId
-
+  other-modules:      Servant.OpenApi.OperationId
   default-language:   GHC2021
   default-extensions:
     NoImplicitPrelude
@@ -114,7 +112,10 @@ test-suite service-test
   type:               exitcode-stdio-1.0
   main-is:            Test.hs
   hs-source-dirs:     test
-  other-modules:      Tests.Pagination
+  other-modules:
+    Tests.OpenAPI
+    Tests.Pagination
+
   default-language:   GHC2021
   default-extensions:
     NoImplicitPrelude
@@ -133,13 +134,17 @@ test-suite service-test
     , aeson
     , base
     , hasql
+    , hedgehog          ^>=1.1.1
+    , openapi3          >=3.2      && <=3.3
     , postgres-options  ^>=0.2
     , primer
+    , primer:primer-hedgehog
     , primer-rel8
     , primer-service
     , rel8              ^>=1.3
     , tasty             ^>=1.4.1
     , tasty-discover    ^>=4.2.4
+    , tasty-hedgehog    ^>=1.2.0
     , tasty-hunit       ^>=0.10.0
     , temporary         ^>=1.3
     , text

primer-service/test/Tests/OpenAPI.hs

@@ -0,0 +1,22 @@
+module Tests.OpenAPI where
+
+import Data.Aeson (ToJSON)
+import Data.OpenApi (ToSchema, validatePrettyToJSON)
+import Hedgehog (Gen, annotateShow, failure, forAll)
+import Hedgehog.Gen qualified as G
+import Hedgehog.Range qualified as R
+import Primer.Database (safeMkSessionName)
+import Primer.OpenAPI ()
+import Tasty (Property, property)
+
+import Foreword
+
+testToJSON :: (ToJSON a, ToSchema a, Show a) => Gen a -> Property
+testToJSON g = property $ do
+  x <- forAll g
+  case validatePrettyToJSON x of
+    Nothing -> pure ()
+    Just errs -> annotateShow errs >> failure
+
+tasty_SessionName :: Property
+tasty_SessionName = testToJSON $ safeMkSessionName <$> G.text (R.linear 1 100) G.unicode