@@ -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 #-}
@@ -9,15 +8,15 @@
9{-# LANGUAGE GADTs #-}
8{-# LANGUAGE GADTs #-}
10{-# LANGUAGE GeneralizedNewtypeDeriving #-}
9{-# LANGUAGE GeneralizedNewtypeDeriving #-}
11{-# LANGUAGE OverloadedStrings #-}
10{-# LANGUAGE OverloadedStrings #-}
11+{-# LANGUAGE PolyKinds #-}
12{-# LANGUAGE RecordWildCards #-}
12{-# LANGUAGE RecordWildCards #-}
13{-# LANGUAGE ScopedTypeVariables #-}
13{-# LANGUAGE ScopedTypeVariables #-}
14{-# LANGUAGE StandaloneDeriving #-}
14{-# LANGUAGE StandaloneDeriving #-}
15−{-# LANGUAGE TemplateHaskell #-}
16−{-# LANGUAGE TypeFamilies #-}
17{-# LANGUAGE UndecidableInstances #-}
15{-# LANGUAGE UndecidableInstances #-}
18−#if __GLASGOW_HASKELL__ <710
16+
17+{-# LANGUAGE DataKinds #-}
19−{-# LANGUAGE PolyKinds #-}
18+{-# LANGUAGE TypeFamilies #-}
20−#endif
19+{-# LANGUAGE TemplateHaskell #-}
21#include "overlapping-compat.h"
20#include "overlapping-compat.h"
22module Data.Swagger.Internal where
21module Data.Swagger.Internal where
@@ -26,22 +25,22 @@ import Prelude.Compat
27import Control.Lens ((&), (.~), (?~))
26import Control.Lens ((&), (.~), (?~))
28import Control.Applicative
27import Control.Applicative
29import Data.Aeson
29import Data.Aeson
30import qualified Data.Aeson.Types as JSON
30import qualified Data.Aeson.Types as JSON
31import Data.Data (Data(..), Typeable, mkConstr, mkDataType, Fixity(..), Constr, DataType, constrIndex)
31import Data.Data (Data(..), Typeable, mkConstr, mkDataType, Fixity(..), Constr, DataType, constrIndex)
32−import Data.Hashable (Hashable)
32+import Data.HashMap.Strict (HashMap)
33import qualified Data.HashMap.Strict as HashMap
33import qualified Data.HashMap.Strict as HashMap
34−import Data.HashSet.InsOrd (InsOrdHashSet)
35import Data.Map (Map)
34import Data.Map (Map)
36import qualified Data.Map as Map
35import qualified Data.Map as Map
37−import Data.Monoid (Monoid (..))
36+import Data.Monoid
38−import Data.Semigroup.Compat (Semigroup (..))
39import Data.Scientific (Scientific)
37import Data.Scientific (Scientific)
40import Data.String (IsString(..))
39import Data.String (IsString(..))
41import Data.Text (Text)
40import Data.Text (Text)
42import qualified Data.Text as Text
41import qualified Data.Text as Text
43import GHC.Generics (Generic)
42import GHC.Generics (Generic)
44−import Network.Socket (HostName, PortNumber)
43+import Network (HostName, PortNumber)
45import Network.HTTP.Media (MediaType)
44import Network.HTTP.Media (MediaType)
46import Text.Read (readMaybe)
45import Text.Read (readMaybe)
@@ -66,10 +65,6 @@ import Data.Swagger.Internal.AesonUtils (sopSwaggerGenericToEncoding)
66#define DEFINE_TOENCODING
65#define DEFINE_TOENCODING
70−-- >>> :seti -XDataKinds
71−-- >>> import Data.Aeson
73-- | A list of definitions that can be used in references.
68-- | A list of definitions that can be used in references.
74type Definitions = InsOrdHashMap Text
69type Definitions = InsOrdHashMap Text
@@ -117,7 +112,7 @@ data Swagger = Swagger
117 , _swaggerResponses :: Definitions Response
112 , _swaggerResponses :: Definitions Response
119 -- | Security scheme definitions that can be used across the specification.
114 -- | Security scheme definitions that can be used across the specification.
120− , _swaggerSecurityDefinitions :: SecurityDefinitions
115+ , _swaggerSecurityDefinitions :: Definitions SecurityScheme
122 -- | A declaration of which security schemes are applied for the API as a whole.
117 -- | 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
118 -- The list of values describes alternative security schemes that can be used
@@ -130,7 +125,7 @@ data Swagger = Swagger
130 -- Not all tags that are used by the Operation Object must be declared.
125 -- 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.
126 -- 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.
127 -- Each tag name in the list MUST be unique.
133− , _swaggerTags :: InsOrdHashSet Tag
128+ , _swaggerTags :: Set Tag
135 -- | Additional external documentation.
130 -- | Additional external documentation.
136 , _swaggerExternalDocs :: Maybe ExternalDocs
131 , _swaggerExternalDocs :: Maybe ExternalDocs
@@ -252,7 +247,7 @@ data PathItem = PathItem
252data Operation = Operation
247data Operation = Operation
253 { -- | A list of tags for API documentation control.
248 { -- | A list of tags for API documentation control.
254 -- Tags can be used for logical grouping of operations by resources or any other qualifier.
249 -- Tags can be used for logical grouping of operations by resources or any other qualifier.
255− _operationTags :: InsOrdHashSet TagName
250+ _operationTags :: Set TagName
257 -- | A short summary of what the operation does.
252 -- | A short summary of what the operation does.
258 -- For maximum readability in the swagger-ui, this field SHOULD be less than 120 characters.
253 -- For maximum readability in the swagger-ui, this field SHOULD be less than 120 characters.
@@ -309,7 +304,7 @@ data Operation = Operation
309 } deriving (Eq, Show, Generic, Data, Typeable)
304 } deriving (Eq, Show, Generic, Data, Typeable)
311newtype MimeList = MimeList { getMimeList :: [MediaType] }
306newtype MimeList = MimeList { getMimeList :: [MediaType] }
312− deriving (Eq, Show, Semigroup, Monoid, Typeable)
307+ deriving (Eq, Show, Monoid, Typeable)
314mimeListConstr :: Constr
309mimeListConstr :: Constr
315mimeListConstr = mkConstr mimeListDataType "MimeList" ["getMimeList"] Prefix
310mimeListConstr = mkConstr mimeListDataType "MimeList" ["getMimeList"] Prefix
@@ -360,7 +355,7 @@ data ParamOtherSchema = ParamOtherSchema
360 -- Default value is @False@.
355 -- Default value is @False@.
361 , _paramOtherSchemaAllowEmptyValue :: Maybe Bool
356 , _paramOtherSchemaAllowEmptyValue :: Maybe Bool
363− , _paramOtherSchemaParamSchema :: ParamSchema 'SwaggerKindParamOtherSchema
358+ , _paramOtherSchemaParamSchema :: ParamSchema SwaggerKindParamOtherSchema
364 } deriving (Eq, Show, Generic, Typeable, Data)
359 } deriving (Eq, Show, Generic, Typeable, Data)
366-- | Items for @'SwaggerArray'@ schemas.
361-- | Items for @'SwaggerArray'@ schemas.
@@ -375,8 +370,8 @@ data ParamOtherSchema = ParamOtherSchema
375-- @'SwaggerItemsArray'@ should be used to specify tuple @'Schema'@s.
370-- @'SwaggerItemsArray'@ should be used to specify tuple @'Schema'@s.
376data SwaggerItems t where
371data SwaggerItems t where
377 SwaggerItemsPrimitive :: Maybe (CollectionFormat k) -> ParamSchema k-> SwaggerItems k
372 SwaggerItemsPrimitive :: Maybe (CollectionFormat k) -> ParamSchema k-> SwaggerItems k
378− SwaggerItemsObject :: Referenced Schema -> SwaggerItems 'SwaggerKindSchema
373+ SwaggerItemsObject :: Referenced Schema -> SwaggerItems SwaggerKindSchema
379− SwaggerItemsArray :: [Referenced Schema] -> SwaggerItems 'SwaggerKindSchema
374+ SwaggerItemsArray :: [Referenced Schema] -> SwaggerItems SwaggerKindSchema
380 deriving (Typeable)
375 deriving (Typeable)
382deriving instance Eq (SwaggerItems t)
377deriving instance Eq (SwaggerItems t)
@@ -398,7 +393,7 @@ swaggerItemsDataType = mkDataType "Data.Swagger.SwaggerItems" [swaggerItemsPrimi
398-- Note: unfortunately we have to write these Data instances by hand,
393-- Note: unfortunately we have to write these Data instances by hand,
399-- to get better contexts / avoid duplicate name when using standalone deriving
394-- to get better contexts / avoid duplicate name when using standalone deriving
401−instance Data t => Data (SwaggerItems ('SwaggerKindNormal t)) where
396+instance Data t => Data (SwaggerItems (SwaggerKindNormal t)) where
402 -- TODO: define gfoldl
397 -- TODO: define gfoldl
403 gunfold k z c = case constrIndex c of
398 gunfold k z c = case constrIndex c of
404 1 -> k (k (z SwaggerItemsPrimitive))
399 1 -> k (k (z SwaggerItemsPrimitive))
@@ -407,7 +402,7 @@ instance Data t => Data (SwaggerItems ('SwaggerKindNormal t)) where
407 dataTypeOf _ = swaggerItemsDataType
402 dataTypeOf _ = swaggerItemsDataType
409-- SwaggerItems SwaggerKindParamOtherSchema can be constructed using SwaggerItemsPrimitive only
404-- SwaggerItems SwaggerKindParamOtherSchema can be constructed using SwaggerItemsPrimitive only
410−instance Data (SwaggerItems 'SwaggerKindParamOtherSchema) where
405+instance Data (SwaggerItems SwaggerKindParamOtherSchema) where
411 -- TODO: define gfoldl
406 -- TODO: define gfoldl
412 gunfold k z c = case constrIndex c of
407 gunfold k z c = case constrIndex c of
413 1 -> k (k (z SwaggerItemsPrimitive))
408 1 -> k (k (z SwaggerItemsPrimitive))
@@ -415,19 +410,18 @@ instance Data (SwaggerItems 'SwaggerKindParamOtherSchema) where
415 toConstr _ = swaggerItemsPrimitiveConstr
410 toConstr _ = swaggerItemsPrimitiveConstr
416 dataTypeOf _ = swaggerItemsDataType
411 dataTypeOf _ = swaggerItemsDataType
418−instance Data (SwaggerItems 'SwaggerKindSchema) where
413+instance Data (SwaggerItems SwaggerKindSchema) where
419 gfoldl _ _ (SwaggerItemsPrimitive _ _) = error $ " Data.Data.gfoldl: Constructor SwaggerItemsPrimitive used to construct SwaggerItems SwaggerKindSchema"
414 gfoldl _ _ (SwaggerItemsPrimitive _ _) = error $ " Data.Data.gfoldl: Constructor SwaggerItemsPrimitive used to construct SwaggerItems SwaggerKindSchema"
420 gfoldl k z (SwaggerItemsObject ref) = z SwaggerItemsObject `k` ref
415 gfoldl k z (SwaggerItemsObject ref) = z SwaggerItemsObject `k` ref
421 gfoldl k z (SwaggerItemsArray ref) = z SwaggerItemsArray `k` ref
416 gfoldl k z (SwaggerItemsArray ref) = z SwaggerItemsArray `k` ref
423 gunfold k z c = case constrIndex c of
418 gunfold k z c = case constrIndex c of
419+ 1 -> error $ "Data.Data.gunfold: Constructor " ++ show c ++ " is not of type (SwaggerItems SwaggerKindSchema)"
424 2 -> k (z SwaggerItemsObject)
420 2 -> k (z SwaggerItemsObject)
425 3 -> k (z SwaggerItemsArray)
421 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
423+ toConstr (SwaggerItemsObject _) = swaggerItemsObjectConstr
430− toConstr (SwaggerItemsArray _) = swaggerItemsArrayConstr
424+ toConstr (SwaggerItemsArray _) = swaggerItemsArrayConstr
432 dataTypeOf _ = swaggerItemsDataType
426 dataTypeOf _ = swaggerItemsDataType
@@ -436,16 +430,17 @@ data SwaggerKind t
436 = SwaggerKindNormal t
430 = SwaggerKindNormal t
437 | SwaggerKindParamOtherSchema
431 | SwaggerKindParamOtherSchema
438 | SwaggerKindSchema
432 | SwaggerKindSchema
434+#if __GLASGLOW_HASKELL__ < 710
441deriving instance Typeable 'SwaggerKindNormal
435deriving instance Typeable 'SwaggerKindNormal
442deriving instance Typeable 'SwaggerKindParamOtherSchema
436deriving instance Typeable 'SwaggerKindParamOtherSchema
443deriving instance Typeable 'SwaggerKindSchema
437deriving instance Typeable 'SwaggerKindSchema
445type family SwaggerKindType (k :: SwaggerKind *) :: *
440type family SwaggerKindType (k :: SwaggerKind *) :: *
446−type instance SwaggerKindType ('SwaggerKindNormal t) = t
441+type instance SwaggerKindType (SwaggerKindNormal t) = t
447−type instance SwaggerKindType 'SwaggerKindSchema = Schema
442+type instance SwaggerKindType SwaggerKindSchema = Schema
448−type instance SwaggerKindType 'SwaggerKindParamOtherSchema = ParamOtherSchema
443+type instance SwaggerKindType SwaggerKindParamOtherSchema = ParamOtherSchema
450data SwaggerType t where
445data SwaggerType t where
451 SwaggerString :: SwaggerType t
446 SwaggerString :: SwaggerType t
@@ -453,9 +448,9 @@ data SwaggerType t where
453 SwaggerInteger :: SwaggerType t
448 SwaggerInteger :: SwaggerType t
454 SwaggerBoolean :: SwaggerType t
449 SwaggerBoolean :: SwaggerType t
455 SwaggerArray :: SwaggerType t
450 SwaggerArray :: SwaggerType t
456− SwaggerFile :: SwaggerType 'SwaggerKindParamOtherSchema
451+ SwaggerFile :: SwaggerType SwaggerKindParamOtherSchema
457− SwaggerNull :: SwaggerType 'SwaggerKindSchema
452+ SwaggerNull :: SwaggerType SwaggerKindSchema
458− SwaggerObject :: SwaggerType 'SwaggerKindSchema
453+ SwaggerObject :: SwaggerType SwaggerKindSchema
459 deriving (Typeable)
454 deriving (Typeable)
461deriving instance Eq (SwaggerType t)
456deriving instance Eq (SwaggerType t)
@@ -464,33 +459,33 @@ deriving instance Show (SwaggerType t)
464swaggerTypeConstr :: Data (SwaggerType t) => SwaggerType t -> Constr
459swaggerTypeConstr :: Data (SwaggerType t) => SwaggerType t -> Constr
465swaggerTypeConstr t = mkConstr (dataTypeOf t) (show t) [] Prefix
460swaggerTypeConstr t = mkConstr (dataTypeOf t) (show t) [] Prefix
467−swaggerTypeDataType :: {- Data (SwaggerType t) => -} SwaggerType t -> DataType
462+swaggerTypeDataType :: Data (SwaggerType t) => SwaggerType t -> DataType
468swaggerTypeDataType _ = mkDataType "Data.Swagger.SwaggerType" swaggerTypeConstrs
463swaggerTypeDataType _ = mkDataType "Data.Swagger.SwaggerType" swaggerTypeConstrs
470swaggerCommonTypes :: [SwaggerType k]
465swaggerCommonTypes :: [SwaggerType k]
471swaggerCommonTypes = [SwaggerString, SwaggerNumber, SwaggerInteger, SwaggerBoolean, SwaggerArray]
466swaggerCommonTypes = [SwaggerString, SwaggerNumber, SwaggerInteger, SwaggerBoolean, SwaggerArray]
473−swaggerParamTypes :: [SwaggerType 'SwaggerKindParamOtherSchema]
468+swaggerParamTypes :: [SwaggerType SwaggerKindParamOtherSchema]
474swaggerParamTypes = swaggerCommonTypes ++ [SwaggerFile]
469swaggerParamTypes = swaggerCommonTypes ++ [SwaggerFile]
476−swaggerSchemaTypes :: [SwaggerType 'SwaggerKindSchema]
471+swaggerSchemaTypes :: [SwaggerType SwaggerKindSchema]
477swaggerSchemaTypes = swaggerCommonTypes ++ [error "SwaggerFile is invalid SwaggerType Schema", SwaggerNull, SwaggerObject]
472swaggerSchemaTypes = swaggerCommonTypes ++ [error "SwaggerFile is invalid SwaggerType Schema", SwaggerNull, SwaggerObject]
479swaggerTypeConstrs :: [Constr]
474swaggerTypeConstrs :: [Constr]
480−swaggerTypeConstrs = map swaggerTypeConstr (swaggerCommonTypes :: [SwaggerType 'SwaggerKindSchema])
475+swaggerTypeConstrs = map swaggerTypeConstr (swaggerCommonTypes :: [SwaggerType SwaggerKindSchema])
481 ++ [swaggerTypeConstr SwaggerFile, swaggerTypeConstr SwaggerNull, swaggerTypeConstr SwaggerObject]
476 ++ [swaggerTypeConstr SwaggerFile, swaggerTypeConstr SwaggerNull, swaggerTypeConstr SwaggerObject]
483−instance Typeable t => Data (SwaggerType ('SwaggerKindNormal t)) where
478+instance Typeable t => Data (SwaggerType (SwaggerKindNormal t)) where
484 gunfold = gunfoldEnum "SwaggerType" swaggerCommonTypes
479 gunfold = gunfoldEnum "SwaggerType" swaggerCommonTypes
485 toConstr = swaggerTypeConstr
480 toConstr = swaggerTypeConstr
486 dataTypeOf = swaggerTypeDataType
481 dataTypeOf = swaggerTypeDataType
488−instance Data (SwaggerType 'SwaggerKindParamOtherSchema) where
483+instance Data (SwaggerType SwaggerKindParamOtherSchema) where
489 gunfold = gunfoldEnum "SwaggerType ParamOtherSchema" swaggerParamTypes
484 gunfold = gunfoldEnum "SwaggerType ParamOtherSchema" swaggerParamTypes
490 toConstr = swaggerTypeConstr
485 toConstr = swaggerTypeConstr
491 dataTypeOf = swaggerTypeDataType
486 dataTypeOf = swaggerTypeDataType
493−instance Data (SwaggerType 'SwaggerKindSchema) where
488+instance Data (SwaggerType SwaggerKindSchema) where
494 gunfold = gunfoldEnum "SwaggerType Schema" swaggerSchemaTypes
489 gunfold = gunfoldEnum "SwaggerType Schema" swaggerSchemaTypes
495 toConstr = swaggerTypeConstr
490 toConstr = swaggerTypeConstr
496 dataTypeOf = swaggerTypeDataType
491 dataTypeOf = swaggerTypeDataType
@@ -530,7 +525,7 @@ data CollectionFormat t where
530 -- Corresponds to multiple parameter instances
525 -- Corresponds to multiple parameter instances
531 -- instead of multiple values for a single instance @foo=bar&foo=baz@.
526 -- instead of multiple values for a single instance @foo=bar&foo=baz@.
532 -- This is valid only for parameters in @'ParamQuery'@ or @'ParamFormData'@.
527 -- This is valid only for parameters in @'ParamQuery'@ or @'ParamFormData'@.
533− CollectionMulti :: CollectionFormat 'SwaggerKindParamOtherSchema
528+ CollectionMulti :: CollectionFormat SwaggerKindParamOtherSchema
534 deriving (Typeable)
529 deriving (Typeable)
536deriving instance Eq (CollectionFormat t)
531deriving instance Eq (CollectionFormat t)
@@ -546,12 +541,12 @@ collectionFormatDataType = mkDataType "Data.Swagger.CollectionFormat" $
546collectionCommonFormats :: [CollectionFormat t]
541collectionCommonFormats :: [CollectionFormat t]
547collectionCommonFormats = [ CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes ]
542collectionCommonFormats = [ CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes ]
549−instance Data t => Data (CollectionFormat ('SwaggerKindNormal t)) where
544+instance Data t => Data (CollectionFormat (SwaggerKindNormal t)) where
550 gunfold = gunfoldEnum "CollectionFormat" collectionCommonFormats
545 gunfold = gunfoldEnum "CollectionFormat" collectionCommonFormats
551 toConstr = collectionFormatConstr
546 toConstr = collectionFormatConstr
552 dataTypeOf _ = collectionFormatDataType
547 dataTypeOf _ = collectionFormatDataType
554−deriving instance Data (CollectionFormat 'SwaggerKindParamOtherSchema)
549+deriving instance Data (CollectionFormat SwaggerKindParamOtherSchema)
556type ParamName = Text
551type ParamName = Text
@@ -560,9 +555,9 @@ data Schema = Schema
560 , _schemaDescription :: Maybe Text
555 , _schemaDescription :: Maybe Text
561 , _schemaRequired :: [ParamName]
556 , _schemaRequired :: [ParamName]
563− , _schemaAllOf :: Maybe [Referenced Schema]
558+ , _schemaAllOf :: Maybe [Schema]
564 , _schemaProperties :: InsOrdHashMap Text (Referenced Schema)
559 , _schemaProperties :: InsOrdHashMap Text (Referenced Schema)
565− , _schemaAdditionalProperties :: Maybe AdditionalProperties
560+ , _schemaAdditionalProperties :: Maybe (Referenced Schema)
567 , _schemaDiscriminator :: Maybe Text
562 , _schemaDiscriminator :: Maybe Text
568 , _schemaReadOnly :: Maybe Bool
563 , _schemaReadOnly :: Maybe Bool
@@ -573,7 +568,7 @@ data Schema = Schema
573 , _schemaMaxProperties :: Maybe Integer
568 , _schemaMaxProperties :: Maybe Integer
574 , _schemaMinProperties :: Maybe Integer
569 , _schemaMinProperties :: Maybe Integer
576− , _schemaParamSchema :: ParamSchema 'SwaggerKindSchema
571+ , _schemaParamSchema :: ParamSchema SwaggerKindSchema
577 } deriving (Eq, Show, Generic, Data, Typeable)
572 } deriving (Eq, Show, Generic, Data, Typeable)
579-- | A @'Schema'@ with an optional name.
574-- | A @'Schema'@ with an optional name.
@@ -594,7 +589,7 @@ data ParamSchema (t :: SwaggerKind *) = ParamSchema
594 -- Unlike JSON Schema this value MUST conform to the defined type for this parameter.
589 -- Unlike JSON Schema this value MUST conform to the defined type for this parameter.
595 _paramSchemaDefault :: Maybe Value
590 _paramSchemaDefault :: Maybe Value
597− , _paramSchemaType :: Maybe (SwaggerType t)
592+ , _paramSchemaType :: SwaggerType t
598 , _paramSchemaFormat :: Maybe Format
593 , _paramSchemaFormat :: Maybe Format
599 , _paramSchemaItems :: Maybe (SwaggerItems t)
594 , _paramSchemaItems :: Maybe (SwaggerItems t)
600 , _paramSchemaMaximum :: Maybe Scientific
595 , _paramSchemaMaximum :: Maybe Scientific
@@ -611,7 +606,7 @@ data ParamSchema (t :: SwaggerKind *) = ParamSchema
611 , _paramSchemaMultipleOf :: Maybe Scientific
606 , _paramSchemaMultipleOf :: Maybe Scientific
612 } deriving (Eq, Show, Generic, Typeable)
607 } deriving (Eq, Show, Generic, Typeable)
614−deriving instance (Typeable k, Data (Maybe (SwaggerType k)), Data (SwaggerItems k)) => Data (ParamSchema k)
609+deriving instance (Typeable k, Data (SwaggerKindType k), Data (SwaggerType k), Data (SwaggerItems k)) => Data (ParamSchema k)
616data Xml = Xml
611data Xml = Xml
617 { -- | Replaces the name of the element/attribute used for the described schema property.
612 { -- | Replaces the name of the element/attribute used for the described schema property.
@@ -687,7 +682,7 @@ data Header = Header
687 { -- | A short description of the header.
682 { -- | A short description of the header.
688 _headerDescription :: Maybe Text
683 _headerDescription :: Maybe Text
690− , _headerParamSchema :: ParamSchema ('SwaggerKindNormal Header)
685+ , _headerParamSchema :: ParamSchema (SwaggerKindNormal Header)
691 } deriving (Eq, Show, Generic, Data, Typeable)
686 } deriving (Eq, Show, Generic, Data, Typeable)
693data Example = Example { getExample :: Map MediaType Value }
688data Example = Example { getExample :: Map MediaType Value }
@@ -755,28 +750,12 @@ data SecurityScheme = SecurityScheme
755 , _securitySchemeDescription :: Maybe Text
750 , _securitySchemeDescription :: Maybe Text
756 } deriving (Eq, Show, Generic, Data, Typeable)
751 } 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.
753-- | Lists the required security schemes to execute this operation.
775-- The object can have multiple security schemes declared in it which are all required
754-- 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).
755-- (that is, there is a logical AND between the schemes).
777newtype SecurityRequirement = SecurityRequirement
756newtype SecurityRequirement = SecurityRequirement
778 { getSecurityRequirement :: InsOrdHashMap Text [Text]
757 { getSecurityRequirement :: InsOrdHashMap Text [Text]
779− } deriving (Eq, Read, Show, Semigroup, Monoid, ToJSON, FromJSON, Data, Typeable)
758+ } deriving (Eq, Read, Show, Monoid, ToJSON, FromJSON, Data, Typeable)
781-- | Tag name.
760-- | Tag name.
782type TagName = Text
761type TagName = Text
@@ -795,8 +774,6 @@ data Tag = Tag
795 , _tagExternalDocs :: Maybe ExternalDocs
774 , _tagExternalDocs :: Maybe ExternalDocs
796 } deriving (Eq, Ord, Show, Generic, Data, Typeable)
775 } deriving (Eq, Ord, Show, Generic, Data, Typeable)
798−instance Hashable Tag
800instance IsString Tag where
777instance IsString Tag where
801 fromString s = Tag (fromString s) Nothing Nothing
778 fromString s = Tag (fromString s) Nothing Nothing
@@ -810,8 +787,6 @@ data ExternalDocs = ExternalDocs
810 , _externalDocsUrl :: URL
787 , _externalDocsUrl :: URL
811 } deriving (Eq, Ord, Show, Generic, Data, Typeable)
788 } deriving (Eq, Ord, Show, Generic, Data, Typeable)
813−instance Hashable ExternalDocs
815-- | A simple object to allow referencing other definitions in the specification.
790-- | 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.
791-- It can be used to reference parameters and responses that are defined at the top level for reuse.
817newtype Reference = Reference { getReference :: Text }
792newtype Reference = Reference { getReference :: Text }
@@ -825,111 +800,67 @@ data Referenced a
825instance IsString a => IsString (Referenced a) where
800instance IsString a => IsString (Referenced a) where
826 fromString = Inline . fromString
801 fromString = Inline . fromString
828−newtype URL = URL { getUrl :: Text } deriving (Eq, Ord, Show, Hashable, ToJSON, FromJSON, Data, Typeable)
803+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-- =======================================================================
805-- =======================================================================
836-- Monoid instances
806-- Monoid instances
837-- =======================================================================
807-- =======================================================================
839−instance Semigroup Swagger where
840− (<>) = genericMappend
841instance Monoid Swagger where
809instance Monoid Swagger where
842 mempty = genericMempty
810 mempty = genericMempty
843− mappend = (<>)
811+ mappend = genericMappend
845−instance Semigroup Info where
846− (<>) = genericMappend
847instance Monoid Info where
813instance Monoid Info where
848 mempty = genericMempty
814 mempty = genericMempty
849− mappend = (<>)
815+ mappend = genericMappend
851−instance Semigroup Contact where
852− (<>) = genericMappend
853instance Monoid Contact where
817instance Monoid Contact where
854 mempty = genericMempty
818 mempty = genericMempty
855− mappend = (<>)
819+ mappend = genericMappend
857−instance Semigroup PathItem where
858− (<>) = genericMappend
859instance Monoid PathItem where
821instance Monoid PathItem where
860 mempty = genericMempty
822 mempty = genericMempty
861− mappend = (<>)
823+ mappend = genericMappend
863−instance Semigroup Schema where
864− (<>) = genericMappend
865instance Monoid Schema where
825instance Monoid Schema where
866 mempty = genericMempty
826 mempty = genericMempty
867− mappend = (<>)
827+ mappend = genericMappend
869−instance Semigroup (ParamSchema t) where
870− (<>) = genericMappend
871instance Monoid (ParamSchema t) where
829instance Monoid (ParamSchema t) where
872 mempty = genericMempty
830 mempty = genericMempty
873− mappend = (<>)
831+ mappend = genericMappend
875−instance Semigroup Param where
876− (<>) = genericMappend
877instance Monoid Param where
833instance Monoid Param where
878 mempty = genericMempty
834 mempty = genericMempty
879− mappend = (<>)
835+ mappend = genericMappend
881−instance Semigroup ParamOtherSchema where
882− (<>) = genericMappend
883instance Monoid ParamOtherSchema where
837instance Monoid ParamOtherSchema where
884 mempty = genericMempty
838 mempty = genericMempty
885− mappend = (<>)
839+ mappend = genericMappend
887−instance Semigroup Header where
888− (<>) = genericMappend
889instance Monoid Header where
841instance Monoid Header where
890 mempty = genericMempty
842 mempty = genericMempty
891− mappend = (<>)
843+ mappend = genericMappend
893−instance Semigroup Responses where
894− (<>) = genericMappend
895instance Monoid Responses where
845instance Monoid Responses where
896 mempty = genericMempty
846 mempty = genericMempty
897− mappend = (<>)
847+ mappend = genericMappend
899−instance Semigroup Response where
900− (<>) = genericMappend
901instance Monoid Response where
849instance Monoid Response where
902 mempty = genericMempty
850 mempty = genericMempty
903− mappend = (<>)
851+ mappend = genericMappend
905−instance Semigroup ExternalDocs where
906− (<>) = genericMappend
907instance Monoid ExternalDocs where
853instance Monoid ExternalDocs where
908 mempty = genericMempty
854 mempty = genericMempty
909− mappend = (<>)
855+ mappend = genericMappend
911−instance Semigroup Operation where
912− (<>) = genericMappend
913instance Monoid Operation where
857instance Monoid Operation where
914 mempty = genericMempty
858 mempty = genericMempty
915− mappend = (<>)
859+ mappend = genericMappend
917−instance Semigroup Example where
918− (<>) = genericMappend
919instance Monoid Example where
861instance Monoid Example where
920 mempty = genericMempty
862 mempty = genericMempty
921− mappend = (<>)
863+ 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-- =======================================================================
865-- =======================================================================
935-- SwaggerMonoid helper instances
866-- SwaggerMonoid helper instances
@@ -945,8 +876,6 @@ instance SwaggerMonoid Responses
945instance SwaggerMonoid Response
876instance SwaggerMonoid Response
946instance SwaggerMonoid ExternalDocs
877instance SwaggerMonoid ExternalDocs
947instance SwaggerMonoid Operation
878instance SwaggerMonoid Operation
948−instance SwaggerMonoid SecurityDefinitions
949−instance (Eq a, Hashable a) => SwaggerMonoid (InsOrdHashSet a)
951instance SwaggerMonoid MimeList
880instance SwaggerMonoid MimeList
952deriving instance SwaggerMonoid URL
881deriving instance SwaggerMonoid URL
@@ -965,7 +894,7 @@ instance OVERLAPPING_ SwaggerMonoid (InsOrdHashMap FilePath PathItem) where
966instance Monoid a => SwaggerMonoid (Referenced a) where
895instance Monoid a => SwaggerMonoid (Referenced a) where
967 swaggerMempty = Inline mempty
896 swaggerMempty = Inline mempty
968− swaggerMappend (Inline x) (Inline y) = Inline (mappend x y)
897+ swaggerMappend (Inline x) (Inline y) = Inline (x <> y)
969 swaggerMappend _ y = y
898 swaggerMappend _ y = y
971instance SwaggerMonoid ParamAnySchema where
900instance SwaggerMonoid ParamAnySchema where
@@ -1088,22 +1017,11 @@ instance ToJSON Header where
1088 toJSON = sopSwaggerGenericToJSON
1017 toJSON = sopSwaggerGenericToJSON
1089 DEFINE_TOENCODING
1018 DEFINE_TOENCODING
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}"
1097instance ToJSON (ParamSchema t) => ToJSON (SwaggerItems t) where
1020instance ToJSON (ParamSchema t) => ToJSON (SwaggerItems t) where
1098 toJSON (SwaggerItemsPrimitive fmt schema) = object
1021 toJSON (SwaggerItemsPrimitive fmt schema) = object
1099 [ "collectionFormat" .= fmt
1022 [ "collectionFormat" .= fmt
1100 , "items" .= schema ]
1023 , "items" .= schema ]
1101 toJSON (SwaggerItemsObject x) = object [ "items" .= x ]
1024 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 ]
1025 toJSON (SwaggerItemsArray x) = object [ "items" .= x ]
1109instance ToJSON Host where
1027instance ToJSON Host where
@@ -1146,9 +1064,6 @@ instance ToJSON PathItem where
1146instance ToJSON Example where
1064instance ToJSON Example where
1147 toJSON = toJSON . Map.mapKeys show . getExample
1065 toJSON = toJSON . Map.mapKeys show . getExample
1149−instance ToJSON SecurityDefinitions where
1150− toJSON (SecurityDefinitions sd) = toJSON sd
1152instance ToJSON Reference where
1067instance ToJSON Reference where
1153 toJSON (Reference ref) = object [ "$ref" .= ref ]
1068 toJSON (Reference ref) = object [ "$ref" .= ref ]
@@ -1182,10 +1097,6 @@ instance ToJSON (ParamSchema k) where
1182 toJSON = sopSwaggerGenericToJSONWithOpts $
1097 toJSON = sopSwaggerGenericToJSONWithOpts $
1183 mkSwaggerAesonOptions "paramSchema" & saoSubObject ?~ "items"
1098 mkSwaggerAesonOptions "paramSchema" & saoSubObject ?~ "items"
1185−instance ToJSON AdditionalProperties where
1186− toJSON (AdditionalPropertiesAllowed b) = toJSON b
1187− toJSON (AdditionalPropertiesSchema s) = toJSON s
1189-- =======================================================================
1100-- =======================================================================
1190-- Manual FromJSON instances
1101-- Manual FromJSON instances
1191-- =======================================================================
1102-- =======================================================================
@@ -1223,42 +1134,23 @@ instance FromJSON SecurityScheme where
1223 parseJSON = sopSwaggerGenericParseJSON
1134 parseJSON = sopSwaggerGenericParseJSON
1225instance FromJSON Schema where
1136instance FromJSON Schema where
1226− parseJSON = fmap nullaryCleanup . sopSwaggerGenericParseJSON
1137+ parseJSON = sopSwaggerGenericParseJSON
1227− where nullaryCleanup :: Schema -> Schema
1228− nullaryCleanup s@Schema{_schemaParamSchema=ps} =
1229− if _paramSchemaItems ps == Just (SwaggerItemsArray [])
1230− then s { _schemaExample = Nothing
1231− , _schemaParamSchema = ps { _paramSchemaMaxItems = Nothing } }
1234instance FromJSON Header where
1139instance FromJSON Header where
1235 parseJSON = sopSwaggerGenericParseJSON
1140 parseJSON = sopSwaggerGenericParseJSON
1237−instance (FromJSON (CollectionFormat ('SwaggerKindNormal t)), FromJSON (ParamSchema ('SwaggerKindNormal t))) => FromJSON (SwaggerItems ('SwaggerKindNormal t)) where
1142+instance (FromJSON (CollectionFormat (SwaggerKindNormal t)), FromJSON (ParamSchema (SwaggerKindNormal t))) => FromJSON (SwaggerItems (SwaggerKindNormal t)) where
1238 parseJSON = withObject "SwaggerItemsPrimitive" $ \o -> SwaggerItemsPrimitive
1143 parseJSON = withObject "SwaggerItemsPrimitive" $ \o -> SwaggerItemsPrimitive
1239 <$> o .:? "collectionFormat"
1144 <$> o .:? "collectionFormat"
1240 <*> (o .: "items" >>= parseJSON)
1145 <*> (o .: "items" >>= parseJSON)
1242−instance FromJSON (SwaggerItems 'SwaggerKindParamOtherSchema) where
1147+instance FromJSON (SwaggerItems SwaggerKindParamOtherSchema) where
1243 parseJSON = withObject "SwaggerItemsPrimitive" $ \o -> SwaggerItemsPrimitive
1148 parseJSON = withObject "SwaggerItemsPrimitive" $ \o -> SwaggerItemsPrimitive
1244 <$> o .:? "collectionFormat"
1149 <$> o .:? "collectionFormat"
1245 <*> ((o .: "items" >>= parseJSON) <|> fail ("foo" ++ show o))
1150 <*> ((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
1152+instance FromJSON (SwaggerItems SwaggerKindSchema) where
1259− parseJSON js@(Object obj)
1260− | null obj = pure $ SwaggerItemsArray [] -- Nullary schema.
1261− | otherwise = SwaggerItemsObject <$> parseJSON js
1153+ parseJSON js@(Object _) = SwaggerItemsObject <$> parseJSON js
1262 parseJSON js@(Array _) = SwaggerItemsArray <$> parseJSON js
1154 parseJSON js@(Array _) = SwaggerItemsArray <$> parseJSON js
1263 parseJSON _ = empty
1155 parseJSON _ = empty
@@ -1310,9 +1202,6 @@ instance FromJSON Operation where
1310instance FromJSON PathItem where
1202instance FromJSON PathItem where
1311 parseJSON = sopSwaggerGenericParseJSON
1203 parseJSON = sopSwaggerGenericParseJSON
1313−instance FromJSON SecurityDefinitions where
1314− parseJSON js = SecurityDefinitions <$> parseJSON js
1316instance FromJSON Reference where
1205instance FromJSON Reference where
1317 parseJSON (Object o) = Reference <$> o .: "$ref"
1206 parseJSON (Object o) = Reference <$> o .: "$ref"
1318 parseJSON _ = empty
1207 parseJSON _ = empty
@@ -1337,36 +1226,32 @@ instance FromJSON (Referenced Response) where parseJSON = referencedParseJSON "#
1337instance FromJSON Xml where
1226instance FromJSON Xml where
1338 parseJSON = genericParseJSON (jsonPrefix "xml")
1227 parseJSON = genericParseJSON (jsonPrefix "xml")
1340−instance FromJSON (SwaggerType 'SwaggerKindSchema) where
1229+instance FromJSON (SwaggerType SwaggerKindSchema) where
1341 parseJSON = parseOneOf [SwaggerString, SwaggerInteger, SwaggerNumber, SwaggerBoolean, SwaggerArray, SwaggerNull, SwaggerObject]
1230 parseJSON = parseOneOf [SwaggerString, SwaggerInteger, SwaggerNumber, SwaggerBoolean, SwaggerArray, SwaggerNull, SwaggerObject]
1343−instance FromJSON (SwaggerType 'SwaggerKindParamOtherSchema) where
1232+instance FromJSON (SwaggerType SwaggerKindParamOtherSchema) where
1344 parseJSON = parseOneOf [SwaggerString, SwaggerInteger, SwaggerNumber, SwaggerBoolean, SwaggerArray, SwaggerFile]
1233 parseJSON = parseOneOf [SwaggerString, SwaggerInteger, SwaggerNumber, SwaggerBoolean, SwaggerArray, SwaggerFile]
1346−instance FromJSON (SwaggerType ('SwaggerKindNormal t)) where
1235+instance FromJSON (SwaggerType (SwaggerKindNormal t)) where
1347 parseJSON = parseOneOf [SwaggerString, SwaggerInteger, SwaggerNumber, SwaggerBoolean, SwaggerArray]
1236 parseJSON = parseOneOf [SwaggerString, SwaggerInteger, SwaggerNumber, SwaggerBoolean, SwaggerArray]
1349−instance FromJSON (CollectionFormat ('SwaggerKindNormal t)) where
1238+instance FromJSON (CollectionFormat (SwaggerKindNormal t)) where
1350 parseJSON = parseOneOf [CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes]
1239 parseJSON = parseOneOf [CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes]
1352-- NOTE: There aren't collections of 'Schema'
1241-- NOTE: There aren't collections of 'Schema'
1353--instance FromJSON (CollectionFormat (SwaggerKindSchema)) where
1242--instance FromJSON (CollectionFormat (SwaggerKindSchema)) where
1354-- parseJSON = parseOneOf [CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes]
1243-- parseJSON = parseOneOf [CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes]
1356−instance FromJSON (CollectionFormat 'SwaggerKindParamOtherSchema) where
1245+instance FromJSON (CollectionFormat SwaggerKindParamOtherSchema) where
1357 parseJSON = parseOneOf [CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes, CollectionMulti]
1246 parseJSON = parseOneOf [CollectionCSV, CollectionSSV, CollectionTSV, CollectionPipes, CollectionMulti]
1359−instance (FromJSON (SwaggerType ('SwaggerKindNormal t)), FromJSON (SwaggerItems ('SwaggerKindNormal t))) => FromJSON (ParamSchema ('SwaggerKindNormal t)) where
1248+instance (FromJSON (SwaggerType (SwaggerKindNormal t)), FromJSON (SwaggerItems (SwaggerKindNormal t))) => FromJSON (ParamSchema (SwaggerKindNormal t)) where
1360 parseJSON = sopSwaggerGenericParseJSON
1249 parseJSON = sopSwaggerGenericParseJSON
1361−instance FromJSON (ParamSchema 'SwaggerKindParamOtherSchema) where
1250+instance FromJSON (ParamSchema SwaggerKindParamOtherSchema) where
1362 parseJSON = sopSwaggerGenericParseJSON
1251 parseJSON = sopSwaggerGenericParseJSON
1363−instance FromJSON (ParamSchema 'SwaggerKindSchema) where
1252+instance FromJSON (ParamSchema SwaggerKindSchema) where
1364 parseJSON = sopSwaggerGenericParseJSON
1253 parseJSON = sopSwaggerGenericParseJSON
1366−instance FromJSON AdditionalProperties where
1367− parseJSON (Bool b) = pure $ AdditionalPropertiesAllowed b
1368− parseJSON js = AdditionalPropertiesSchema <$> parseJSON js
1370-------------------------------------------------------------------------------
1255-------------------------------------------------------------------------------
1371-- TH splices
1256-- TH splices
1372-------------------------------------------------------------------------------
1257-------------------------------------------------------------------------------
@@ -1407,12 +1292,12 @@ instance HasSwaggerAesonOptions Schema where
1407instance HasSwaggerAesonOptions Swagger where
1292instance HasSwaggerAesonOptions Swagger where
1408 swaggerAesonOptions _ = mkSwaggerAesonOptions "swagger" & saoAdditionalPairs .~ [("swagger", "2.0")]
1293 swaggerAesonOptions _ = mkSwaggerAesonOptions "swagger" & saoAdditionalPairs .~ [("swagger", "2.0")]
1410−instance HasSwaggerAesonOptions (ParamSchema ('SwaggerKindNormal t)) where
1295+instance HasSwaggerAesonOptions (ParamSchema (SwaggerKindNormal t)) where
1411 swaggerAesonOptions _ = mkSwaggerAesonOptions "paramSchema" & saoSubObject ?~ "items"
1296 swaggerAesonOptions _ = mkSwaggerAesonOptions "paramSchema" & saoSubObject ?~ "items"
1412−instance HasSwaggerAesonOptions (ParamSchema 'SwaggerKindParamOtherSchema) where
1297+instance HasSwaggerAesonOptions (ParamSchema SwaggerKindParamOtherSchema) where
1413 swaggerAesonOptions _ = mkSwaggerAesonOptions "paramSchema" & saoSubObject ?~ "items"
1298 swaggerAesonOptions _ = mkSwaggerAesonOptions "paramSchema" & saoSubObject ?~ "items"
1414-- NOTE: Schema doesn't have 'items' sub object!
1299-- NOTE: Schema doesn't have 'items' sub object!
1415−instance HasSwaggerAesonOptions (ParamSchema 'SwaggerKindSchema) where
1300+instance HasSwaggerAesonOptions (ParamSchema SwaggerKindSchema) where
1416 swaggerAesonOptions _ = mkSwaggerAesonOptions "paramSchema"
1301 swaggerAesonOptions _ = mkSwaggerAesonOptions "paramSchema"
1418instance AesonDefaultValue (ParamSchema s)
1303instance AesonDefaultValue (ParamSchema s)
@@ -1424,4 +1309,3 @@ instance AesonDefaultValue (SwaggerType a)
1424instance AesonDefaultValue MimeList where defaultValue = Just mempty
1309instance AesonDefaultValue MimeList where defaultValue = Just mempty
1425instance AesonDefaultValue Info
1310instance AesonDefaultValue Info
1426instance AesonDefaultValue ParamLocation
1311instance AesonDefaultValue ParamLocation
1427−instance AesonDefaultValue SecurityDefinitions where defaultValue = Just $ SecurityDefinitions mempty