@@ -1,5 +1,4 @@
1{-# LANGUAGE CPP #-}
1{-# LANGUAGE CPP #-}
2−{-# LANGUAGE DataKinds #-}
3{-# LANGUAGE DeriveDataTypeable #-}
2{-# LANGUAGE DeriveDataTypeable #-}
4{-# LANGUAGE DeriveFunctor #-}
3{-# LANGUAGE DeriveFunctor #-}
5{-# LANGUAGE DeriveGeneric #-}
4{-# LANGUAGE DeriveGeneric #-}
@@ -12,66 +11,37 @@
12{-# LANGUAGE RecordWildCards #-}
11{-# LANGUAGE RecordWildCards #-}
13{-# LANGUAGE ScopedTypeVariables #-}
12{-# LANGUAGE ScopedTypeVariables #-}
14{-# LANGUAGE StandaloneDeriving #-}
13{-# LANGUAGE StandaloneDeriving #-}
15−{-# LANGUAGE TemplateHaskell #-}
16−{-# LANGUAGE TypeFamilies #-}
17{-# LANGUAGE UndecidableInstances #-}
14{-# LANGUAGE UndecidableInstances #-}
18−#if __GLASGOW_HASKELL__ <710
19−{-# LANGUAGE PolyKinds #-}
21#include "overlapping-compat.h"
15#include "overlapping-compat.h"
22module Data.Swagger.Internal where
16module Data.Swagger.Internal where
24import Prelude ()
18import Prelude ()
25import Prelude.Compat
19import Prelude.Compat
27−import Control.Lens ((&), (.~), (?~))
28import Control.Applicative
21import Control.Applicative
29import Data.Aeson
23import Data.Aeson
30import qualified Data.Aeson.Types as JSON
24import qualified Data.Aeson.Types as JSON
31import Data.Data (Data(..), Typeable, mkConstr, mkDataType, Fixity(..), Constr, DataType, constrIndex)
25import Data.Data (Data(..), Typeable, mkConstr, mkDataType, Fixity(..), Constr, DataType, constrIndex)
32−import Data.Hashable (Hashable)
26+import Data.HashMap.Strict (HashMap)
33import qualified Data.HashMap.Strict as HashMap
27import qualified Data.HashMap.Strict as HashMap
34−import Data.HashSet.InsOrd (InsOrdHashSet)
35import Data.Map (Map)
28import Data.Map (Map)
36import qualified Data.Map as Map
29import qualified Data.Map as Map
37−import Data.Monoid (Monoid (..))
30+import Data.Monoid
38−import Data.Semigroup.Compat (Semigroup (..))
39import Data.Scientific (Scientific)
31import Data.Scientific (Scientific)
40import Data.String (IsString(..))
33import Data.String (IsString(..))
41import Data.Text (Text)
34import Data.Text (Text)
42import qualified Data.Text as Text
35import qualified Data.Text as Text
43import GHC.Generics (Generic)
36import GHC.Generics (Generic)
44−import Network.Socket (HostName, PortNumber)
37+import Network (HostName, PortNumber)
45import Network.HTTP.Media (MediaType)
38import Network.HTTP.Media (MediaType)
46import Text.Read (readMaybe)
39import Text.Read (readMaybe)
48−import Data.HashMap.Strict.InsOrd (InsOrdHashMap)
49−import qualified Data.HashMap.Strict.InsOrd as InsOrdHashMap
51−import Generics.SOP.TH (deriveGeneric)
52−import Data.Swagger.Internal.AesonUtils (sopSwaggerGenericToJSON
53− ,sopSwaggerGenericToJSONWithOpts
54− ,sopSwaggerGenericParseJSON
55− ,HasSwaggerAesonOptions(..)
56− ,AesonDefaultValue(..)
57− ,mkSwaggerAesonOptions
60import Data.Swagger.Internal.Utils
41import Data.Swagger.Internal.Utils
62−#if MIN_VERSION_aeson(0,10,0)
63−import Data.Swagger.Internal.AesonUtils (sopSwaggerGenericToEncoding)
64−#define DEFINE_TOENCODING toEncoding = sopSwaggerGenericToEncoding
66−#define DEFINE_TOENCODING
70−-- >>> :seti -XDataKinds
71−-- >>> import Data.Aeson
73-- | A list of definitions that can be used in references.
43-- | A list of definitions that can be used in references.
74−type Definitions = InsOrdHashMap Text
44+type Definitions = HashMap Text
76-- | This is the root document object for the API specification.
46-- | This is the root document object for the API specification.
77data Swagger = Swagger
47data Swagger = Swagger
@@ -103,7 +73,7 @@ data Swagger = Swagger
103 -- | The available paths and operations for the API.
73 -- | The available paths and operations for the API.
104 -- Holds the relative paths to the individual endpoints.
74 -- Holds the relative paths to the individual endpoints.
105 -- The path is appended to the @'basePath'@ in order to construct the full URL.
75 -- The path is appended to the @'basePath'@ in order to construct the full URL.
106− , _swaggerPaths :: InsOrdHashMap FilePath PathItem
76+ , _swaggerPaths :: HashMap FilePath PathItem
108 -- | An object to hold data types produced and consumed by operations.
78 -- | An object to hold data types produced and consumed by operations.
109 , _swaggerDefinitions :: Definitions Schema
79 , _swaggerDefinitions :: Definitions Schema
@@ -117,7 +87,7 @@ data Swagger = Swagger
117 , _swaggerResponses :: Definitions Response
87 , _swaggerResponses :: Definitions Response
119 -- | Security scheme definitions that can be used across the specification.
89 -- | Security scheme definitions that can be used across the specification.
120− , _swaggerSecurityDefinitions :: SecurityDefinitions
90+ , _swaggerSecurityDefinitions :: Definitions SecurityScheme
122 -- | A declaration of which security schemes are applied for the API as a whole.
92 -- | A declaration of which security schemes are applied for the API as a whole.
123 -- The list of values describes alternative security schemes that can be used
93 -- The list of values describes alternative security schemes that can be used
@@ -130,7 +100,7 @@ data Swagger = Swagger
130 -- Not all tags that are used by the Operation Object must be declared.
100 -- Not all tags that are used by the Operation Object must be declared.
131 -- The tags that are not declared may be organized randomly or based on the tools' logic.
101 -- The tags that are not declared may be organized randomly or based on the tools' logic.
132 -- Each tag name in the list MUST be unique.
102 -- Each tag name in the list MUST be unique.
133− , _swaggerTags :: InsOrdHashSet Tag
103+ , _swaggerTags :: Set Tag
135 -- | Additional external documentation.
105 -- | Additional external documentation.
136 , _swaggerExternalDocs :: Maybe ExternalDocs
106 , _swaggerExternalDocs :: Maybe ExternalDocs
@@ -252,7 +222,7 @@ data PathItem = PathItem
252data Operation = Operation
222data Operation = Operation
253 { -- | A list of tags for API documentation control.
223 { -- | A list of tags for API documentation control.
254 -- Tags can be used for logical grouping of operations by resources or any other qualifier.
224 -- Tags can be used for logical grouping of operations by resources or any other qualifier.
255− _operationTags :: InsOrdHashSet TagName
225+ _operationTags :: Set TagName
257 -- | A short summary of what the operation does.
227 -- | A short summary of what the operation does.
258 -- For maximum readability in the swagger-ui, this field SHOULD be less than 120 characters.
228 -- For maximum readability in the swagger-ui, this field SHOULD be less than 120 characters.
@@ -309,7 +279,7 @@ data Operation = Operation
309 } deriving (Eq, Show, Generic, Data, Typeable)
279 } deriving (Eq, Show, Generic, Data, Typeable)
311newtype MimeList = MimeList { getMimeList :: [MediaType] }
281newtype MimeList = MimeList { getMimeList :: [MediaType] }
312− deriving (Eq, Show, Semigroup, Monoid, Typeable)
282+ deriving (Eq, Show, Monoid, Typeable)
314mimeListConstr :: Constr
284mimeListConstr :: Constr
315mimeListConstr = mkConstr mimeListDataType "MimeList" ["getMimeList"] Prefix
285mimeListConstr = mkConstr mimeListDataType "MimeList" ["getMimeList"] Prefix
@@ -360,8 +330,8 @@ data ParamOtherSchema = ParamOtherSchema
360 -- Default value is @False@.
330 -- Default value is @False@.
361 , _paramOtherSchemaAllowEmptyValue :: Maybe Bool
331 , _paramOtherSchemaAllowEmptyValue :: Maybe Bool
363− , _paramOtherSchemaParamSchema :: ParamSchema 'SwaggerKindParamOtherSchema
333+ , _paramOtherSchemaParamSchema :: ParamSchema ParamOtherSchema
364− } deriving (Eq, Show, Generic, Typeable, Data)
334+ } deriving (Eq, Show, Generic, Data, Typeable)
366-- | Items for @'SwaggerArray'@ schemas.
336-- | Items for @'SwaggerArray'@ schemas.
@@ -374,9 +344,9 @@ data ParamOtherSchema = ParamOtherSchema
375-- @'SwaggerItemsArray'@ should be used to specify tuple @'Schema'@s.
345-- @'SwaggerItemsArray'@ should be used to specify tuple @'Schema'@s.
376data SwaggerItems t where
346data SwaggerItems t where
377− SwaggerItemsPrimitive :: Maybe (CollectionFormat k) -> ParamSchema k-> SwaggerItems k
347+ SwaggerItemsPrimitive :: Maybe (CollectionFormat t) -> ParamSchema t -> SwaggerItems t
378− SwaggerItemsObject :: Referenced Schema -> SwaggerItems 'SwaggerKindSchema
348+ SwaggerItemsObject :: Referenced Schema -> SwaggerItems Schema
379− SwaggerItemsArray :: [Referenced Schema] -> SwaggerItems 'SwaggerKindSchema
349+ SwaggerItemsArray :: [Referenced Schema] -> SwaggerItems Schema
380 deriving (Typeable)
350 deriving (Typeable)
382deriving instance Eq (SwaggerItems t)
352deriving instance Eq (SwaggerItems t)
@@ -386,66 +356,17 @@ deriving instance Show (SwaggerItems t)
386swaggerItemsPrimitiveConstr :: Constr
356swaggerItemsPrimitiveConstr :: Constr
387swaggerItemsPrimitiveConstr = mkConstr swaggerItemsDataType "SwaggerItemsPrimitive" [] Prefix
357swaggerItemsPrimitiveConstr = mkConstr swaggerItemsDataType "SwaggerItemsPrimitive" [] Prefix
389−swaggerItemsObjectConstr :: Constr
390−swaggerItemsObjectConstr = mkConstr swaggerItemsDataType "SwaggerItemsObject" [] Prefix
392−swaggerItemsArrayConstr :: Constr
393−swaggerItemsArrayConstr = mkConstr swaggerItemsDataType "SwaggerItemsArray" [] Prefix
395swaggerItemsDataType :: DataType
359swaggerItemsDataType :: DataType
396swaggerItemsDataType = mkDataType "Data.Swagger.SwaggerItems" [swaggerItemsPrimitiveConstr]
360swaggerItemsDataType = mkDataType "Data.Swagger.SwaggerItems" [swaggerItemsPrimitiveConstr]
398−-- Note: unfortunately we have to write these Data instances by hand,
399−-- to get better contexts / avoid duplicate name when using standalone deriving
401−instance Data t => Data (SwaggerItems ('SwaggerKindNormal t)) where
362+instance OVERLAPPABLE_ Data t => Data (SwaggerItems t) where
402− -- TODO: define gfoldl
403 gunfold k z c = case constrIndex c of
363 gunfold k z c = case constrIndex c of
404 1 -> k (k (z SwaggerItemsPrimitive))
364 1 -> k (k (z SwaggerItemsPrimitive))
405 _ -> error $ "Data.Data.gunfold: Constructor " ++ show c ++ " is not of type (SwaggerItems t)."
365 _ -> error $ "Data.Data.gunfold: Constructor " ++ show c ++ " is not of type (SwaggerItems t)."
406 toConstr _ = swaggerItemsPrimitiveConstr
366 toConstr _ = swaggerItemsPrimitiveConstr
407 dataTypeOf _ = swaggerItemsDataType
367 dataTypeOf _ = swaggerItemsDataType
409−-- SwaggerItems SwaggerKindParamOtherSchema can be constructed using SwaggerItemsPrimitive only
410−instance Data (SwaggerItems 'SwaggerKindParamOtherSchema) where
369+deriving instance Data (SwaggerItems Schema)
411− -- TODO: define gfoldl
412− gunfold k z c = case constrIndex c of
413− 1 -> k (k (z SwaggerItemsPrimitive))
414− _ -> error $ "Data.Data.gunfold: Constructor " ++ show c ++ " is not of type (SwaggerItems SwaggerKindParamOtherSchema)."
415− toConstr _ = swaggerItemsPrimitiveConstr
416− dataTypeOf _ = swaggerItemsDataType
418−instance Data (SwaggerItems 'SwaggerKindSchema) where
419− gfoldl _ _ (SwaggerItemsPrimitive _ _) = error $ " Data.Data.gfoldl: Constructor SwaggerItemsPrimitive used to construct SwaggerItems SwaggerKindSchema"
420− gfoldl k z (SwaggerItemsObject ref) = z SwaggerItemsObject `k` ref
421− gfoldl k z (SwaggerItemsArray ref) = z SwaggerItemsArray `k` ref
423− gunfold k z c = case constrIndex c of
424− 2 -> k (z SwaggerItemsObject)
425− 3 -> k (z SwaggerItemsArray)
426− _ -> error $ "Data.Data.gunfold: Constructor " ++ show c ++ " is not of type (SwaggerItems SwaggerKindSchema)."
428− toConstr (SwaggerItemsPrimitive _ _) = error "Not supported"
429− toConstr (SwaggerItemsObject _) = swaggerItemsObjectConstr
430− toConstr (SwaggerItemsArray _) = swaggerItemsArrayConstr
432− dataTypeOf _ = swaggerItemsDataType
434−-- | Type used as a kind to avoid overlapping instances.
436− = SwaggerKindNormal t
437− | SwaggerKindParamOtherSchema
441−deriving instance Typeable 'SwaggerKindNormal
442−deriving instance Typeable 'SwaggerKindParamOtherSchema
443−deriving instance Typeable 'SwaggerKindSchema
445−type family SwaggerKindType (k :: SwaggerKind *) :: *
446−type instance SwaggerKindType ('SwaggerKindNormal t) = t
447−type instance SwaggerKindType 'SwaggerKindSchema = Schema
448−type instance SwaggerKindType 'SwaggerKindParamOtherSchema = ParamOtherSchema
450data SwaggerType t where
371data SwaggerType t where
451 SwaggerString :: SwaggerType t
372 SwaggerString :: SwaggerType t
@@ -453,9 +374,9 @@ data SwaggerType t where
453 SwaggerInteger :: SwaggerType t
374 SwaggerInteger :: SwaggerType t
454 SwaggerBoolean :: SwaggerType t
375 SwaggerBoolean :: SwaggerType t
455 SwaggerArray :: SwaggerType t
376 SwaggerArray :: SwaggerType t
456− SwaggerFile :: SwaggerType 'SwaggerKindParamOtherSchema
377+ SwaggerFile :: SwaggerType ParamOtherSchema
457− SwaggerNull :: SwaggerType 'SwaggerKindSchema
378+ SwaggerNull :: SwaggerType Schema
458− SwaggerObject :: SwaggerType 'SwaggerKindSchema
379+ SwaggerObject :: SwaggerType Schema
459 deriving (Typeable)
380 deriving (Typeable)
461deriving instance Eq (SwaggerType t)
382deriving instance Eq (SwaggerType t)
@@ -464,33 +385,33 @@ deriving instance Show (SwaggerType t)
464swaggerTypeConstr :: Data (SwaggerType t) => SwaggerType t -> Constr
385swaggerTypeConstr :: Data (SwaggerType t) => SwaggerType t -> Constr
465swaggerTypeConstr t = mkConstr (dataTypeOf t) (show t) [] Prefix
386swaggerTypeConstr t = mkConstr (dataTypeOf t) (show t) [] Prefix
467−swaggerTypeDataType :: {- Data (SwaggerType t) => -} SwaggerType t -> DataType
388+swaggerTypeDataType :: Data (SwaggerType t) => SwaggerType t -> DataType
468swaggerTypeDataType _ = mkDataType "Data.Swagger.SwaggerType" swaggerTypeConstrs
389swaggerTypeDataType _ = mkDataType "Data.Swagger.SwaggerType" swaggerTypeConstrs
470−swaggerCommonTypes :: [SwaggerType k]
391+swaggerCommonTypes :: [SwaggerType t]
471swaggerCommonTypes = [SwaggerString, SwaggerNumber, SwaggerInteger, SwaggerBoolean, SwaggerArray]
392swaggerCommonTypes = [SwaggerString, SwaggerNumber, SwaggerInteger, SwaggerBoolean, SwaggerArray]
473−swaggerParamTypes :: [SwaggerType 'SwaggerKindParamOtherSchema]
394+swaggerParamTypes :: [SwaggerType ParamOtherSchema]
474swaggerParamTypes = swaggerCommonTypes ++ [SwaggerFile]
395swaggerParamTypes = swaggerCommonTypes ++ [SwaggerFile]
476−swaggerSchemaTypes :: [SwaggerType 'SwaggerKindSchema]
397+swaggerSchemaTypes :: [SwaggerType Schema]
477swaggerSchemaTypes = swaggerCommonTypes ++ [error "SwaggerFile is invalid SwaggerType Schema", SwaggerNull, SwaggerObject]
398swaggerSchemaTypes = swaggerCommonTypes ++ [error "SwaggerFile is invalid SwaggerType Schema", SwaggerNull, SwaggerObject]
479swaggerTypeConstrs :: [Constr]
400swaggerTypeConstrs :: [Constr]
480−swaggerTypeConstrs = map swaggerTypeConstr (swaggerCommonTypes :: [SwaggerType 'SwaggerKindSchema])
401+swaggerTypeConstrs = map swaggerTypeConstr (swaggerCommonTypes :: [SwaggerType Schema])
481 ++ [swaggerTypeConstr SwaggerFile, swaggerTypeConstr SwaggerNull, swaggerTypeConstr SwaggerObject]
402 ++ [swaggerTypeConstr SwaggerFile, swaggerTypeConstr SwaggerNull, swaggerTypeConstr SwaggerObject]
483−instance Typeable t => Data (SwaggerType ('SwaggerKindNormal t)) where
404+instance OVERLAPPABLE_ Typeable t => Data (SwaggerType t) where
484 gunfold = gunfoldEnum "SwaggerType" swaggerCommonTypes
405 gunfold = gunfoldEnum "SwaggerType" swaggerCommonTypes
485 toConstr = swaggerTypeConstr
406 toConstr = swaggerTypeConstr
486 dataTypeOf = swaggerTypeDataType
407 dataTypeOf = swaggerTypeDataType
488−instance Data (SwaggerType 'SwaggerKindParamOtherSchema) where
409+instance OVERLAPPABLE_ Data (SwaggerType ParamOtherSchema) where
489 gunfold = gunfoldEnum "SwaggerType ParamOtherSchema" swaggerParamTypes
410 gunfold = gunfoldEnum "SwaggerType ParamOtherSchema" swaggerParamTypes
490 toConstr = swaggerTypeConstr
411 toConstr = swaggerTypeConstr
491 dataTypeOf = swaggerTypeDataType
412 dataTypeOf = swaggerTypeDataType
493−instance Data (SwaggerType 'SwaggerKindSchema) where
414+instance OVERLAPPABLE_ Data (SwaggerType Schema) where
494 gunfold = gunfoldEnum "SwaggerType Schema" swaggerSchemaTypes
415 gunfold = gunfoldEnum "SwaggerType Schema" swaggerSchemaTypes
495 toConstr = swaggerTypeConstr
416 toConstr = swaggerTypeConstr
496 dataTypeOf = swaggerTypeDataType
417 dataTypeOf = swaggerTypeDataType
@@ -530,7 +451,7 @@ data CollectionFormat t where
530 -- Corresponds to multiple parameter instances
451 -- Corresponds to multiple parameter instances
531 -- instead of multiple values for a single instance @foo=bar&foo=baz@.
452 -- instead of multiple values for a single instance @foo=bar&foo=baz@.
532 -- This is valid only for parameters in @'ParamQuery'@ or @'ParamFormData'@.
453 -- This is valid only for parameters in @'ParamQuery'@ or @'ParamFormData'@.
533− CollectionMulti :: CollectionFormat 'SwaggerKindParamOtherSchema
454+ CollectionMulti :: CollectionFormat ParamOtherSchema
534 deriving (Typeable)
455 deriving (Typeable)
536deriving instance Eq (CollectionFormat t)
457deriving instance Eq (CollectionFormat t)
@@ -546,12 +467,12 @@ collectionFormatDataType = mkDataType "Data.Swagger.CollectionFormat" $
546collectionCommonFormats :: [CollectionFormat t]
467collectionCommonFormats :: [CollectionFormat t]
547collectionCommonFormats = [ CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes ]
468collectionCommonFormats = [ CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes ]
549−instance Data t => Data (CollectionFormat ('SwaggerKindNormal t)) where
470+instance OVERLAPPABLE_ Data t => Data (CollectionFormat t) where
550 gunfold = gunfoldEnum "CollectionFormat" collectionCommonFormats
471 gunfold = gunfoldEnum "CollectionFormat" collectionCommonFormats
551 toConstr = collectionFormatConstr
472 toConstr = collectionFormatConstr
552 dataTypeOf _ = collectionFormatDataType
473 dataTypeOf _ = collectionFormatDataType
554−deriving instance Data (CollectionFormat 'SwaggerKindParamOtherSchema)
475+deriving instance OVERLAPPABLE_ Data (CollectionFormat ParamOtherSchema)
556type ParamName = Text
477type ParamName = Text
@@ -560,9 +481,9 @@ data Schema = Schema
560 , _schemaDescription :: Maybe Text
481 , _schemaDescription :: Maybe Text
561 , _schemaRequired :: [ParamName]
482 , _schemaRequired :: [ParamName]
563− , _schemaAllOf :: Maybe [Referenced Schema]
484+ , _schemaAllOf :: Maybe [Schema]
564− , _schemaProperties :: InsOrdHashMap Text (Referenced Schema)
485+ , _schemaProperties :: HashMap Text (Referenced Schema)
565− , _schemaAdditionalProperties :: Maybe AdditionalProperties
486+ , _schemaAdditionalProperties :: Maybe Schema
567 , _schemaDiscriminator :: Maybe Text
488 , _schemaDiscriminator :: Maybe Text
568 , _schemaReadOnly :: Maybe Bool
489 , _schemaReadOnly :: Maybe Bool
@@ -573,7 +494,7 @@ data Schema = Schema
573 , _schemaMaxProperties :: Maybe Integer
494 , _schemaMaxProperties :: Maybe Integer
574 , _schemaMinProperties :: Maybe Integer
495 , _schemaMinProperties :: Maybe Integer
576− , _schemaParamSchema :: ParamSchema 'SwaggerKindSchema
497+ , _schemaParamSchema :: ParamSchema Schema
577 } deriving (Eq, Show, Generic, Data, Typeable)
498 } deriving (Eq, Show, Generic, Data, Typeable)
579-- | A @'Schema'@ with an optional name.
500-- | A @'Schema'@ with an optional name.
@@ -586,7 +507,7 @@ data NamedSchema = NamedSchema
586-- | Regex pattern for @string@ type.
507-- | Regex pattern for @string@ type.
587type Pattern = Text
508type Pattern = Text
589−data ParamSchema (t :: SwaggerKind *) = ParamSchema
510+data ParamSchema t = ParamSchema
590 { -- | Declares the value of the parameter that the server will use if none is provided,
511 { -- | Declares the value of the parameter that the server will use if none is provided,
591 -- for example a @"count"@ to control the number of results per page might default to @100@
512 -- for example a @"count"@ to control the number of results per page might default to @100@
592 -- if not supplied by the client in the request.
513 -- if not supplied by the client in the request.
@@ -594,7 +515,7 @@ data ParamSchema (t :: SwaggerKind *) = ParamSchema
594 -- Unlike JSON Schema this value MUST conform to the defined type for this parameter.
515 -- Unlike JSON Schema this value MUST conform to the defined type for this parameter.
595 _paramSchemaDefault :: Maybe Value
516 _paramSchemaDefault :: Maybe Value
597− , _paramSchemaType :: Maybe (SwaggerType t)
518+ , _paramSchemaType :: SwaggerType t
598 , _paramSchemaFormat :: Maybe Format
519 , _paramSchemaFormat :: Maybe Format
599 , _paramSchemaItems :: Maybe (SwaggerItems t)
520 , _paramSchemaItems :: Maybe (SwaggerItems t)
600 , _paramSchemaMaximum :: Maybe Scientific
521 , _paramSchemaMaximum :: Maybe Scientific
@@ -611,7 +532,7 @@ data ParamSchema (t :: SwaggerKind *) = ParamSchema
611 , _paramSchemaMultipleOf :: Maybe Scientific
532 , _paramSchemaMultipleOf :: Maybe Scientific
612 } deriving (Eq, Show, Generic, Typeable)
533 } deriving (Eq, Show, Generic, Typeable)
614−deriving instance (Typeable k, Data (Maybe (SwaggerType k)), Data (SwaggerItems k)) => Data (ParamSchema k)
535+deriving instance (Data t, Data (SwaggerType t), Data (SwaggerItems t)) => Data (ParamSchema t)
616data Xml = Xml
537data Xml = Xml
617 { -- | Replaces the name of the element/attribute used for the described schema property.
538 { -- | Replaces the name of the element/attribute used for the described schema property.
@@ -653,7 +574,7 @@ data Responses = Responses
654 -- | Any HTTP status code can be used as the property name (one property per HTTP status code).
575 -- | Any HTTP status code can be used as the property name (one property per HTTP status code).
655 -- Describes the expected response for those HTTP status codes.
576 -- Describes the expected response for those HTTP status codes.
656− , _responsesResponses :: InsOrdHashMap HttpStatusCode (Referenced Response)
577+ , _responsesResponses :: HashMap HttpStatusCode (Referenced Response)
657 } deriving (Eq, Show, Generic, Data, Typeable)
578 } deriving (Eq, Show, Generic, Data, Typeable)
659type HttpStatusCode = Int
580type HttpStatusCode = Int
@@ -672,7 +593,7 @@ data Response = Response
672 , _responseSchema :: Maybe (Referenced Schema)
593 , _responseSchema :: Maybe (Referenced Schema)
674 -- | A list of headers that are sent with the response.
595 -- | A list of headers that are sent with the response.
675− , _responseHeaders :: InsOrdHashMap HeaderName Header
596+ , _responseHeaders :: HashMap HeaderName Header
677 -- | An example of the response message.
598 -- | An example of the response message.
678 , _responseExamples :: Maybe Example
599 , _responseExamples :: Maybe Example
@@ -687,7 +608,7 @@ data Header = Header
687 { -- | A short description of the header.
608 { -- | A short description of the header.
688 _headerDescription :: Maybe Text
609 _headerDescription :: Maybe Text
690− , _headerParamSchema :: ParamSchema ('SwaggerKindNormal Header)
611+ , _headerParamSchema :: ParamSchema Header
691 } deriving (Eq, Show, Generic, Data, Typeable)
612 } deriving (Eq, Show, Generic, Data, Typeable)
693data Example = Example { getExample :: Map MediaType Value }
614data Example = Example { getExample :: Map MediaType Value }
@@ -738,7 +659,7 @@ data OAuth2Params = OAuth2Params
738 _oauth2Flow :: OAuth2Flow
659 _oauth2Flow :: OAuth2Flow
740 -- | The available scopes for the OAuth2 security scheme.
661 -- | The available scopes for the OAuth2 security scheme.
741− , _oauth2Scopes :: InsOrdHashMap Text Text
662+ , _oauth2Scopes :: HashMap Text Text
742 } deriving (Eq, Show, Generic, Data, Typeable)
663 } deriving (Eq, Show, Generic, Data, Typeable)
744data SecuritySchemeType
665data SecuritySchemeType
@@ -755,28 +676,12 @@ data SecurityScheme = SecurityScheme
755 , _securitySchemeDescription :: Maybe Text
676 , _securitySchemeDescription :: Maybe Text
756 } deriving (Eq, Show, Generic, Data, Typeable)
677 } deriving (Eq, Show, Generic, Data, Typeable)
759−-- | merge scopes of two OAuth2 security schemes when their flows are identical.
760−-- In other case returns first security scheme
761−mergeSecurityScheme :: SecurityScheme -> SecurityScheme -> SecurityScheme
762−mergeSecurityScheme s1@(SecurityScheme (SecuritySchemeOAuth2 (OAuth2Params flow1 scopes1)) desc)
763− s2@(SecurityScheme (SecuritySchemeOAuth2 (OAuth2Params flow2 scopes2)) _)
764− = if flow1 == flow2 then
765− SecurityScheme (SecuritySchemeOAuth2 (OAuth2Params flow1 (scopes1 <> scopes2))) desc
768−mergeSecurityScheme s1 _ = s1
770−newtype SecurityDefinitions
771− = SecurityDefinitions (Definitions SecurityScheme)
772− deriving (Eq, Show, Generic, Data, Typeable)
774-- | Lists the required security schemes to execute this operation.
679-- | Lists the required security schemes to execute this operation.
775-- The object can have multiple security schemes declared in it which are all required
680-- The object can have multiple security schemes declared in it which are all required
776-- (that is, there is a logical AND between the schemes).
681-- (that is, there is a logical AND between the schemes).
777newtype SecurityRequirement = SecurityRequirement
682newtype SecurityRequirement = SecurityRequirement
778− { getSecurityRequirement :: InsOrdHashMap Text [Text]
683+ { getSecurityRequirement :: HashMap Text [Text]
779− } deriving (Eq, Read, Show, Semigroup, Monoid, ToJSON, FromJSON, Data, Typeable)
684+ } deriving (Eq, Read, Show, Monoid, ToJSON, FromJSON, Data, Typeable)
781-- | Tag name.
686-- | Tag name.
782type TagName = Text
687type TagName = Text
@@ -795,8 +700,6 @@ data Tag = Tag
795 , _tagExternalDocs :: Maybe ExternalDocs
700 , _tagExternalDocs :: Maybe ExternalDocs
796 } deriving (Eq, Ord, Show, Generic, Data, Typeable)
701 } deriving (Eq, Ord, Show, Generic, Data, Typeable)
798−instance Hashable Tag
800instance IsString Tag where
703instance IsString Tag where
801 fromString s = Tag (fromString s) Nothing Nothing
704 fromString s = Tag (fromString s) Nothing Nothing
@@ -810,8 +713,6 @@ data ExternalDocs = ExternalDocs
810 , _externalDocsUrl :: URL
713 , _externalDocsUrl :: URL
811 } deriving (Eq, Ord, Show, Generic, Data, Typeable)
714 } deriving (Eq, Ord, Show, Generic, Data, Typeable)
813−instance Hashable ExternalDocs
815-- | A simple object to allow referencing other definitions in the specification.
716-- | A simple object to allow referencing other definitions in the specification.
816-- It can be used to reference parameters and responses that are defined at the top level for reuse.
717-- It can be used to reference parameters and responses that are defined at the top level for reuse.
817newtype Reference = Reference { getReference :: Text }
718newtype Reference = Reference { getReference :: Text }
@@ -825,111 +726,67 @@ data Referenced a
825instance IsString a => IsString (Referenced a) where
726instance IsString a => IsString (Referenced a) where
826 fromString = Inline . fromString
727 fromString = Inline . fromString
828−newtype URL = URL { getUrl :: Text } deriving (Eq, Ord, Show, Hashable, ToJSON, FromJSON, Data, Typeable)
729+newtype URL = URL { getUrl :: Text } deriving (Eq, Ord, Show, ToJSON, FromJSON, Data, Typeable)
830−data AdditionalProperties
831− = AdditionalPropertiesAllowed Bool
832− | AdditionalPropertiesSchema (Referenced Schema)
833− deriving (Eq, Show, Data, Typeable)
835-- =======================================================================
731-- =======================================================================
836-- Monoid instances
732-- Monoid instances
837-- =======================================================================
733-- =======================================================================
839−instance Semigroup Swagger where
840− (<>) = genericMappend
841instance Monoid Swagger where
735instance Monoid Swagger where
842 mempty = genericMempty
736 mempty = genericMempty
843− mappend = (<>)
737+ mappend = genericMappend
845−instance Semigroup Info where
846− (<>) = genericMappend
847instance Monoid Info where
739instance Monoid Info where
848 mempty = genericMempty
740 mempty = genericMempty
849− mappend = (<>)
741+ mappend = genericMappend
851−instance Semigroup Contact where
852− (<>) = genericMappend
853instance Monoid Contact where
743instance Monoid Contact where
854 mempty = genericMempty
744 mempty = genericMempty
855− mappend = (<>)
745+ mappend = genericMappend
857−instance Semigroup PathItem where
858− (<>) = genericMappend
859instance Monoid PathItem where
747instance Monoid PathItem where
860 mempty = genericMempty
748 mempty = genericMempty
861− mappend = (<>)
749+ mappend = genericMappend
863−instance Semigroup Schema where
864− (<>) = genericMappend
865instance Monoid Schema where
751instance Monoid Schema where
866 mempty = genericMempty
752 mempty = genericMempty
867− mappend = (<>)
753+ mappend = genericMappend
869−instance Semigroup (ParamSchema t) where
870− (<>) = genericMappend
871instance Monoid (ParamSchema t) where
755instance Monoid (ParamSchema t) where
872 mempty = genericMempty
756 mempty = genericMempty
873− mappend = (<>)
757+ mappend = genericMappend
875−instance Semigroup Param where
876− (<>) = genericMappend
877instance Monoid Param where
759instance Monoid Param where
878 mempty = genericMempty
760 mempty = genericMempty
879− mappend = (<>)
761+ mappend = genericMappend
881−instance Semigroup ParamOtherSchema where
882− (<>) = genericMappend
883instance Monoid ParamOtherSchema where
763instance Monoid ParamOtherSchema where
884 mempty = genericMempty
764 mempty = genericMempty
885− mappend = (<>)
765+ mappend = genericMappend
887−instance Semigroup Header where
888− (<>) = genericMappend
889instance Monoid Header where
767instance Monoid Header where
890 mempty = genericMempty
768 mempty = genericMempty
891− mappend = (<>)
769+ mappend = genericMappend
893−instance Semigroup Responses where
894− (<>) = genericMappend
895instance Monoid Responses where
771instance Monoid Responses where
896 mempty = genericMempty
772 mempty = genericMempty
897− mappend = (<>)
773+ mappend = genericMappend
899−instance Semigroup Response where
900− (<>) = genericMappend
901instance Monoid Response where
775instance Monoid Response where
902 mempty = genericMempty
776 mempty = genericMempty
903− mappend = (<>)
777+ mappend = genericMappend
905−instance Semigroup ExternalDocs where
906− (<>) = genericMappend
907instance Monoid ExternalDocs where
779instance Monoid ExternalDocs where
908 mempty = genericMempty
780 mempty = genericMempty
909− mappend = (<>)
781+ mappend = genericMappend
911−instance Semigroup Operation where
912− (<>) = genericMappend
913instance Monoid Operation where
783instance Monoid Operation where
914 mempty = genericMempty
784 mempty = genericMempty
915− mappend = (<>)
785+ mappend = genericMappend
917−instance Semigroup Example where
918− (<>) = genericMappend
919instance Monoid Example where
787instance Monoid Example where
920 mempty = genericMempty
788 mempty = genericMempty
921− mappend = (<>)
789+ mappend = genericMappend
923−instance Semigroup SecurityScheme where
924− (<>) = mergeSecurityScheme
926−instance Semigroup SecurityDefinitions where
927− (SecurityDefinitions sd1) <> (SecurityDefinitions sd2) =
928− SecurityDefinitions $ InsOrdHashMap.unionWith (<>) sd1 sd2
930−instance Monoid SecurityDefinitions where
931− mempty = SecurityDefinitions $ InsOrdHashMap.empty
934-- =======================================================================
791-- =======================================================================
935-- SwaggerMonoid helper instances
792-- SwaggerMonoid helper instances
@@ -945,8 +802,6 @@ instance SwaggerMonoid Responses
945instance SwaggerMonoid Response
802instance SwaggerMonoid Response
946instance SwaggerMonoid ExternalDocs
803instance SwaggerMonoid ExternalDocs
947instance SwaggerMonoid Operation
804instance SwaggerMonoid Operation
948−instance SwaggerMonoid SecurityDefinitions
949−instance (Eq a, Hashable a) => SwaggerMonoid (InsOrdHashSet a)
951instance SwaggerMonoid MimeList
806instance SwaggerMonoid MimeList
952deriving instance SwaggerMonoid URL
807deriving instance SwaggerMonoid URL
@@ -959,13 +814,13 @@ instance SwaggerMonoid ParamLocation where
959 swaggerMempty = ParamQuery
814 swaggerMempty = ParamQuery
960 swaggerMappend _ y = y
815 swaggerMappend _ y = y
962−instance OVERLAPPING_ SwaggerMonoid (InsOrdHashMap FilePath PathItem) where
817+instance OVERLAPPING_ SwaggerMonoid (HashMap FilePath PathItem) where
963− swaggerMempty = InsOrdHashMap.empty
818+ swaggerMempty = HashMap.empty
964− swaggerMappend = InsOrdHashMap.unionWith mappend
819+ swaggerMappend = HashMap.unionWith mappend
966instance Monoid a => SwaggerMonoid (Referenced a) where
821instance Monoid a => SwaggerMonoid (Referenced a) where
967 swaggerMempty = Inline mempty
822 swaggerMempty = Inline mempty
968− swaggerMappend (Inline x) (Inline y) = Inline (mappend x y)
823+ swaggerMappend (Inline x) (Inline y) = Inline (x <> y)
969 swaggerMappend _ y = y
824 swaggerMappend _ y = y
971instance SwaggerMonoid ParamAnySchema where
826instance SwaggerMonoid ParamAnySchema where
@@ -1059,8 +914,7 @@ instance ToJSON OAuth2Flow where
1059 , "tokenUrl" .= tokenUrl ]
914 , "tokenUrl" .= tokenUrl ]
1061instance ToJSON OAuth2Params where
916instance ToJSON OAuth2Params where
1062− toJSON = sopSwaggerGenericToJSON
917+ toJSON = omitEmpties . genericToJSONWithSub "flow" (jsonPrefix "oauth2")
1065instance ToJSON SecuritySchemeType where
919instance ToJSON SecuritySchemeType where
1066 toJSON SecuritySchemeBasic
920 toJSON SecuritySchemeBasic
@@ -1073,37 +927,28 @@ instance ToJSON SecuritySchemeType where
1073 <+> object [ "type" .= ("oauth2" :: Text) ]
927 <+> object [ "type" .= ("oauth2" :: Text) ]
1075instance ToJSON Swagger where
929instance ToJSON Swagger where
1076− toJSON = sopSwaggerGenericToJSON
930+ toJSON = omitEmpties . addVersion . genericToJSON (jsonPrefix "swagger")
1077− DEFINE_TOENCODING
931+ where
932+ addVersion (Object o) = Object (HashMap.insert "swagger" "2.0" o)
933+ addVersion _ = error "impossible"
1079instance ToJSON SecurityScheme where
935instance ToJSON SecurityScheme where
1080− toJSON = sopSwaggerGenericToJSON
936+ toJSON = genericToJSONWithSub "type" (jsonPrefix "securityScheme")
1083instance ToJSON Schema where
938instance ToJSON Schema where
1084− toJSON = sopSwaggerGenericToJSON
939+ toJSON = omitEmptiesExcept f . genericToJSONWithSub "paramSchema" (jsonPrefix "schema")
1085− DEFINE_TOENCODING
940+ where
941+ f "items" (Array _) = True
1087instance ToJSON Header where
944instance ToJSON Header where
1088− toJSON = sopSwaggerGenericToJSON
945+ toJSON = genericToJSONWithSub "paramSchema" (jsonPrefix "header")
1091−-- | As for nullary schema for 0-arity type constructors, see
1092−-- <https://github.com/GetShopTV/swagger2/issues/167>.
1094−-- >>> encode (SwaggerItemsArray [])
1095−-- "{\"example\":[],\"items\":{},\"maxItems\":0}"
1097−instance ToJSON (ParamSchema t) => ToJSON (SwaggerItems t) where
947+instance ToJSON (SwaggerItems t) where
1098 toJSON (SwaggerItemsPrimitive fmt schema) = object
948 toJSON (SwaggerItemsPrimitive fmt schema) = object
1099 [ "collectionFormat" .= fmt
949 [ "collectionFormat" .= fmt
1100 , "items" .= schema ]
950 , "items" .= schema ]
1101 toJSON (SwaggerItemsObject x) = object [ "items" .= x ]
951 toJSON (SwaggerItemsObject x) = object [ "items" .= x ]
1102− toJSON (SwaggerItemsArray []) = object
1103− [ "items" .= object []
1104− , "maxItems" .= (0 :: Int)
1105− , "example" .= Array mempty
1107 toJSON (SwaggerItemsArray x) = object [ "items" .= x ]
952 toJSON (SwaggerItemsArray x) = object [ "items" .= x ]
1109instance ToJSON Host where
954instance ToJSON Host where
@@ -1116,39 +961,31 @@ instance ToJSON MimeList where
1116 toJSON (MimeList xs) = toJSON (map show xs)
961 toJSON (MimeList xs) = toJSON (map show xs)
1118instance ToJSON Param where
963instance ToJSON Param where
1119− toJSON = sopSwaggerGenericToJSON
964+ toJSON = genericToJSONWithSub "schema" (jsonPrefix "param")
1122instance ToJSON ParamAnySchema where
966instance ToJSON ParamAnySchema where
1123 toJSON (ParamBody s) = object [ "in" .= ("body" :: Text), "schema" .= s ]
967 toJSON (ParamBody s) = object [ "in" .= ("body" :: Text), "schema" .= s ]
1124 toJSON (ParamOther s) = toJSON s
968 toJSON (ParamOther s) = toJSON s
1126instance ToJSON ParamOtherSchema where
970instance ToJSON ParamOtherSchema where
1127− toJSON = sopSwaggerGenericToJSON
971+ toJSON = genericToJSONWithSub "paramSchema" (jsonPrefix "paramOtherSchema")
1130instance ToJSON Responses where
973instance ToJSON Responses where
1131− toJSON = sopSwaggerGenericToJSON
974+ toJSON (Responses def rs) = omitEmpties $
1132− DEFINE_TOENCODING
975+ toJSON (hashMapMapKeys show rs) <+> object [ "default" .= def ]
1134instance ToJSON Response where
977instance ToJSON Response where
1135− toJSON = sopSwaggerGenericToJSON
978+ toJSON = omitEmpties . genericToJSON (jsonPrefix "response")
1138instance ToJSON Operation where
980instance ToJSON Operation where
1139− toJSON = sopSwaggerGenericToJSON
981+ toJSON = omitEmpties . genericToJSON (jsonPrefix "operation")
1142instance ToJSON PathItem where
983instance ToJSON PathItem where
1143− toJSON = sopSwaggerGenericToJSON
984+ toJSON = omitEmpties . genericToJSON (jsonPrefix "pathItem")
1146instance ToJSON Example where
986instance ToJSON Example where
1147 toJSON = toJSON . Map.mapKeys show . getExample
987 toJSON = toJSON . Map.mapKeys show . getExample
1149−instance ToJSON SecurityDefinitions where
1150− toJSON (SecurityDefinitions sd) = toJSON sd
1152instance ToJSON Reference where
989instance ToJSON Reference where
1153 toJSON (Reference ref) = object [ "$ref" .= ref ]
990 toJSON (Reference ref) = object [ "$ref" .= ref ]
@@ -1177,14 +1014,11 @@ instance ToJSON (CollectionFormat t) where
1177 toJSON CollectionPipes = "pipes"
1014 toJSON CollectionPipes = "pipes"
1178 toJSON CollectionMulti = "multi"
1015 toJSON CollectionMulti = "multi"
1180−instance ToJSON (ParamSchema k) where
1017+instance ToJSON (ParamSchema t) where
1181− -- TODO: this is a bit fishy, why we need sub object only in `ToJSON`?
1018+ toJSON = omitEmptiesExcept f . genericToJSONWithSub "items" (jsonPrefix "paramSchema")
1182− toJSON = sopSwaggerGenericToJSONWithOpts $
1019+ where
1183− mkSwaggerAesonOptions "paramSchema" & saoSubObject ?~ "items"
1020+ f "items" (Array _) = True
1185−instance ToJSON AdditionalProperties where
1186− toJSON (AdditionalPropertiesAllowed b) = toJSON b
1187− toJSON (AdditionalPropertiesSchema s) = toJSON s
1189-- =======================================================================
1023-- =======================================================================
1190-- Manual FromJSON instances
1024-- Manual FromJSON instances
@@ -1204,7 +1038,7 @@ instance FromJSON OAuth2Flow where
1204 parseJSON _ = empty
1038 parseJSON _ = empty
1206instance FromJSON OAuth2Params where
1040instance FromJSON OAuth2Params where
1207− parseJSON = sopSwaggerGenericParseJSON
1041+ parseJSON = genericParseJSONWithSub "flow" (jsonPrefix "oauth2")
1209instance FromJSON SecuritySchemeType where
1043instance FromJSON SecuritySchemeType where
1210 parseJSON js@(Object o) = do
1044 parseJSON js@(Object o) = do
@@ -1217,65 +1051,57 @@ instance FromJSON SecuritySchemeType where
1217 parseJSON _ = empty
1051 parseJSON _ = empty
1219instance FromJSON Swagger where
1053instance FromJSON Swagger where
1220− parseJSON = sopSwaggerGenericParseJSON
1054+ parseJSON js@(Object o) = do
1055+ (version :: Text) <- o .: "swagger"
1056+ when (version /= "2.0") empty
1057+ (genericParseJSON (jsonPrefix "swagger")
1058+ `withDefaults` [ "consumes" .= (mempty :: MimeList)
1059+ , "produces" .= (mempty :: MimeList)
1060+ , "security" .= ([] :: [SecurityRequirement])
1061+ , "tags" .= ([] :: [Tag])
1062+ , "definitions" .= (mempty :: Definitions Schema)
1063+ , "parameters" .= (mempty :: Definitions Param)
1064+ , "responses" .= (mempty :: Definitions Response)
1065+ , "securityDefinitions" .= (mempty :: Definitions SecurityScheme)
1067+ parseJSON _ = empty
1222instance FromJSON SecurityScheme where
1069instance FromJSON SecurityScheme where
1223− parseJSON = sopSwaggerGenericParseJSON
1070+ parseJSON = genericParseJSONWithSub "type" (jsonPrefix "securityScheme")
1225instance FromJSON Schema where
1072instance FromJSON Schema where
1226− parseJSON = fmap nullaryCleanup . sopSwaggerGenericParseJSON
1073+ parseJSON = genericParseJSONWithSub "paramSchema" (jsonPrefix "schema")
1227− where nullaryCleanup :: Schema -> Schema
1074+ `withDefaults` [ "properties" .= (mempty :: HashMap Text Schema)
1228− nullaryCleanup s@Schema{_schemaParamSchema=ps} =
1075+ , "required" .= ([] :: [ParamName]) ]
1229− if _paramSchemaItems ps == Just (SwaggerItemsArray [])
1230− then s { _schemaExample = Nothing
1231− , _schemaParamSchema = ps { _paramSchemaMaxItems = Nothing } }
1234instance FromJSON Header where
1077instance FromJSON Header where
1235− parseJSON = sopSwaggerGenericParseJSON
1078+ parseJSON = genericParseJSONWithSub "paramSchema" (jsonPrefix "header")
1237−instance (FromJSON (CollectionFormat ('SwaggerKindNormal t)), FromJSON (ParamSchema ('SwaggerKindNormal t))) => FromJSON (SwaggerItems ('SwaggerKindNormal t)) where
1080+instance OVERLAPPABLE_ (FromJSON (CollectionFormat t), FromJSON (ParamSchema t)) => FromJSON (SwaggerItems t) where
1238 parseJSON = withObject "SwaggerItemsPrimitive" $ \o -> SwaggerItemsPrimitive
1081 parseJSON = withObject "SwaggerItemsPrimitive" $ \o -> SwaggerItemsPrimitive
1239 <$> o .:? "collectionFormat"
1082 <$> o .:? "collectionFormat"
1240 <*> (o .: "items" >>= parseJSON)
1083 <*> (o .: "items" >>= parseJSON)
1242−instance FromJSON (SwaggerItems 'SwaggerKindParamOtherSchema) where
1243− parseJSON = withObject "SwaggerItemsPrimitive" $ \o -> SwaggerItemsPrimitive
1244− <$> o .:? "collectionFormat"
1245− <*> ((o .: "items" >>= parseJSON) <|> fail ("foo" ++ show o))
1249−-- >>> decode "{}" :: Maybe (SwaggerItems 'SwaggerKindSchema)
1250−-- Just (SwaggerItemsArray [])
1252−-- >>> eitherDecode "{\"$ref\":\"#/definitions/example\"}" :: Either String (SwaggerItems 'SwaggerKindSchema)
1253−-- Right (SwaggerItemsObject (Ref (Reference {getReference = "example"})))
1255−-- >>> eitherDecode "[{\"$ref\":\"#/definitions/example\"}]" :: Either String (SwaggerItems 'SwaggerKindSchema)
1256−-- Right (SwaggerItemsArray [Ref (Reference {getReference = "example"})])
1258−instance FromJSON (SwaggerItems 'SwaggerKindSchema) where
1085+instance OVERLAPPABLE_ FromJSON (SwaggerItems Schema) where
1259− parseJSON js@(Object obj)
1260− | null obj = pure $ SwaggerItemsArray [] -- Nullary schema.
1261− | otherwise = SwaggerItemsObject <$> parseJSON js
1086+ parseJSON js@(Object _) = SwaggerItemsObject <$> parseJSON js
1262 parseJSON js@(Array _) = SwaggerItemsArray <$> parseJSON js
1087 parseJSON js@(Array _) = SwaggerItemsArray <$> parseJSON js
1263 parseJSON _ = empty
1088 parseJSON _ = empty
1265instance FromJSON Host where
1090instance FromJSON Host where
1266− parseJSON (String s) = case map Text.unpack $ Text.split (== ':') s of
1091+ parseJSON (String s) =
1267− [host] -> return $ Host host Nothing
1092+ case fromInteger <$> readMaybe portStr of
1268− [host, port] -> case readMaybe port of
1093+ Nothing | not (null portStr) -> fail $ "Invalid port `" ++ portStr ++ "'"
1269− Nothing -> fail $ "Invalid port `" ++ port ++ "'"
1094+ mport -> pure $ Host host mport
1270− Just p -> return $ Host host (Just (fromInteger p))
1095+ where
1271− _ -> fail $ "Invalid host `" ++ Text.unpack s ++ "'"
1096+ (hostText, portText) = Text.breakOn ":" s
1097+ [host, portStr] = map Text.unpack [hostText, portText]
1272 parseJSON _ = empty
1098 parseJSON _ = empty
1274instance FromJSON MimeList where
1100instance FromJSON MimeList where
1275 parseJSON js = (MimeList . map fromString) <$> parseJSON js
1101 parseJSON js = (MimeList . map fromString) <$> parseJSON js
1277instance FromJSON Param where
1103instance FromJSON Param where
1278− parseJSON = sopSwaggerGenericParseJSON
1104+ parseJSON = genericParseJSONWithSub "schema" (jsonPrefix "param")
1280instance FromJSON ParamAnySchema where
1106instance FromJSON ParamAnySchema where
1281 parseJSON js@(Object o) = do
1107 parseJSON js@(Object o) = do
@@ -1288,12 +1114,12 @@ instance FromJSON ParamAnySchema where
1288 parseJSON _ = empty
1114 parseJSON _ = empty
1290instance FromJSON ParamOtherSchema where
1116instance FromJSON ParamOtherSchema where
1291− parseJSON = sopSwaggerGenericParseJSON
1117+ parseJSON = genericParseJSONWithSub "paramSchema" (jsonPrefix "paramOtherSchema")
1293instance FromJSON Responses where
1119instance FromJSON Responses where
1294 parseJSON (Object o) = Responses
1120 parseJSON (Object o) = Responses
1295 <$> o .:? "default"
1121 <$> o .:? "default"
1296− <*> (parseJSON (Object (HashMap.delete "default" o)))
1122+ <*> (parseJSON (Object (HashMap.delete "default" o)) >>= hashMapReadKeys)
1297 parseJSON _ = empty
1123 parseJSON _ = empty
1299instance FromJSON Example where
1125instance FromJSON Example where
@@ -1302,16 +1128,16 @@ instance FromJSON Example where
1302 pure $ Example (Map.mapKeys fromString m)
1128 pure $ Example (Map.mapKeys fromString m)
1304instance FromJSON Response where
1130instance FromJSON Response where
1305− parseJSON = sopSwaggerGenericParseJSON
1131+ parseJSON = genericParseJSON (jsonPrefix "response")
1132+ `withDefaults` [ "headers" .= (mempty :: HashMap HeaderName Header) ]
1307instance FromJSON Operation where
1134instance FromJSON Operation where
1308− parseJSON = sopSwaggerGenericParseJSON
1135+ parseJSON = genericParseJSON (jsonPrefix "operation")
1136+ `withDefaults` [ "security" .= ([] :: [SecurityRequirement]) ]
1310instance FromJSON PathItem where
1138instance FromJSON PathItem where
1311− parseJSON = sopSwaggerGenericParseJSON
1139+ parseJSON = genericParseJSON (jsonPrefix "pathItem")
1312−
1140+ `withDefaults` [ "parameters" .= ([] :: [Param]) ]
1313−instance FromJSON SecurityDefinitions where
1314− parseJSON js = SecurityDefinitions <$> parseJSON js
1316instance FromJSON Reference where
1142instance FromJSON Reference where
1317 parseJSON (Object o) = Reference <$> o .: "$ref"
1143 parseJSON (Object o) = Reference <$> o .: "$ref"
@@ -1337,91 +1163,26 @@ instance FromJSON (Referenced Response) where parseJSON = referencedParseJSON "#
1337instance FromJSON Xml where
1163instance FromJSON Xml where
1338 parseJSON = genericParseJSON (jsonPrefix "xml")
1164 parseJSON = genericParseJSON (jsonPrefix "xml")
1340−instance FromJSON (SwaggerType 'SwaggerKindSchema) where
1166+instance FromJSON (SwaggerType Schema) where
1341 parseJSON = parseOneOf [SwaggerString, SwaggerInteger, SwaggerNumber, SwaggerBoolean, SwaggerArray, SwaggerNull, SwaggerObject]
1167 parseJSON = parseOneOf [SwaggerString, SwaggerInteger, SwaggerNumber, SwaggerBoolean, SwaggerArray, SwaggerNull, SwaggerObject]
1343−instance FromJSON (SwaggerType 'SwaggerKindParamOtherSchema) where
1169+instance FromJSON (SwaggerType ParamOtherSchema) where
1344 parseJSON = parseOneOf [SwaggerString, SwaggerInteger, SwaggerNumber, SwaggerBoolean, SwaggerArray, SwaggerFile]
1170 parseJSON = parseOneOf [SwaggerString, SwaggerInteger, SwaggerNumber, SwaggerBoolean, SwaggerArray, SwaggerFile]
1346−instance FromJSON (SwaggerType ('SwaggerKindNormal t)) where
1172+instance OVERLAPPABLE_ FromJSON (SwaggerType t) where
1347 parseJSON = parseOneOf [SwaggerString, SwaggerInteger, SwaggerNumber, SwaggerBoolean, SwaggerArray]
1173 parseJSON = parseOneOf [SwaggerString, SwaggerInteger, SwaggerNumber, SwaggerBoolean, SwaggerArray]
1349−instance FromJSON (CollectionFormat ('SwaggerKindNormal t)) where
1175+instance OVERLAPPABLE_ FromJSON (CollectionFormat t) where
1350 parseJSON = parseOneOf [CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes]
1176 parseJSON = parseOneOf [CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes]
1352−-- NOTE: There aren't collections of 'Schema'
1353−--instance FromJSON (CollectionFormat (SwaggerKindSchema)) where
1178+instance FromJSON (CollectionFormat ParamOtherSchema) where
1354−-- parseJSON = parseOneOf [CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes]
1356−instance FromJSON (CollectionFormat 'SwaggerKindParamOtherSchema) where
1357 parseJSON = parseOneOf [CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes, CollectionMulti]
1179 parseJSON = parseOneOf [CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes, CollectionMulti]
1359−instance (FromJSON (SwaggerType ('SwaggerKindNormal t)), FromJSON (SwaggerItems ('SwaggerKindNormal t))) => FromJSON (ParamSchema ('SwaggerKindNormal t)) where
1181+-- NOTE: The constraints @FromJSON (SwaggerType t)@ and
1360− parseJSON = sopSwaggerGenericParseJSON
1182+-- @FromJSON (SwaggerItems t)@ are necessary here!
1361−instance FromJSON (ParamSchema 'SwaggerKindParamOtherSchema) where
1183+-- Without the constraint the general instance will be used
1362− parseJSON = sopSwaggerGenericParseJSON
1184+-- that only accepts common types (i.e. NOT object, null or file)
1363−instance FromJSON (ParamSchema 'SwaggerKindSchema) where
1185+-- and primitive array items.
1364− parseJSON = sopSwaggerGenericParseJSON
1186+instance (FromJSON (SwaggerType t), FromJSON (SwaggerItems t)) => FromJSON (ParamSchema t) where
1365−
1187+ parseJSON = genericParseJSONWithSub "items" (jsonPrefix "ParamSchema")
1366−instance FromJSON AdditionalProperties where
1188+
1367− parseJSON (Bool b) = pure $ AdditionalPropertiesAllowed b
1368− parseJSON js = AdditionalPropertiesSchema <$> parseJSON js
1370−-------------------------------------------------------------------------------
1372−-------------------------------------------------------------------------------
1374−deriveGeneric ''Header
1375−deriveGeneric ''OAuth2Params
1376−deriveGeneric ''Operation
1377−deriveGeneric ''Param
1378−deriveGeneric ''ParamOtherSchema
1379−deriveGeneric ''PathItem
1380−deriveGeneric ''Response
1381−deriveGeneric ''Responses
1382−deriveGeneric ''SecurityScheme
1383−deriveGeneric ''Schema
1384−deriveGeneric ''ParamSchema
1385−deriveGeneric ''Swagger
1387−instance HasSwaggerAesonOptions Header where
1388− swaggerAesonOptions _ = mkSwaggerAesonOptions "header" & saoSubObject ?~ "paramSchema"
1389−instance HasSwaggerAesonOptions OAuth2Params where
1390− swaggerAesonOptions _ = mkSwaggerAesonOptions "oauth2" & saoSubObject ?~ "flow"
1391−instance HasSwaggerAesonOptions Operation where
1392− swaggerAesonOptions _ = mkSwaggerAesonOptions "operation"
1393−instance HasSwaggerAesonOptions Param where
1394− swaggerAesonOptions _ = mkSwaggerAesonOptions "param" & saoSubObject ?~ "schema"
1395−instance HasSwaggerAesonOptions ParamOtherSchema where
1396− swaggerAesonOptions _ = mkSwaggerAesonOptions "paramOtherSchema" & saoSubObject ?~ "paramSchema"
1397−instance HasSwaggerAesonOptions PathItem where
1398− swaggerAesonOptions _ = mkSwaggerAesonOptions "pathItem"
1399−instance HasSwaggerAesonOptions Response where
1400− swaggerAesonOptions _ = mkSwaggerAesonOptions "response"
1401−instance HasSwaggerAesonOptions Responses where
1402− swaggerAesonOptions _ = mkSwaggerAesonOptions "responses" & saoSubObject ?~ "responses"
1403−instance HasSwaggerAesonOptions SecurityScheme where
1404− swaggerAesonOptions _ = mkSwaggerAesonOptions "securityScheme" & saoSubObject ?~ "type"
1405−instance HasSwaggerAesonOptions Schema where
1406− swaggerAesonOptions _ = mkSwaggerAesonOptions "schema" & saoSubObject ?~ "paramSchema"
1407−instance HasSwaggerAesonOptions Swagger where
1408− swaggerAesonOptions _ = mkSwaggerAesonOptions "swagger" & saoAdditionalPairs .~ [("swagger", "2.0")]
1410−instance HasSwaggerAesonOptions (ParamSchema ('SwaggerKindNormal t)) where
1411− swaggerAesonOptions _ = mkSwaggerAesonOptions "paramSchema" & saoSubObject ?~ "items"
1412−instance HasSwaggerAesonOptions (ParamSchema 'SwaggerKindParamOtherSchema) where
1413− swaggerAesonOptions _ = mkSwaggerAesonOptions "paramSchema" & saoSubObject ?~ "items"
1414−-- NOTE: Schema doesn't have 'items' sub object!
1415−instance HasSwaggerAesonOptions (ParamSchema 'SwaggerKindSchema) where
1416− swaggerAesonOptions _ = mkSwaggerAesonOptions "paramSchema"
1418−instance AesonDefaultValue (ParamSchema s)
1419−instance AesonDefaultValue OAuth2Flow
1420−instance AesonDefaultValue Responses
1421−instance AesonDefaultValue ParamAnySchema
1422−instance AesonDefaultValue SecuritySchemeType
1423−instance AesonDefaultValue (SwaggerType a)
1424−instance AesonDefaultValue MimeList where defaultValue = Just mempty
1425−instance AesonDefaultValue Info
1426−instance AesonDefaultValue ParamLocation
1427−instance AesonDefaultValue SecurityDefinitions where defaultValue = Just $ SecurityDefinitions mempty