@@ -1,5 +1,4 @@
1{-# LANGUAGE CPP #-}
1{-# LANGUAGE CPP #-}
2−{-# LANGUAGE ConstraintKinds #-}
3{-# LANGUAGE DefaultSignatures #-}
2{-# LANGUAGE DefaultSignatures #-}
4{-# LANGUAGE FlexibleContexts #-}
3{-# LANGUAGE FlexibleContexts #-}
5{-# LANGUAGE FlexibleInstances #-}
4{-# LANGUAGE FlexibleInstances #-}
@@ -14,12 +13,9 @@
14{-# LANGUAGE TypeFamilies #-}
13{-# LANGUAGE TypeFamilies #-}
15{-# LANGUAGE TypeOperators #-}
14{-# LANGUAGE TypeOperators #-}
16{-# LANGUAGE TypeSynonymInstances #-}
15{-# LANGUAGE TypeSynonymInstances #-}
17−{-# LANGUAGE UndecidableInstances #-}
18#if __GLASGOW_HASKELL__ >= 800
16#if __GLASGOW_HASKELL__ >= 800
19-- Few generics related redundant constraints
17-- Few generics related redundant constraints
20{-# OPTIONS_GHC -Wno-redundant-constraints #-}
18{-# OPTIONS_GHC -Wno-redundant-constraints #-}
22−{-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}
24#include "overlapping-compat.h"
20#include "overlapping-compat.h"
25module Data.Swagger.Internal.Schema where
21module Data.Swagger.Internal.Schema where
@@ -32,7 +28,7 @@ import Data.Data.Lens (template)
33import Control.Monad
29import Control.Monad
34import Control.Monad.Writer
30import Control.Monad.Writer
35−import Data.Aeson (ToJSON (..), ToJSONKey (..), ToJSONKeyFunction (..), Value (..), Object(..))
31+import Data.Aeson
36import Data.Char
32import Data.Char
37import Data.Data (Data)
33import Data.Data (Data)
38import Data.Foldable (traverse_)
34import Data.Foldable (traverse_)
@@ -44,11 +40,9 @@ import qualified Data.HashMap.Strict.InsOrd as InsOrdHashMap
44import Data.Int
40import Data.Int
45import Data.IntSet (IntSet)
41import Data.IntSet (IntSet)
46import Data.IntMap (IntMap)
42import Data.IntMap (IntMap)
47−import Data.List.NonEmpty.Compat (NonEmpty)
48import Data.Map (Map)
43import Data.Map (Map)
49import Data.Proxy
44import Data.Proxy
50import Data.Scientific (Scientific)
45import Data.Scientific (Scientific)
51−import Data.Fixed (Fixed, HasResolution, Pico)
52import Data.Set (Set)
46import Data.Set (Set)
53import qualified Data.Text as T
47import qualified Data.Text as T
54import qualified Data.Text.Lazy as TL
48import qualified Data.Text.Lazy as TL
@@ -57,8 +51,6 @@ import qualified Data.Vector as V
57import qualified Data.Vector.Primitive as VP
51import qualified Data.Vector.Primitive as VP
58import qualified Data.Vector.Storable as VS
52import qualified Data.Vector.Storable as VS
59import qualified Data.Vector.Unboxed as VU
53import qualified Data.Vector.Unboxed as VU
60−import Data.Version (Version)
61−import Numeric.Natural.Compat (Natural)
62import Data.Word
54import Data.Word
63import GHC.Generics
55import GHC.Generics
64import qualified Data.UUID.Types as UUID
56import qualified Data.UUID.Types as UUID
@@ -69,13 +61,9 @@ import Data.Swagger.Internal.ParamSchema (ToParamSchema(..))
69import Data.Swagger.Lens hiding (name, schema)
61import Data.Swagger.Lens hiding (name, schema)
70import qualified Data.Swagger.Lens as Swagger
62import qualified Data.Swagger.Lens as Swagger
71import Data.Swagger.SchemaOptions
63import Data.Swagger.SchemaOptions
72−import Data.Swagger.Internal.TypeShape
74−#if __GLASGOW_HASKELL__ < 800
65+#ifdef __DOCTEST__
75−#else
66+import Data.Swagger.Lens (name, schema)
76−import qualified Data.ByteString as BS
77−import qualified Data.ByteString.Lazy as BSL
78−import GHC.TypeLits (TypeError, ErrorMessage(..))
81unnamed :: Schema -> NamedSchema
69unnamed :: Schema -> NamedSchema
@@ -102,16 +90,14 @@ rename name (NamedSchema _ schema) = NamedSchema name schema
102-- {-\# LANGUAGE OverloadedLists \#-} -- allows to write 'Map' and 'HashMap' as lists
90-- {-\# LANGUAGE OverloadedLists \#-} -- allows to write 'Map' and 'HashMap' as lists
104-- import Control.Lens
92-- import Control.Lens
106−-- import Data.Swagger
108-- data Coord = Coord { x :: Double, y :: Double }
94-- data Coord = Coord { x :: Double, y :: Double }
110-- instance ToSchema Coord where
96-- instance ToSchema Coord where
111−-- declareNamedSchema _ = do
97+-- declareNamedSchema = do
112-- doubleSchema <- declareSchemaRef (Proxy :: Proxy Double)
98-- doubleSchema <- declareSchemaRef (Proxy :: Proxy Double)
113−-- return $ NamedSchema (Just \"Coord\") $ mempty
99+-- return $ NamedSchema (Just \"Coord\")) $ mempty
114−-- & type_ ?~ SwaggerObject
100+-- & type_ .~ SwaggerObject
115-- & properties .~
101-- & properties .~
116-- [ (\"x\", doubleSchema)
102-- [ (\"x\", doubleSchema)
117-- , (\"y\", doubleSchema)
103-- , (\"y\", doubleSchema)
@@ -142,17 +128,12 @@ class ToSchema a where
142 -- together with all used definitions.
128 -- together with all used definitions.
143 -- Note that the schema itself is included in definitions
129 -- Note that the schema itself is included in definitions
144 -- only if it is recursive (and thus needs its definition in scope).
130 -- only if it is recursive (and thus needs its definition in scope).
145− declareNamedSchema :: Proxy a -> Declare (Definitions Schema) NamedSchema
131+ declareNamedSchema :: proxy a -> Declare (Definitions Schema) NamedSchema
146− default declareNamedSchema :: (Generic a, GToSchema (Rep a), TypeHasSimpleShape a "genericDeclareNamedSchemaUnrestricted") =>
147− Proxy a -> Declare (Definitions Schema) NamedSchema
132+ default declareNamedSchema :: (Generic a, GToSchema (Rep a)) => proxy a -> Declare (Definitions Schema) NamedSchema
148 declareNamedSchema = genericDeclareNamedSchema defaultSchemaOptions
133 declareNamedSchema = genericDeclareNamedSchema defaultSchemaOptions
150−instance ToSchema TimeOfDay where
151− declareNamedSchema _ = pure $ named "TimeOfDay" $ timeSchema "hh:MM:ss"
152− & example ?~ toJSON (TimeOfDay 12 33 15)
154-- | Convert a type into a schema and declare all used schema definitions.
135-- | Convert a type into a schema and declare all used schema definitions.
155−declareSchema :: ToSchema a => Proxy a -> Declare (Definitions Schema) Schema
136+declareSchema :: ToSchema a => proxy a -> Declare (Definitions Schema) Schema
156declareSchema = fmap _namedSchemaSchema . declareNamedSchema
137declareSchema = fmap _namedSchemaSchema . declareNamedSchema
158-- | Convert a type into an optionally named schema.
139-- | Convert a type into an optionally named schema.
@@ -166,7 +147,7 @@ declareSchema = fmap _namedSchemaSchema . declareNamedSchema
166-- Just "Day"
147-- Just "Day"
167-- >>> encode (toNamedSchema (Proxy :: Proxy Day) ^. schema)
148-- >>> encode (toNamedSchema (Proxy :: Proxy Day) ^. schema)
168-- "{\"example\":\"2016-07-22\",\"format\":\"date\",\"type\":\"string\"}"
149-- "{\"example\":\"2016-07-22\",\"format\":\"date\",\"type\":\"string\"}"
169−toNamedSchema :: ToSchema a => Proxy a -> NamedSchema
150+toNamedSchema :: ToSchema a => proxy a -> NamedSchema
170toNamedSchema = undeclare . declareNamedSchema
151toNamedSchema = undeclare . declareNamedSchema
172-- | Get type's schema name according to its @'ToSchema'@ instance.
153-- | Get type's schema name according to its @'ToSchema'@ instance.
@@ -176,7 +157,7 @@ toNamedSchema = undeclare . declareNamedSchema
177-- >>> schemaName (Proxy :: Proxy UTCTime)
158-- >>> schemaName (Proxy :: Proxy UTCTime)
178-- Just "UTCTime"
159-- Just "UTCTime"
179−schemaName :: ToSchema a => Proxy a -> Maybe T.Text
160+schemaName :: ToSchema a => proxy a -> Maybe T.Text
180schemaName = _namedSchemaName . toNamedSchema
161schemaName = _namedSchemaName . toNamedSchema
182-- | Convert a type into a schema.
163-- | Convert a type into a schema.
@@ -186,7 +167,7 @@ schemaName = _namedSchemaName . toNamedSchema
187-- >>> encode $ toSchema (Proxy :: Proxy [Day])
168-- >>> encode $ toSchema (Proxy :: Proxy [Day])
188-- "{\"items\":{\"$ref\":\"#/definitions/Day\"},\"type\":\"array\"}"
169-- "{\"items\":{\"$ref\":\"#/definitions/Day\"},\"type\":\"array\"}"
189−toSchema :: ToSchema a => Proxy a -> Schema
170+toSchema :: ToSchema a => proxy a -> Schema
190toSchema = _namedSchemaSchema . toNamedSchema
171toSchema = _namedSchemaSchema . toNamedSchema
192-- | Convert a type into a referenced schema if possible.
173-- | Convert a type into a referenced schema if possible.
@@ -197,7 +178,7 @@ toSchema = _namedSchemaSchema . toNamedSchema
198-- >>> encode $ toSchemaRef (Proxy :: Proxy Day)
179-- >>> encode $ toSchemaRef (Proxy :: Proxy Day)
199-- "{\"$ref\":\"#/definitions/Day\"}"
180-- "{\"$ref\":\"#/definitions/Day\"}"
200−toSchemaRef :: ToSchema a => Proxy a -> Referenced Schema
181+toSchemaRef :: ToSchema a => proxy a -> Referenced Schema
201toSchemaRef = undeclare . declareSchemaRef
182toSchemaRef = undeclare . declareSchemaRef
203-- | Convert a type into a referenced schema if possible
184-- | Convert a type into a referenced schema if possible
@@ -207,7 +188,7 @@ toSchemaRef = undeclare . declareSchemaRef
207-- Schema definitions are typically declared for every referenced schema.
188-- Schema definitions are typically declared for every referenced schema.
208-- If @'declareSchemaRef'@ returns a reference, a corresponding schema
189-- If @'declareSchemaRef'@ returns a reference, a corresponding schema
209-- will be declared (regardless of whether it is recusive or not).
190-- will be declared (regardless of whether it is recusive or not).
210−declareSchemaRef :: ToSchema a => Proxy a -> Declare (Definitions Schema) (Referenced Schema)
191+declareSchemaRef :: ToSchema a => proxy a -> Declare (Definitions Schema) (Referenced Schema)
211declareSchemaRef proxy = do
192declareSchemaRef proxy = do
212 case toNamedSchema proxy of
193 case toNamedSchema proxy of
213 NamedSchema (Just name) schema -> do
194 NamedSchema (Just name) schema -> do
@@ -269,7 +250,7 @@ inlineAllSchemas = inlineSchemasWhen (const True)
270-- __WARNING:__ @'toInlinedSchema'@ will produce infinite schema
251-- __WARNING:__ @'toInlinedSchema'@ will produce infinite schema
271-- when inlining recursive schemas.
252-- when inlining recursive schemas.
272−toInlinedSchema :: ToSchema a => Proxy a -> Schema
253+toInlinedSchema :: ToSchema a => proxy a -> Schema
273toInlinedSchema proxy = inlineAllSchemas defs schema
254toInlinedSchema proxy = inlineAllSchemas defs schema
275 (defs, schema) = runDeclare (declareSchema proxy) mempty
256 (defs, schema) = runDeclare (declareSchema proxy) mempty
@@ -298,20 +279,20 @@ inlineNonRecursiveSchemas defs = inlineSchemasWhen nonRecursive defs
298-- | Default schema for binary data (any sequence of octets).
279-- | Default schema for binary data (any sequence of octets).
299binarySchema :: Schema
280binarySchema :: Schema
300binarySchema = mempty
281binarySchema = mempty
301− & type_ ?~ SwaggerString
282+ & type_ .~ SwaggerString
302 & format ?~ "binary"
283 & format ?~ "binary"
304-- | Default schema for binary data (base64 encoded).
285-- | Default schema for binary data (base64 encoded).
305byteSchema :: Schema
286byteSchema :: Schema
306byteSchema = mempty
287byteSchema = mempty
307− & type_ ?~ SwaggerString
288+ & type_ .~ SwaggerString
308 & format ?~ "byte"
289 & format ?~ "byte"
310-- | Default schema for password string.
291-- | Default schema for password string.
311-- @"password"@ format is used to hint UIs the input needs to be obscured.
292-- @"password"@ format is used to hint UIs the input needs to be obscured.
312passwordSchema :: Schema
293passwordSchema :: Schema
313passwordSchema = mempty
294passwordSchema = mempty
314− & type_ ?~ SwaggerString
295+ & type_ .~ SwaggerString
315 & format ?~ "password"
296 & format ?~ "password"
317-- | Make an unrestrictive sketch of a @'Schema'@ based on a @'ToJSON'@ instance.
298-- | Make an unrestrictive sketch of a @'Schema'@ based on a @'ToJSON'@ instance.
@@ -337,12 +318,12 @@ sketchSchema = sketch . toJSON
337 sketch js@(Bool _) = go js
318 sketch js@(Bool _) = go js
338 sketch js = go js & example ?~ js
319 sketch js = go js & example ?~ js
340− go Null = mempty & type_ ?~ SwaggerNull
321+ go Null = mempty & type_ .~ SwaggerNull
341− go (Bool _) = mempty & type_ ?~ SwaggerBoolean
322+ go (Bool _) = mempty & type_ .~ SwaggerBoolean
342− go (String _) = mempty & type_ ?~ SwaggerString
323+ go (String _) = mempty & type_ .~ SwaggerString
343− go (Number _) = mempty & type_ ?~ SwaggerNumber
324+ go (Number _) = mempty & type_ .~ SwaggerNumber
344 go (Array xs) = mempty
325 go (Array xs) = mempty
345− & type_ ?~ SwaggerArray
326+ & type_ .~ SwaggerArray
346 & items ?~ case ischema of
327 & items ?~ case ischema of
347 Just s -> SwaggerItemsObject (Inline s)
328 Just s -> SwaggerItemsObject (Inline s)
348 _ -> SwaggerItemsArray (map Inline ys)
329 _ -> SwaggerItemsArray (map Inline ys)
@@ -354,7 +335,7 @@ sketchSchema = sketch . toJSON
354 (z:_) | allSame -> Just z
335 (z:_) | allSame -> Just z
355 _ -> Nothing
336 _ -> Nothing
356 go (Object o) = mempty
337 go (Object o) = mempty
357− & type_ ?~ SwaggerObject
338+ & type_ .~ SwaggerObject
358 & required .~ HashMap.keys o
339 & required .~ HashMap.keys o
359 & properties .~ fmap (Inline . go) (InsOrdHashMap.fromHashMap o)
340 & properties .~ fmap (Inline . go) (InsOrdHashMap.fromHashMap o)
@@ -377,24 +358,24 @@ sketchSchema = sketch . toJSON
377sketchStrictSchema :: ToJSON a => a -> Schema
358sketchStrictSchema :: ToJSON a => a -> Schema
378sketchStrictSchema = go . toJSON
359sketchStrictSchema = go . toJSON
380− go Null = mempty & type_ ?~ SwaggerNull
361+ go Null = mempty & type_ .~ SwaggerNull
381 go js@(Bool _) = mempty
362 go js@(Bool _) = mempty
382− & type_ ?~ SwaggerBoolean
363+ & type_ .~ SwaggerBoolean
383 & enum_ ?~ [js]
364 & enum_ ?~ [js]
384 go js@(String s) = mempty
365 go js@(String s) = mempty
385− & type_ ?~ SwaggerString
366+ & type_ .~ SwaggerString
386 & maxLength ?~ fromIntegral (T.length s)
367 & maxLength ?~ fromIntegral (T.length s)
387 & minLength ?~ fromIntegral (T.length s)
368 & minLength ?~ fromIntegral (T.length s)
388 & pattern ?~ s
369 & pattern ?~ s
389 & enum_ ?~ [js]
370 & enum_ ?~ [js]
390 go js@(Number n) = mempty
371 go js@(Number n) = mempty
391− & type_ ?~ SwaggerNumber
372+ & type_ .~ SwaggerNumber
392 & maximum_ ?~ n
373 & maximum_ ?~ n
393 & minimum_ ?~ n
374 & minimum_ ?~ n
394 & multipleOf ?~ n
375 & multipleOf ?~ n
395 & enum_ ?~ [js]
376 & enum_ ?~ [js]
396 go js@(Array xs) = mempty
377 go js@(Array xs) = mempty
397− & type_ ?~ SwaggerArray
378+ & type_ .~ SwaggerArray
398 & maxItems ?~ fromIntegral sz
379 & maxItems ?~ fromIntegral sz
399 & minItems ?~ fromIntegral sz
380 & minItems ?~ fromIntegral sz
400 & items ?~ SwaggerItemsArray (map (Inline . go) (V.toList xs))
381 & items ?~ SwaggerItemsArray (map (Inline . go) (V.toList xs))
@@ -404,7 +385,7 @@ sketchStrictSchema = go . toJSON
404 sz = length xs
385 sz = length xs
405 allUnique = sz == HashSet.size (HashSet.fromList (V.toList xs))
386 allUnique = sz == HashSet.size (HashSet.fromList (V.toList xs))
406 go js@(Object o) = mempty
387 go js@(Object o) = mempty
407− & type_ ?~ SwaggerObject
388+ & type_ .~ SwaggerObject
408 & required .~ names
389 & required .~ names
409 & properties .~ fmap (Inline . go) (InsOrdHashMap.fromHashMap o)
390 & properties .~ fmap (Inline . go) (InsOrdHashMap.fromHashMap o)
410 & maxProperties ?~ fromIntegral (length names)
391 & maxProperties ?~ fromIntegral (length names)
@@ -414,19 +395,18 @@ sketchStrictSchema = go . toJSON
414 names = HashMap.keys o
395 names = HashMap.keys o
416class GToSchema (f :: * -> *) where
397class GToSchema (f :: * -> *) where
417− gdeclareNamedSchema :: SchemaOptions -> Proxy f -> Schema -> Declare (Definitions Schema) NamedSchema
398+ gdeclareNamedSchema :: SchemaOptions -> proxy f -> Schema -> Declare (Definitions Schema) NamedSchema
419instance OVERLAPPABLE_ ToSchema a => ToSchema [a] where
400instance OVERLAPPABLE_ ToSchema a => ToSchema [a] where
420 declareNamedSchema _ = do
401 declareNamedSchema _ = do
421 ref <- declareSchemaRef (Proxy :: Proxy a)
402 ref <- declareSchemaRef (Proxy :: Proxy a)
422 return $ unnamed $ mempty
403 return $ unnamed $ mempty
423− & type_ ?~ SwaggerArray
404+ & type_ .~ SwaggerArray
424 & items ?~ SwaggerItemsObject ref
405 & items ?~ SwaggerItemsObject ref
426instance OVERLAPPING_ ToSchema String where declareNamedSchema = plain . paramSchemaToSchema
407instance OVERLAPPING_ ToSchema String where declareNamedSchema = plain . paramSchemaToSchema
427instance ToSchema Bool where declareNamedSchema = plain . paramSchemaToSchema
408instance ToSchema Bool where declareNamedSchema = plain . paramSchemaToSchema
428instance ToSchema Integer where declareNamedSchema = plain . paramSchemaToSchema
409instance ToSchema Integer where declareNamedSchema = plain . paramSchemaToSchema
429−instance ToSchema Natural where declareNamedSchema = plain . paramSchemaToSchema
430instance ToSchema Int where declareNamedSchema = plain . paramSchemaToSchema
410instance ToSchema Int where declareNamedSchema = plain . paramSchemaToSchema
431instance ToSchema Int8 where declareNamedSchema = plain . paramSchemaToSchema
411instance ToSchema Int8 where declareNamedSchema = plain . paramSchemaToSchema
432instance ToSchema Int16 where declareNamedSchema = plain . paramSchemaToSchema
412instance ToSchema Int16 where declareNamedSchema = plain . paramSchemaToSchema
@@ -446,8 +426,6 @@ instance ToSchema Scientific where declareNamedSchema = plain . paramSchemaToSc
446instance ToSchema Double where declareNamedSchema = plain . paramSchemaToSchema
426instance ToSchema Double where declareNamedSchema = plain . paramSchemaToSchema
447instance ToSchema Float where declareNamedSchema = plain . paramSchemaToSchema
427instance ToSchema Float where declareNamedSchema = plain . paramSchemaToSchema
449−instance HasResolution a => ToSchema (Fixed a) where declareNamedSchema = plain . paramSchemaToSchema
451instance ToSchema a => ToSchema (Maybe a) where
429instance ToSchema a => ToSchema (Maybe a) where
452 declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy a)
430 declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy a)
@@ -470,7 +448,7 @@ instance (ToSchema a, ToSchema b, ToSchema c, ToSchema d, ToSchema e, ToSchema f
471timeSchema :: T.Text -> Schema
449timeSchema :: T.Text -> Schema
472timeSchema fmt = mempty
450timeSchema fmt = mempty
473− & type_ ?~ SwaggerString
451+ & type_ .~ SwaggerString
474 & format ?~ fmt
452 & format ?~ fmt
476-- | Format @"date"@ corresponds to @yyyy-mm-dd@ format.
454-- | Format @"date"@ corresponds to @yyyy-mm-dd@ format.
@@ -491,7 +469,7 @@ instance ToSchema ZonedTime where
491 & example ?~ toJSON (ZonedTime (LocalTime (fromGregorian 2016 7 22) (TimeOfDay 7 40 0)) (hoursToTimeZone 3))
469 & example ?~ toJSON (ZonedTime (LocalTime (fromGregorian 2016 7 22) (TimeOfDay 7 40 0)) (hoursToTimeZone 3))
493instance ToSchema NominalDiffTime where
471instance ToSchema NominalDiffTime where
494− declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy Pico)
472+ declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy Integer)
497-- >>> toSchema (Proxy :: Proxy UTCTime) ^. format
475-- >>> toSchema (Proxy :: Proxy UTCTime) ^. format
@@ -503,20 +481,6 @@ instance ToSchema UTCTime where
503instance ToSchema T.Text where declareNamedSchema = plain . paramSchemaToSchema
481instance ToSchema T.Text where declareNamedSchema = plain . paramSchemaToSchema
504instance ToSchema TL.Text where declareNamedSchema = plain . paramSchemaToSchema
482instance ToSchema TL.Text where declareNamedSchema = plain . paramSchemaToSchema
506−instance ToSchema Version where declareNamedSchema = plain . paramSchemaToSchema
508−#if __GLASGOW_HASKELL__ < 800
510−type family ToSchemaByteStringError bs where
511− ToSchemaByteStringError bs = TypeError
512− ( Text "Impossible to have an instance " :<>: ShowType (ToSchema bs) :<>: Text "."
513− :$$: Text "Please, use a newtype wrapper around " :<>: ShowType bs :<>: Text " instead."
514− :$$: Text "Consider using byteSchema or binarySchema templates." )
516−instance ToSchemaByteStringError BS.ByteString => ToSchema BS.ByteString where declareNamedSchema = error "impossible"
517−instance ToSchemaByteStringError BSL.ByteString => ToSchema BSL.ByteString where declareNamedSchema = error "impossible"
520instance ToSchema IntSet where declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy (Set Int))
484instance ToSchema IntSet where declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy (Set Int))
522-- | NOTE: This schema does not account for the uniqueness of keys.
486-- | NOTE: This schema does not account for the uniqueness of keys.
@@ -532,8 +496,8 @@ instance (ToJSONKey k, ToSchema k, ToSchema v) => ToSchema (Map k v) where
532 declareObjectMapSchema = do
496 declareObjectMapSchema = do
533 schema <- declareSchemaRef (Proxy :: Proxy v)
497 schema <- declareSchemaRef (Proxy :: Proxy v)
534 return $ unnamed $ mempty
498 return $ unnamed $ mempty
535− & type_ ?~ SwaggerObject
499+ & type_ .~ SwaggerObject
536− & additionalProperties ?~ AdditionalPropertiesSchema schema
500+ & additionalProperties ?~ schema
538instance (ToJSONKey k, ToSchema k, ToSchema v) => ToSchema (HashMap k v) where
502instance (ToJSONKey k, ToSchema k, ToSchema v) => ToSchema (HashMap k v) where
539 declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy (Map k v))
503 declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy (Map k v))
@@ -544,7 +508,7 @@ instance ToSchema a => ToSchema (Map String a) where
544 declareNamedSchema _ = do
508 declareNamedSchema _ = do
545 schema <- declareSchemaRef (Proxy :: Proxy a)
509 schema <- declareSchemaRef (Proxy :: Proxy a)
546 return $ unnamed $ mempty
510 return $ unnamed $ mempty
547− & type_ ?~ SwaggerObject
511+ & type_ .~ SwaggerObject
548 & additionalProperties ?~ schema
512 & additionalProperties ?~ schema
550instance ToSchema a => ToSchema (Map T.Text a) where declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy (Map String a))
514instance ToSchema a => ToSchema (Map T.Text a) where declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy (Map String a))
@@ -556,12 +520,6 @@ instance ToSchema a => ToSchema (HashMap TL.Text a) where declareNamedSchema _ =
559−instance OVERLAPPING_ ToSchema Object where
560− declareNamedSchema _ = pure $ NamedSchema (Just "Object") $ mempty
561− & type_ ?~ SwaggerObject
562− & description ?~ "Arbitrary JSON object."
563− & additionalProperties ?~ AdditionalPropertiesAllowed True
565instance ToSchema a => ToSchema (V.Vector a) where declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy [a])
523instance ToSchema a => ToSchema (V.Vector a) where declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy [a])
566instance ToSchema a => ToSchema (VU.Vector a) where declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy [a])
524instance ToSchema a => ToSchema (VU.Vector a) where declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy [a])
567instance ToSchema a => ToSchema (VS.Vector a) where declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy [a])
525instance ToSchema a => ToSchema (VS.Vector a) where declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy [a])
@@ -575,13 +533,6 @@ instance ToSchema a => ToSchema (Set a) where
576instance ToSchema a => ToSchema (HashSet a) where declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy (Set a))
534instance ToSchema a => ToSchema (HashSet a) where declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy (Set a))
579−instance ToSchema a => ToSchema (NonEmpty a) where
580− declareNamedSchema _ = do
581− schema <- declareSchema (Proxy :: Proxy [a])
582− return $ unnamed $ schema
583− & minItems .~ Just 1
585instance ToSchema All where declareNamedSchema = plain . paramSchemaToSchema
536instance ToSchema All where declareNamedSchema = plain . paramSchemaToSchema
586instance ToSchema Any where declareNamedSchema = plain . paramSchemaToSchema
537instance ToSchema Any where declareNamedSchema = plain . paramSchemaToSchema
@@ -591,141 +542,61 @@ instance ToSchema a => ToSchema (First a) where declareNamedSchema _ = unname
591instance ToSchema a => ToSchema (Last a) where declareNamedSchema _ = unname <$> declareNamedSchema (Proxy :: Proxy a)
542instance ToSchema a => ToSchema (Last a) where declareNamedSchema _ = unname <$> declareNamedSchema (Proxy :: Proxy a)
592instance ToSchema a => ToSchema (Dual a) where declareNamedSchema _ = unname <$> declareNamedSchema (Proxy :: Proxy a)
543instance ToSchema a => ToSchema (Dual a) where declareNamedSchema _ = unname <$> declareNamedSchema (Proxy :: Proxy a)
594−instance ToSchema a => ToSchema (Identity a) where declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy a)
596-- | Default schema for @'Bounded'@, @'Integral'@ types.
545-- | Default schema for @'Bounded'@, @'Integral'@ types.
598-- >>> encode $ toSchemaBoundedIntegral (Proxy :: Proxy Int16)
547-- >>> encode $ toSchemaBoundedIntegral (Proxy :: Proxy Int16)
599-- "{\"maximum\":32767,\"minimum\":-32768,\"type\":\"integer\"}"
548-- "{\"maximum\":32767,\"minimum\":-32768,\"type\":\"integer\"}"
600−toSchemaBoundedIntegral :: forall a. (Bounded a, Integral a) => Proxy a -> Schema
549+toSchemaBoundedIntegral :: forall a proxy. (Bounded a, Integral a) => proxy a -> Schema
601toSchemaBoundedIntegral _ = mempty
550toSchemaBoundedIntegral _ = mempty
602− & type_ ?~ SwaggerInteger
551+ & type_ .~ SwaggerInteger
603 & minimum_ ?~ fromInteger (toInteger (minBound :: a))
552 & minimum_ ?~ fromInteger (toInteger (minBound :: a))
604 & maximum_ ?~ fromInteger (toInteger (maxBound :: a))
553 & maximum_ ?~ fromInteger (toInteger (maxBound :: a))
606-- | Default generic named schema for @'Bounded'@, @'Integral'@ types.
555-- | Default generic named schema for @'Bounded'@, @'Integral'@ types.
607−genericToNamedSchemaBoundedIntegral :: forall a d f.
556+genericToNamedSchemaBoundedIntegral :: forall a d f proxy.
608 ( Bounded a, Integral a
557 ( Bounded a, Integral a
609 , Generic a, Rep a ~ D1 d f, Datatype d)
558 , Generic a, Rep a ~ D1 d f, Datatype d)
610− => SchemaOptions -> Proxy a -> NamedSchema
559+ => SchemaOptions -> proxy a -> NamedSchema
611genericToNamedSchemaBoundedIntegral opts proxy
560genericToNamedSchemaBoundedIntegral opts proxy
612− = genericNameSchema opts proxy (toSchemaBoundedIntegral proxy)
561+ = NamedSchema (gdatatypeSchemaName opts (Proxy :: Proxy d)) (toSchemaBoundedIntegral proxy)
614−-- | Declare a named schema for a @newtype@ wrapper.
615−genericDeclareNamedSchemaNewtype :: forall a d c s i inner.
616− (Generic a, Datatype d, Rep a ~ D1 d (C1 c (S1 s (K1 i inner))))
617− => SchemaOptions -- ^ How to derive the name.
618− -> (Proxy inner -> Declare (Definitions Schema) Schema) -- ^ How to create a schema for the wrapped type.
620− -> Declare (Definitions Schema) NamedSchema
621−genericDeclareNamedSchemaNewtype opts f proxy = genericNameSchema opts proxy <$> f (Proxy :: Proxy inner)
623−-- | Declare 'Schema' for a mapping with 'Bounded' 'Enum' keys.
624−-- This makes a much more useful schema when there aren't many options for key values.
626−-- >>> data ButtonState = Neutral | Focus | Active | Hover | Disabled deriving (Show, Bounded, Enum, Generic)
627−-- >>> instance ToJSON ButtonState
628−-- >>> instance ToSchema ButtonState
629−-- >>> instance ToJSONKey ButtonState where toJSONKey = toJSONKeyText (T.pack . show)
630−-- >>> type ImageUrl = T.Text
631−-- >>> encode $ toSchemaBoundedEnumKeyMapping (Proxy :: Proxy (Map ButtonState ImageUrl))
632−-- "{\"properties\":{\"Neutral\":{\"type\":\"string\"},\"Focus\":{\"type\":\"string\"},\"Active\":{\"type\":\"string\"},\"Hover\":{\"type\":\"string\"},\"Disabled\":{\"type\":\"string\"}},\"type\":\"object\"}"
634−-- Note: this is only useful when @key@ is encoded with 'ToJSONKeyText'.
635−-- If it is encoded with 'ToJSONKeyValue' then a regular schema for @[(key, value)]@ is used.
636−declareSchemaBoundedEnumKeyMapping :: forall map key value.
637− (Bounded key, Enum key, ToJSONKey key, ToSchema key, ToSchema value)
638− => Proxy (map key value) -> Declare (Definitions Schema) Schema
639−declareSchemaBoundedEnumKeyMapping _ = case toJSONKey :: ToJSONKeyFunction key of
640− ToJSONKeyText keyToText _ -> objectSchema keyToText
641− ToJSONKeyValue _ _ -> declareSchema (Proxy :: Proxy [(key, value)])
643− objectSchema keyToText = do
644− valueRef <- declareSchemaRef (Proxy :: Proxy value)
645− let allKeys = [minBound..maxBound :: key]
646− mkPair k = (keyToText k, valueRef)
648− & type_ ?~ SwaggerObject
649− & properties .~ InsOrdHashMap.fromList (map mkPair allKeys)
651−-- | A 'Schema' for a mapping with 'Bounded' 'Enum' keys.
652−-- This makes a much more useful schema when there aren't many options for key values.
654−-- >>> data ButtonState = Neutral | Focus | Active | Hover | Disabled deriving (Show, Bounded, Enum, Generic)
655−-- >>> instance ToJSON ButtonState
656−-- >>> instance ToSchema ButtonState
657−-- >>> instance ToJSONKey ButtonState where toJSONKey = toJSONKeyText (T.pack . show)
658−-- >>> type ImageUrl = T.Text
659−-- >>> encode $ toSchemaBoundedEnumKeyMapping (Proxy :: Proxy (Map ButtonState ImageUrl))
660−-- "{\"properties\":{\"Neutral\":{\"type\":\"string\"},\"Focus\":{\"type\":\"string\"},\"Active\":{\"type\":\"string\"},\"Hover\":{\"type\":\"string\"},\"Disabled\":{\"type\":\"string\"}},\"type\":\"object\"}"
662−-- Note: this is only useful when @key@ is encoded with 'ToJSONKeyText'.
663−-- If it is encoded with 'ToJSONKeyValue' then a regular schema for @[(key, value)]@ is used.
664−toSchemaBoundedEnumKeyMapping :: forall map key value.
665− (Bounded key, Enum key, ToJSONKey key, ToSchema key, ToSchema value)
666− => Proxy (map key value) -> Schema
667−toSchemaBoundedEnumKeyMapping = flip evalDeclare mempty . declareSchemaBoundedEnumKeyMapping
669-- | A configurable generic @'Schema'@ creator.
563-- | A configurable generic @'Schema'@ creator.
670−genericDeclareSchema :: (Generic a, GToSchema (Rep a), TypeHasSimpleShape a "genericDeclareSchemaUnrestricted") =>
671− SchemaOptions -> Proxy a -> Declare (Definitions Schema) Schema
564+genericDeclareSchema :: (Generic a, GToSchema (Rep a)) => SchemaOptions -> proxy a -> Declare (Definitions Schema) Schema
672−genericDeclareSchema = genericDeclareSchemaUnrestricted
565+genericDeclareSchema opts proxy = _namedSchemaSchema <$> genericDeclareNamedSchema opts proxy
674-- | A configurable generic @'NamedSchema'@ creator.
567-- | A configurable generic @'NamedSchema'@ creator.
675-- This function applied to @'defaultSchemaOptions'@
568-- This function applied to @'defaultSchemaOptions'@
676-- is used as the default for @'declareNamedSchema'@
569-- is used as the default for @'declareNamedSchema'@
677-- when the type is an instance of @'Generic'@.
570-- when the type is an instance of @'Generic'@.
678−genericDeclareNamedSchema :: (Generic a, GToSchema (Rep a), TypeHasSimpleShape a "genericDeclareNamedSchemaUnrestricted") =>
679− SchemaOptions -> Proxy a -> Declare (Definitions Schema) NamedSchema
680−genericDeclareNamedSchema = genericDeclareNamedSchemaUnrestricted
682−-- | A configurable generic @'Schema'@ creator.
684−-- Unlike 'genericDeclareSchema' also works for mixed sum types.
685−-- Use with care since some Swagger tools do not support well schemas for mixed sum types.
686−genericDeclareSchemaUnrestricted :: (Generic a, GToSchema (Rep a)) => SchemaOptions -> Proxy a -> Declare (Definitions Schema) Schema
687−genericDeclareSchemaUnrestricted opts proxy = _namedSchemaSchema <$> genericDeclareNamedSchemaUnrestricted opts proxy
689−-- | A configurable generic @'NamedSchema'@ creator.
691−-- Unlike 'genericDeclareNamedSchema' also works for mixed sum types.
692−-- Use with care since some Swagger tools do not support well schemas for mixed sum types.
693−genericDeclareNamedSchemaUnrestricted :: forall a. (Generic a, GToSchema (Rep a)) =>
694− SchemaOptions -> Proxy a -> Declare (Definitions Schema) NamedSchema
571+genericDeclareNamedSchema :: forall a proxy. (Generic a, GToSchema (Rep a)) => SchemaOptions -> proxy a -> Declare (Definitions Schema) NamedSchema
695−genericDeclareNamedSchemaUnrestricted opts _ = gdeclareNamedSchema opts (Proxy :: Proxy (Rep a)) mempty
572+genericDeclareNamedSchema opts _ = gdeclareNamedSchema opts (Proxy :: Proxy (Rep a)) mempty
697−-- | Derive a 'Generic'-based name for a datatype and assign it to a given 'Schema'.
698−genericNameSchema :: forall a d f.
699− (Generic a, Rep a ~ D1 d f, Datatype d)
700− => SchemaOptions -> Proxy a -> Schema -> NamedSchema
701−genericNameSchema opts _ = NamedSchema (gdatatypeSchemaName opts (Proxy :: Proxy d))
703−gdatatypeSchemaName :: forall d. Datatype d => SchemaOptions -> Proxy d -> Maybe T.Text
574+gdatatypeSchemaName :: forall proxy d. Datatype d => SchemaOptions -> proxy d -> Maybe T.Text
704−gdatatypeSchemaName opts _ = case orig of
575+gdatatypeSchemaName opts _ = case name of
705 (c:_) | isAlpha c && isUpper c -> Just (T.pack name)
576 (c:_) | isAlpha c && isUpper c -> Just (T.pack name)
706 _ -> Nothing
577 _ -> Nothing
708− orig = datatypeName (Proxy3 :: Proxy3 d f a)
579+ name = datatypeNameModifier opts (datatypeName (Proxy3 :: Proxy3 d f a))
709− name = datatypeNameModifier opts orig
711-- | Lift a plain @'ParamSchema'@ into a model @'NamedSchema'@.
581-- | Lift a plain @'ParamSchema'@ into a model @'NamedSchema'@.
582+paramSchemaToNamedSchema :: forall a d f proxy.
712−paramSchemaToNamedSchema :: (ToParamSchema a, Generic a, Rep a ~ D1 d f, Datatype d) =>
583+ (ToParamSchema a, Generic a, Rep a ~ D1 d f, Datatype d)
713− SchemaOptions -> Proxy a -> NamedSchema
584+ => SchemaOptions -> proxy a -> NamedSchema
714−paramSchemaToNamedSchema opts proxy = genericNameSchema opts proxy (paramSchemaToSchema proxy)
585+paramSchemaToNamedSchema opts proxy = NamedSchema (gdatatypeSchemaName opts (Proxy :: Proxy d)) (paramSchemaToSchema proxy)
716-- | Lift a plain @'ParamSchema'@ into a model @'Schema'@.
587-- | Lift a plain @'ParamSchema'@ into a model @'Schema'@.
717−paramSchemaToSchema :: ToParamSchema a => Proxy a -> Schema
588+paramSchemaToSchema :: forall a proxy. ToParamSchema a => proxy a -> Schema
718−paramSchemaToSchema proxy = mempty & paramSchema .~ toParamSchema proxy
589+paramSchemaToSchema _ = mempty & paramSchema .~ toParamSchema (Proxy :: Proxy a)
720nullarySchema :: Schema
591nullarySchema :: Schema
721nullarySchema = mempty
592nullarySchema = mempty
722− & type_ ?~ SwaggerArray
593+ & type_ .~ SwaggerArray
723 & items ?~ SwaggerItemsArray []
594 & items ?~ SwaggerItemsArray []
725−gtoNamedSchema :: GToSchema f => SchemaOptions -> Proxy f -> NamedSchema
596+gtoNamedSchema :: GToSchema f => SchemaOptions -> proxy f -> NamedSchema
726gtoNamedSchema opts proxy = undeclare $ gdeclareNamedSchema opts proxy mempty
597gtoNamedSchema opts proxy = undeclare $ gdeclareNamedSchema opts proxy mempty
728−gdeclareSchema :: GToSchema f => SchemaOptions -> Proxy f -> Declare (Definitions Schema) Schema
599+gdeclareSchema :: GToSchema f => SchemaOptions -> proxy f -> Declare (Definitions Schema) Schema
729gdeclareSchema opts proxy = _namedSchemaSchema <$> gdeclareNamedSchema opts proxy mempty
600gdeclareSchema opts proxy = _namedSchemaSchema <$> gdeclareNamedSchema opts proxy mempty
731instance (GToSchema f, GToSchema g) => GToSchema (f :*: g) where
602instance (GToSchema f, GToSchema g) => GToSchema (f :*: g) where
@@ -745,7 +616,7 @@ instance OVERLAPPING_ Constructor c => GToSchema (C1 c U1) where
745 gdeclareNamedSchema = gdeclareNamedSumSchema
616 gdeclareNamedSchema = gdeclareNamedSumSchema
747-- | Single field constructor.
618-- | Single field constructor.
748−instance (Selector s, GToSchema f, GToSchema (S1 s f)) => GToSchema (C1 c (S1 s f)) where
619+instance (Selector s, GToSchema f) => GToSchema (C1 c (S1 s f)) where
749 gdeclareNamedSchema opts _ s
620 gdeclareNamedSchema opts _ s
750 | unwrapUnaryRecords opts = fieldSchema
621 | unwrapUnaryRecords opts = fieldSchema
751 | otherwise =
622 | otherwise =
@@ -759,7 +630,7 @@ instance (Selector s, GToSchema f, GToSchema (S1 s f)) => GToSchema (C1 c (S1 s
759 recordSchema = gdeclareNamedSchema opts (Proxy :: Proxy (S1 s f)) s
630 recordSchema = gdeclareNamedSchema opts (Proxy :: Proxy (S1 s f)) s
760 fieldSchema = gdeclareNamedSchema opts (Proxy :: Proxy f) s
631 fieldSchema = gdeclareNamedSchema opts (Proxy :: Proxy f) s
762−gdeclareSchemaRef :: GToSchema a => SchemaOptions -> Proxy a -> Declare (Definitions Schema) (Referenced Schema)
633+gdeclareSchemaRef :: GToSchema a => SchemaOptions -> proxy a -> Declare (Definitions Schema) (Referenced Schema)
763gdeclareSchemaRef opts proxy = do
634gdeclareSchemaRef opts proxy = do
764 case gtoNamedSchema opts proxy of
635 case gtoNamedSchema opts proxy of
765 NamedSchema (Just name) schema -> do
636 NamedSchema (Just name) schema -> do
@@ -790,12 +661,10 @@ withFieldSchema opts _ isRequiredField schema = do
791 if T.null fname
662 if T.null fname
792 then schema
663 then schema
793− & type_ ?~ SwaggerArray
664+ & type_ .~ SwaggerArray
794 & items %~ appendItem ref
665 & items %~ appendItem ref
795− & maxItems %~ Just . maybe 1 (+1) -- increment maxItems
796− & minItems %~ Just . maybe 1 (+1) -- increment minItems
797 else schema
666 else schema
798− & type_ ?~ SwaggerObject
667+ & type_ .~ SwaggerObject
799 & properties . at fname ?~ ref
668 & properties . at fname ?~ ref
800 & if isRequiredField
669 & if isRequiredField
801 then required %~ (++ [fname])
670 then required %~ (++ [fname])
@@ -817,13 +686,10 @@ instance OVERLAPPING_ ToSchema c => GToSchema (K1 i (Maybe c)) where
817instance OVERLAPPABLE_ ToSchema c => GToSchema (K1 i c) where
686instance OVERLAPPABLE_ ToSchema c => GToSchema (K1 i c) where
818 gdeclareNamedSchema _ _ _ = declareNamedSchema (Proxy :: Proxy c)
687 gdeclareNamedSchema _ _ _ = declareNamedSchema (Proxy :: Proxy c)
820−instance ( GSumToSchema f
689+instance (GSumToSchema f, GSumToSchema g) => GToSchema (f :+: g) where
822− ) => GToSchema (f :+: g)
824 gdeclareNamedSchema = gdeclareNamedSumSchema
690 gdeclareNamedSchema = gdeclareNamedSumSchema
826−gdeclareNamedSumSchema :: GSumToSchema f => SchemaOptions -> Proxy f -> Schema -> Declare (Definitions Schema) NamedSchema
692+gdeclareNamedSumSchema :: GSumToSchema f => SchemaOptions -> proxy f -> Schema -> Declare (Definitions Schema) NamedSchema
827gdeclareNamedSumSchema opts proxy s
693gdeclareNamedSumSchema opts proxy s
828 | allNullaryToStringTag opts && allNullary = pure $ unnamed (toStringTag sumSchema)
694 | allNullaryToStringTag opts && allNullary = pure $ unnamed (toStringTag sumSchema)
829 | otherwise = (unnamed . fst) <$> runWriterT declareSumSchema
695 | otherwise = (unnamed . fst) <$> runWriterT declareSumSchema
@@ -832,29 +698,29 @@ gdeclareNamedSumSchema opts proxy s
832 (sumSchema, All allNullary) = undeclare (runWriterT declareSumSchema)
698 (sumSchema, All allNullary) = undeclare (runWriterT declareSumSchema)
834 toStringTag schema = mempty
700 toStringTag schema = mempty
835− & type_ ?~ SwaggerString
701+ & type_ .~ SwaggerString
836 & enum_ ?~ map toJSON (schema ^.. properties.ifolded.asIndex)
702 & enum_ ?~ map toJSON (schema ^.. properties.ifolded.asIndex)
838type AllNullary = All
704type AllNullary = All
840−class GSumToSchema (f :: * -> *) where
706+class GSumToSchema f where
841− gsumToSchema :: SchemaOptions -> Proxy f -> Schema -> WriterT AllNullary (Declare (Definitions Schema)) Schema
707+ gsumToSchema :: SchemaOptions -> proxy f -> Schema -> WriterT AllNullary (Declare (Definitions Schema)) Schema
843instance (GSumToSchema f, GSumToSchema g) => GSumToSchema (f :+: g) where
709instance (GSumToSchema f, GSumToSchema g) => GSumToSchema (f :+: g) where
844 gsumToSchema opts _ = gsumToSchema opts (Proxy :: Proxy f) >=> gsumToSchema opts (Proxy :: Proxy g)
710 gsumToSchema opts _ = gsumToSchema opts (Proxy :: Proxy f) >=> gsumToSchema opts (Proxy :: Proxy g)
846−gsumConToSchemaWith :: forall c f. (GToSchema (C1 c f), Constructor c) =>
712+gsumConToSchemaWith :: forall c f proxy. (GToSchema (C1 c f), Constructor c) =>
847− Referenced Schema -> SchemaOptions -> Proxy (C1 c f) -> Schema -> Schema
713+ Referenced Schema -> SchemaOptions -> proxy (C1 c f) -> Schema -> Schema
848gsumConToSchemaWith ref opts _ schema = schema
714gsumConToSchemaWith ref opts _ schema = schema
849− & type_ ?~ SwaggerObject
715+ & type_ .~ SwaggerObject
850 & properties . at tag ?~ ref
716 & properties . at tag ?~ ref
851 & maxProperties ?~ 1
717 & maxProperties ?~ 1
852 & minProperties ?~ 1
718 & minProperties ?~ 1
854 tag = T.pack (constructorTagModifier opts (conName (Proxy3 :: Proxy3 c f p)))
720 tag = T.pack (constructorTagModifier opts (conName (Proxy3 :: Proxy3 c f p)))
856−gsumConToSchema :: (GToSchema (C1 c f), Constructor c) =>
722+gsumConToSchema :: forall c f proxy. (GToSchema (C1 c f), Constructor c) =>
857− SchemaOptions -> Proxy (C1 c f) -> Schema -> Declare (Definitions Schema) Schema
723+ SchemaOptions -> proxy (C1 c f) -> Schema -> Declare (Definitions Schema) Schema
858gsumConToSchema opts proxy schema = do
724gsumConToSchema opts proxy schema = do
859 ref <- gdeclareSchemaRef opts proxy
725 ref <- gdeclareSchemaRef opts proxy
860 return $ gsumConToSchemaWith ref opts proxy schema
726 return $ gsumConToSchemaWith ref opts proxy schema
@@ -876,7 +742,3 @@ data Proxy2 a b = Proxy2
877data Proxy3 a b c = Proxy3
743data Proxy3 a b c = Proxy3
880−-- >>> import Data.Swagger
881−-- >>> import Data.Aeson (encode)
882−-- >>> import Data.Aeson.Types (toJSONKeyText)