test: PaginatedMeta ToJSON/ToSchema

Author: brprice

primer-service/src/Primer/Pagination.hs

@@ -13,6 +13,7 @@ module Primer.Pagination (
   pagedDefaultClamp,
   -- the following are exposed for testing
   meta,
+  PaginatedMeta (PM),
   totalItems,
   pageSize,
   firstPage,
@@ -136,7 +137,7 @@ data PaginatedMeta = PM
   , nextPage :: Maybe Positive
   , lastPage :: Positive
   }
-  deriving (Generic)
+  deriving (Generic, Show)
 instance ToJSON PaginatedMeta
 instance ToSchema PaginatedMeta
 

primer-service/test/Tests/OpenAPI.hs

@@ -34,7 +34,7 @@ import Primer.OpenAPI ()
 import Tasty (Property, property)
 
 import Foreword
-import Primer.Pagination (NonNeg, Positive, mkNonNeg, mkPositive)
+import Primer.Pagination (NonNeg, PaginatedMeta (..), Positive, mkNonNeg, mkPositive)
 
 testToJSON :: (ToJSON a, ToSchema a, Show a) => Gen a -> Property
 testToJSON g = property $ do
@@ -133,3 +133,26 @@ genNonNeg = G.just $ mkNonNeg <$> G.int (R.linear 0 1000)
 
 tasty_NonNeg :: Property
 tasty_NonNeg = testToJSON genNonNeg
+
+genPaginatedMeta :: Gen PaginatedMeta
+genPaginatedMeta = do
+  ti <- genNonNeg
+  ps <- genPositive
+  fp <- genPositive
+  pp <- G.maybe genPositive
+  tp <- genPositive
+  np <- G.maybe genPositive
+  lp <- genPositive
+  pure $
+    PM
+      { totalItems = ti
+      , pageSize = ps
+      , firstPage = fp
+      , prevPage = pp
+      , thisPage = tp
+      , nextPage = np
+      , lastPage = lp
+      }
+
+tasty_PaginatedMeta :: Property
+tasty_PaginatedMeta = testToJSON genPaginatedMeta