monomorphise ToSchema (Paginated _)

Author: brprice

primer-service/src/Primer/Pagination.hs

@@ -28,13 +28,14 @@ module Primer.Pagination (
 
 import Foreword
 
+import Primer.OpenAPI ()
 import Data.Aeson (ToJSON)
 import Data.OpenApi (ToParamSchema, ToSchema, declareNamedSchema, toParamSchema)
 import Data.OpenApi.Internal.Schema (plain)
 import Optics ((?~))
 import Primer.Database (
   OffsetLimit (OL, limit, offset),
-  Page (Page, pageContents, total),
+  Page (Page, pageContents, total), Session,
  )
 import Servant (
   DefaultErrorFormatters,
@@ -48,6 +49,7 @@ import Servant (
   type (.++),
  )
 import Servant.OpenApi (HasOpenApi (toOpenApi))
+import GHC.Base (String)
 
 -- | Guarantees its contents is strictly positive.
 -- @getPositive x > 0@ is always true (because the only way to create one is
@@ -109,8 +111,14 @@ data Paginated a = Paginated
   }
   deriving (Generic, Show)
 
-instance ToJSON a => ToJSON (Paginated a)
-instance ToSchema a => ToSchema (Paginated a)
+instance ToJSON (Paginated Session)
+instance ToSchema (Paginated Session)
+instance ToJSON (Paginated String)
+instance ToSchema (Paginated String)
+instance ToJSON (Paginated Text)
+instance ToSchema (Paginated Text)
+instance ToJSON (Paginated Char)
+instance ToSchema (Paginated Char)
 
 -- Used solely for nice bounds in schema
 newtype NonNeg = NonNeg Int