-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Swagger 2.0 data model
--   
--   This library is intended to be used for decoding and encoding Swagger
--   2.0 API specifications as well as manipulating them.
--   
--   The original Swagger 2.0 specification is available at
--   <a>http://swagger.io/specification/</a>.
@package swagger2
@version 2.6


-- | Declare monad transformer and associated functions.
module Data.Swagger.Declare

-- | A declare monad transformer parametrized by:
--   
--   <ul>
--   <li><tt>d</tt> — the output to accumulate (declarations);</li>
--   <li><tt>m</tt> — the inner monad.</li>
--   </ul>
--   
--   This monad transformer is similar to both state and writer monad
--   transformers. Thus it can be seen as
--   
--   <ul>
--   <li>a restricted append-only version of a state monad transformer
--   or</li>
--   <li>a writer monad transformer with the extra ability to read all
--   previous output.</li>
--   </ul>
newtype DeclareT d m a
DeclareT :: (d -> m (d, a)) -> DeclareT d m a
[runDeclareT] :: DeclareT d m a -> d -> m (d, a)

-- | Definitions of <tt>declare</tt> and <tt>look</tt> must satisfy the
--   following laws:
--   
--   <ul>
--   <li><i><i>monoid homomorphism (mempty)</i></i> <tt><a>declare</a>
--   mempty == return ()</tt></li>
--   <li><i><i>monoid homomorphism (mappend)</i></i> <tt><a>declare</a> x
--   &gt;&gt; <a>declare</a> y == <a>declare</a> (x &lt;&gt; y)</tt> for
--   every <tt>x</tt>, <tt>y</tt></li>
--   <li><i><i><tt>declare</tt>-<tt>look</tt></i></i> <tt><a>declare</a> x
--   &gt;&gt; <a>look</a> == <a>fmap</a> (&lt;&gt; x) <a>look</a> &lt;*
--   <a>declare</a> x</tt> for every <tt>x</tt></li>
--   <li><i><i><tt>look</tt> as left identity</i></i> <tt><a>look</a>
--   &gt;&gt; m == m</tt> for every <tt>m</tt></li>
--   </ul>
class (Applicative m, Monad m) => MonadDeclare d m | m -> d

-- | <tt><a>declare</a> x</tt> is an action that produces the output
--   <tt>x</tt>.
declare :: MonadDeclare d m => d -> m ()

-- | <tt><a>look</a></tt> is an action that returns all the output so far.
look :: MonadDeclare d m => m d

-- | Lift a computation from the simple Declare monad.
liftDeclare :: MonadDeclare d m => Declare d a -> m a

-- | Retrieve a function of all the output so far.
looks :: MonadDeclare d m => (d -> a) -> m a

-- | Evaluate <tt><a>DeclareT</a> d m a</tt> computation, ignoring new
--   output <tt>d</tt>.
evalDeclareT :: Monad m => DeclareT d m a -> d -> m a

-- | Execute <tt><tt>DeclateT</tt> d m a</tt> computation, ignoring result
--   and only producing new output <tt>d</tt>.
execDeclareT :: Monad m => DeclareT d m a -> d -> m d

-- | Evaluate <tt><a>DeclareT</a> d m a</tt> computation, starting with
--   empty output history.
undeclareT :: (Monad m, Monoid d) => DeclareT d m a -> m a

-- | A declare monad parametrized by <tt>d</tt> — the output to accumulate
--   (declarations).
--   
--   This monad is similar to both state and writer monads. Thus it can be
--   seen as
--   
--   <ul>
--   <li>a restricted append-only version of a state monad or</li>
--   <li>a writer monad with the extra ability to read all previous
--   output.</li>
--   </ul>
type Declare d = DeclareT d Identity

-- | Run <tt><a>Declare</a> d a</tt> computation with output history
--   <tt>d</tt>, producing result <tt>a</tt> and new output <tt>d</tt>.
runDeclare :: Declare d a -> d -> (d, a)

-- | Evaluate <tt><a>Declare</a> d a</tt> computation, ignoring output
--   <tt>d</tt>.
evalDeclare :: Declare d a -> d -> a

-- | Execute <tt><tt>Declate</tt> d a</tt> computation, ignoring result and
--   only producing output <tt>d</tt>.
execDeclare :: Declare d a -> d -> d

-- | Evaluate <tt><a>DeclareT</a> d m a</tt> computation, starting with
--   empty output history.
undeclare :: Monoid d => Declare d a -> a
instance GHC.Base.Functor m => GHC.Base.Functor (Data.Swagger.Declare.DeclareT d m)
instance (GHC.Base.Applicative m, GHC.Base.Monad m, GHC.Base.Monoid d) => Data.Swagger.Declare.MonadDeclare d (Data.Swagger.Declare.DeclareT d m)
instance Data.Swagger.Declare.MonadDeclare d m => Data.Swagger.Declare.MonadDeclare d (Control.Monad.Trans.Cont.ContT r m)
instance Data.Swagger.Declare.MonadDeclare d m => Data.Swagger.Declare.MonadDeclare d (Control.Monad.Trans.Except.ExceptT e m)
instance Data.Swagger.Declare.MonadDeclare d m => Data.Swagger.Declare.MonadDeclare d (Control.Monad.Trans.Identity.IdentityT m)
instance Data.Swagger.Declare.MonadDeclare d m => Data.Swagger.Declare.MonadDeclare d (Control.Monad.Trans.Maybe.MaybeT m)
instance Data.Swagger.Declare.MonadDeclare d m => Data.Swagger.Declare.MonadDeclare d (Control.Monad.Trans.Reader.ReaderT r m)
instance (GHC.Base.Monoid w, Data.Swagger.Declare.MonadDeclare d m) => Data.Swagger.Declare.MonadDeclare d (Control.Monad.Trans.RWS.Lazy.RWST r w s m)
instance (GHC.Base.Monoid w, Data.Swagger.Declare.MonadDeclare d m) => Data.Swagger.Declare.MonadDeclare d (Control.Monad.Trans.RWS.Strict.RWST r w s m)
instance Data.Swagger.Declare.MonadDeclare d m => Data.Swagger.Declare.MonadDeclare d (Control.Monad.Trans.State.Lazy.StateT s m)
instance Data.Swagger.Declare.MonadDeclare d m => Data.Swagger.Declare.MonadDeclare d (Control.Monad.Trans.State.Strict.StateT s m)
instance (GHC.Base.Monoid w, Data.Swagger.Declare.MonadDeclare d m) => Data.Swagger.Declare.MonadDeclare d (Control.Monad.Trans.Writer.Lazy.WriterT w m)
instance (GHC.Base.Monoid w, Data.Swagger.Declare.MonadDeclare d m) => Data.Swagger.Declare.MonadDeclare d (Control.Monad.Trans.Writer.Strict.WriterT w m)
instance (GHC.Base.Applicative m, GHC.Base.Monad m, GHC.Base.Monoid d) => GHC.Base.Applicative (Data.Swagger.Declare.DeclareT d m)
instance (GHC.Base.Applicative m, GHC.Base.Monad m, GHC.Base.Monoid d) => GHC.Base.Monad (Data.Swagger.Declare.DeclareT d m)
instance GHC.Base.Monoid d => Control.Monad.Trans.Class.MonadTrans (Data.Swagger.Declare.DeclareT d)

module Data.Swagger.Internal.AesonUtils
class AesonDefaultValue a
defaultValue :: AesonDefaultValue a => Maybe a

-- | Generic serialisation for swagger records.
--   
--   Features
--   
--   <ul>
--   <li>omits nulls, empty objects and empty arrays (configurable)</li>
--   <li>possible to add fields</li>
--   <li>possible to merge sub-object</li>
--   </ul>
sopSwaggerGenericToJSON :: forall a xs. (HasDatatypeInfo a, HasSwaggerAesonOptions a, All2 ToJSON (Code a), All2 Eq (Code a), Code a ~ '[xs]) => a -> Value
sopSwaggerGenericToEncoding :: forall a xs. (HasDatatypeInfo a, HasSwaggerAesonOptions a, All2 ToJSON (Code a), All2 Eq (Code a), Code a ~ '[xs]) => a -> Encoding

-- | <ul>
--   <li>TODO:* This is only used by ToJSON (ParamSchema
--   SwaggerKindSchema)</li>
--   </ul>
--   
--   Also uses default <a>aesonDefaults</a>
sopSwaggerGenericToJSONWithOpts :: forall a xs. (Generic a, All2 AesonDefaultValue (Code a), HasDatatypeInfo a, All2 ToJSON (Code a), All2 Eq (Code a), Code a ~ '[xs]) => SwaggerAesonOptions -> a -> Value
sopSwaggerGenericParseJSON :: forall a xs. (HasDatatypeInfo a, HasSwaggerAesonOptions a, All2 FromJSON (Code a), All2 Eq (Code a), Code a ~ '[xs]) => Value -> Parser a
class (Generic a, All2 AesonDefaultValue (Code a)) => HasSwaggerAesonOptions a
swaggerAesonOptions :: HasSwaggerAesonOptions a => Proxy a -> SwaggerAesonOptions
aesonDefaults :: HasSwaggerAesonOptions a => Proxy a -> POP Maybe (Code a)
data SwaggerAesonOptions
mkSwaggerAesonOptions :: String -> SwaggerAesonOptions
saoPrefix :: Lens' SwaggerAesonOptions String
saoAdditionalPairs :: Lens' SwaggerAesonOptions [(Text, Value)]
saoSubObject :: Lens' SwaggerAesonOptions (Maybe String)
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue Data.Text.Internal.Text
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue (GHC.Maybe.Maybe a)
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue [a]
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue (Data.Set.Internal.Set a)
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue (Data.HashSet.InsOrd.InsOrdHashSet k)
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue (Data.HashMap.Strict.InsOrd.InsOrdHashMap k v)

module Data.Swagger.Internal.TypeShape

-- | Shape of a datatype.
data TypeShape

-- | A simple enumeration.
Enumeration :: TypeShape

-- | A product or a sum of non-unit products.
SumOfProducts :: TypeShape

-- | Mixed sum type with both unit and non-unit constructors.
Mixed :: TypeShape

-- | A combined shape for a product type.
type family ProdCombine (a :: TypeShape) (b :: TypeShape) :: TypeShape

-- | A combined shape for a sum type.
type family SumCombine (a :: TypeShape) (b :: TypeShape) :: TypeShape
type family TypeHasSimpleShape t (f :: Symbol) :: Constraint
type family GenericHasSimpleShape t (f :: Symbol) (s :: TypeShape) :: Constraint

-- | Infer a <a>TypeShape</a> for a generic representation of a type.
type family GenericShape (g :: * -> *) :: TypeShape

module Data.Swagger.Internal.Utils
swaggerFieldRules :: LensRules
gunfoldEnum :: String -> [a] -> (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c a
jsonPrefix :: String -> Options
parseOneOf :: ToJSON a => [a] -> Value -> Parser a
(<+>) :: Value -> Value -> Value
genericMempty :: (Generic a, GMonoid (Rep a)) => a
genericMappend :: (Generic a, GMonoid (Rep a)) => a -> a -> a
class GMonoid f
gmempty :: GMonoid f => f p
gmappend :: GMonoid f => f p -> f p -> f p
class SwaggerMonoid m
swaggerMempty :: SwaggerMonoid m => m
swaggerMappend :: SwaggerMonoid m => m -> m -> m
swaggerMempty :: (SwaggerMonoid m, Monoid m) => m
swaggerMappend :: (SwaggerMonoid m, Monoid m) => m -> m -> m
instance Data.Swagger.Internal.Utils.SwaggerMonoid a => Data.Swagger.Internal.Utils.GMonoid (GHC.Generics.K1 i a)
instance Data.Swagger.Internal.Utils.SwaggerMonoid [a]
instance GHC.Classes.Ord a => Data.Swagger.Internal.Utils.SwaggerMonoid (Data.Set.Internal.Set a)
instance GHC.Classes.Ord k => Data.Swagger.Internal.Utils.SwaggerMonoid (Data.Map.Internal.Map k v)
instance (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => Data.Swagger.Internal.Utils.SwaggerMonoid (Data.HashMap.Base.HashMap k v)
instance (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => Data.Swagger.Internal.Utils.SwaggerMonoid (Data.HashMap.Strict.InsOrd.InsOrdHashMap k v)
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Text.Internal.Text
instance Data.Swagger.Internal.Utils.SwaggerMonoid (GHC.Maybe.Maybe a)
instance Data.Swagger.Internal.Utils.GMonoid GHC.Generics.U1
instance (Data.Swagger.Internal.Utils.GMonoid f, Data.Swagger.Internal.Utils.GMonoid g) => Data.Swagger.Internal.Utils.GMonoid (f GHC.Generics.:*: g)
instance Data.Swagger.Internal.Utils.GMonoid f => Data.Swagger.Internal.Utils.GMonoid (GHC.Generics.M1 i t f)

module Data.Swagger.Internal

-- | A list of definitions that can be used in references.
type Definitions = InsOrdHashMap Text

-- | This is the root document object for the API specification.
data Swagger
Swagger :: Info -> Maybe Host -> Maybe FilePath -> Maybe [Scheme] -> MimeList -> MimeList -> InsOrdHashMap FilePath PathItem -> Definitions Schema -> Definitions Param -> Definitions Response -> SecurityDefinitions -> [SecurityRequirement] -> InsOrdHashSet Tag -> Maybe ExternalDocs -> Swagger

-- | Provides metadata about the API. The metadata can be used by the
--   clients if needed.
[_swaggerInfo] :: Swagger -> Info

-- | The host (name or ip) serving the API. It MAY include a port. If the
--   host is not included, the host serving the documentation is to be used
--   (including the port).
[_swaggerHost] :: Swagger -> Maybe Host

-- | The base path on which the API is served, which is relative to the
--   host. If it is not included, the API is served directly under the
--   host. The value MUST start with a leading slash (/).
[_swaggerBasePath] :: Swagger -> Maybe FilePath

-- | The transfer protocol of the API. If the schemes is not included, the
--   default scheme to be used is the one used to access the Swagger
--   definition itself.
[_swaggerSchemes] :: Swagger -> Maybe [Scheme]

-- | A list of MIME types the APIs can consume. This is global to all APIs
--   but can be overridden on specific API calls.
[_swaggerConsumes] :: Swagger -> MimeList

-- | A list of MIME types the APIs can produce. This is global to all APIs
--   but can be overridden on specific API calls.
[_swaggerProduces] :: Swagger -> MimeList

-- | The available paths and operations for the API. Holds the relative
--   paths to the individual endpoints. The path is appended to the
--   <tt><tt>basePath</tt></tt> in order to construct the full URL.
[_swaggerPaths] :: Swagger -> InsOrdHashMap FilePath PathItem

-- | An object to hold data types produced and consumed by operations.
[_swaggerDefinitions] :: Swagger -> Definitions Schema

-- | An object to hold parameters that can be used across operations. This
--   property does not define global parameters for all operations.
[_swaggerParameters] :: Swagger -> Definitions Param

-- | An object to hold responses that can be used across operations. This
--   property does not define global responses for all operations.
[_swaggerResponses] :: Swagger -> Definitions Response

-- | Security scheme definitions that can be used across the specification.
[_swaggerSecurityDefinitions] :: Swagger -> SecurityDefinitions

-- | A declaration of which security schemes are applied for the API as a
--   whole. The list of values describes alternative security schemes that
--   can be used (that is, there is a logical OR between the security
--   requirements). Individual operations can override this definition.
[_swaggerSecurity] :: Swagger -> [SecurityRequirement]

-- | A list of tags used by the specification with additional metadata. The
--   order of the tags can be used to reflect on their order by the parsing
--   tools. Not all tags that are used by the Operation Object must be
--   declared. The tags that are not declared may be organized randomly or
--   based on the tools' logic. Each tag name in the list MUST be unique.
[_swaggerTags] :: Swagger -> InsOrdHashSet Tag

-- | Additional external documentation.
[_swaggerExternalDocs] :: Swagger -> Maybe ExternalDocs

-- | The object provides metadata about the API. The metadata can be used
--   by the clients if needed, and can be presented in the Swagger-UI for
--   convenience.
data Info
Info :: Text -> Maybe Text -> Maybe Text -> Maybe Contact -> Maybe License -> Text -> Info

-- | The title of the application.
[_infoTitle] :: Info -> Text

-- | A short description of the application. GFM syntax can be used for
--   rich text representation.
[_infoDescription] :: Info -> Maybe Text

-- | The Terms of Service for the API.
[_infoTermsOfService] :: Info -> Maybe Text

-- | The contact information for the exposed API.
[_infoContact] :: Info -> Maybe Contact

-- | The license information for the exposed API.
[_infoLicense] :: Info -> Maybe License

-- | Provides the version of the application API (not to be confused with
--   the specification version).
[_infoVersion] :: Info -> Text

-- | Contact information for the exposed API.
data Contact
Contact :: Maybe Text -> Maybe URL -> Maybe Text -> Contact

-- | The identifying name of the contact person/organization.
[_contactName] :: Contact -> Maybe Text

-- | The URL pointing to the contact information.
[_contactUrl] :: Contact -> Maybe URL

-- | The email address of the contact person/organization.
[_contactEmail] :: Contact -> Maybe Text

-- | License information for the exposed API.
data License
License :: Text -> Maybe URL -> License

-- | The license name used for the API.
[_licenseName] :: License -> Text

-- | A URL to the license used for the API.
[_licenseUrl] :: License -> Maybe URL

-- | The host (name or ip) serving the API. It MAY include a port.
data Host
Host :: HostName -> Maybe PortNumber -> Host

-- | Host name.
[_hostName] :: Host -> HostName

-- | Optional port.
[_hostPort] :: Host -> Maybe PortNumber
hostConstr :: Constr
hostDataType :: DataType

-- | The transfer protocol of the API.
data Scheme
Http :: Scheme
Https :: Scheme
Ws :: Scheme
Wss :: Scheme

-- | Describes the operations available on a single path. A
--   <tt><a>PathItem</a></tt> may be empty, due to ACL constraints. The
--   path itself is still exposed to the documentation viewer but they will
--   not know which operations and parameters are available.
data PathItem
PathItem :: Maybe Operation -> Maybe Operation -> Maybe Operation -> Maybe Operation -> Maybe Operation -> Maybe Operation -> Maybe Operation -> [Referenced Param] -> PathItem

-- | A definition of a GET operation on this path.
[_pathItemGet] :: PathItem -> Maybe Operation

-- | A definition of a PUT operation on this path.
[_pathItemPut] :: PathItem -> Maybe Operation

-- | A definition of a POST operation on this path.
[_pathItemPost] :: PathItem -> Maybe Operation

-- | A definition of a DELETE operation on this path.
[_pathItemDelete] :: PathItem -> Maybe Operation

-- | A definition of a OPTIONS operation on this path.
[_pathItemOptions] :: PathItem -> Maybe Operation

-- | A definition of a HEAD operation on this path.
[_pathItemHead] :: PathItem -> Maybe Operation

-- | A definition of a PATCH operation on this path.
[_pathItemPatch] :: PathItem -> Maybe Operation

-- | A list of parameters that are applicable for all the operations
--   described under this path. These parameters can be overridden at the
--   operation level, but cannot be removed there. The list MUST NOT
--   include duplicated parameters. A unique parameter is defined by a
--   combination of a name and location.
[_pathItemParameters] :: PathItem -> [Referenced Param]

-- | Describes a single API operation on a path.
data Operation
Operation :: InsOrdHashSet TagName -> Maybe Text -> Maybe Text -> Maybe ExternalDocs -> Maybe Text -> Maybe MimeList -> Maybe MimeList -> [Referenced Param] -> Responses -> Maybe [Scheme] -> Maybe Bool -> [SecurityRequirement] -> Operation

-- | A list of tags for API documentation control. Tags can be used for
--   logical grouping of operations by resources or any other qualifier.
[_operationTags] :: Operation -> InsOrdHashSet TagName

-- | A short summary of what the operation does. For maximum readability in
--   the swagger-ui, this field SHOULD be less than 120 characters.
[_operationSummary] :: Operation -> Maybe Text

-- | A verbose explanation of the operation behavior. GFM syntax can be
--   used for rich text representation.
[_operationDescription] :: Operation -> Maybe Text

-- | Additional external documentation for this operation.
[_operationExternalDocs] :: Operation -> Maybe ExternalDocs

-- | Unique string used to identify the operation. The id MUST be unique
--   among all operations described in the API. Tools and libraries MAY use
--   the it to uniquely identify an operation, therefore, it is recommended
--   to follow common programming naming conventions.
[_operationOperationId] :: Operation -> Maybe Text

-- | A list of MIME types the operation can consume. This overrides the
--   <tt><tt>consumes</tt></tt>. <tt>Just []</tt> MAY be used to clear the
--   global definition.
[_operationConsumes] :: Operation -> Maybe MimeList

-- | A list of MIME types the operation can produce. This overrides the
--   <tt><tt>produces</tt></tt>. <tt>Just []</tt> MAY be used to clear the
--   global definition.
[_operationProduces] :: Operation -> Maybe MimeList

-- | A list of parameters that are applicable for this operation. If a
--   parameter is already defined at the <tt><a>PathItem</a></tt>, the new
--   definition will override it, but can never remove it. The list MUST
--   NOT include duplicated parameters. A unique parameter is defined by a
--   combination of a name and location.
[_operationParameters] :: Operation -> [Referenced Param]

-- | The list of possible responses as they are returned from executing
--   this operation.
[_operationResponses] :: Operation -> Responses

-- | The transfer protocol for the operation. The value overrides
--   <tt><tt>schemes</tt></tt>.
[_operationSchemes] :: Operation -> Maybe [Scheme]

-- | Declares this operation to be deprecated. Usage of the declared
--   operation should be refrained. Default value is <tt>False</tt>.
[_operationDeprecated] :: Operation -> Maybe Bool

-- | A declaration of which security schemes are applied for this
--   operation. The list of values describes alternative security schemes
--   that can be used (that is, there is a logical OR between the security
--   requirements). This definition overrides any declared top-level
--   security. To remove a top-level security declaration, <tt>Just []</tt>
--   can be used.
[_operationSecurity] :: Operation -> [SecurityRequirement]
newtype MimeList
MimeList :: [MediaType] -> MimeList
[getMimeList] :: MimeList -> [MediaType]
mimeListConstr :: Constr
mimeListDataType :: DataType

-- | Describes a single operation parameter. A unique parameter is defined
--   by a combination of a name and location.
data Param
Param :: Text -> Maybe Text -> Maybe Bool -> ParamAnySchema -> Param

-- | The name of the parameter. Parameter names are case sensitive.
[_paramName] :: Param -> Text

-- | A brief description of the parameter. This could contain examples of
--   use. GFM syntax can be used for rich text representation.
[_paramDescription] :: Param -> Maybe Text

-- | Determines whether this parameter is mandatory. If the parameter is in
--   "path", this property is required and its value MUST be true.
--   Otherwise, the property MAY be included and its default value is
--   <tt>False</tt>.
[_paramRequired] :: Param -> Maybe Bool

-- | Parameter schema.
[_paramSchema] :: Param -> ParamAnySchema
data ParamAnySchema
ParamBody :: Referenced Schema -> ParamAnySchema
ParamOther :: ParamOtherSchema -> ParamAnySchema
data ParamOtherSchema
ParamOtherSchema :: ParamLocation -> Maybe Bool -> ParamSchema  'SwaggerKindParamOtherSchema -> ParamOtherSchema

-- | The location of the parameter.
[_paramOtherSchemaIn] :: ParamOtherSchema -> ParamLocation

-- | Sets the ability to pass empty-valued parameters. This is valid only
--   for either <tt><a>ParamQuery</a></tt> or <tt><a>ParamFormData</a></tt>
--   and allows you to send a parameter with a name only or an empty value.
--   Default value is <tt>False</tt>.
[_paramOtherSchemaAllowEmptyValue] :: ParamOtherSchema -> Maybe Bool
[_paramOtherSchemaParamSchema] :: ParamOtherSchema -> ParamSchema  'SwaggerKindParamOtherSchema

-- | Items for <tt><a>SwaggerArray</a></tt> schemas.
--   
--   <tt><a>SwaggerItemsPrimitive</a></tt> should be used only for query
--   params, headers and path pieces. The <tt><a>CollectionFormat</a>
--   t</tt> parameter specifies how elements of an array should be
--   displayed. Note that <tt>fmt</tt> in <tt><a>SwaggerItemsPrimitive</a>
--   fmt schema</tt> specifies format for elements of type <tt>schema</tt>.
--   This is different from the original Swagger's <a>Items Object</a>.
--   
--   <tt><a>SwaggerItemsObject</a></tt> should be used to specify
--   homogenous array <tt><a>Schema</a></tt>s.
--   
--   <tt><a>SwaggerItemsArray</a></tt> should be used to specify tuple
--   <tt><a>Schema</a></tt>s.
data SwaggerItems t
[SwaggerItemsPrimitive] :: Maybe (CollectionFormat k) -> ParamSchema k -> SwaggerItems k
[SwaggerItemsObject] :: Referenced Schema -> SwaggerItems  'SwaggerKindSchema
[SwaggerItemsArray] :: [Referenced Schema] -> SwaggerItems  'SwaggerKindSchema
swaggerItemsPrimitiveConstr :: Constr
swaggerItemsObjectConstr :: Constr
swaggerItemsArrayConstr :: Constr
swaggerItemsDataType :: DataType

-- | Type used as a kind to avoid overlapping instances.
data SwaggerKind t
SwaggerKindNormal :: t -> SwaggerKind t
SwaggerKindParamOtherSchema :: SwaggerKind t
SwaggerKindSchema :: SwaggerKind t
type family SwaggerKindType (k :: SwaggerKind *) :: *
data SwaggerType t
[SwaggerString] :: SwaggerType t
[SwaggerNumber] :: SwaggerType t
[SwaggerInteger] :: SwaggerType t
[SwaggerBoolean] :: SwaggerType t
[SwaggerArray] :: SwaggerType t
[SwaggerFile] :: SwaggerType  'SwaggerKindParamOtherSchema
[SwaggerNull] :: SwaggerType  'SwaggerKindSchema
[SwaggerObject] :: SwaggerType  'SwaggerKindSchema
swaggerTypeConstr :: Data (SwaggerType t) => SwaggerType t -> Constr
swaggerTypeDataType :: SwaggerType t -> DataType
swaggerCommonTypes :: [SwaggerType k]
swaggerParamTypes :: [SwaggerType  'SwaggerKindParamOtherSchema]
swaggerSchemaTypes :: [SwaggerType  'SwaggerKindSchema]
swaggerTypeConstrs :: [Constr]
data ParamLocation

-- | Parameters that are appended to the URL. For example, in
--   <tt>/items?id=###</tt>, the query parameter is <tt>id</tt>.
ParamQuery :: ParamLocation

-- | Custom headers that are expected as part of the request.
ParamHeader :: ParamLocation

-- | Used together with Path Templating, where the parameter value is
--   actually part of the operation's URL. This does not include the host
--   or base path of the API. For example, in
--   <tt><i>items</i>{itemId}</tt>, the path parameter is <tt>itemId</tt>.
ParamPath :: ParamLocation

-- | Used to describe the payload of an HTTP request when either
--   <tt>application/x-www-form-urlencoded</tt> or
--   <tt>multipart/form-data</tt> are used as the content type of the
--   request (in Swagger's definition, the <tt>consumes</tt> property of an
--   operation). This is the only parameter type that can be used to send
--   files, thus supporting the <tt><tt>ParamFile</tt></tt> type. Since
--   form parameters are sent in the payload, they cannot be declared
--   together with a body parameter for the same operation. Form parameters
--   have a different format based on the content-type used (for further
--   details, consult
--   <a>http://www.w3.org/TR/html401/interact/forms.html#h-17.13.4</a>).
ParamFormData :: ParamLocation
type Format = Text

-- | Determines the format of the array.
data CollectionFormat t
[CollectionCSV] :: CollectionFormat t
[CollectionSSV] :: CollectionFormat t
[CollectionTSV] :: CollectionFormat t
[CollectionPipes] :: CollectionFormat t
[CollectionMulti] :: CollectionFormat  'SwaggerKindParamOtherSchema
collectionFormatConstr :: CollectionFormat t -> Constr
collectionFormatDataType :: DataType
collectionCommonFormats :: [CollectionFormat t]
type ParamName = Text
data Schema
Schema :: Maybe Text -> Maybe Text -> [ParamName] -> Maybe [Referenced Schema] -> InsOrdHashMap Text (Referenced Schema) -> Maybe AdditionalProperties -> Maybe Text -> Maybe Bool -> Maybe Xml -> Maybe ExternalDocs -> Maybe Value -> Maybe Integer -> Maybe Integer -> ParamSchema  'SwaggerKindSchema -> Schema
[_schemaTitle] :: Schema -> Maybe Text
[_schemaDescription] :: Schema -> Maybe Text
[_schemaRequired] :: Schema -> [ParamName]
[_schemaAllOf] :: Schema -> Maybe [Referenced Schema]
[_schemaProperties] :: Schema -> InsOrdHashMap Text (Referenced Schema)
[_schemaAdditionalProperties] :: Schema -> Maybe AdditionalProperties
[_schemaDiscriminator] :: Schema -> Maybe Text
[_schemaReadOnly] :: Schema -> Maybe Bool
[_schemaXml] :: Schema -> Maybe Xml
[_schemaExternalDocs] :: Schema -> Maybe ExternalDocs
[_schemaExample] :: Schema -> Maybe Value
[_schemaMaxProperties] :: Schema -> Maybe Integer
[_schemaMinProperties] :: Schema -> Maybe Integer
[_schemaParamSchema] :: Schema -> ParamSchema  'SwaggerKindSchema

-- | A <tt><a>Schema</a></tt> with an optional name. This name can be used
--   in references.
data NamedSchema
NamedSchema :: Maybe Text -> Schema -> NamedSchema
[_namedSchemaName] :: NamedSchema -> Maybe Text
[_namedSchemaSchema] :: NamedSchema -> Schema

-- | Regex pattern for <tt>string</tt> type.
type Pattern = Text
data ParamSchema (t :: SwaggerKind *)
ParamSchema :: Maybe Value -> Maybe (SwaggerType t) -> Maybe Format -> Maybe (SwaggerItems t) -> Maybe Scientific -> Maybe Bool -> Maybe Scientific -> Maybe Bool -> Maybe Integer -> Maybe Integer -> Maybe Pattern -> Maybe Integer -> Maybe Integer -> Maybe Bool -> Maybe [Value] -> Maybe Scientific -> ParamSchema

-- | Declares the value of the parameter that the server will use if none
--   is provided, for example a <tt>"count"</tt> to control the number of
--   results per page might default to <tt>100</tt> if not supplied by the
--   client in the request. (Note: "default" has no meaning for required
--   parameters.) Unlike JSON Schema this value MUST conform to the defined
--   type for this parameter.
[_paramSchemaDefault] :: ParamSchema -> Maybe Value
[_paramSchemaType] :: ParamSchema -> Maybe (SwaggerType t)
[_paramSchemaFormat] :: ParamSchema -> Maybe Format
[_paramSchemaItems] :: ParamSchema -> Maybe (SwaggerItems t)
[_paramSchemaMaximum] :: ParamSchema -> Maybe Scientific
[_paramSchemaExclusiveMaximum] :: ParamSchema -> Maybe Bool
[_paramSchemaMinimum] :: ParamSchema -> Maybe Scientific
[_paramSchemaExclusiveMinimum] :: ParamSchema -> Maybe Bool
[_paramSchemaMaxLength] :: ParamSchema -> Maybe Integer
[_paramSchemaMinLength] :: ParamSchema -> Maybe Integer
[_paramSchemaPattern] :: ParamSchema -> Maybe Pattern
[_paramSchemaMaxItems] :: ParamSchema -> Maybe Integer
[_paramSchemaMinItems] :: ParamSchema -> Maybe Integer
[_paramSchemaUniqueItems] :: ParamSchema -> Maybe Bool
[_paramSchemaEnum] :: ParamSchema -> Maybe [Value]
[_paramSchemaMultipleOf] :: ParamSchema -> Maybe Scientific
data Xml
Xml :: Maybe Text -> Maybe Text -> Maybe Text -> Maybe Bool -> Maybe Bool -> Xml

-- | Replaces the name of the element/attribute used for the described
--   schema property. When defined within the <tt><a>SwaggerItems</a></tt>
--   (items), it will affect the name of the individual XML elements within
--   the list. When defined alongside type being array (outside the items),
--   it will affect the wrapping element and only if wrapped is true. If
--   wrapped is false, it will be ignored.
[_xmlName] :: Xml -> Maybe Text

-- | The URL of the namespace definition. Value SHOULD be in the form of a
--   URL.
[_xmlNamespace] :: Xml -> Maybe Text

-- | The prefix to be used for the name.
[_xmlPrefix] :: Xml -> Maybe Text

-- | Declares whether the property definition translates to an attribute
--   instead of an element. Default value is <tt>False</tt>.
[_xmlAttribute] :: Xml -> Maybe Bool

-- | MAY be used only for an array definition. Signifies whether the array
--   is wrapped (for example,
--   <tt>&lt;books&gt;&lt;book<i>&gt;&lt;book</i>&gt;&lt;/books&gt;</tt>)
--   or unwrapped (<tt>&lt;book<i>&gt;&lt;book</i>&gt;</tt>). Default value
--   is <tt>False</tt>. The definition takes effect only when defined
--   alongside type being array (outside the items).
[_xmlWrapped] :: Xml -> Maybe Bool

-- | A container for the expected responses of an operation. The container
--   maps a HTTP response code to the expected response. It is not expected
--   from the documentation to necessarily cover all possible HTTP response
--   codes, since they may not be known in advance. However, it is expected
--   from the documentation to cover a successful operation response and
--   any known errors.
data Responses
Responses :: Maybe (Referenced Response) -> InsOrdHashMap HttpStatusCode (Referenced Response) -> Responses

-- | The documentation of responses other than the ones declared for
--   specific HTTP response codes. It can be used to cover undeclared
--   responses.
[_responsesDefault] :: Responses -> Maybe (Referenced Response)

-- | Any HTTP status code can be used as the property name (one property
--   per HTTP status code). Describes the expected response for those HTTP
--   status codes.
[_responsesResponses] :: Responses -> InsOrdHashMap HttpStatusCode (Referenced Response)
type HttpStatusCode = Int

-- | Describes a single response from an API Operation.
data Response
Response :: Text -> Maybe (Referenced Schema) -> InsOrdHashMap HeaderName Header -> Maybe Example -> Response

-- | A short description of the response. GFM syntax can be used for rich
--   text representation.
[_responseDescription] :: Response -> Text

-- | A definition of the response structure. It can be a primitive, an
--   array or an object. If this field does not exist, it means no content
--   is returned as part of the response. As an extension to the Schema
--   Object, its root type value may also be "file". This SHOULD be
--   accompanied by a relevant produces mime-type.
[_responseSchema] :: Response -> Maybe (Referenced Schema)

-- | A list of headers that are sent with the response.
[_responseHeaders] :: Response -> InsOrdHashMap HeaderName Header

-- | An example of the response message.
[_responseExamples] :: Response -> Maybe Example
type HeaderName = Text
data Header
Header :: Maybe Text -> ParamSchema ( 'SwaggerKindNormal Header) -> Header

-- | A short description of the header.
[_headerDescription] :: Header -> Maybe Text
[_headerParamSchema] :: Header -> ParamSchema ( 'SwaggerKindNormal Header)
data Example
Example :: Map MediaType Value -> Example
[getExample] :: Example -> Map MediaType Value
exampleConstr :: Constr
exampleDataType :: DataType

-- | The location of the API key.
data ApiKeyLocation
ApiKeyQuery :: ApiKeyLocation
ApiKeyHeader :: ApiKeyLocation
data ApiKeyParams
ApiKeyParams :: Text -> ApiKeyLocation -> ApiKeyParams

-- | The name of the header or query parameter to be used.
[_apiKeyName] :: ApiKeyParams -> Text

-- | The location of the API key.
[_apiKeyIn] :: ApiKeyParams -> ApiKeyLocation

-- | The authorization URL to be used for OAuth2 flow. This SHOULD be in
--   the form of a URL.
type AuthorizationURL = Text

-- | The token URL to be used for OAuth2 flow. This SHOULD be in the form
--   of a URL.
type TokenURL = Text
data OAuth2Flow
OAuth2Implicit :: AuthorizationURL -> OAuth2Flow
OAuth2Password :: TokenURL -> OAuth2Flow
OAuth2Application :: TokenURL -> OAuth2Flow
OAuth2AccessCode :: AuthorizationURL -> TokenURL -> OAuth2Flow
data OAuth2Params
OAuth2Params :: OAuth2Flow -> InsOrdHashMap Text Text -> OAuth2Params

-- | The flow used by the OAuth2 security scheme.
[_oauth2Flow] :: OAuth2Params -> OAuth2Flow

-- | The available scopes for the OAuth2 security scheme.
[_oauth2Scopes] :: OAuth2Params -> InsOrdHashMap Text Text
data SecuritySchemeType
SecuritySchemeBasic :: SecuritySchemeType
SecuritySchemeApiKey :: ApiKeyParams -> SecuritySchemeType
SecuritySchemeOAuth2 :: OAuth2Params -> SecuritySchemeType
data SecurityScheme
SecurityScheme :: SecuritySchemeType -> Maybe Text -> SecurityScheme

-- | The type of the security scheme.
[_securitySchemeType] :: SecurityScheme -> SecuritySchemeType

-- | A short description for security scheme.
[_securitySchemeDescription] :: SecurityScheme -> Maybe Text

-- | merge scopes of two OAuth2 security schemes when their flows are
--   identical. In other case returns first security scheme
mergeSecurityScheme :: SecurityScheme -> SecurityScheme -> SecurityScheme
newtype SecurityDefinitions
SecurityDefinitions :: Definitions SecurityScheme -> SecurityDefinitions

-- | Lists the required security schemes to execute this operation. The
--   object can have multiple security schemes declared in it which are all
--   required (that is, there is a logical AND between the schemes).
newtype SecurityRequirement
SecurityRequirement :: InsOrdHashMap Text [Text] -> SecurityRequirement
[getSecurityRequirement] :: SecurityRequirement -> InsOrdHashMap Text [Text]

-- | Tag name.
type TagName = Text

-- | Allows adding meta data to a single tag that is used by
--   <tt>Operation</tt>. It is not mandatory to have a <tt>Tag</tt> per tag
--   used there.
data Tag
Tag :: TagName -> Maybe Text -> Maybe ExternalDocs -> Tag

-- | The name of the tag.
[_tagName] :: Tag -> TagName

-- | A short description for the tag. GFM syntax can be used for rich text
--   representation.
[_tagDescription] :: Tag -> Maybe Text

-- | Additional external documentation for this tag.
[_tagExternalDocs] :: Tag -> Maybe ExternalDocs

-- | Allows referencing an external resource for extended documentation.
data ExternalDocs
ExternalDocs :: Maybe Text -> URL -> ExternalDocs

-- | A short description of the target documentation. GFM syntax can be
--   used for rich text representation.
[_externalDocsDescription] :: ExternalDocs -> Maybe Text

-- | The URL for the target documentation.
[_externalDocsUrl] :: ExternalDocs -> URL

-- | A simple object to allow referencing other definitions in the
--   specification. It can be used to reference parameters and responses
--   that are defined at the top level for reuse.
newtype Reference
Reference :: Text -> Reference
[getReference] :: Reference -> Text
data Referenced a
Ref :: Reference -> Referenced a
Inline :: a -> Referenced a
newtype URL
URL :: Text -> URL
[getUrl] :: URL -> Text
data AdditionalProperties
AdditionalPropertiesAllowed :: Bool -> AdditionalProperties
AdditionalPropertiesSchema :: Referenced Schema -> AdditionalProperties
referencedToJSON :: ToJSON a => Text -> Referenced a -> Value
referencedParseJSON :: FromJSON a => Text -> Value -> Parser (Referenced a)
instance Generics.SOP.Universe.Generic Data.Swagger.Internal.Swagger
instance Generics.SOP.Universe.HasDatatypeInfo Data.Swagger.Internal.Swagger
instance Data.Swagger.Internal.AesonUtils.HasSwaggerAesonOptions Data.Swagger.Internal.Header
instance Data.Swagger.Internal.AesonUtils.HasSwaggerAesonOptions Data.Swagger.Internal.OAuth2Params
instance Data.Swagger.Internal.AesonUtils.HasSwaggerAesonOptions Data.Swagger.Internal.Operation
instance Data.Swagger.Internal.AesonUtils.HasSwaggerAesonOptions Data.Swagger.Internal.Param
instance Data.Swagger.Internal.AesonUtils.HasSwaggerAesonOptions Data.Swagger.Internal.ParamOtherSchema
instance Data.Swagger.Internal.AesonUtils.HasSwaggerAesonOptions Data.Swagger.Internal.PathItem
instance Data.Swagger.Internal.AesonUtils.HasSwaggerAesonOptions Data.Swagger.Internal.Response
instance Data.Swagger.Internal.AesonUtils.HasSwaggerAesonOptions Data.Swagger.Internal.Responses
instance Data.Swagger.Internal.AesonUtils.HasSwaggerAesonOptions Data.Swagger.Internal.SecurityScheme
instance Data.Swagger.Internal.AesonUtils.HasSwaggerAesonOptions Data.Swagger.Internal.Schema
instance Data.Swagger.Internal.AesonUtils.HasSwaggerAesonOptions Data.Swagger.Internal.Swagger
instance Data.Swagger.Internal.AesonUtils.HasSwaggerAesonOptions (Data.Swagger.Internal.ParamSchema ('Data.Swagger.Internal.SwaggerKindNormal t))
instance Data.Swagger.Internal.AesonUtils.HasSwaggerAesonOptions (Data.Swagger.Internal.ParamSchema 'Data.Swagger.Internal.SwaggerKindParamOtherSchema)
instance Data.Swagger.Internal.AesonUtils.HasSwaggerAesonOptions (Data.Swagger.Internal.ParamSchema 'Data.Swagger.Internal.SwaggerKindSchema)
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue (Data.Swagger.Internal.ParamSchema s)
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue Data.Swagger.Internal.OAuth2Flow
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue Data.Swagger.Internal.Responses
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue Data.Swagger.Internal.ParamAnySchema
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue Data.Swagger.Internal.SecuritySchemeType
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue (Data.Swagger.Internal.SwaggerType a)
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue Data.Swagger.Internal.MimeList
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue Data.Swagger.Internal.Info
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue Data.Swagger.Internal.ParamLocation
instance Data.Swagger.Internal.AesonUtils.AesonDefaultValue Data.Swagger.Internal.SecurityDefinitions
instance Generics.SOP.Universe.Generic (Data.Swagger.Internal.ParamSchema t)
instance Generics.SOP.Universe.HasDatatypeInfo (Data.Swagger.Internal.ParamSchema t)
instance Generics.SOP.Universe.Generic Data.Swagger.Internal.Schema
instance Generics.SOP.Universe.HasDatatypeInfo Data.Swagger.Internal.Schema
instance Generics.SOP.Universe.Generic Data.Swagger.Internal.SecurityScheme
instance Generics.SOP.Universe.HasDatatypeInfo Data.Swagger.Internal.SecurityScheme
instance Generics.SOP.Universe.Generic Data.Swagger.Internal.Responses
instance Generics.SOP.Universe.HasDatatypeInfo Data.Swagger.Internal.Responses
instance Generics.SOP.Universe.Generic Data.Swagger.Internal.Response
instance Generics.SOP.Universe.HasDatatypeInfo Data.Swagger.Internal.Response
instance Generics.SOP.Universe.Generic Data.Swagger.Internal.PathItem
instance Generics.SOP.Universe.HasDatatypeInfo Data.Swagger.Internal.PathItem
instance Generics.SOP.Universe.Generic Data.Swagger.Internal.ParamOtherSchema
instance Generics.SOP.Universe.HasDatatypeInfo Data.Swagger.Internal.ParamOtherSchema
instance Generics.SOP.Universe.Generic Data.Swagger.Internal.Param
instance Generics.SOP.Universe.HasDatatypeInfo Data.Swagger.Internal.Param
instance Generics.SOP.Universe.Generic Data.Swagger.Internal.Operation
instance Generics.SOP.Universe.HasDatatypeInfo Data.Swagger.Internal.Operation
instance Generics.SOP.Universe.Generic Data.Swagger.Internal.OAuth2Params
instance Generics.SOP.Universe.HasDatatypeInfo Data.Swagger.Internal.OAuth2Params
instance Generics.SOP.Universe.Generic Data.Swagger.Internal.Header
instance Generics.SOP.Universe.HasDatatypeInfo Data.Swagger.Internal.Header
instance Data.Data.Data Data.Swagger.Internal.Swagger
instance GHC.Generics.Generic Data.Swagger.Internal.Swagger
instance GHC.Show.Show Data.Swagger.Internal.Swagger
instance GHC.Classes.Eq Data.Swagger.Internal.Swagger
instance Data.Data.Data Data.Swagger.Internal.PathItem
instance GHC.Generics.Generic Data.Swagger.Internal.PathItem
instance GHC.Show.Show Data.Swagger.Internal.PathItem
instance GHC.Classes.Eq Data.Swagger.Internal.PathItem
instance Data.Data.Data Data.Swagger.Internal.Operation
instance GHC.Generics.Generic Data.Swagger.Internal.Operation
instance GHC.Show.Show Data.Swagger.Internal.Operation
instance GHC.Classes.Eq Data.Swagger.Internal.Operation
instance Data.Data.Data Data.Swagger.Internal.Param
instance GHC.Generics.Generic Data.Swagger.Internal.Param
instance GHC.Show.Show Data.Swagger.Internal.Param
instance GHC.Classes.Eq Data.Swagger.Internal.Param
instance Data.Data.Data Data.Swagger.Internal.ParamAnySchema
instance GHC.Generics.Generic Data.Swagger.Internal.ParamAnySchema
instance GHC.Show.Show Data.Swagger.Internal.ParamAnySchema
instance GHC.Classes.Eq Data.Swagger.Internal.ParamAnySchema
instance Data.Data.Data Data.Swagger.Internal.ParamOtherSchema
instance GHC.Generics.Generic Data.Swagger.Internal.ParamOtherSchema
instance GHC.Show.Show Data.Swagger.Internal.ParamOtherSchema
instance GHC.Classes.Eq Data.Swagger.Internal.ParamOtherSchema
instance Data.Data.Data Data.Swagger.Internal.Responses
instance GHC.Generics.Generic Data.Swagger.Internal.Responses
instance GHC.Show.Show Data.Swagger.Internal.Responses
instance GHC.Classes.Eq Data.Swagger.Internal.Responses
instance Data.Data.Data Data.Swagger.Internal.Response
instance GHC.Generics.Generic Data.Swagger.Internal.Response
instance GHC.Show.Show Data.Swagger.Internal.Response
instance GHC.Classes.Eq Data.Swagger.Internal.Response
instance Data.Data.Data Data.Swagger.Internal.Header
instance GHC.Generics.Generic Data.Swagger.Internal.Header
instance GHC.Show.Show Data.Swagger.Internal.Header
instance GHC.Classes.Eq Data.Swagger.Internal.Header
instance Data.Data.Data Data.Swagger.Internal.NamedSchema
instance GHC.Generics.Generic Data.Swagger.Internal.NamedSchema
instance GHC.Show.Show Data.Swagger.Internal.NamedSchema
instance GHC.Classes.Eq Data.Swagger.Internal.NamedSchema
instance GHC.Generics.Generic (Data.Swagger.Internal.ParamSchema t)
instance GHC.Show.Show (Data.Swagger.Internal.ParamSchema t)
instance GHC.Classes.Eq (Data.Swagger.Internal.ParamSchema t)
instance Data.Data.Data Data.Swagger.Internal.Schema
instance GHC.Generics.Generic Data.Swagger.Internal.Schema
instance GHC.Show.Show Data.Swagger.Internal.Schema
instance GHC.Classes.Eq Data.Swagger.Internal.Schema
instance Data.Data.Data Data.Swagger.Internal.AdditionalProperties
instance GHC.Show.Show Data.Swagger.Internal.AdditionalProperties
instance GHC.Classes.Eq Data.Swagger.Internal.AdditionalProperties
instance Data.Data.Data Data.Swagger.Internal.Info
instance GHC.Generics.Generic Data.Swagger.Internal.Info
instance GHC.Show.Show Data.Swagger.Internal.Info
instance GHC.Classes.Eq Data.Swagger.Internal.Info
instance Data.Data.Data Data.Swagger.Internal.Contact
instance GHC.Generics.Generic Data.Swagger.Internal.Contact
instance GHC.Show.Show Data.Swagger.Internal.Contact
instance GHC.Classes.Eq Data.Swagger.Internal.Contact
instance Data.Data.Data Data.Swagger.Internal.License
instance GHC.Generics.Generic Data.Swagger.Internal.License
instance GHC.Show.Show Data.Swagger.Internal.License
instance GHC.Classes.Eq Data.Swagger.Internal.License
instance Data.Data.Data Data.Swagger.Internal.Tag
instance GHC.Generics.Generic Data.Swagger.Internal.Tag
instance GHC.Show.Show Data.Swagger.Internal.Tag
instance GHC.Classes.Ord Data.Swagger.Internal.Tag
instance GHC.Classes.Eq Data.Swagger.Internal.Tag
instance Data.Data.Data Data.Swagger.Internal.ExternalDocs
instance GHC.Generics.Generic Data.Swagger.Internal.ExternalDocs
instance GHC.Show.Show Data.Swagger.Internal.ExternalDocs
instance GHC.Classes.Ord Data.Swagger.Internal.ExternalDocs
instance GHC.Classes.Eq Data.Swagger.Internal.ExternalDocs
instance Data.Data.Data Data.Swagger.Internal.URL
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.URL
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.URL
instance Data.Hashable.Class.Hashable Data.Swagger.Internal.URL
instance GHC.Show.Show Data.Swagger.Internal.URL
instance GHC.Classes.Ord Data.Swagger.Internal.URL
instance GHC.Classes.Eq Data.Swagger.Internal.URL
instance Data.Data.Data a => Data.Data.Data (Data.Swagger.Internal.Referenced a)
instance GHC.Base.Functor Data.Swagger.Internal.Referenced
instance GHC.Show.Show a => GHC.Show.Show (Data.Swagger.Internal.Referenced a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Swagger.Internal.Referenced a)
instance Data.Data.Data Data.Swagger.Internal.Reference
instance GHC.Show.Show Data.Swagger.Internal.Reference
instance GHC.Classes.Eq Data.Swagger.Internal.Reference
instance Data.Data.Data Data.Swagger.Internal.SecurityRequirement
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.SecurityRequirement
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.SecurityRequirement
instance GHC.Base.Monoid Data.Swagger.Internal.SecurityRequirement
instance GHC.Base.Semigroup Data.Swagger.Internal.SecurityRequirement
instance GHC.Show.Show Data.Swagger.Internal.SecurityRequirement
instance GHC.Read.Read Data.Swagger.Internal.SecurityRequirement
instance GHC.Classes.Eq Data.Swagger.Internal.SecurityRequirement
instance Data.Data.Data Data.Swagger.Internal.SecurityDefinitions
instance GHC.Generics.Generic Data.Swagger.Internal.SecurityDefinitions
instance GHC.Show.Show Data.Swagger.Internal.SecurityDefinitions
instance GHC.Classes.Eq Data.Swagger.Internal.SecurityDefinitions
instance Data.Data.Data Data.Swagger.Internal.SecurityScheme
instance GHC.Generics.Generic Data.Swagger.Internal.SecurityScheme
instance GHC.Show.Show Data.Swagger.Internal.SecurityScheme
instance GHC.Classes.Eq Data.Swagger.Internal.SecurityScheme
instance Data.Data.Data Data.Swagger.Internal.SecuritySchemeType
instance GHC.Generics.Generic Data.Swagger.Internal.SecuritySchemeType
instance GHC.Show.Show Data.Swagger.Internal.SecuritySchemeType
instance GHC.Classes.Eq Data.Swagger.Internal.SecuritySchemeType
instance Data.Data.Data Data.Swagger.Internal.OAuth2Params
instance GHC.Generics.Generic Data.Swagger.Internal.OAuth2Params
instance GHC.Show.Show Data.Swagger.Internal.OAuth2Params
instance GHC.Classes.Eq Data.Swagger.Internal.OAuth2Params
instance Data.Data.Data Data.Swagger.Internal.OAuth2Flow
instance GHC.Generics.Generic Data.Swagger.Internal.OAuth2Flow
instance GHC.Show.Show Data.Swagger.Internal.OAuth2Flow
instance GHC.Classes.Eq Data.Swagger.Internal.OAuth2Flow
instance Data.Data.Data Data.Swagger.Internal.ApiKeyParams
instance GHC.Generics.Generic Data.Swagger.Internal.ApiKeyParams
instance GHC.Show.Show Data.Swagger.Internal.ApiKeyParams
instance GHC.Classes.Eq Data.Swagger.Internal.ApiKeyParams
instance Data.Data.Data Data.Swagger.Internal.ApiKeyLocation
instance GHC.Generics.Generic Data.Swagger.Internal.ApiKeyLocation
instance GHC.Show.Show Data.Swagger.Internal.ApiKeyLocation
instance GHC.Classes.Eq Data.Swagger.Internal.ApiKeyLocation
instance GHC.Generics.Generic Data.Swagger.Internal.Example
instance GHC.Show.Show Data.Swagger.Internal.Example
instance GHC.Classes.Eq Data.Swagger.Internal.Example
instance Data.Data.Data Data.Swagger.Internal.Xml
instance GHC.Generics.Generic Data.Swagger.Internal.Xml
instance GHC.Show.Show Data.Swagger.Internal.Xml
instance GHC.Classes.Eq Data.Swagger.Internal.Xml
instance Data.Data.Data Data.Swagger.Internal.ParamLocation
instance GHC.Generics.Generic Data.Swagger.Internal.ParamLocation
instance GHC.Show.Show Data.Swagger.Internal.ParamLocation
instance GHC.Classes.Eq Data.Swagger.Internal.ParamLocation
instance GHC.Base.Monoid Data.Swagger.Internal.MimeList
instance GHC.Base.Semigroup Data.Swagger.Internal.MimeList
instance GHC.Show.Show Data.Swagger.Internal.MimeList
instance GHC.Classes.Eq Data.Swagger.Internal.MimeList
instance Data.Data.Data Data.Swagger.Internal.Scheme
instance GHC.Generics.Generic Data.Swagger.Internal.Scheme
instance GHC.Show.Show Data.Swagger.Internal.Scheme
instance GHC.Classes.Eq Data.Swagger.Internal.Scheme
instance GHC.Generics.Generic Data.Swagger.Internal.Host
instance GHC.Show.Show Data.Swagger.Internal.Host
instance GHC.Classes.Eq Data.Swagger.Internal.Host
instance GHC.Classes.Eq (Data.Swagger.Internal.SwaggerItems t)
instance GHC.Show.Show (Data.Swagger.Internal.SwaggerItems t)
instance GHC.Classes.Eq (Data.Swagger.Internal.SwaggerType t)
instance GHC.Show.Show (Data.Swagger.Internal.SwaggerType t)
instance GHC.Classes.Eq (Data.Swagger.Internal.CollectionFormat t)
instance GHC.Show.Show (Data.Swagger.Internal.CollectionFormat t)
instance Data.Data.Data (Data.Swagger.Internal.CollectionFormat 'Data.Swagger.Internal.SwaggerKindParamOtherSchema)
instance (Data.Typeable.Internal.Typeable k, Data.Data.Data (GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType k)), Data.Data.Data (Data.Swagger.Internal.SwaggerItems k)) => Data.Data.Data (Data.Swagger.Internal.ParamSchema k)
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Swagger.Internal.URL
instance GHC.Base.Semigroup Data.Swagger.Internal.Swagger
instance GHC.Base.Monoid Data.Swagger.Internal.Swagger
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Swagger
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Swagger
instance GHC.Base.Semigroup Data.Swagger.Internal.PathItem
instance GHC.Base.Monoid Data.Swagger.Internal.PathItem
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Swagger.Internal.PathItem
instance Data.Swagger.Internal.Utils.SwaggerMonoid (Data.HashMap.Strict.InsOrd.InsOrdHashMap GHC.IO.FilePath Data.Swagger.Internal.PathItem)
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.PathItem
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.PathItem
instance GHC.Base.Semigroup Data.Swagger.Internal.Operation
instance GHC.Base.Monoid Data.Swagger.Internal.Operation
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Swagger.Internal.Operation
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Operation
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Operation
instance GHC.Base.Semigroup Data.Swagger.Internal.Param
instance GHC.Base.Monoid Data.Swagger.Internal.Param
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Swagger.Internal.Param
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Param
instance Data.Aeson.Types.ToJSON.ToJSON (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Param)
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Param
instance Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Param)
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Swagger.Internal.ParamAnySchema
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.ParamAnySchema
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.ParamAnySchema
instance GHC.Base.Semigroup Data.Swagger.Internal.ParamOtherSchema
instance GHC.Base.Monoid Data.Swagger.Internal.ParamOtherSchema
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Swagger.Internal.ParamOtherSchema
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.ParamOtherSchema
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.ParamOtherSchema
instance GHC.Base.Semigroup Data.Swagger.Internal.Responses
instance GHC.Base.Monoid Data.Swagger.Internal.Responses
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Swagger.Internal.Responses
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Responses
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Responses
instance Data.String.IsString Data.Swagger.Internal.Response
instance GHC.Base.Semigroup Data.Swagger.Internal.Response
instance GHC.Base.Monoid Data.Swagger.Internal.Response
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Swagger.Internal.Response
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Response
instance Data.Aeson.Types.ToJSON.ToJSON (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Response)
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Response
instance Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Response)
instance GHC.Base.Semigroup Data.Swagger.Internal.Header
instance GHC.Base.Monoid Data.Swagger.Internal.Header
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Header
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Header
instance Data.Data.Data t => Data.Data.Data (Data.Swagger.Internal.SwaggerItems ('Data.Swagger.Internal.SwaggerKindNormal t))
instance Data.Data.Data (Data.Swagger.Internal.SwaggerItems 'Data.Swagger.Internal.SwaggerKindParamOtherSchema)
instance Data.Data.Data (Data.Swagger.Internal.SwaggerItems 'Data.Swagger.Internal.SwaggerKindSchema)
instance GHC.Base.Semigroup Data.Swagger.Internal.Schema
instance GHC.Base.Monoid Data.Swagger.Internal.Schema
instance GHC.Base.Semigroup (Data.Swagger.Internal.ParamSchema t)
instance GHC.Base.Monoid (Data.Swagger.Internal.ParamSchema t)
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Swagger.Internal.Schema
instance Data.Swagger.Internal.Utils.SwaggerMonoid (Data.Swagger.Internal.ParamSchema t)
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Schema
instance Data.Aeson.Types.ToJSON.ToJSON (Data.Swagger.Internal.ParamSchema t) => Data.Aeson.Types.ToJSON.ToJSON (Data.Swagger.Internal.SwaggerItems t)
instance Data.Aeson.Types.ToJSON.ToJSON (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema)
instance Data.Aeson.Types.ToJSON.ToJSON (Data.Swagger.Internal.ParamSchema k)
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.AdditionalProperties
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Schema
instance (Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.CollectionFormat ('Data.Swagger.Internal.SwaggerKindNormal t)), Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.ParamSchema ('Data.Swagger.Internal.SwaggerKindNormal t))) => Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.SwaggerItems ('Data.Swagger.Internal.SwaggerKindNormal t))
instance Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.SwaggerItems 'Data.Swagger.Internal.SwaggerKindParamOtherSchema)
instance Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.SwaggerItems 'Data.Swagger.Internal.SwaggerKindSchema)
instance Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema)
instance (Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.SwaggerType ('Data.Swagger.Internal.SwaggerKindNormal t)), Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.SwaggerItems ('Data.Swagger.Internal.SwaggerKindNormal t))) => Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.ParamSchema ('Data.Swagger.Internal.SwaggerKindNormal t))
instance Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.ParamSchema 'Data.Swagger.Internal.SwaggerKindParamOtherSchema)
instance Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.ParamSchema 'Data.Swagger.Internal.SwaggerKindSchema)
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.AdditionalProperties
instance GHC.Base.Semigroup Data.Swagger.Internal.Info
instance GHC.Base.Monoid Data.Swagger.Internal.Info
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Swagger.Internal.Info
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Info
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Info
instance GHC.Base.Semigroup Data.Swagger.Internal.Contact
instance GHC.Base.Monoid Data.Swagger.Internal.Contact
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Contact
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Contact
instance Data.String.IsString Data.Swagger.Internal.License
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.License
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.License
instance Data.Hashable.Class.Hashable Data.Swagger.Internal.Tag
instance Data.String.IsString Data.Swagger.Internal.Tag
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Tag
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Tag
instance Data.Hashable.Class.Hashable Data.Swagger.Internal.ExternalDocs
instance GHC.Base.Semigroup Data.Swagger.Internal.ExternalDocs
instance GHC.Base.Monoid Data.Swagger.Internal.ExternalDocs
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Swagger.Internal.ExternalDocs
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.ExternalDocs
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.ExternalDocs
instance Data.String.IsString a => Data.String.IsString (Data.Swagger.Internal.Referenced a)
instance GHC.Base.Monoid a => Data.Swagger.Internal.Utils.SwaggerMonoid (Data.Swagger.Internal.Referenced a)
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Reference
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Reference
instance GHC.Base.Semigroup Data.Swagger.Internal.SecurityDefinitions
instance GHC.Base.Monoid Data.Swagger.Internal.SecurityDefinitions
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Swagger.Internal.SecurityDefinitions
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.SecurityDefinitions
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.SecurityDefinitions
instance GHC.Base.Semigroup Data.Swagger.Internal.SecurityScheme
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.SecurityScheme
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.SecurityScheme
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.SecuritySchemeType
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.SecuritySchemeType
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.OAuth2Params
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.OAuth2Params
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.OAuth2Flow
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.OAuth2Flow
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.ApiKeyParams
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.ApiKeyParams
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.ApiKeyLocation
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.ApiKeyLocation
instance Data.Data.Data Data.Swagger.Internal.Example
instance GHC.Base.Semigroup Data.Swagger.Internal.Example
instance GHC.Base.Monoid Data.Swagger.Internal.Example
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Example
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Example
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Xml
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Xml
instance Data.Data.Data t => Data.Data.Data (Data.Swagger.Internal.CollectionFormat ('Data.Swagger.Internal.SwaggerKindNormal t))
instance Data.Aeson.Types.ToJSON.ToJSON (Data.Swagger.Internal.CollectionFormat t)
instance Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.CollectionFormat ('Data.Swagger.Internal.SwaggerKindNormal t))
instance Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.CollectionFormat 'Data.Swagger.Internal.SwaggerKindParamOtherSchema)
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Swagger.Internal.ParamLocation
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.ParamLocation
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.ParamLocation
instance Data.Typeable.Internal.Typeable t => Data.Data.Data (Data.Swagger.Internal.SwaggerType ('Data.Swagger.Internal.SwaggerKindNormal t))
instance Data.Data.Data (Data.Swagger.Internal.SwaggerType 'Data.Swagger.Internal.SwaggerKindParamOtherSchema)
instance Data.Data.Data (Data.Swagger.Internal.SwaggerType 'Data.Swagger.Internal.SwaggerKindSchema)
instance Data.Swagger.Internal.Utils.SwaggerMonoid (Data.Swagger.Internal.SwaggerType t)
instance Data.Aeson.Types.ToJSON.ToJSON (Data.Swagger.Internal.SwaggerType t)
instance Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.SwaggerType 'Data.Swagger.Internal.SwaggerKindSchema)
instance Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.SwaggerType 'Data.Swagger.Internal.SwaggerKindParamOtherSchema)
instance Data.Aeson.Types.FromJSON.FromJSON (Data.Swagger.Internal.SwaggerType ('Data.Swagger.Internal.SwaggerKindNormal t))
instance Data.Data.Data Data.Swagger.Internal.MimeList
instance Data.Swagger.Internal.Utils.SwaggerMonoid Data.Swagger.Internal.MimeList
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.MimeList
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.MimeList
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Scheme
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Scheme
instance Data.String.IsString Data.Swagger.Internal.Host
instance Data.Data.Data Data.Swagger.Internal.Host
instance Data.Aeson.Types.ToJSON.ToJSON Data.Swagger.Internal.Host
instance Data.Aeson.Types.FromJSON.FromJSON Data.Swagger.Internal.Host
instance (GHC.Classes.Eq a, Data.Hashable.Class.Hashable a) => Data.Swagger.Internal.Utils.SwaggerMonoid (Data.HashSet.InsOrd.InsOrdHashSet a)


-- | Lenses and prisms for Swagger.
module Data.Swagger.Lens
class HasBasePath s a | s -> a
basePath :: HasBasePath s a => Lens' s a
class HasConsumes s a | s -> a
consumes :: HasConsumes s a => Lens' s a
class HasDefinitions s a | s -> a
definitions :: HasDefinitions s a => Lens' s a
class HasExternalDocs s a | s -> a
externalDocs :: HasExternalDocs s a => Lens' s a
class HasHost s a | s -> a
host :: HasHost s a => Lens' s a
class HasInfo s a | s -> a
info :: HasInfo s a => Lens' s a
class HasParameters s a | s -> a
parameters :: HasParameters s a => Lens' s a
class HasPaths s a | s -> a
paths :: HasPaths s a => Lens' s a
class HasProduces s a | s -> a
produces :: HasProduces s a => Lens' s a
class HasResponses s a | s -> a
responses :: HasResponses s a => Lens' s a
class HasSchemes s a | s -> a
schemes :: HasSchemes s a => Lens' s a
class HasSecurity s a | s -> a
security :: HasSecurity s a => Lens' s a
class HasSecurityDefinitions s a | s -> a
securityDefinitions :: HasSecurityDefinitions s a => Lens' s a
class HasTags s a | s -> a
tags :: HasTags s a => Lens' s a
class HasName s a | s -> a
name :: HasName s a => Lens' s a
class HasPort s a | s -> a
port :: HasPort s a => Lens' s a
class HasContact s a | s -> a
contact :: HasContact s a => Lens' s a
class HasDescription s a | s -> a
description :: HasDescription s a => Lens' s a
class HasLicense s a | s -> a
license :: HasLicense s a => Lens' s a
class HasTermsOfService s a | s -> a
termsOfService :: HasTermsOfService s a => Lens' s a
class HasTitle s a | s -> a
title :: HasTitle s a => Lens' s a
class HasVersion s a | s -> a
version :: HasVersion s a => Lens' s a
class HasEmail s a | s -> a
email :: HasEmail s a => Lens' s a
class HasUrl s a | s -> a
url :: HasUrl s a => Lens' s a
class HasDelete s a | s -> a
delete :: HasDelete s a => Lens' s a
class HasGet s a | s -> a
get :: HasGet s a => Lens' s a
class HasHead s a | s -> a
head_ :: HasHead s a => Lens' s a
class HasOptions s a | s -> a
options :: HasOptions s a => Lens' s a
class HasPatch s a | s -> a
patch :: HasPatch s a => Lens' s a
class HasPost s a | s -> a
post :: HasPost s a => Lens' s a
class HasPut s a | s -> a
put :: HasPut s a => Lens' s a
class HasDeprecated s a | s -> a
deprecated :: HasDeprecated s a => Lens' s a
class HasOperationId s a | s -> a
operationId :: HasOperationId s a => Lens' s a
class HasSummary s a | s -> a
summary :: HasSummary s a => Lens' s a
class HasRequired s a | s -> a
required :: HasRequired s a => Lens' s a
class HasSchema s a | s -> a
schema :: HasSchema s a => Lens' s a
class HasAllowEmptyValue s a | s -> a
allowEmptyValue :: HasAllowEmptyValue s a => Lens' s a
class HasIn s a | s -> a
in_ :: HasIn s a => Lens' s a
class HasParamSchema s a | s -> a
paramSchema :: HasParamSchema s a => Lens' s a
class HasAdditionalProperties s a | s -> a
additionalProperties :: HasAdditionalProperties s a => Lens' s a
class HasAllOf s a | s -> a
allOf :: HasAllOf s a => Lens' s a
class HasDiscriminator s a | s -> a
discriminator :: HasDiscriminator s a => Lens' s a
class HasExample s a | s -> a
example :: HasExample s a => Lens' s a
class HasMaxProperties s a | s -> a
maxProperties :: HasMaxProperties s a => Lens' s a
class HasMinProperties s a | s -> a
minProperties :: HasMinProperties s a => Lens' s a
class HasProperties s a | s -> a
properties :: HasProperties s a => Lens' s a
class HasReadOnly s a | s -> a
readOnly :: HasReadOnly s a => Lens' s a
class HasXml s a | s -> a
xml :: HasXml s a => Lens' s a
class HasDefault s a | s -> a
default_ :: HasDefault s a => Lens' s a
class HasEnum s a | s -> a
enum_ :: HasEnum s a => Lens' s a
class HasExclusiveMaximum s a | s -> a
exclusiveMaximum :: HasExclusiveMaximum s a => Lens' s a
class HasExclusiveMinimum s a | s -> a
exclusiveMinimum :: HasExclusiveMinimum s a => Lens' s a
class HasFormat s a | s -> a
format :: HasFormat s a => Lens' s a
class HasItems s a | s -> a
items :: HasItems s a => Lens' s a
class HasMaxItems s a | s -> a
maxItems :: HasMaxItems s a => Lens' s a
class HasMaxLength s a | s -> a
maxLength :: HasMaxLength s a => Lens' s a
class HasMaximum s a | s -> a
maximum_ :: HasMaximum s a => Lens' s a
class HasMinItems s a | s -> a
minItems :: HasMinItems s a => Lens' s a
class HasMinLength s a | s -> a
minLength :: HasMinLength s a => Lens' s a
class HasMinimum s a | s -> a
minimum_ :: HasMinimum s a => Lens' s a
class HasMultipleOf s a | s -> a
multipleOf :: HasMultipleOf s a => Lens' s a
class HasPattern s a | s -> a
pattern :: HasPattern s a => Lens' s a
class HasType s a | s -> a
type_ :: HasType s a => Lens' s a
class HasUniqueItems s a | s -> a
uniqueItems :: HasUniqueItems s a => Lens' s a
class HasAttribute s a | s -> a
attribute :: HasAttribute s a => Lens' s a
class HasNamespace s a | s -> a
namespace :: HasNamespace s a => Lens' s a
class HasPrefix s a | s -> a
prefix :: HasPrefix s a => Lens' s a
class HasWrapped s a | s -> a
wrapped :: HasWrapped s a => Lens' s a
class HasExamples s a | s -> a
examples :: HasExamples s a => Lens' s a
class HasHeaders s a | s -> a
headers :: HasHeaders s a => Lens' s a
_ParamOther :: Prism' ParamAnySchema ParamOtherSchema
_ParamBody :: Prism' ParamAnySchema (Referenced Schema)
_SecuritySchemeOAuth2 :: Prism' SecuritySchemeType OAuth2Params
_SecuritySchemeApiKey :: Prism' SecuritySchemeType ApiKeyParams
_SecuritySchemeBasic :: Prism' SecuritySchemeType ()
_Inline :: forall a_aJFT a_a2d32. Prism (Referenced a_a2d32) (Referenced a_aJFT) a_a2d32 a_aJFT
_Ref :: forall a_aJFT. Prism' (Referenced a_aJFT) Reference
_SwaggerItemsArray :: Review (SwaggerItems  'SwaggerKindSchema) [Referenced Schema]
_SwaggerItemsObject :: Review (SwaggerItems  'SwaggerKindSchema) (Referenced Schema)
_SwaggerItemsPrimitive :: forall t p f. (Profunctor p, Bifunctor p, Functor f) => Optic' p f (SwaggerItems t) (Maybe (CollectionFormat t), ParamSchema t)
instance Control.Lens.At.Ixed Data.Swagger.Internal.Responses
instance Control.Lens.At.At Data.Swagger.Internal.Responses
instance Control.Lens.At.Ixed Data.Swagger.Internal.Operation
instance Control.Lens.At.At Data.Swagger.Internal.Operation
instance Control.Lens.At.Ixed Data.Swagger.Internal.SecurityDefinitions
instance Control.Lens.At.At Data.Swagger.Internal.SecurityDefinitions
instance Data.Swagger.Lens.HasParamSchema Data.Swagger.Internal.NamedSchema (Data.Swagger.Internal.ParamSchema 'Data.Swagger.Internal.SwaggerKindSchema)
instance Data.Swagger.Lens.HasType Data.Swagger.Internal.Header (GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType ('Data.Swagger.Internal.SwaggerKindNormal Data.Swagger.Internal.Header)))
instance Data.Swagger.Lens.HasType Data.Swagger.Internal.Schema (GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType 'Data.Swagger.Internal.SwaggerKindSchema))
instance Data.Swagger.Lens.HasType Data.Swagger.Internal.NamedSchema (GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType 'Data.Swagger.Internal.SwaggerKindSchema))
instance Data.Swagger.Lens.HasType Data.Swagger.Internal.ParamOtherSchema (GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType 'Data.Swagger.Internal.SwaggerKindParamOtherSchema))
instance Data.Swagger.Lens.HasDefault Data.Swagger.Internal.Header (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value)
instance Data.Swagger.Lens.HasDefault Data.Swagger.Internal.Schema (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value)
instance Data.Swagger.Lens.HasDefault Data.Swagger.Internal.ParamOtherSchema (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value)
instance Data.Swagger.Lens.HasParamSchema s (Data.Swagger.Internal.ParamSchema t) => Data.Swagger.Lens.HasFormat s (GHC.Maybe.Maybe Data.Swagger.Internal.Format)
instance Data.Swagger.Lens.HasParamSchema s (Data.Swagger.Internal.ParamSchema t) => Data.Swagger.Lens.HasItems s (GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerItems t))
instance Data.Swagger.Lens.HasParamSchema s (Data.Swagger.Internal.ParamSchema t) => Data.Swagger.Lens.HasMaximum s (GHC.Maybe.Maybe Data.Scientific.Scientific)
instance Data.Swagger.Lens.HasParamSchema s (Data.Swagger.Internal.ParamSchema t) => Data.Swagger.Lens.HasExclusiveMaximum s (GHC.Maybe.Maybe GHC.Types.Bool)
instance Data.Swagger.Lens.HasParamSchema s (Data.Swagger.Internal.ParamSchema t) => Data.Swagger.Lens.HasMinimum s (GHC.Maybe.Maybe Data.Scientific.Scientific)
instance Data.Swagger.Lens.HasParamSchema s (Data.Swagger.Internal.ParamSchema t) => Data.Swagger.Lens.HasExclusiveMinimum s (GHC.Maybe.Maybe GHC.Types.Bool)
instance Data.Swagger.Lens.HasParamSchema s (Data.Swagger.Internal.ParamSchema t) => Data.Swagger.Lens.HasMaxLength s (GHC.Maybe.Maybe GHC.Integer.Type.Integer)
instance Data.Swagger.Lens.HasParamSchema s (Data.Swagger.Internal.ParamSchema t) => Data.Swagger.Lens.HasMinLength s (GHC.Maybe.Maybe GHC.Integer.Type.Integer)
instance Data.Swagger.Lens.HasParamSchema s (Data.Swagger.Internal.ParamSchema t) => Data.Swagger.Lens.HasPattern s (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasParamSchema s (Data.Swagger.Internal.ParamSchema t) => Data.Swagger.Lens.HasMaxItems s (GHC.Maybe.Maybe GHC.Integer.Type.Integer)
instance Data.Swagger.Lens.HasParamSchema s (Data.Swagger.Internal.ParamSchema t) => Data.Swagger.Lens.HasMinItems s (GHC.Maybe.Maybe GHC.Integer.Type.Integer)
instance Data.Swagger.Lens.HasParamSchema s (Data.Swagger.Internal.ParamSchema t) => Data.Swagger.Lens.HasUniqueItems s (GHC.Maybe.Maybe GHC.Types.Bool)
instance Data.Swagger.Lens.HasParamSchema s (Data.Swagger.Internal.ParamSchema t) => Data.Swagger.Lens.HasEnum s (GHC.Maybe.Maybe [Data.Aeson.Types.Internal.Value])
instance Data.Swagger.Lens.HasParamSchema s (Data.Swagger.Internal.ParamSchema t) => Data.Swagger.Lens.HasMultipleOf s (GHC.Maybe.Maybe Data.Scientific.Scientific)
instance Data.Swagger.Lens.HasDescription Data.Swagger.Internal.ExternalDocs (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasUrl Data.Swagger.Internal.ExternalDocs Data.Swagger.Internal.URL
instance Data.Swagger.Lens.HasDescription Data.Swagger.Internal.SecurityScheme (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasType Data.Swagger.Internal.SecurityScheme Data.Swagger.Internal.SecuritySchemeType
instance Data.Swagger.Lens.HasHeaders Data.Swagger.Internal.Response (Data.HashMap.Strict.InsOrd.InsOrdHashMap Data.Swagger.Internal.HeaderName Data.Swagger.Internal.Header)
instance Data.Swagger.Lens.HasExamples Data.Swagger.Internal.Response (GHC.Maybe.Maybe Data.Swagger.Internal.Example)
instance Data.Swagger.Lens.HasDescription Data.Swagger.Internal.Response Data.Text.Internal.Text
instance Data.Swagger.Lens.HasSchema Data.Swagger.Internal.Response (GHC.Maybe.Maybe (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema))
instance Data.Swagger.Lens.HasDefault Data.Swagger.Internal.Responses (GHC.Maybe.Maybe (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Response))
instance Data.Swagger.Lens.HasResponses Data.Swagger.Internal.Responses (Data.HashMap.Strict.InsOrd.InsOrdHashMap Data.Swagger.Internal.HttpStatusCode (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Response))
instance Data.Swagger.Lens.HasWrapped Data.Swagger.Internal.Xml (GHC.Maybe.Maybe GHC.Types.Bool)
instance Data.Swagger.Lens.HasPrefix Data.Swagger.Internal.Xml (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasNamespace Data.Swagger.Internal.Xml (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasAttribute Data.Swagger.Internal.Xml (GHC.Maybe.Maybe GHC.Types.Bool)
instance Data.Swagger.Lens.HasName Data.Swagger.Internal.Xml (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasUniqueItems (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe GHC.Types.Bool)
instance Data.Swagger.Lens.HasType (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType t))
instance Data.Swagger.Lens.HasPattern (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe Data.Swagger.Internal.Pattern)
instance Data.Swagger.Lens.HasMultipleOf (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe Data.Scientific.Scientific)
instance Data.Swagger.Lens.HasMinimum (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe Data.Scientific.Scientific)
instance Data.Swagger.Lens.HasMinLength (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe GHC.Integer.Type.Integer)
instance Data.Swagger.Lens.HasMinItems (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe GHC.Integer.Type.Integer)
instance Data.Swagger.Lens.HasMaximum (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe Data.Scientific.Scientific)
instance Data.Swagger.Lens.HasMaxLength (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe GHC.Integer.Type.Integer)
instance Data.Swagger.Lens.HasMaxItems (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe GHC.Integer.Type.Integer)
instance Data.Swagger.Lens.HasItems (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerItems t))
instance Data.Swagger.Lens.HasFormat (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe Data.Swagger.Internal.Format)
instance Data.Swagger.Lens.HasExclusiveMinimum (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe GHC.Types.Bool)
instance Data.Swagger.Lens.HasExclusiveMaximum (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe GHC.Types.Bool)
instance Data.Swagger.Lens.HasEnum (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe [Data.Aeson.Types.Internal.Value])
instance Data.Swagger.Lens.HasDefault (Data.Swagger.Internal.ParamSchema t) (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value)
instance Data.Swagger.Lens.HasName Data.Swagger.Internal.NamedSchema (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasSchema Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.Schema
instance Data.Swagger.Lens.HasXml Data.Swagger.Internal.Schema (GHC.Maybe.Maybe Data.Swagger.Internal.Xml)
instance Data.Swagger.Lens.HasReadOnly Data.Swagger.Internal.Schema (GHC.Maybe.Maybe GHC.Types.Bool)
instance Data.Swagger.Lens.HasProperties Data.Swagger.Internal.Schema (Data.HashMap.Strict.InsOrd.InsOrdHashMap Data.Text.Internal.Text (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema))
instance Data.Swagger.Lens.HasMinProperties Data.Swagger.Internal.Schema (GHC.Maybe.Maybe GHC.Integer.Type.Integer)
instance Data.Swagger.Lens.HasMaxProperties Data.Swagger.Internal.Schema (GHC.Maybe.Maybe GHC.Integer.Type.Integer)
instance Data.Swagger.Lens.HasExample Data.Swagger.Internal.Schema (GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value)
instance Data.Swagger.Lens.HasDiscriminator Data.Swagger.Internal.Schema (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasAllOf Data.Swagger.Internal.Schema (GHC.Maybe.Maybe [Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema])
instance Data.Swagger.Lens.HasAdditionalProperties Data.Swagger.Internal.Schema (GHC.Maybe.Maybe Data.Swagger.Internal.AdditionalProperties)
instance Data.Swagger.Lens.HasDescription Data.Swagger.Internal.Schema (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasExternalDocs Data.Swagger.Internal.Schema (GHC.Maybe.Maybe Data.Swagger.Internal.ExternalDocs)
instance Data.Swagger.Lens.HasParamSchema Data.Swagger.Internal.Schema (Data.Swagger.Internal.ParamSchema 'Data.Swagger.Internal.SwaggerKindSchema)
instance Data.Swagger.Lens.HasRequired Data.Swagger.Internal.Schema [Data.Swagger.Internal.ParamName]
instance Data.Swagger.Lens.HasTitle Data.Swagger.Internal.Schema (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasDescription Data.Swagger.Internal.Header (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasParamSchema Data.Swagger.Internal.Header (Data.Swagger.Internal.ParamSchema ('Data.Swagger.Internal.SwaggerKindNormal Data.Swagger.Internal.Header))
instance Data.Swagger.Lens.HasParamSchema Data.Swagger.Internal.ParamOtherSchema (Data.Swagger.Internal.ParamSchema 'Data.Swagger.Internal.SwaggerKindParamOtherSchema)
instance Data.Swagger.Lens.HasIn Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamLocation
instance Data.Swagger.Lens.HasAllowEmptyValue Data.Swagger.Internal.ParamOtherSchema (GHC.Maybe.Maybe GHC.Types.Bool)
instance Data.Swagger.Lens.HasSchema Data.Swagger.Internal.Param Data.Swagger.Internal.ParamAnySchema
instance Data.Swagger.Lens.HasRequired Data.Swagger.Internal.Param (GHC.Maybe.Maybe GHC.Types.Bool)
instance Data.Swagger.Lens.HasDescription Data.Swagger.Internal.Param (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasName Data.Swagger.Internal.Param Data.Text.Internal.Text
instance Data.Swagger.Lens.HasSummary Data.Swagger.Internal.Operation (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasOperationId Data.Swagger.Internal.Operation (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasDeprecated Data.Swagger.Internal.Operation (GHC.Maybe.Maybe GHC.Types.Bool)
instance Data.Swagger.Lens.HasConsumes Data.Swagger.Internal.Operation (GHC.Maybe.Maybe Data.Swagger.Internal.MimeList)
instance Data.Swagger.Lens.HasDescription Data.Swagger.Internal.Operation (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasExternalDocs Data.Swagger.Internal.Operation (GHC.Maybe.Maybe Data.Swagger.Internal.ExternalDocs)
instance Data.Swagger.Lens.HasParameters Data.Swagger.Internal.Operation [Data.Swagger.Internal.Referenced Data.Swagger.Internal.Param]
instance Data.Swagger.Lens.HasProduces Data.Swagger.Internal.Operation (GHC.Maybe.Maybe Data.Swagger.Internal.MimeList)
instance Data.Swagger.Lens.HasResponses Data.Swagger.Internal.Operation Data.Swagger.Internal.Responses
instance Data.Swagger.Lens.HasSchemes Data.Swagger.Internal.Operation (GHC.Maybe.Maybe [Data.Swagger.Internal.Scheme])
instance Data.Swagger.Lens.HasSecurity Data.Swagger.Internal.Operation [Data.Swagger.Internal.SecurityRequirement]
instance Data.Swagger.Lens.HasTags Data.Swagger.Internal.Operation (Data.HashSet.InsOrd.InsOrdHashSet Data.Swagger.Internal.TagName)
instance Data.Swagger.Lens.HasDescription Data.Swagger.Internal.Tag (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasExternalDocs Data.Swagger.Internal.Tag (GHC.Maybe.Maybe Data.Swagger.Internal.ExternalDocs)
instance Data.Swagger.Lens.HasName Data.Swagger.Internal.Tag Data.Swagger.Internal.TagName
instance Data.Swagger.Lens.HasPut Data.Swagger.Internal.PathItem (GHC.Maybe.Maybe Data.Swagger.Internal.Operation)
instance Data.Swagger.Lens.HasPost Data.Swagger.Internal.PathItem (GHC.Maybe.Maybe Data.Swagger.Internal.Operation)
instance Data.Swagger.Lens.HasPatch Data.Swagger.Internal.PathItem (GHC.Maybe.Maybe Data.Swagger.Internal.Operation)
instance Data.Swagger.Lens.HasOptions Data.Swagger.Internal.PathItem (GHC.Maybe.Maybe Data.Swagger.Internal.Operation)
instance Data.Swagger.Lens.HasHead Data.Swagger.Internal.PathItem (GHC.Maybe.Maybe Data.Swagger.Internal.Operation)
instance Data.Swagger.Lens.HasGet Data.Swagger.Internal.PathItem (GHC.Maybe.Maybe Data.Swagger.Internal.Operation)
instance Data.Swagger.Lens.HasDelete Data.Swagger.Internal.PathItem (GHC.Maybe.Maybe Data.Swagger.Internal.Operation)
instance Data.Swagger.Lens.HasParameters Data.Swagger.Internal.PathItem [Data.Swagger.Internal.Referenced Data.Swagger.Internal.Param]
instance Data.Swagger.Lens.HasName Data.Swagger.Internal.License Data.Text.Internal.Text
instance Data.Swagger.Lens.HasUrl Data.Swagger.Internal.License (GHC.Maybe.Maybe Data.Swagger.Internal.URL)
instance Data.Swagger.Lens.HasUrl Data.Swagger.Internal.Contact (GHC.Maybe.Maybe Data.Swagger.Internal.URL)
instance Data.Swagger.Lens.HasEmail Data.Swagger.Internal.Contact (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasName Data.Swagger.Internal.Contact (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasVersion Data.Swagger.Internal.Info Data.Text.Internal.Text
instance Data.Swagger.Lens.HasTitle Data.Swagger.Internal.Info Data.Text.Internal.Text
instance Data.Swagger.Lens.HasTermsOfService Data.Swagger.Internal.Info (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasLicense Data.Swagger.Internal.Info (GHC.Maybe.Maybe Data.Swagger.Internal.License)
instance Data.Swagger.Lens.HasDescription Data.Swagger.Internal.Info (GHC.Maybe.Maybe Data.Text.Internal.Text)
instance Data.Swagger.Lens.HasContact Data.Swagger.Internal.Info (GHC.Maybe.Maybe Data.Swagger.Internal.Contact)
instance Data.Swagger.Lens.HasPort Data.Swagger.Internal.Host (GHC.Maybe.Maybe Network.Socket.Types.PortNumber)
instance Data.Swagger.Lens.HasName Data.Swagger.Internal.Host Network.Socket.Info.HostName
instance Data.Swagger.Lens.HasTags Data.Swagger.Internal.Swagger (Data.HashSet.InsOrd.InsOrdHashSet Data.Swagger.Internal.Tag)
instance Data.Swagger.Lens.HasSecurityDefinitions Data.Swagger.Internal.Swagger Data.Swagger.Internal.SecurityDefinitions
instance Data.Swagger.Lens.HasSecurity Data.Swagger.Internal.Swagger [Data.Swagger.Internal.SecurityRequirement]
instance Data.Swagger.Lens.HasSchemes Data.Swagger.Internal.Swagger (GHC.Maybe.Maybe [Data.Swagger.Internal.Scheme])
instance Data.Swagger.Lens.HasResponses Data.Swagger.Internal.Swagger (Data.Swagger.Internal.Definitions Data.Swagger.Internal.Response)
instance Data.Swagger.Lens.HasProduces Data.Swagger.Internal.Swagger Data.Swagger.Internal.MimeList
instance Data.Swagger.Lens.HasPaths Data.Swagger.Internal.Swagger (Data.HashMap.Strict.InsOrd.InsOrdHashMap GHC.IO.FilePath Data.Swagger.Internal.PathItem)
instance Data.Swagger.Lens.HasParameters Data.Swagger.Internal.Swagger (Data.Swagger.Internal.Definitions Data.Swagger.Internal.Param)
instance Data.Swagger.Lens.HasInfo Data.Swagger.Internal.Swagger Data.Swagger.Internal.Info
instance Data.Swagger.Lens.HasHost Data.Swagger.Internal.Swagger (GHC.Maybe.Maybe Data.Swagger.Internal.Host)
instance Data.Swagger.Lens.HasExternalDocs Data.Swagger.Internal.Swagger (GHC.Maybe.Maybe Data.Swagger.Internal.ExternalDocs)
instance Data.Swagger.Lens.HasDefinitions Data.Swagger.Internal.Swagger (Data.Swagger.Internal.Definitions Data.Swagger.Internal.Schema)
instance Data.Swagger.Lens.HasConsumes Data.Swagger.Internal.Swagger Data.Swagger.Internal.MimeList
instance Data.Swagger.Lens.HasBasePath Data.Swagger.Internal.Swagger (GHC.Maybe.Maybe GHC.IO.FilePath)


-- | Lenses and prisms for the <a>optics</a> library.
--   
--   <pre>
--   &gt;&gt;&gt; import Data.Aeson
--   
--   &gt;&gt;&gt; import Optics.Core
--   
--   &gt;&gt;&gt; :set -XOverloadedLabels
--   </pre>
--   
--   Example from the <a>Data.Swagger</a> module using <tt>optics</tt>:
--   
--   <pre>
--   &gt;&gt;&gt; :{
--   encode $ (mempty :: Swagger)
--     &amp; #definitions .~ [ ("User", mempty &amp; #type ?~ SwaggerString) ]
--     &amp; #paths .~
--       [ ("/user", mempty &amp; #get ?~ (mempty
--           &amp; #produces ?~ MimeList ["application/json"]
--           &amp; at 200 ?~ ("OK" &amp; #_Inline % #schema ?~ Ref (Reference "User"))
--           &amp; at 404 ?~ "User info not found")) ]
--   :}
--   "{\"swagger\":\"2.0\",\"info\":{\"version\":\"\",\"title\":\"\"},\"paths\":{\"/user\":{\"get\":{\"produces\":[\"application/json\"],\"responses\":{\"404\":{\"description\":\"User info not found\"},\"200\":{\"schema\":{\"$ref\":\"#/definitions/User\"},\"description\":\"OK\"}}}}},\"definitions\":{\"User\":{\"type\":\"string\"}}}"
--   </pre>
--   
--   For convenience optics are defined as <i>labels</i>. It means that
--   field accessor names can be overloaded for different types. One such
--   common field is <tt>#description</tt>. Many components of a Swagger
--   specification can have descriptions, and you can use the same name for
--   them:
--   
--   <pre>
--   &gt;&gt;&gt; encode $ (mempty :: Response) &amp; #description .~ "No content"
--   "{\"description\":\"No content\"}"
--   
--   &gt;&gt;&gt; :{
--   encode $ (mempty :: Schema)
--     &amp; #type        ?~ SwaggerBoolean
--     &amp; #description ?~ "To be or not to be"
--   :}
--   "{\"description\":\"To be or not to be\",\"type\":\"boolean\"}"
--   </pre>
--   
--   <tt><a>ParamSchema</a></tt> is basically the <i>base schema
--   specification</i> and many types contain it. So for convenience, all
--   <tt><a>ParamSchema</a></tt> fields are transitively made fields of the
--   type that has it. For example, you can use <tt>#type</tt> to access
--   <tt><a>SwaggerType</a></tt> of <tt><a>Header</a></tt> schema without
--   having to use <tt>#paramSchema</tt>:
--   
--   <pre>
--   &gt;&gt;&gt; encode $ (mempty :: Header) &amp; #type ?~ SwaggerNumber
--   "{\"type\":\"number\"}"
--   </pre>
--   
--   Additionally, to simplify working with <tt><a>Response</a></tt>, both
--   <tt><a>Operation</a></tt> and <tt><a>Responses</a></tt> have direct
--   access to it via <tt><a>at</a></tt>. Example:
--   
--   <pre>
--   &gt;&gt;&gt; :{
--   encode $ (mempty :: Operation)
--     &amp; at 404 ?~ "Not found"
--   :}
--   "{\"responses\":{\"404\":{\"description\":\"Not found\"}}}"
--   </pre>
module Data.Swagger.Optics
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Prism, a1 Data.Type.Equality.~ Data.Swagger.Internal.Reference, b Data.Type.Equality.~ Data.Swagger.Internal.Reference) => Optics.Internal.Optic.LabelOptic "_Ref" k (Data.Swagger.Internal.Referenced a2) (Data.Swagger.Internal.Referenced a2) a1 b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Prism, a1 Data.Type.Equality.~ a2, b Data.Type.Equality.~ a3) => Optics.Internal.Optic.LabelOptic "_Inline" k (Data.Swagger.Internal.Referenced a2) (Data.Swagger.Internal.Referenced a3) a1 b
instance (a Data.Type.Equality.~ [Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema], b Data.Type.Equality.~ [Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema]) => Optics.Internal.Optic.LabelOptic "_SwaggerItemsArray" Optics.Internal.Optic.Types.A_Review (Data.Swagger.Internal.SwaggerItems 'Data.Swagger.Internal.SwaggerKindSchema) (Data.Swagger.Internal.SwaggerItems 'Data.Swagger.Internal.SwaggerKindSchema) a b
instance (a Data.Type.Equality.~ Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema, b Data.Type.Equality.~ Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema) => Optics.Internal.Optic.LabelOptic "_SwaggerItemsObject" Optics.Internal.Optic.Types.A_Review (Data.Swagger.Internal.SwaggerItems 'Data.Swagger.Internal.SwaggerKindSchema) (Data.Swagger.Internal.SwaggerItems 'Data.Swagger.Internal.SwaggerKindSchema) a b
instance (a Data.Type.Equality.~ (GHC.Maybe.Maybe (Data.Swagger.Internal.CollectionFormat t), Data.Swagger.Internal.ParamSchema t), b Data.Type.Equality.~ (GHC.Maybe.Maybe (Data.Swagger.Internal.CollectionFormat t), Data.Swagger.Internal.ParamSchema t)) => Optics.Internal.Optic.LabelOptic "_SwaggerItemsPrimitive" Optics.Internal.Optic.Types.A_Review (Data.Swagger.Internal.SwaggerItems t) (Data.Swagger.Internal.SwaggerItems t) a b
instance Optics.At.Core.Ixed Data.Swagger.Internal.Responses
instance Optics.At.Core.At Data.Swagger.Internal.Responses
instance Optics.At.Core.Ixed Data.Swagger.Internal.Operation
instance Optics.At.Core.At Data.Swagger.Internal.Operation
instance (a Data.Type.Equality.~ Data.Swagger.Internal.ParamSchema 'Data.Swagger.Internal.SwaggerKindSchema, b Data.Type.Equality.~ Data.Swagger.Internal.ParamSchema 'Data.Swagger.Internal.SwaggerKindSchema) => Optics.Internal.Optic.LabelOptic "paramSchema" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType ('Data.Swagger.Internal.SwaggerKindNormal Data.Swagger.Internal.Header)), b Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType ('Data.Swagger.Internal.SwaggerKindNormal Data.Swagger.Internal.Header))) => Optics.Internal.Optic.LabelOptic "type" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType 'Data.Swagger.Internal.SwaggerKindSchema), b Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType 'Data.Swagger.Internal.SwaggerKindSchema)) => Optics.Internal.Optic.LabelOptic "type" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType 'Data.Swagger.Internal.SwaggerKindSchema), b Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType 'Data.Swagger.Internal.SwaggerKindSchema)) => Optics.Internal.Optic.LabelOptic "type" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType 'Data.Swagger.Internal.SwaggerKindParamOtherSchema), b Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType 'Data.Swagger.Internal.SwaggerKindParamOtherSchema)) => Optics.Internal.Optic.LabelOptic "type" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value) => Optics.Internal.Optic.LabelOptic "default" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value) => Optics.Internal.Optic.LabelOptic "default" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value) => Optics.Internal.Optic.LabelOptic "default" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value) => Optics.Internal.Optic.LabelOptic "default" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Format, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Format) => Optics.Internal.Optic.LabelOptic "format" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Format, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Format) => Optics.Internal.Optic.LabelOptic "format" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Format, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Format) => Optics.Internal.Optic.LabelOptic "format" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Format, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Format) => Optics.Internal.Optic.LabelOptic "format" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerItems ('Data.Swagger.Internal.SwaggerKindNormal Data.Swagger.Internal.Header)), b Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerItems ('Data.Swagger.Internal.SwaggerKindNormal Data.Swagger.Internal.Header))) => Optics.Internal.Optic.LabelOptic "items" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerItems 'Data.Swagger.Internal.SwaggerKindSchema), b Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerItems 'Data.Swagger.Internal.SwaggerKindSchema)) => Optics.Internal.Optic.LabelOptic "items" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerItems 'Data.Swagger.Internal.SwaggerKindSchema), b Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerItems 'Data.Swagger.Internal.SwaggerKindSchema)) => Optics.Internal.Optic.LabelOptic "items" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerItems 'Data.Swagger.Internal.SwaggerKindParamOtherSchema), b Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerItems 'Data.Swagger.Internal.SwaggerKindParamOtherSchema)) => Optics.Internal.Optic.LabelOptic "items" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "maximum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "maximum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "maximum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "maximum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "exclusiveMaximum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "exclusiveMaximum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "exclusiveMaximum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "exclusiveMaximum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "minimum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "minimum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "minimum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "minimum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "exclusiveMinimum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "exclusiveMinimum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "exclusiveMinimum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "exclusiveMinimum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "maxLength" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "maxLength" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "maxLength" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "maxLength" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "minLength" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "minLength" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "minLength" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "minLength" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "pattern" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "pattern" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "pattern" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "pattern" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "maxItems" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "maxItems" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "maxItems" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "maxItems" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "minItems" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "minItems" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "minItems" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "minItems" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "uniqueItems" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "uniqueItems" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "uniqueItems" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "uniqueItems" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Aeson.Types.Internal.Value], b Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Aeson.Types.Internal.Value]) => Optics.Internal.Optic.LabelOptic "enum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Aeson.Types.Internal.Value], b Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Aeson.Types.Internal.Value]) => Optics.Internal.Optic.LabelOptic "enum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Aeson.Types.Internal.Value], b Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Aeson.Types.Internal.Value]) => Optics.Internal.Optic.LabelOptic "enum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Aeson.Types.Internal.Value], b Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Aeson.Types.Internal.Value]) => Optics.Internal.Optic.LabelOptic "enum" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "multipleOf" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "multipleOf" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "multipleOf" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "multipleOf" Optics.Internal.Optic.Types.A_Lens Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Prism, a Data.Type.Equality.~ (), b Data.Type.Equality.~ ()) => Optics.Internal.Optic.LabelOptic "_SecuritySchemeBasic" k Data.Swagger.Internal.SecuritySchemeType Data.Swagger.Internal.SecuritySchemeType a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Prism, a Data.Type.Equality.~ Data.Swagger.Internal.ApiKeyParams, b Data.Type.Equality.~ Data.Swagger.Internal.ApiKeyParams) => Optics.Internal.Optic.LabelOptic "_SecuritySchemeApiKey" k Data.Swagger.Internal.SecuritySchemeType Data.Swagger.Internal.SecuritySchemeType a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Prism, a Data.Type.Equality.~ Data.Swagger.Internal.OAuth2Params, b Data.Type.Equality.~ Data.Swagger.Internal.OAuth2Params) => Optics.Internal.Optic.LabelOptic "_SecuritySchemeOAuth2" k Data.Swagger.Internal.SecuritySchemeType Data.Swagger.Internal.SecuritySchemeType a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Prism, a Data.Type.Equality.~ Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema, b Data.Type.Equality.~ Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema) => Optics.Internal.Optic.LabelOptic "_ParamBody" k Data.Swagger.Internal.ParamAnySchema Data.Swagger.Internal.ParamAnySchema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Prism, a Data.Type.Equality.~ Data.Swagger.Internal.ParamOtherSchema, b Data.Type.Equality.~ Data.Swagger.Internal.ParamOtherSchema) => Optics.Internal.Optic.LabelOptic "_ParamOther" k Data.Swagger.Internal.ParamAnySchema Data.Swagger.Internal.ParamAnySchema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "description" k Data.Swagger.Internal.ExternalDocs Data.Swagger.Internal.ExternalDocs a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.URL, b Data.Type.Equality.~ Data.Swagger.Internal.URL) => Optics.Internal.Optic.LabelOptic "url" k Data.Swagger.Internal.ExternalDocs Data.Swagger.Internal.ExternalDocs a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "description" k Data.Swagger.Internal.SecurityScheme Data.Swagger.Internal.SecurityScheme a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.SecuritySchemeType, b Data.Type.Equality.~ Data.Swagger.Internal.SecuritySchemeType) => Optics.Internal.Optic.LabelOptic "type" k Data.Swagger.Internal.SecurityScheme Data.Swagger.Internal.SecurityScheme a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Text.Internal.Text, b Data.Type.Equality.~ Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "description" k Data.Swagger.Internal.Response Data.Swagger.Internal.Response a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Example, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Example) => Optics.Internal.Optic.LabelOptic "examples" k Data.Swagger.Internal.Response Data.Swagger.Internal.Response a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.HashMap.Strict.InsOrd.InsOrdHashMap Data.Swagger.Internal.HeaderName Data.Swagger.Internal.Header, b Data.Type.Equality.~ Data.HashMap.Strict.InsOrd.InsOrdHashMap Data.Swagger.Internal.HeaderName Data.Swagger.Internal.Header) => Optics.Internal.Optic.LabelOptic "headers" k Data.Swagger.Internal.Response Data.Swagger.Internal.Response a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema), b Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema)) => Optics.Internal.Optic.LabelOptic "schema" k Data.Swagger.Internal.Response Data.Swagger.Internal.Response a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Response), b Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Response)) => Optics.Internal.Optic.LabelOptic "default" k Data.Swagger.Internal.Responses Data.Swagger.Internal.Responses a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.HashMap.Strict.InsOrd.InsOrdHashMap Data.Swagger.Internal.HttpStatusCode (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Response), b Data.Type.Equality.~ Data.HashMap.Strict.InsOrd.InsOrdHashMap Data.Swagger.Internal.HttpStatusCode (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Response)) => Optics.Internal.Optic.LabelOptic "responses" k Data.Swagger.Internal.Responses Data.Swagger.Internal.Responses a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "attribute" k Data.Swagger.Internal.Xml Data.Swagger.Internal.Xml a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "name" k Data.Swagger.Internal.Xml Data.Swagger.Internal.Xml a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "namespace" k Data.Swagger.Internal.Xml Data.Swagger.Internal.Xml a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "prefix" k Data.Swagger.Internal.Xml Data.Swagger.Internal.Xml a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "wrapped" k Data.Swagger.Internal.Xml Data.Swagger.Internal.Xml a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value) => Optics.Internal.Optic.LabelOptic "default" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Aeson.Types.Internal.Value], b Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Aeson.Types.Internal.Value]) => Optics.Internal.Optic.LabelOptic "enum" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "exclusiveMaximum" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "exclusiveMinimum" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Format, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Format) => Optics.Internal.Optic.LabelOptic "format" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerItems t), b Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerItems t)) => Optics.Internal.Optic.LabelOptic "items" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "maxItems" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "maxLength" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "maximum" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "minItems" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "minLength" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "minimum" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Scientific.Scientific) => Optics.Internal.Optic.LabelOptic "multipleOf" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Pattern, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Pattern) => Optics.Internal.Optic.LabelOptic "pattern" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType t), b Data.Type.Equality.~ GHC.Maybe.Maybe (Data.Swagger.Internal.SwaggerType t)) => Optics.Internal.Optic.LabelOptic "type" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "uniqueItems" k (Data.Swagger.Internal.ParamSchema t) (Data.Swagger.Internal.ParamSchema t) a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "name" k Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.Schema, b Data.Type.Equality.~ Data.Swagger.Internal.Schema) => Optics.Internal.Optic.LabelOptic "schema" k Data.Swagger.Internal.NamedSchema Data.Swagger.Internal.NamedSchema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.AdditionalProperties, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.AdditionalProperties) => Optics.Internal.Optic.LabelOptic "additionalProperties" k Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema], b Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema]) => Optics.Internal.Optic.LabelOptic "allOf" k Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "description" k Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "discriminator" k Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Aeson.Types.Internal.Value) => Optics.Internal.Optic.LabelOptic "example" k Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.ExternalDocs, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.ExternalDocs) => Optics.Internal.Optic.LabelOptic "externalDocs" k Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "maxProperties" k Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Integer.Type.Integer) => Optics.Internal.Optic.LabelOptic "minProperties" k Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.ParamSchema 'Data.Swagger.Internal.SwaggerKindSchema, b Data.Type.Equality.~ Data.Swagger.Internal.ParamSchema 'Data.Swagger.Internal.SwaggerKindSchema) => Optics.Internal.Optic.LabelOptic "paramSchema" k Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.HashMap.Strict.InsOrd.InsOrdHashMap Data.Text.Internal.Text (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema), b Data.Type.Equality.~ Data.HashMap.Strict.InsOrd.InsOrdHashMap Data.Text.Internal.Text (Data.Swagger.Internal.Referenced Data.Swagger.Internal.Schema)) => Optics.Internal.Optic.LabelOptic "properties" k Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "readOnly" k Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ [Data.Swagger.Internal.ParamName], b Data.Type.Equality.~ [Data.Swagger.Internal.ParamName]) => Optics.Internal.Optic.LabelOptic "required" k Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "title" k Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Xml, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Xml) => Optics.Internal.Optic.LabelOptic "xml" k Data.Swagger.Internal.Schema Data.Swagger.Internal.Schema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "description" k Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.ParamSchema ('Data.Swagger.Internal.SwaggerKindNormal Data.Swagger.Internal.Header), b Data.Type.Equality.~ Data.Swagger.Internal.ParamSchema ('Data.Swagger.Internal.SwaggerKindNormal Data.Swagger.Internal.Header)) => Optics.Internal.Optic.LabelOptic "paramSchema" k Data.Swagger.Internal.Header Data.Swagger.Internal.Header a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "allowEmptyValue" k Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.ParamLocation, b Data.Type.Equality.~ Data.Swagger.Internal.ParamLocation) => Optics.Internal.Optic.LabelOptic "in" k Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.ParamSchema 'Data.Swagger.Internal.SwaggerKindParamOtherSchema, b Data.Type.Equality.~ Data.Swagger.Internal.ParamSchema 'Data.Swagger.Internal.SwaggerKindParamOtherSchema) => Optics.Internal.Optic.LabelOptic "paramSchema" k Data.Swagger.Internal.ParamOtherSchema Data.Swagger.Internal.ParamOtherSchema a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "description" k Data.Swagger.Internal.Param Data.Swagger.Internal.Param a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Text.Internal.Text, b Data.Type.Equality.~ Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "name" k Data.Swagger.Internal.Param Data.Swagger.Internal.Param a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "required" k Data.Swagger.Internal.Param Data.Swagger.Internal.Param a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.ParamAnySchema, b Data.Type.Equality.~ Data.Swagger.Internal.ParamAnySchema) => Optics.Internal.Optic.LabelOptic "schema" k Data.Swagger.Internal.Param Data.Swagger.Internal.Param a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.MimeList, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.MimeList) => Optics.Internal.Optic.LabelOptic "consumes" k Data.Swagger.Internal.Operation Data.Swagger.Internal.Operation a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.Types.Bool) => Optics.Internal.Optic.LabelOptic "deprecated" k Data.Swagger.Internal.Operation Data.Swagger.Internal.Operation a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "description" k Data.Swagger.Internal.Operation Data.Swagger.Internal.Operation a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.ExternalDocs, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.ExternalDocs) => Optics.Internal.Optic.LabelOptic "externalDocs" k Data.Swagger.Internal.Operation Data.Swagger.Internal.Operation a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "operationId" k Data.Swagger.Internal.Operation Data.Swagger.Internal.Operation a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ [Data.Swagger.Internal.Referenced Data.Swagger.Internal.Param], b Data.Type.Equality.~ [Data.Swagger.Internal.Referenced Data.Swagger.Internal.Param]) => Optics.Internal.Optic.LabelOptic "parameters" k Data.Swagger.Internal.Operation Data.Swagger.Internal.Operation a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.MimeList, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.MimeList) => Optics.Internal.Optic.LabelOptic "produces" k Data.Swagger.Internal.Operation Data.Swagger.Internal.Operation a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.Responses, b Data.Type.Equality.~ Data.Swagger.Internal.Responses) => Optics.Internal.Optic.LabelOptic "responses" k Data.Swagger.Internal.Operation Data.Swagger.Internal.Operation a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Swagger.Internal.Scheme], b Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Swagger.Internal.Scheme]) => Optics.Internal.Optic.LabelOptic "schemes" k Data.Swagger.Internal.Operation Data.Swagger.Internal.Operation a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ [Data.Swagger.Internal.SecurityRequirement], b Data.Type.Equality.~ [Data.Swagger.Internal.SecurityRequirement]) => Optics.Internal.Optic.LabelOptic "security" k Data.Swagger.Internal.Operation Data.Swagger.Internal.Operation a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "summary" k Data.Swagger.Internal.Operation Data.Swagger.Internal.Operation a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.HashSet.InsOrd.InsOrdHashSet Data.Swagger.Internal.TagName, b Data.Type.Equality.~ Data.HashSet.InsOrd.InsOrdHashSet Data.Swagger.Internal.TagName) => Optics.Internal.Optic.LabelOptic "tags" k Data.Swagger.Internal.Operation Data.Swagger.Internal.Operation a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "description" k Data.Swagger.Internal.Tag Data.Swagger.Internal.Tag a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.ExternalDocs, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.ExternalDocs) => Optics.Internal.Optic.LabelOptic "externalDocs" k Data.Swagger.Internal.Tag Data.Swagger.Internal.Tag a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.TagName, b Data.Type.Equality.~ Data.Swagger.Internal.TagName) => Optics.Internal.Optic.LabelOptic "name" k Data.Swagger.Internal.Tag Data.Swagger.Internal.Tag a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Operation, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Operation) => Optics.Internal.Optic.LabelOptic "delete" k Data.Swagger.Internal.PathItem Data.Swagger.Internal.PathItem a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Operation, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Operation) => Optics.Internal.Optic.LabelOptic "get" k Data.Swagger.Internal.PathItem Data.Swagger.Internal.PathItem a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Operation, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Operation) => Optics.Internal.Optic.LabelOptic "head" k Data.Swagger.Internal.PathItem Data.Swagger.Internal.PathItem a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Operation, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Operation) => Optics.Internal.Optic.LabelOptic "options" k Data.Swagger.Internal.PathItem Data.Swagger.Internal.PathItem a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ [Data.Swagger.Internal.Referenced Data.Swagger.Internal.Param], b Data.Type.Equality.~ [Data.Swagger.Internal.Referenced Data.Swagger.Internal.Param]) => Optics.Internal.Optic.LabelOptic "parameters" k Data.Swagger.Internal.PathItem Data.Swagger.Internal.PathItem a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Operation, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Operation) => Optics.Internal.Optic.LabelOptic "patch" k Data.Swagger.Internal.PathItem Data.Swagger.Internal.PathItem a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Operation, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Operation) => Optics.Internal.Optic.LabelOptic "post" k Data.Swagger.Internal.PathItem Data.Swagger.Internal.PathItem a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Operation, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Operation) => Optics.Internal.Optic.LabelOptic "put" k Data.Swagger.Internal.PathItem Data.Swagger.Internal.PathItem a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Text.Internal.Text, b Data.Type.Equality.~ Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "name" k Data.Swagger.Internal.License Data.Swagger.Internal.License a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.URL, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.URL) => Optics.Internal.Optic.LabelOptic "url" k Data.Swagger.Internal.License Data.Swagger.Internal.License a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "email" k Data.Swagger.Internal.Contact Data.Swagger.Internal.Contact a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "name" k Data.Swagger.Internal.Contact Data.Swagger.Internal.Contact a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.URL, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.URL) => Optics.Internal.Optic.LabelOptic "url" k Data.Swagger.Internal.Contact Data.Swagger.Internal.Contact a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Contact, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Contact) => Optics.Internal.Optic.LabelOptic "contact" k Data.Swagger.Internal.Info Data.Swagger.Internal.Info a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "description" k Data.Swagger.Internal.Info Data.Swagger.Internal.Info a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.License, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.License) => Optics.Internal.Optic.LabelOptic "license" k Data.Swagger.Internal.Info Data.Swagger.Internal.Info a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "termsOfService" k Data.Swagger.Internal.Info Data.Swagger.Internal.Info a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Text.Internal.Text, b Data.Type.Equality.~ Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "title" k Data.Swagger.Internal.Info Data.Swagger.Internal.Info a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Text.Internal.Text, b Data.Type.Equality.~ Data.Text.Internal.Text) => Optics.Internal.Optic.LabelOptic "version" k Data.Swagger.Internal.Info Data.Swagger.Internal.Info a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Network.Socket.Info.HostName, b Data.Type.Equality.~ Network.Socket.Info.HostName) => Optics.Internal.Optic.LabelOptic "name" k Data.Swagger.Internal.Host Data.Swagger.Internal.Host a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Network.Socket.Types.PortNumber, b Data.Type.Equality.~ GHC.Maybe.Maybe Network.Socket.Types.PortNumber) => Optics.Internal.Optic.LabelOptic "port" k Data.Swagger.Internal.Host Data.Swagger.Internal.Host a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe GHC.IO.FilePath, b Data.Type.Equality.~ GHC.Maybe.Maybe GHC.IO.FilePath) => Optics.Internal.Optic.LabelOptic "basePath" k Data.Swagger.Internal.Swagger Data.Swagger.Internal.Swagger a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.MimeList, b Data.Type.Equality.~ Data.Swagger.Internal.MimeList) => Optics.Internal.Optic.LabelOptic "consumes" k Data.Swagger.Internal.Swagger Data.Swagger.Internal.Swagger a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.Definitions Data.Swagger.Internal.Schema, b Data.Type.Equality.~ Data.Swagger.Internal.Definitions Data.Swagger.Internal.Schema) => Optics.Internal.Optic.LabelOptic "definitions" k Data.Swagger.Internal.Swagger Data.Swagger.Internal.Swagger a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.ExternalDocs, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.ExternalDocs) => Optics.Internal.Optic.LabelOptic "externalDocs" k Data.Swagger.Internal.Swagger Data.Swagger.Internal.Swagger a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Host, b Data.Type.Equality.~ GHC.Maybe.Maybe Data.Swagger.Internal.Host) => Optics.Internal.Optic.LabelOptic "host" k Data.Swagger.Internal.Swagger Data.Swagger.Internal.Swagger a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.Info, b Data.Type.Equality.~ Data.Swagger.Internal.Info) => Optics.Internal.Optic.LabelOptic "info" k Data.Swagger.Internal.Swagger Data.Swagger.Internal.Swagger a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.Definitions Data.Swagger.Internal.Param, b Data.Type.Equality.~ Data.Swagger.Internal.Definitions Data.Swagger.Internal.Param) => Optics.Internal.Optic.LabelOptic "parameters" k Data.Swagger.Internal.Swagger Data.Swagger.Internal.Swagger a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.HashMap.Strict.InsOrd.InsOrdHashMap GHC.IO.FilePath Data.Swagger.Internal.PathItem, b Data.Type.Equality.~ Data.HashMap.Strict.InsOrd.InsOrdHashMap GHC.IO.FilePath Data.Swagger.Internal.PathItem) => Optics.Internal.Optic.LabelOptic "paths" k Data.Swagger.Internal.Swagger Data.Swagger.Internal.Swagger a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.MimeList, b Data.Type.Equality.~ Data.Swagger.Internal.MimeList) => Optics.Internal.Optic.LabelOptic "produces" k Data.Swagger.Internal.Swagger Data.Swagger.Internal.Swagger a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.Definitions Data.Swagger.Internal.Response, b Data.Type.Equality.~ Data.Swagger.Internal.Definitions Data.Swagger.Internal.Response) => Optics.Internal.Optic.LabelOptic "responses" k Data.Swagger.Internal.Swagger Data.Swagger.Internal.Swagger a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Swagger.Internal.Scheme], b Data.Type.Equality.~ GHC.Maybe.Maybe [Data.Swagger.Internal.Scheme]) => Optics.Internal.Optic.LabelOptic "schemes" k Data.Swagger.Internal.Swagger Data.Swagger.Internal.Swagger a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ [Data.Swagger.Internal.SecurityRequirement], b Data.Type.Equality.~ [Data.Swagger.Internal.SecurityRequirement]) => Optics.Internal.Optic.LabelOptic "security" k Data.Swagger.Internal.Swagger Data.Swagger.Internal.Swagger a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.Swagger.Internal.SecurityDefinitions, b Data.Type.Equality.~ Data.Swagger.Internal.SecurityDefinitions) => Optics.Internal.Optic.LabelOptic "securityDefinitions" k Data.Swagger.Internal.Swagger Data.Swagger.Internal.Swagger a b
instance (k Data.Type.Equality.~ Optics.Internal.Optic.Types.A_Lens, a Data.Type.Equality.~ Data.HashSet.InsOrd.InsOrdHashSet Data.Swagger.Internal.Tag, b Data.Type.Equality.~ Data.HashSet.InsOrd.InsOrdHashSet Data.Swagger.Internal.Tag) => Optics.Internal.Optic.LabelOptic "tags" k Data.Swagger.Internal.Swagger Data.Swagger.Internal.Swagger a b


-- | Generic deriving options for <tt><tt>ToParamSchema</tt></tt> and
--   <tt><tt>ToSchema</tt></tt>.
module Data.Swagger.SchemaOptions

-- | Options that specify how to encode your type to Swagger schema.
data SchemaOptions
SchemaOptions :: (String -> String) -> (String -> String) -> (String -> String) -> Bool -> Bool -> SchemaOptions

-- | Function applied to field labels. Handy for removing common record
--   prefixes for example.
[fieldLabelModifier] :: SchemaOptions -> String -> String

-- | Function applied to constructor tags which could be handy for
--   lower-casing them for example.
[constructorTagModifier] :: SchemaOptions -> String -> String

-- | Function applied to datatype name.
[datatypeNameModifier] :: SchemaOptions -> String -> String

-- | If <tt><a>True</a></tt> the constructors of a datatype, with all
--   nullary constructors, will be encoded to a string enumeration schema
--   with the constructor tags as possible values.
[allNullaryToStringTag] :: SchemaOptions -> Bool

-- | Hide the field name when a record constructor has only one field, like
--   a newtype.
[unwrapUnaryRecords] :: SchemaOptions -> Bool

-- | Default encoding <tt><a>SchemaOptions</a></tt>.
--   
--   <pre>
--   <a>SchemaOptions</a>
--   { <a>fieldLabelModifier</a>     = id
--   , <a>constructorTagModifier</a> = id
--   , <a>datatypeNameModifier</a>   = id
--   , <a>allNullaryToStringTag</a>  = True
--   , <a>unwrapUnaryRecords</a>     = False
--   }
--   </pre>
defaultSchemaOptions :: SchemaOptions

-- | Convert <a>Options</a> to <a>SchemaOptions</a>.
--   
--   Specifically the following fields get copied:
--   
--   <ul>
--   <li><a>fieldLabelModifier</a></li>
--   <li><a>constructorTagModifier</a></li>
--   <li><a>allNullaryToStringTag</a></li>
--   <li><a>unwrapUnaryRecords</a></li>
--   </ul>
--   
--   Note that these fields have no effect on <a>SchemaOptions</a>:
--   
--   <ul>
--   <li><a>omitNothingFields</a></li>
--   <li><a>sumEncoding</a></li>
--   <li><a>tagSingleConstructors</a></li>
--   </ul>
--   
--   The rest is defined as in <a>defaultSchemaOptions</a>.
fromAesonOptions :: Options -> SchemaOptions

module Data.Swagger.Internal.ParamSchema

-- | Default schema for binary data (any sequence of octets).
binaryParamSchema :: ParamSchema t

-- | Default schema for binary data (base64 encoded).
byteParamSchema :: ParamSchema t

-- | Default schema for password string. <tt>"password"</tt> format is used
--   to hint UIs the input needs to be obscured.
passwordParamSchema :: ParamSchema t

-- | Convert a type into a plain <tt><a>ParamSchema</a></tt>.
--   
--   An example type and instance:
--   
--   <pre>
--   {-# LANGUAGE OverloadedStrings #-}   -- allows to write <a>Text</a> literals
--   
--   import Control.Lens
--   
--   data Direction = Up | Down
--   
--   instance ToParamSchema Direction where
--     toParamSchema _ = mempty
--        &amp; type_ ?~ SwaggerString
--        &amp; enum_ ?~ [ "Up", "Down" ]
--   </pre>
--   
--   Instead of manually writing your <tt><a>ToParamSchema</a></tt>
--   instance you can use a default generic implementation of
--   <tt><a>toParamSchema</a></tt>.
--   
--   To do that, simply add <tt>deriving <a>FPFormat</a></tt> clause to
--   your datatype and declare a <tt><a>ToParamSchema</a></tt> instance for
--   your datatype without giving definition for
--   <tt><a>toParamSchema</a></tt>.
--   
--   For instance, the previous example can be simplified into this:
--   
--   <pre>
--   {-# LANGUAGE DeriveGeneric #-}
--   
--   import GHC.Generics (Generic)
--   
--   data Direction = Up | Down deriving Generic
--   
--   instance ToParamSchema Direction
--   </pre>
class ToParamSchema a

-- | Convert a type into a plain parameter schema.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toParamSchema (Proxy :: Proxy Integer)
--   "{\"type\":\"integer\"}"
--   </pre>
toParamSchema :: ToParamSchema a => Proxy a -> ParamSchema t

-- | Convert a type into a plain parameter schema.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toParamSchema (Proxy :: Proxy Integer)
--   "{\"type\":\"integer\"}"
--   </pre>
toParamSchema :: (ToParamSchema a, Generic a, GToParamSchema (Rep a)) => Proxy a -> ParamSchema t

-- | Default plain schema for <tt><a>Bounded</a></tt>,
--   <tt><a>Integral</a></tt> types.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toParamSchemaBoundedIntegral (Proxy :: Proxy Int8)
--   "{\"maximum\":127,\"minimum\":-128,\"type\":\"integer\"}"
--   </pre>
toParamSchemaBoundedIntegral :: forall a t. (Bounded a, Integral a) => Proxy a -> ParamSchema t
timeParamSchema :: String -> ParamSchema t
type family ToParamSchemaByteStringError bs

-- | A configurable generic <tt><a>ParamSchema</a></tt> creator.
--   
--   <pre>
--   &gt;&gt;&gt; :set -XDeriveGeneric
--   
--   &gt;&gt;&gt; data Color = Red | Blue deriving Generic
--   
--   &gt;&gt;&gt; encode $ genericToParamSchema defaultSchemaOptions (Proxy :: Proxy Color)
--   "{\"type\":\"string\",\"enum\":[\"Red\",\"Blue\"]}"
--   </pre>
genericToParamSchema :: forall a t. (Generic a, GToParamSchema (Rep a)) => SchemaOptions -> Proxy a -> ParamSchema t
class GToParamSchema (f :: * -> *)
gtoParamSchema :: GToParamSchema f => SchemaOptions -> Proxy f -> ParamSchema t -> ParamSchema t
class GEnumParamSchema (f :: * -> *)
genumParamSchema :: GEnumParamSchema f => SchemaOptions -> Proxy f -> ParamSchema t -> ParamSchema t
data Proxy3 a b c
Proxy3 :: Proxy3 a b c
instance GHC.Generics.Constructor c => Data.Swagger.Internal.ParamSchema.GEnumParamSchema (GHC.Generics.C1 c GHC.Generics.U1)
instance GHC.Generics.Constructor c => Data.Swagger.Internal.ParamSchema.GToParamSchema (GHC.Generics.C1 c GHC.Generics.U1)
instance (Data.Swagger.Internal.ParamSchema.GEnumParamSchema f, Data.Swagger.Internal.ParamSchema.GEnumParamSchema g) => Data.Swagger.Internal.ParamSchema.GToParamSchema (f GHC.Generics.:+: g)
instance (Data.Swagger.Internal.ParamSchema.GEnumParamSchema f, Data.Swagger.Internal.ParamSchema.GEnumParamSchema g) => Data.Swagger.Internal.ParamSchema.GEnumParamSchema (f GHC.Generics.:+: g)
instance Data.Swagger.Internal.ParamSchema.ToParamSchemaByteStringError Data.ByteString.Internal.ByteString => Data.Swagger.Internal.ParamSchema.ToParamSchema Data.ByteString.Internal.ByteString
instance Data.Swagger.Internal.ParamSchema.ToParamSchemaByteStringError Data.ByteString.Lazy.Internal.ByteString => Data.Swagger.Internal.ParamSchema.ToParamSchema Data.ByteString.Lazy.Internal.ByteString
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Base.String
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Types.Bool
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Integer.Type.Integer
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Natural.Natural
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Types.Int
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Int.Int8
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Int.Int16
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Int.Int32
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Int.Int64
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Types.Word
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Word.Word8
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Word.Word16
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Word.Word32
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Word.Word64
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Types.Char
instance Data.Swagger.Internal.ParamSchema.ToParamSchema Data.Scientific.Scientific
instance Data.Fixed.HasResolution a => Data.Swagger.Internal.ParamSchema.ToParamSchema (Data.Fixed.Fixed a)
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Types.Double
instance Data.Swagger.Internal.ParamSchema.ToParamSchema GHC.Types.Float
instance Data.Swagger.Internal.ParamSchema.ToParamSchema Data.Time.Calendar.Days.Day
instance Data.Swagger.Internal.ParamSchema.ToParamSchema Data.Time.LocalTime.Internal.TimeOfDay.TimeOfDay
instance Data.Swagger.Internal.ParamSchema.ToParamSchema Data.Time.LocalTime.Internal.LocalTime.LocalTime
instance Data.Swagger.Internal.ParamSchema.ToParamSchema Data.Time.LocalTime.Internal.ZonedTime.ZonedTime
instance Data.Swagger.Internal.ParamSchema.ToParamSchema Data.Time.Clock.Internal.UTCTime.UTCTime
instance Data.Swagger.Internal.ParamSchema.ToParamSchema Data.Time.Clock.Internal.NominalDiffTime.NominalDiffTime
instance Data.Swagger.Internal.ParamSchema.ToParamSchema Data.Text.Internal.Text
instance Data.Swagger.Internal.ParamSchema.ToParamSchema Data.Text.Internal.Lazy.Text
instance Data.Swagger.Internal.ParamSchema.ToParamSchema Data.Version.Version
instance Data.Swagger.Internal.ParamSchema.ToParamSchema Web.Cookie.SetCookie
instance Data.Swagger.Internal.ParamSchema.ToParamSchema Data.Semigroup.Internal.All
instance Data.Swagger.Internal.ParamSchema.ToParamSchema Data.Semigroup.Internal.Any
instance Data.Swagger.Internal.ParamSchema.ToParamSchema a => Data.Swagger.Internal.ParamSchema.ToParamSchema (Data.Semigroup.Internal.Sum a)
instance Data.Swagger.Internal.ParamSchema.ToParamSchema a => Data.Swagger.Internal.ParamSchema.ToParamSchema (Data.Semigroup.Internal.Product a)
instance Data.Swagger.Internal.ParamSchema.ToParamSchema a => Data.Swagger.Internal.ParamSchema.ToParamSchema (Data.Monoid.First a)
instance Data.Swagger.Internal.ParamSchema.ToParamSchema a => Data.Swagger.Internal.ParamSchema.ToParamSchema (Data.Monoid.Last a)
instance Data.Swagger.Internal.ParamSchema.ToParamSchema a => Data.Swagger.Internal.ParamSchema.ToParamSchema (Data.Semigroup.Internal.Dual a)
instance Data.Swagger.Internal.ParamSchema.ToParamSchema a => Data.Swagger.Internal.ParamSchema.ToParamSchema (Data.Functor.Identity.Identity a)
instance Data.Swagger.Internal.ParamSchema.ToParamSchema a => Data.Swagger.Internal.ParamSchema.ToParamSchema [a]
instance Data.Swagger.Internal.ParamSchema.ToParamSchema a => Data.Swagger.Internal.ParamSchema.ToParamSchema (Data.Vector.Vector a)
instance Data.Swagger.Internal.ParamSchema.ToParamSchema a => Data.Swagger.Internal.ParamSchema.ToParamSchema (Data.Vector.Primitive.Vector a)
instance Data.Swagger.Internal.ParamSchema.ToParamSchema a => Data.Swagger.Internal.ParamSchema.ToParamSchema (Data.Vector.Storable.Vector a)
instance Data.Swagger.Internal.ParamSchema.ToParamSchema a => Data.Swagger.Internal.ParamSchema.ToParamSchema (Data.Vector.Unboxed.Base.Vector a)
instance Data.Swagger.Internal.ParamSchema.ToParamSchema a => Data.Swagger.Internal.ParamSchema.ToParamSchema (Data.Set.Internal.Set a)
instance Data.Swagger.Internal.ParamSchema.ToParamSchema a => Data.Swagger.Internal.ParamSchema.ToParamSchema (Data.HashSet.Base.HashSet a)
instance Data.Swagger.Internal.ParamSchema.ToParamSchema ()
instance Data.Swagger.Internal.ParamSchema.ToParamSchema Data.UUID.Types.Internal.UUID
instance Data.Swagger.Internal.ParamSchema.ToParamSchema c => Data.Swagger.Internal.ParamSchema.GToParamSchema (GHC.Generics.K1 i c)
instance Data.Swagger.Internal.ParamSchema.GToParamSchema f => Data.Swagger.Internal.ParamSchema.GToParamSchema (GHC.Generics.D1 d f)
instance Data.Swagger.Internal.ParamSchema.GToParamSchema f => Data.Swagger.Internal.ParamSchema.GToParamSchema (GHC.Generics.C1 c (GHC.Generics.S1 s f))


-- | Types and functions for working with Swagger parameter schema.
module Data.Swagger.ParamSchema

-- | Convert a type into a plain <tt><a>ParamSchema</a></tt>.
--   
--   An example type and instance:
--   
--   <pre>
--   {-# LANGUAGE OverloadedStrings #-}   -- allows to write <a>Text</a> literals
--   
--   import Control.Lens
--   
--   data Direction = Up | Down
--   
--   instance ToParamSchema Direction where
--     toParamSchema _ = mempty
--        &amp; type_ ?~ SwaggerString
--        &amp; enum_ ?~ [ "Up", "Down" ]
--   </pre>
--   
--   Instead of manually writing your <tt><a>ToParamSchema</a></tt>
--   instance you can use a default generic implementation of
--   <tt><a>toParamSchema</a></tt>.
--   
--   To do that, simply add <tt>deriving <a>FPFormat</a></tt> clause to
--   your datatype and declare a <tt><a>ToParamSchema</a></tt> instance for
--   your datatype without giving definition for
--   <tt><a>toParamSchema</a></tt>.
--   
--   For instance, the previous example can be simplified into this:
--   
--   <pre>
--   {-# LANGUAGE DeriveGeneric #-}
--   
--   import GHC.Generics (Generic)
--   
--   data Direction = Up | Down deriving Generic
--   
--   instance ToParamSchema Direction
--   </pre>
class ToParamSchema a

-- | Convert a type into a plain parameter schema.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toParamSchema (Proxy :: Proxy Integer)
--   "{\"type\":\"integer\"}"
--   </pre>
toParamSchema :: ToParamSchema a => Proxy a -> ParamSchema t

-- | Convert a type into a plain parameter schema.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toParamSchema (Proxy :: Proxy Integer)
--   "{\"type\":\"integer\"}"
--   </pre>
toParamSchema :: (ToParamSchema a, Generic a, GToParamSchema (Rep a)) => Proxy a -> ParamSchema t

-- | A configurable generic <tt><a>ParamSchema</a></tt> creator.
--   
--   <pre>
--   &gt;&gt;&gt; :set -XDeriveGeneric
--   
--   &gt;&gt;&gt; data Color = Red | Blue deriving Generic
--   
--   &gt;&gt;&gt; encode $ genericToParamSchema defaultSchemaOptions (Proxy :: Proxy Color)
--   "{\"type\":\"string\",\"enum\":[\"Red\",\"Blue\"]}"
--   </pre>
genericToParamSchema :: forall a t. (Generic a, GToParamSchema (Rep a)) => SchemaOptions -> Proxy a -> ParamSchema t

-- | Default plain schema for <tt><a>Bounded</a></tt>,
--   <tt><a>Integral</a></tt> types.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toParamSchemaBoundedIntegral (Proxy :: Proxy Int8)
--   "{\"maximum\":127,\"minimum\":-128,\"type\":\"integer\"}"
--   </pre>
toParamSchemaBoundedIntegral :: forall a t. (Bounded a, Integral a) => Proxy a -> ParamSchema t

-- | Default schema for password string. <tt>"password"</tt> format is used
--   to hint UIs the input needs to be obscured.
passwordParamSchema :: ParamSchema t

-- | Default schema for binary data (any sequence of octets).
binaryParamSchema :: ParamSchema t

-- | Default schema for binary data (base64 encoded).
byteParamSchema :: ParamSchema t

-- | Options that specify how to encode your type to Swagger schema.
data SchemaOptions
SchemaOptions :: (String -> String) -> (String -> String) -> (String -> String) -> Bool -> Bool -> SchemaOptions

-- | Function applied to field labels. Handy for removing common record
--   prefixes for example.
[fieldLabelModifier] :: SchemaOptions -> String -> String

-- | Function applied to constructor tags which could be handy for
--   lower-casing them for example.
[constructorTagModifier] :: SchemaOptions -> String -> String

-- | Function applied to datatype name.
[datatypeNameModifier] :: SchemaOptions -> String -> String

-- | If <tt><a>True</a></tt> the constructors of a datatype, with all
--   nullary constructors, will be encoded to a string enumeration schema
--   with the constructor tags as possible values.
[allNullaryToStringTag] :: SchemaOptions -> Bool

-- | Hide the field name when a record constructor has only one field, like
--   a newtype.
[unwrapUnaryRecords] :: SchemaOptions -> Bool

-- | Default encoding <tt><a>SchemaOptions</a></tt>.
--   
--   <pre>
--   <a>SchemaOptions</a>
--   { <a>fieldLabelModifier</a>     = id
--   , <a>constructorTagModifier</a> = id
--   , <a>datatypeNameModifier</a>   = id
--   , <a>allNullaryToStringTag</a>  = True
--   , <a>unwrapUnaryRecords</a>     = False
--   }
--   </pre>
defaultSchemaOptions :: SchemaOptions

module Data.Swagger.Internal.Schema
unnamed :: Schema -> NamedSchema
named :: Text -> Schema -> NamedSchema
plain :: Schema -> Declare (Definitions Schema) NamedSchema
unname :: NamedSchema -> NamedSchema
rename :: Maybe Text -> NamedSchema -> NamedSchema

-- | Convert a type into <tt><a>Schema</a></tt>.
--   
--   An example type and instance:
--   
--   <pre>
--   {-# LANGUAGE OverloadedStrings #-}   -- allows to write <a>Text</a> literals
--   {-# LANGUAGE OverloadedLists #-}     -- allows to write <a>Map</a> and <a>HashMap</a> as lists
--   
--   import Control.Lens
--   import Data.Proxy
--   import Data.Swagger
--   
--   data Coord = Coord { x :: Double, y :: Double }
--   
--   instance ToSchema Coord where
--     declareNamedSchema _ = do
--       doubleSchema &lt;- declareSchemaRef (Proxy :: Proxy Double)
--       return $ NamedSchema (Just "Coord") $ mempty
--         &amp; type_ ?~ SwaggerObject
--         &amp; properties .~
--             [ ("x", doubleSchema)
--             , ("y", doubleSchema)
--             ]
--         &amp; required .~ [ "x", "y" ]
--   </pre>
--   
--   Instead of manually writing your <tt><a>ToSchema</a></tt> instance you
--   can use a default generic implementation of
--   <tt><a>declareNamedSchema</a></tt>.
--   
--   To do that, simply add <tt>deriving <a>Generic</a></tt> clause to your
--   datatype and declare a <tt><a>ToSchema</a></tt> instance for your
--   datatype without giving definition for
--   <tt><a>declareNamedSchema</a></tt>.
--   
--   For instance, the previous example can be simplified into this:
--   
--   <pre>
--   {-# LANGUAGE DeriveGeneric #-}
--   
--   import GHC.Generics (Generic)
--   
--   data Coord = Coord { x :: Double, y :: Double } deriving Generic
--   
--   instance ToSchema Coord
--   </pre>
class ToSchema a

-- | Convert a type into an optionally named schema together with all used
--   definitions. Note that the schema itself is included in definitions
--   only if it is recursive (and thus needs its definition in scope).
declareNamedSchema :: ToSchema a => Proxy a -> Declare (Definitions Schema) NamedSchema

-- | Convert a type into an optionally named schema together with all used
--   definitions. Note that the schema itself is included in definitions
--   only if it is recursive (and thus needs its definition in scope).
declareNamedSchema :: (ToSchema a, Generic a, GToSchema (Rep a), TypeHasSimpleShape a "genericDeclareNamedSchemaUnrestricted") => Proxy a -> Declare (Definitions Schema) NamedSchema

-- | Convert a type into a schema and declare all used schema definitions.
declareSchema :: ToSchema a => Proxy a -> Declare (Definitions Schema) Schema

-- | Convert a type into an optionally named schema.
--   
--   <pre>
--   &gt;&gt;&gt; toNamedSchema (Proxy :: Proxy String) ^. name
--   Nothing
--   
--   &gt;&gt;&gt; encode (toNamedSchema (Proxy :: Proxy String) ^. schema)
--   "{\"type\":\"string\"}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; toNamedSchema (Proxy :: Proxy Day) ^. name
--   Just "Day"
--   
--   &gt;&gt;&gt; encode (toNamedSchema (Proxy :: Proxy Day) ^. schema)
--   "{\"example\":\"2016-07-22\",\"format\":\"date\",\"type\":\"string\"}"
--   </pre>
toNamedSchema :: ToSchema a => Proxy a -> NamedSchema

-- | Get type's schema name according to its <tt><a>ToSchema</a></tt>
--   instance.
--   
--   <pre>
--   &gt;&gt;&gt; schemaName (Proxy :: Proxy Int)
--   Nothing
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; schemaName (Proxy :: Proxy UTCTime)
--   Just "UTCTime"
--   </pre>
schemaName :: ToSchema a => Proxy a -> Maybe Text

-- | Convert a type into a schema.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toSchema (Proxy :: Proxy Int8)
--   "{\"maximum\":127,\"minimum\":-128,\"type\":\"integer\"}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toSchema (Proxy :: Proxy [Day])
--   "{\"items\":{\"$ref\":\"#/definitions/Day\"},\"type\":\"array\"}"
--   </pre>
toSchema :: ToSchema a => Proxy a -> Schema

-- | Convert a type into a referenced schema if possible. Only named
--   schemas can be referenced, nameless schemas are inlined.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toSchemaRef (Proxy :: Proxy Integer)
--   "{\"type\":\"integer\"}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toSchemaRef (Proxy :: Proxy Day)
--   "{\"$ref\":\"#/definitions/Day\"}"
--   </pre>
toSchemaRef :: ToSchema a => Proxy a -> Referenced Schema

-- | Convert a type into a referenced schema if possible and declare all
--   used schema definitions. Only named schemas can be referenced,
--   nameless schemas are inlined.
--   
--   Schema definitions are typically declared for every referenced schema.
--   If <tt><a>declareSchemaRef</a></tt> returns a reference, a
--   corresponding schema will be declared (regardless of whether it is
--   recusive or not).
declareSchemaRef :: ToSchema a => Proxy a -> Declare (Definitions Schema) (Referenced Schema)

-- | Inline any referenced schema if its name satisfies given predicate.
--   
--   <i>NOTE:</i> if a referenced schema is not found in definitions the
--   predicate is ignored and schema stays referenced.
--   
--   <b>WARNING:</b> <tt><a>inlineSchemasWhen</a></tt> will produce
--   infinite schemas when inlining recursive schemas.
inlineSchemasWhen :: Data s => (Text -> Bool) -> Definitions Schema -> s -> s

-- | Inline any referenced schema if its name is in the given list.
--   
--   <i>NOTE:</i> if a referenced schema is not found in definitions it
--   stays referenced even if it appears in the list of names.
--   
--   <b>WARNING:</b> <tt><a>inlineSchemas</a></tt> will produce infinite
--   schemas when inlining recursive schemas.
inlineSchemas :: Data s => [Text] -> Definitions Schema -> s -> s

-- | Inline all schema references for which the definition can be found in
--   <tt><a>Definitions</a></tt>.
--   
--   <b>WARNING:</b> <tt><a>inlineAllSchemas</a></tt> will produce infinite
--   schemas when inlining recursive schemas.
inlineAllSchemas :: Data s => Definitions Schema -> s -> s

-- | Convert a type into a schema without references.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toInlinedSchema (Proxy :: Proxy [Day])
--   "{\"items\":{\"example\":\"2016-07-22\",\"format\":\"date\",\"type\":\"string\"},\"type\":\"array\"}"
--   </pre>
--   
--   <b>WARNING:</b> <tt><a>toInlinedSchema</a></tt> will produce infinite
--   schema when inlining recursive schemas.
toInlinedSchema :: ToSchema a => Proxy a -> Schema

-- | Inline all <i>non-recursive</i> schemas for which the definition can
--   be found in <tt><a>Definitions</a></tt>.
inlineNonRecursiveSchemas :: Data s => Definitions Schema -> s -> s

-- | Default schema for binary data (any sequence of octets).
binarySchema :: Schema

-- | Default schema for binary data (base64 encoded).
byteSchema :: Schema

-- | Default schema for password string. <tt>"password"</tt> format is used
--   to hint UIs the input needs to be obscured.
passwordSchema :: Schema

-- | Make an unrestrictive sketch of a <tt><a>Schema</a></tt> based on a
--   <tt><a>ToJSON</a></tt> instance. Produced schema can be used for
--   further refinement.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ sketchSchema "hello"
--   "{\"example\":\"hello\",\"type\":\"string\"}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; encode $ sketchSchema (1, 2, 3)
--   "{\"example\":[1,2,3],\"items\":{\"type\":\"number\"},\"type\":\"array\"}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; encode $ sketchSchema ("Jack", 25)
--   "{\"example\":[\"Jack\",25],\"items\":[{\"type\":\"string\"},{\"type\":\"number\"}],\"type\":\"array\"}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; data Person = Person { name :: String, age :: Int } deriving (Generic)
--   
--   &gt;&gt;&gt; instance ToJSON Person
--   
--   &gt;&gt;&gt; encode $ sketchSchema (Person "Jack" 25)
--   "{\"required\":[\"age\",\"name\"],\"properties\":{\"age\":{\"type\":\"number\"},\"name\":{\"type\":\"string\"}},\"example\":{\"age\":25,\"name\":\"Jack\"},\"type\":\"object\"}"
--   </pre>
sketchSchema :: ToJSON a => a -> Schema

-- | Make a restrictive sketch of a <tt><a>Schema</a></tt> based on a
--   <tt><a>ToJSON</a></tt> instance. Produced schema uses as much
--   constraints as possible.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ sketchStrictSchema "hello"
--   "{\"maxLength\":5,\"pattern\":\"hello\",\"minLength\":5,\"type\":\"string\",\"enum\":[\"hello\"]}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; encode $ sketchStrictSchema (1, 2, 3)
--   "{\"minItems\":3,\"uniqueItems\":true,\"items\":[{\"maximum\":1,\"minimum\":1,\"multipleOf\":1,\"type\":\"number\",\"enum\":[1]},{\"maximum\":2,\"minimum\":2,\"multipleOf\":2,\"type\":\"number\",\"enum\":[2]},{\"maximum\":3,\"minimum\":3,\"multipleOf\":3,\"type\":\"number\",\"enum\":[3]}],\"maxItems\":3,\"type\":\"array\",\"enum\":[[1,2,3]]}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; encode $ sketchStrictSchema ("Jack", 25)
--   "{\"minItems\":2,\"uniqueItems\":true,\"items\":[{\"maxLength\":4,\"pattern\":\"Jack\",\"minLength\":4,\"type\":\"string\",\"enum\":[\"Jack\"]},{\"maximum\":25,\"minimum\":25,\"multipleOf\":25,\"type\":\"number\",\"enum\":[25]}],\"maxItems\":2,\"type\":\"array\",\"enum\":[[\"Jack\",25]]}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; data Person = Person { name :: String, age :: Int } deriving (Generic)
--   
--   &gt;&gt;&gt; instance ToJSON Person
--   
--   &gt;&gt;&gt; encode $ sketchStrictSchema (Person "Jack" 25)
--   "{\"required\":[\"age\",\"name\"],\"properties\":{\"age\":{\"maximum\":25,\"minimum\":25,\"multipleOf\":25,\"type\":\"number\",\"enum\":[25]},\"name\":{\"maxLength\":4,\"pattern\":\"Jack\",\"minLength\":4,\"type\":\"string\",\"enum\":[\"Jack\"]}},\"maxProperties\":2,\"minProperties\":2,\"type\":\"object\",\"enum\":[{\"age\":25,\"name\":\"Jack\"}]}"
--   </pre>
sketchStrictSchema :: ToJSON a => a -> Schema
class GToSchema (f :: * -> *)
gdeclareNamedSchema :: GToSchema f => SchemaOptions -> Proxy f -> Schema -> Declare (Definitions Schema) NamedSchema
timeSchema :: Text -> Schema
type family ToSchemaByteStringError bs

-- | Default schema for <tt><a>Bounded</a></tt>, <tt><a>Integral</a></tt>
--   types.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toSchemaBoundedIntegral (Proxy :: Proxy Int16)
--   "{\"maximum\":32767,\"minimum\":-32768,\"type\":\"integer\"}"
--   </pre>
toSchemaBoundedIntegral :: forall a. (Bounded a, Integral a) => Proxy a -> Schema

-- | Default generic named schema for <tt><a>Bounded</a></tt>,
--   <tt><a>Integral</a></tt> types.
genericToNamedSchemaBoundedIntegral :: forall a d f. (Bounded a, Integral a, Generic a, Rep a ~ D1 d f, Datatype d) => SchemaOptions -> Proxy a -> NamedSchema

-- | Declare a named schema for a <tt>newtype</tt> wrapper.
genericDeclareNamedSchemaNewtype :: forall a d c s i inner. (Generic a, Datatype d, Rep a ~ D1 d (C1 c (S1 s (K1 i inner)))) => SchemaOptions -> (Proxy inner -> Declare (Definitions Schema) Schema) -> Proxy a -> Declare (Definitions Schema) NamedSchema

-- | Declare <a>Schema</a> for a mapping with <a>Bounded</a> <a>Enum</a>
--   keys. This makes a much more useful schema when there aren't many
--   options for key values.
--   
--   <pre>
--   &gt;&gt;&gt; data ButtonState = Neutral | Focus | Active | Hover | Disabled deriving (Show, Bounded, Enum, Generic)
--   
--   &gt;&gt;&gt; instance ToJSON ButtonState
--   
--   &gt;&gt;&gt; instance ToSchema ButtonState
--   
--   &gt;&gt;&gt; instance ToJSONKey ButtonState where toJSONKey = toJSONKeyText (T.pack . show)
--   
--   &gt;&gt;&gt; type ImageUrl = T.Text
--   
--   &gt;&gt;&gt; encode $ toSchemaBoundedEnumKeyMapping (Proxy :: Proxy (Map ButtonState ImageUrl))
--   "{\"properties\":{\"Neutral\":{\"type\":\"string\"},\"Focus\":{\"type\":\"string\"},\"Active\":{\"type\":\"string\"},\"Hover\":{\"type\":\"string\"},\"Disabled\":{\"type\":\"string\"}},\"type\":\"object\"}"
--   </pre>
--   
--   Note: this is only useful when <tt>key</tt> is encoded with
--   <a>ToJSONKeyText</a>. If it is encoded with <a>ToJSONKeyValue</a> then
--   a regular schema for <tt>[(key, value)]</tt> is used.
declareSchemaBoundedEnumKeyMapping :: forall map key value. (Bounded key, Enum key, ToJSONKey key, ToSchema key, ToSchema value) => Proxy (map key value) -> Declare (Definitions Schema) Schema

-- | A <a>Schema</a> for a mapping with <a>Bounded</a> <a>Enum</a> keys.
--   This makes a much more useful schema when there aren't many options
--   for key values.
--   
--   <pre>
--   &gt;&gt;&gt; data ButtonState = Neutral | Focus | Active | Hover | Disabled deriving (Show, Bounded, Enum, Generic)
--   
--   &gt;&gt;&gt; instance ToJSON ButtonState
--   
--   &gt;&gt;&gt; instance ToSchema ButtonState
--   
--   &gt;&gt;&gt; instance ToJSONKey ButtonState where toJSONKey = toJSONKeyText (T.pack . show)
--   
--   &gt;&gt;&gt; type ImageUrl = T.Text
--   
--   &gt;&gt;&gt; encode $ toSchemaBoundedEnumKeyMapping (Proxy :: Proxy (Map ButtonState ImageUrl))
--   "{\"properties\":{\"Neutral\":{\"type\":\"string\"},\"Focus\":{\"type\":\"string\"},\"Active\":{\"type\":\"string\"},\"Hover\":{\"type\":\"string\"},\"Disabled\":{\"type\":\"string\"}},\"type\":\"object\"}"
--   </pre>
--   
--   Note: this is only useful when <tt>key</tt> is encoded with
--   <a>ToJSONKeyText</a>. If it is encoded with <a>ToJSONKeyValue</a> then
--   a regular schema for <tt>[(key, value)]</tt> is used.
toSchemaBoundedEnumKeyMapping :: forall map key value. (Bounded key, Enum key, ToJSONKey key, ToSchema key, ToSchema value) => Proxy (map key value) -> Schema

-- | A configurable generic <tt><a>Schema</a></tt> creator.
genericDeclareSchema :: (Generic a, GToSchema (Rep a), TypeHasSimpleShape a "genericDeclareSchemaUnrestricted") => SchemaOptions -> Proxy a -> Declare (Definitions Schema) Schema

-- | A configurable generic <tt><a>NamedSchema</a></tt> creator. This
--   function applied to <tt><a>defaultSchemaOptions</a></tt> is used as
--   the default for <tt><a>declareNamedSchema</a></tt> when the type is an
--   instance of <tt><a>Generic</a></tt>.
genericDeclareNamedSchema :: (Generic a, GToSchema (Rep a), TypeHasSimpleShape a "genericDeclareNamedSchemaUnrestricted") => SchemaOptions -> Proxy a -> Declare (Definitions Schema) NamedSchema

-- | A configurable generic <tt><a>Schema</a></tt> creator.
--   
--   Unlike <a>genericDeclareSchema</a> also works for mixed sum types. Use
--   with care since some Swagger tools do not support well schemas for
--   mixed sum types.
genericDeclareSchemaUnrestricted :: (Generic a, GToSchema (Rep a)) => SchemaOptions -> Proxy a -> Declare (Definitions Schema) Schema

-- | A configurable generic <tt><a>NamedSchema</a></tt> creator.
--   
--   Unlike <a>genericDeclareNamedSchema</a> also works for mixed sum
--   types. Use with care since some Swagger tools do not support well
--   schemas for mixed sum types.
genericDeclareNamedSchemaUnrestricted :: forall a. (Generic a, GToSchema (Rep a)) => SchemaOptions -> Proxy a -> Declare (Definitions Schema) NamedSchema

-- | Derive a <a>Generic</a>-based name for a datatype and assign it to a
--   given <a>Schema</a>.
genericNameSchema :: forall a d f. (Generic a, Rep a ~ D1 d f, Datatype d) => SchemaOptions -> Proxy a -> Schema -> NamedSchema
gdatatypeSchemaName :: forall d. Datatype d => SchemaOptions -> Proxy d -> Maybe Text

-- | Lift a plain <tt><a>ParamSchema</a></tt> into a model
--   <tt><a>NamedSchema</a></tt>.
paramSchemaToNamedSchema :: (ToParamSchema a, Generic a, Rep a ~ D1 d f, Datatype d) => SchemaOptions -> Proxy a -> NamedSchema

-- | Lift a plain <tt><a>ParamSchema</a></tt> into a model
--   <tt><a>Schema</a></tt>.
paramSchemaToSchema :: ToParamSchema a => Proxy a -> Schema
nullarySchema :: Schema
gtoNamedSchema :: GToSchema f => SchemaOptions -> Proxy f -> NamedSchema
gdeclareSchema :: GToSchema f => SchemaOptions -> Proxy f -> Declare (Definitions Schema) Schema
gdeclareSchemaRef :: GToSchema a => SchemaOptions -> Proxy a -> Declare (Definitions Schema) (Referenced Schema)
appendItem :: Referenced Schema -> Maybe (SwaggerItems  'SwaggerKindSchema) -> Maybe (SwaggerItems  'SwaggerKindSchema)
withFieldSchema :: forall proxy s f. (Selector s, GToSchema f) => SchemaOptions -> proxy s f -> Bool -> Schema -> Declare (Definitions Schema) Schema
gdeclareNamedSumSchema :: GSumToSchema f => SchemaOptions -> Proxy f -> Schema -> Declare (Definitions Schema) NamedSchema
type AllNullary = All
class GSumToSchema (f :: * -> *)
gsumToSchema :: GSumToSchema f => SchemaOptions -> Proxy f -> Schema -> WriterT AllNullary (Declare (Definitions Schema)) Schema
gsumConToSchemaWith :: forall c f. (GToSchema (C1 c f), Constructor c) => Referenced Schema -> SchemaOptions -> Proxy (C1 c f) -> Schema -> Schema
gsumConToSchema :: (GToSchema (C1 c f), Constructor c) => SchemaOptions -> Proxy (C1 c f) -> Schema -> Declare (Definitions Schema) Schema
data Proxy2 a b
Proxy2 :: Proxy2 a b
data Proxy3 a b c
Proxy3 :: Proxy3 a b c
instance (GHC.Generics.Selector s, Data.Swagger.Internal.Schema.ToSchema c) => Data.Swagger.Internal.Schema.GToSchema (GHC.Generics.S1 s (GHC.Generics.K1 i (GHC.Maybe.Maybe c)))
instance (GHC.Generics.Selector s, Data.Swagger.Internal.Schema.GToSchema f) => Data.Swagger.Internal.Schema.GToSchema (GHC.Generics.S1 s f)
instance (Data.Swagger.Internal.Schema.GSumToSchema f, Data.Swagger.Internal.Schema.GSumToSchema g) => Data.Swagger.Internal.Schema.GToSchema (f GHC.Generics.:+: g)
instance (Data.Swagger.Internal.Schema.GSumToSchema f, Data.Swagger.Internal.Schema.GSumToSchema g) => Data.Swagger.Internal.Schema.GSumToSchema (f GHC.Generics.:+: g)
instance (GHC.Generics.Constructor c, Data.Swagger.Internal.Schema.GToSchema f) => Data.Swagger.Internal.Schema.GSumToSchema (GHC.Generics.C1 c f)
instance (GHC.Generics.Constructor c, GHC.Generics.Selector s, Data.Swagger.Internal.Schema.GToSchema f) => Data.Swagger.Internal.Schema.GSumToSchema (GHC.Generics.C1 c (GHC.Generics.S1 s f))
instance GHC.Generics.Constructor c => Data.Swagger.Internal.Schema.GSumToSchema (GHC.Generics.C1 c GHC.Generics.U1)
instance Data.Swagger.Internal.Schema.ToSchemaByteStringError Data.ByteString.Internal.ByteString => Data.Swagger.Internal.Schema.ToSchema Data.ByteString.Internal.ByteString
instance Data.Swagger.Internal.Schema.ToSchemaByteStringError Data.ByteString.Lazy.Internal.ByteString => Data.Swagger.Internal.Schema.ToSchema Data.ByteString.Lazy.Internal.ByteString
instance Data.Swagger.Internal.Schema.ToSchema Data.Time.LocalTime.Internal.TimeOfDay.TimeOfDay
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema [a]
instance Data.Swagger.Internal.Schema.ToSchema GHC.Base.String
instance Data.Swagger.Internal.Schema.ToSchema GHC.Types.Bool
instance Data.Swagger.Internal.Schema.ToSchema GHC.Integer.Type.Integer
instance Data.Swagger.Internal.Schema.ToSchema GHC.Natural.Natural
instance Data.Swagger.Internal.Schema.ToSchema GHC.Types.Int
instance Data.Swagger.Internal.Schema.ToSchema GHC.Int.Int8
instance Data.Swagger.Internal.Schema.ToSchema GHC.Int.Int16
instance Data.Swagger.Internal.Schema.ToSchema GHC.Int.Int32
instance Data.Swagger.Internal.Schema.ToSchema GHC.Int.Int64
instance Data.Swagger.Internal.Schema.ToSchema GHC.Types.Word
instance Data.Swagger.Internal.Schema.ToSchema GHC.Word.Word8
instance Data.Swagger.Internal.Schema.ToSchema GHC.Word.Word16
instance Data.Swagger.Internal.Schema.ToSchema GHC.Word.Word32
instance Data.Swagger.Internal.Schema.ToSchema GHC.Word.Word64
instance Data.Swagger.Internal.Schema.ToSchema GHC.Types.Char
instance Data.Swagger.Internal.Schema.ToSchema Data.Scientific.Scientific
instance Data.Swagger.Internal.Schema.ToSchema GHC.Types.Double
instance Data.Swagger.Internal.Schema.ToSchema GHC.Types.Float
instance Data.Fixed.HasResolution a => Data.Swagger.Internal.Schema.ToSchema (Data.Fixed.Fixed a)
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (GHC.Maybe.Maybe a)
instance (Data.Swagger.Internal.Schema.ToSchema a, Data.Swagger.Internal.Schema.ToSchema b) => Data.Swagger.Internal.Schema.ToSchema (Data.Either.Either a b)
instance Data.Swagger.Internal.Schema.ToSchema ()
instance Data.Swagger.Internal.Schema.ToSchema Data.UUID.Types.Internal.UUID
instance (Data.Swagger.Internal.Schema.ToSchema a, Data.Swagger.Internal.Schema.ToSchema b) => Data.Swagger.Internal.Schema.ToSchema (a, b)
instance (Data.Swagger.Internal.Schema.ToSchema a, Data.Swagger.Internal.Schema.ToSchema b, Data.Swagger.Internal.Schema.ToSchema c) => Data.Swagger.Internal.Schema.ToSchema (a, b, c)
instance (Data.Swagger.Internal.Schema.ToSchema a, Data.Swagger.Internal.Schema.ToSchema b, Data.Swagger.Internal.Schema.ToSchema c, Data.Swagger.Internal.Schema.ToSchema d) => Data.Swagger.Internal.Schema.ToSchema (a, b, c, d)
instance (Data.Swagger.Internal.Schema.ToSchema a, Data.Swagger.Internal.Schema.ToSchema b, Data.Swagger.Internal.Schema.ToSchema c, Data.Swagger.Internal.Schema.ToSchema d, Data.Swagger.Internal.Schema.ToSchema e) => Data.Swagger.Internal.Schema.ToSchema (a, b, c, d, e)
instance (Data.Swagger.Internal.Schema.ToSchema a, Data.Swagger.Internal.Schema.ToSchema b, Data.Swagger.Internal.Schema.ToSchema c, Data.Swagger.Internal.Schema.ToSchema d, Data.Swagger.Internal.Schema.ToSchema e, Data.Swagger.Internal.Schema.ToSchema f) => Data.Swagger.Internal.Schema.ToSchema (a, b, c, d, e, f)
instance (Data.Swagger.Internal.Schema.ToSchema a, Data.Swagger.Internal.Schema.ToSchema b, Data.Swagger.Internal.Schema.ToSchema c, Data.Swagger.Internal.Schema.ToSchema d, Data.Swagger.Internal.Schema.ToSchema e, Data.Swagger.Internal.Schema.ToSchema f, Data.Swagger.Internal.Schema.ToSchema g) => Data.Swagger.Internal.Schema.ToSchema (a, b, c, d, e, f, g)
instance Data.Swagger.Internal.Schema.ToSchema Data.Time.Calendar.Days.Day
instance Data.Swagger.Internal.Schema.ToSchema Data.Time.LocalTime.Internal.LocalTime.LocalTime
instance Data.Swagger.Internal.Schema.ToSchema Data.Time.LocalTime.Internal.ZonedTime.ZonedTime
instance Data.Swagger.Internal.Schema.ToSchema Data.Time.Clock.Internal.NominalDiffTime.NominalDiffTime
instance Data.Swagger.Internal.Schema.ToSchema Data.Time.Clock.Internal.UTCTime.UTCTime
instance Data.Swagger.Internal.Schema.ToSchema Data.Text.Internal.Text
instance Data.Swagger.Internal.Schema.ToSchema Data.Text.Internal.Lazy.Text
instance Data.Swagger.Internal.Schema.ToSchema Data.Version.Version
instance Data.Swagger.Internal.Schema.ToSchema Data.IntSet.Internal.IntSet
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (Data.IntMap.Internal.IntMap a)
instance (Data.Aeson.Types.ToJSON.ToJSONKey k, Data.Swagger.Internal.Schema.ToSchema k, Data.Swagger.Internal.Schema.ToSchema v) => Data.Swagger.Internal.Schema.ToSchema (Data.Map.Internal.Map k v)
instance (Data.Aeson.Types.ToJSON.ToJSONKey k, Data.Swagger.Internal.Schema.ToSchema k, Data.Swagger.Internal.Schema.ToSchema v) => Data.Swagger.Internal.Schema.ToSchema (Data.HashMap.Base.HashMap k v)
instance Data.Swagger.Internal.Schema.ToSchema Data.Aeson.Types.Internal.Object
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (Data.Vector.Vector a)
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (Data.Vector.Unboxed.Base.Vector a)
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (Data.Vector.Storable.Vector a)
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (Data.Vector.Primitive.Vector a)
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (Data.Set.Internal.Set a)
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (Data.HashSet.Base.HashSet a)
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (GHC.Base.NonEmpty a)
instance Data.Swagger.Internal.Schema.ToSchema Data.Semigroup.Internal.All
instance Data.Swagger.Internal.Schema.ToSchema Data.Semigroup.Internal.Any
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (Data.Semigroup.Internal.Sum a)
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (Data.Semigroup.Internal.Product a)
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (Data.Monoid.First a)
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (Data.Monoid.Last a)
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (Data.Semigroup.Internal.Dual a)
instance Data.Swagger.Internal.Schema.ToSchema a => Data.Swagger.Internal.Schema.ToSchema (Data.Functor.Identity.Identity a)
instance Data.Swagger.Internal.Schema.ToSchema c => Data.Swagger.Internal.Schema.GToSchema (GHC.Generics.K1 i (GHC.Maybe.Maybe c))
instance Data.Swagger.Internal.Schema.ToSchema c => Data.Swagger.Internal.Schema.GToSchema (GHC.Generics.K1 i c)
instance (Data.Swagger.Internal.Schema.GToSchema f, Data.Swagger.Internal.Schema.GToSchema g) => Data.Swagger.Internal.Schema.GToSchema (f GHC.Generics.:*: g)
instance (GHC.Generics.Datatype d, Data.Swagger.Internal.Schema.GToSchema f) => Data.Swagger.Internal.Schema.GToSchema (GHC.Generics.D1 d f)
instance Data.Swagger.Internal.Schema.GToSchema f => Data.Swagger.Internal.Schema.GToSchema (GHC.Generics.C1 c f)
instance GHC.Generics.Constructor c => Data.Swagger.Internal.Schema.GToSchema (GHC.Generics.C1 c GHC.Generics.U1)
instance (GHC.Generics.Selector s, Data.Swagger.Internal.Schema.GToSchema f, Data.Swagger.Internal.Schema.GToSchema (GHC.Generics.S1 s f)) => Data.Swagger.Internal.Schema.GToSchema (GHC.Generics.C1 c (GHC.Generics.S1 s f))


-- | Types and functions for working with Swagger schema.
module Data.Swagger.Schema

-- | Convert a type into <tt><a>Schema</a></tt>.
--   
--   An example type and instance:
--   
--   <pre>
--   {-# LANGUAGE OverloadedStrings #-}   -- allows to write <a>Text</a> literals
--   {-# LANGUAGE OverloadedLists #-}     -- allows to write <a>Map</a> and <a>HashMap</a> as lists
--   
--   import Control.Lens
--   import Data.Proxy
--   import Data.Swagger
--   
--   data Coord = Coord { x :: Double, y :: Double }
--   
--   instance ToSchema Coord where
--     declareNamedSchema _ = do
--       doubleSchema &lt;- declareSchemaRef (Proxy :: Proxy Double)
--       return $ NamedSchema (Just "Coord") $ mempty
--         &amp; type_ ?~ SwaggerObject
--         &amp; properties .~
--             [ ("x", doubleSchema)
--             , ("y", doubleSchema)
--             ]
--         &amp; required .~ [ "x", "y" ]
--   </pre>
--   
--   Instead of manually writing your <tt><a>ToSchema</a></tt> instance you
--   can use a default generic implementation of
--   <tt><a>declareNamedSchema</a></tt>.
--   
--   To do that, simply add <tt>deriving <a>Generic</a></tt> clause to your
--   datatype and declare a <tt><a>ToSchema</a></tt> instance for your
--   datatype without giving definition for
--   <tt><a>declareNamedSchema</a></tt>.
--   
--   For instance, the previous example can be simplified into this:
--   
--   <pre>
--   {-# LANGUAGE DeriveGeneric #-}
--   
--   import GHC.Generics (Generic)
--   
--   data Coord = Coord { x :: Double, y :: Double } deriving Generic
--   
--   instance ToSchema Coord
--   </pre>
class ToSchema a

-- | Convert a type into an optionally named schema together with all used
--   definitions. Note that the schema itself is included in definitions
--   only if it is recursive (and thus needs its definition in scope).
declareNamedSchema :: ToSchema a => Proxy a -> Declare (Definitions Schema) NamedSchema

-- | Convert a type into an optionally named schema together with all used
--   definitions. Note that the schema itself is included in definitions
--   only if it is recursive (and thus needs its definition in scope).
declareNamedSchema :: (ToSchema a, Generic a, GToSchema (Rep a), TypeHasSimpleShape a "genericDeclareNamedSchemaUnrestricted") => Proxy a -> Declare (Definitions Schema) NamedSchema

-- | Convert a type into a schema and declare all used schema definitions.
declareSchema :: ToSchema a => Proxy a -> Declare (Definitions Schema) Schema

-- | Convert a type into a referenced schema if possible and declare all
--   used schema definitions. Only named schemas can be referenced,
--   nameless schemas are inlined.
--   
--   Schema definitions are typically declared for every referenced schema.
--   If <tt><a>declareSchemaRef</a></tt> returns a reference, a
--   corresponding schema will be declared (regardless of whether it is
--   recusive or not).
declareSchemaRef :: ToSchema a => Proxy a -> Declare (Definitions Schema) (Referenced Schema)

-- | Convert a type into a schema.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toSchema (Proxy :: Proxy Int8)
--   "{\"maximum\":127,\"minimum\":-128,\"type\":\"integer\"}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toSchema (Proxy :: Proxy [Day])
--   "{\"items\":{\"$ref\":\"#/definitions/Day\"},\"type\":\"array\"}"
--   </pre>
toSchema :: ToSchema a => Proxy a -> Schema

-- | Convert a type into a referenced schema if possible. Only named
--   schemas can be referenced, nameless schemas are inlined.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toSchemaRef (Proxy :: Proxy Integer)
--   "{\"type\":\"integer\"}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toSchemaRef (Proxy :: Proxy Day)
--   "{\"$ref\":\"#/definitions/Day\"}"
--   </pre>
toSchemaRef :: ToSchema a => Proxy a -> Referenced Schema

-- | Get type's schema name according to its <tt><a>ToSchema</a></tt>
--   instance.
--   
--   <pre>
--   &gt;&gt;&gt; schemaName (Proxy :: Proxy Int)
--   Nothing
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; schemaName (Proxy :: Proxy UTCTime)
--   Just "UTCTime"
--   </pre>
schemaName :: ToSchema a => Proxy a -> Maybe Text

-- | Convert a type into a schema without references.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toInlinedSchema (Proxy :: Proxy [Day])
--   "{\"items\":{\"example\":\"2016-07-22\",\"format\":\"date\",\"type\":\"string\"},\"type\":\"array\"}"
--   </pre>
--   
--   <b>WARNING:</b> <tt><a>toInlinedSchema</a></tt> will produce infinite
--   schema when inlining recursive schemas.
toInlinedSchema :: ToSchema a => Proxy a -> Schema

-- | A configurable generic <tt><a>NamedSchema</a></tt> creator. This
--   function applied to <tt><a>defaultSchemaOptions</a></tt> is used as
--   the default for <tt><a>declareNamedSchema</a></tt> when the type is an
--   instance of <tt><a>Generic</a></tt>.
genericDeclareNamedSchema :: (Generic a, GToSchema (Rep a), TypeHasSimpleShape a "genericDeclareNamedSchemaUnrestricted") => SchemaOptions -> Proxy a -> Declare (Definitions Schema) NamedSchema

-- | A configurable generic <tt><a>Schema</a></tt> creator.
genericDeclareSchema :: (Generic a, GToSchema (Rep a), TypeHasSimpleShape a "genericDeclareSchemaUnrestricted") => SchemaOptions -> Proxy a -> Declare (Definitions Schema) Schema

-- | Declare a named schema for a <tt>newtype</tt> wrapper.
genericDeclareNamedSchemaNewtype :: forall a d c s i inner. (Generic a, Datatype d, Rep a ~ D1 d (C1 c (S1 s (K1 i inner)))) => SchemaOptions -> (Proxy inner -> Declare (Definitions Schema) Schema) -> Proxy a -> Declare (Definitions Schema) NamedSchema

-- | Derive a <a>Generic</a>-based name for a datatype and assign it to a
--   given <a>Schema</a>.
genericNameSchema :: forall a d f. (Generic a, Rep a ~ D1 d f, Datatype d) => SchemaOptions -> Proxy a -> Schema -> NamedSchema

-- | Default generic named schema for <tt><a>Bounded</a></tt>,
--   <tt><a>Integral</a></tt> types.
genericToNamedSchemaBoundedIntegral :: forall a d f. (Bounded a, Integral a, Generic a, Rep a ~ D1 d f, Datatype d) => SchemaOptions -> Proxy a -> NamedSchema

-- | Default schema for <tt><a>Bounded</a></tt>, <tt><a>Integral</a></tt>
--   types.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ toSchemaBoundedIntegral (Proxy :: Proxy Int16)
--   "{\"maximum\":32767,\"minimum\":-32768,\"type\":\"integer\"}"
--   </pre>
toSchemaBoundedIntegral :: forall a. (Bounded a, Integral a) => Proxy a -> Schema

-- | Declare <a>Schema</a> for a mapping with <a>Bounded</a> <a>Enum</a>
--   keys. This makes a much more useful schema when there aren't many
--   options for key values.
--   
--   <pre>
--   &gt;&gt;&gt; data ButtonState = Neutral | Focus | Active | Hover | Disabled deriving (Show, Bounded, Enum, Generic)
--   
--   &gt;&gt;&gt; instance ToJSON ButtonState
--   
--   &gt;&gt;&gt; instance ToSchema ButtonState
--   
--   &gt;&gt;&gt; instance ToJSONKey ButtonState where toJSONKey = toJSONKeyText (T.pack . show)
--   
--   &gt;&gt;&gt; type ImageUrl = T.Text
--   
--   &gt;&gt;&gt; encode $ toSchemaBoundedEnumKeyMapping (Proxy :: Proxy (Map ButtonState ImageUrl))
--   "{\"properties\":{\"Neutral\":{\"type\":\"string\"},\"Focus\":{\"type\":\"string\"},\"Active\":{\"type\":\"string\"},\"Hover\":{\"type\":\"string\"},\"Disabled\":{\"type\":\"string\"}},\"type\":\"object\"}"
--   </pre>
--   
--   Note: this is only useful when <tt>key</tt> is encoded with
--   <a>ToJSONKeyText</a>. If it is encoded with <a>ToJSONKeyValue</a> then
--   a regular schema for <tt>[(key, value)]</tt> is used.
declareSchemaBoundedEnumKeyMapping :: forall map key value. (Bounded key, Enum key, ToJSONKey key, ToSchema key, ToSchema value) => Proxy (map key value) -> Declare (Definitions Schema) Schema

-- | A <a>Schema</a> for a mapping with <a>Bounded</a> <a>Enum</a> keys.
--   This makes a much more useful schema when there aren't many options
--   for key values.
--   
--   <pre>
--   &gt;&gt;&gt; data ButtonState = Neutral | Focus | Active | Hover | Disabled deriving (Show, Bounded, Enum, Generic)
--   
--   &gt;&gt;&gt; instance ToJSON ButtonState
--   
--   &gt;&gt;&gt; instance ToSchema ButtonState
--   
--   &gt;&gt;&gt; instance ToJSONKey ButtonState where toJSONKey = toJSONKeyText (T.pack . show)
--   
--   &gt;&gt;&gt; type ImageUrl = T.Text
--   
--   &gt;&gt;&gt; encode $ toSchemaBoundedEnumKeyMapping (Proxy :: Proxy (Map ButtonState ImageUrl))
--   "{\"properties\":{\"Neutral\":{\"type\":\"string\"},\"Focus\":{\"type\":\"string\"},\"Active\":{\"type\":\"string\"},\"Hover\":{\"type\":\"string\"},\"Disabled\":{\"type\":\"string\"}},\"type\":\"object\"}"
--   </pre>
--   
--   Note: this is only useful when <tt>key</tt> is encoded with
--   <a>ToJSONKeyText</a>. If it is encoded with <a>ToJSONKeyValue</a> then
--   a regular schema for <tt>[(key, value)]</tt> is used.
toSchemaBoundedEnumKeyMapping :: forall map key value. (Bounded key, Enum key, ToJSONKey key, ToSchema key, ToSchema value) => Proxy (map key value) -> Schema

-- | Lift a plain <tt><a>ParamSchema</a></tt> into a model
--   <tt><a>NamedSchema</a></tt>.
paramSchemaToNamedSchema :: (ToParamSchema a, Generic a, Rep a ~ D1 d f, Datatype d) => SchemaOptions -> Proxy a -> NamedSchema

-- | Lift a plain <tt><a>ParamSchema</a></tt> into a model
--   <tt><a>Schema</a></tt>.
paramSchemaToSchema :: ToParamSchema a => Proxy a -> Schema

-- | A configurable generic <tt><a>NamedSchema</a></tt> creator.
--   
--   Unlike <a>genericDeclareNamedSchema</a> also works for mixed sum
--   types. Use with care since some Swagger tools do not support well
--   schemas for mixed sum types.
genericDeclareNamedSchemaUnrestricted :: forall a. (Generic a, GToSchema (Rep a)) => SchemaOptions -> Proxy a -> Declare (Definitions Schema) NamedSchema

-- | A configurable generic <tt><a>Schema</a></tt> creator.
--   
--   Unlike <a>genericDeclareSchema</a> also works for mixed sum types. Use
--   with care since some Swagger tools do not support well schemas for
--   mixed sum types.
genericDeclareSchemaUnrestricted :: (Generic a, GToSchema (Rep a)) => SchemaOptions -> Proxy a -> Declare (Definitions Schema) Schema

-- | Default schema for password string. <tt>"password"</tt> format is used
--   to hint UIs the input needs to be obscured.
passwordSchema :: Schema

-- | Default schema for binary data (any sequence of octets).
binarySchema :: Schema

-- | Default schema for binary data (base64 encoded).
byteSchema :: Schema

-- | Make an unrestrictive sketch of a <tt><a>Schema</a></tt> based on a
--   <tt><a>ToJSON</a></tt> instance. Produced schema can be used for
--   further refinement.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ sketchSchema "hello"
--   "{\"example\":\"hello\",\"type\":\"string\"}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; encode $ sketchSchema (1, 2, 3)
--   "{\"example\":[1,2,3],\"items\":{\"type\":\"number\"},\"type\":\"array\"}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; encode $ sketchSchema ("Jack", 25)
--   "{\"example\":[\"Jack\",25],\"items\":[{\"type\":\"string\"},{\"type\":\"number\"}],\"type\":\"array\"}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; data Person = Person { name :: String, age :: Int } deriving (Generic)
--   
--   &gt;&gt;&gt; instance ToJSON Person
--   
--   &gt;&gt;&gt; encode $ sketchSchema (Person "Jack" 25)
--   "{\"required\":[\"age\",\"name\"],\"properties\":{\"age\":{\"type\":\"number\"},\"name\":{\"type\":\"string\"}},\"example\":{\"age\":25,\"name\":\"Jack\"},\"type\":\"object\"}"
--   </pre>
sketchSchema :: ToJSON a => a -> Schema

-- | Make a restrictive sketch of a <tt><a>Schema</a></tt> based on a
--   <tt><a>ToJSON</a></tt> instance. Produced schema uses as much
--   constraints as possible.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ sketchStrictSchema "hello"
--   "{\"maxLength\":5,\"pattern\":\"hello\",\"minLength\":5,\"type\":\"string\",\"enum\":[\"hello\"]}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; encode $ sketchStrictSchema (1, 2, 3)
--   "{\"minItems\":3,\"uniqueItems\":true,\"items\":[{\"maximum\":1,\"minimum\":1,\"multipleOf\":1,\"type\":\"number\",\"enum\":[1]},{\"maximum\":2,\"minimum\":2,\"multipleOf\":2,\"type\":\"number\",\"enum\":[2]},{\"maximum\":3,\"minimum\":3,\"multipleOf\":3,\"type\":\"number\",\"enum\":[3]}],\"maxItems\":3,\"type\":\"array\",\"enum\":[[1,2,3]]}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; encode $ sketchStrictSchema ("Jack", 25)
--   "{\"minItems\":2,\"uniqueItems\":true,\"items\":[{\"maxLength\":4,\"pattern\":\"Jack\",\"minLength\":4,\"type\":\"string\",\"enum\":[\"Jack\"]},{\"maximum\":25,\"minimum\":25,\"multipleOf\":25,\"type\":\"number\",\"enum\":[25]}],\"maxItems\":2,\"type\":\"array\",\"enum\":[[\"Jack\",25]]}"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; data Person = Person { name :: String, age :: Int } deriving (Generic)
--   
--   &gt;&gt;&gt; instance ToJSON Person
--   
--   &gt;&gt;&gt; encode $ sketchStrictSchema (Person "Jack" 25)
--   "{\"required\":[\"age\",\"name\"],\"properties\":{\"age\":{\"maximum\":25,\"minimum\":25,\"multipleOf\":25,\"type\":\"number\",\"enum\":[25]},\"name\":{\"maxLength\":4,\"pattern\":\"Jack\",\"minLength\":4,\"type\":\"string\",\"enum\":[\"Jack\"]}},\"maxProperties\":2,\"minProperties\":2,\"type\":\"object\",\"enum\":[{\"age\":25,\"name\":\"Jack\"}]}"
--   </pre>
sketchStrictSchema :: ToJSON a => a -> Schema

-- | Inline all <i>non-recursive</i> schemas for which the definition can
--   be found in <tt><a>Definitions</a></tt>.
inlineNonRecursiveSchemas :: Data s => Definitions Schema -> s -> s

-- | Inline all schema references for which the definition can be found in
--   <tt><a>Definitions</a></tt>.
--   
--   <b>WARNING:</b> <tt><a>inlineAllSchemas</a></tt> will produce infinite
--   schemas when inlining recursive schemas.
inlineAllSchemas :: Data s => Definitions Schema -> s -> s

-- | Inline any referenced schema if its name is in the given list.
--   
--   <i>NOTE:</i> if a referenced schema is not found in definitions it
--   stays referenced even if it appears in the list of names.
--   
--   <b>WARNING:</b> <tt><a>inlineSchemas</a></tt> will produce infinite
--   schemas when inlining recursive schemas.
inlineSchemas :: Data s => [Text] -> Definitions Schema -> s -> s

-- | Inline any referenced schema if its name satisfies given predicate.
--   
--   <i>NOTE:</i> if a referenced schema is not found in definitions the
--   predicate is ignored and schema stays referenced.
--   
--   <b>WARNING:</b> <tt><a>inlineSchemasWhen</a></tt> will produce
--   infinite schemas when inlining recursive schemas.
inlineSchemasWhen :: Data s => (Text -> Bool) -> Definitions Schema -> s -> s

-- | Options that specify how to encode your type to Swagger schema.
data SchemaOptions
SchemaOptions :: (String -> String) -> (String -> String) -> (String -> String) -> Bool -> Bool -> SchemaOptions

-- | Function applied to field labels. Handy for removing common record
--   prefixes for example.
[fieldLabelModifier] :: SchemaOptions -> String -> String

-- | Function applied to constructor tags which could be handy for
--   lower-casing them for example.
[constructorTagModifier] :: SchemaOptions -> String -> String

-- | Function applied to datatype name.
[datatypeNameModifier] :: SchemaOptions -> String -> String

-- | If <tt><a>True</a></tt> the constructors of a datatype, with all
--   nullary constructors, will be encoded to a string enumeration schema
--   with the constructor tags as possible values.
[allNullaryToStringTag] :: SchemaOptions -> Bool

-- | Hide the field name when a record constructor has only one field, like
--   a newtype.
[unwrapUnaryRecords] :: SchemaOptions -> Bool

-- | Default encoding <tt><a>SchemaOptions</a></tt>.
--   
--   <pre>
--   <a>SchemaOptions</a>
--   { <a>fieldLabelModifier</a>     = id
--   , <a>constructorTagModifier</a> = id
--   , <a>datatypeNameModifier</a>   = id
--   , <a>allNullaryToStringTag</a>  = True
--   , <a>unwrapUnaryRecords</a>     = False
--   }
--   </pre>
defaultSchemaOptions :: SchemaOptions

-- | Convert <a>Options</a> to <a>SchemaOptions</a>.
--   
--   Specifically the following fields get copied:
--   
--   <ul>
--   <li><a>fieldLabelModifier</a></li>
--   <li><a>constructorTagModifier</a></li>
--   <li><a>allNullaryToStringTag</a></li>
--   <li><a>unwrapUnaryRecords</a></li>
--   </ul>
--   
--   Note that these fields have no effect on <a>SchemaOptions</a>:
--   
--   <ul>
--   <li><a>omitNothingFields</a></li>
--   <li><a>sumEncoding</a></li>
--   <li><a>tagSingleConstructors</a></li>
--   </ul>
--   
--   The rest is defined as in <a>defaultSchemaOptions</a>.
fromAesonOptions :: Options -> SchemaOptions


-- | Helper traversals and functions for Swagger operations manipulations.
--   These might be useful when you already have Swagger specification
--   generated by something else.
module Data.Swagger.Operation

-- | All operations of a Swagger spec.
allOperations :: Traversal' Swagger Operation

-- | <tt><a>operationsOf</a> sub</tt> will traverse only those operations
--   that are present in <tt>sub</tt>. Note that <tt><a>Operation</a></tt>
--   is determined by both path and method.
--   
--   <pre>
--   &gt;&gt;&gt; let ok = (mempty :: Operation) &amp; at 200 ?~ "OK"
--   
--   &gt;&gt;&gt; let api = (mempty :: Swagger) &amp; paths .~ [("/user", mempty &amp; get ?~ ok &amp; post ?~ ok)]
--   
--   &gt;&gt;&gt; let sub = (mempty :: Swagger) &amp; paths .~ [("/user", mempty &amp; get ?~ mempty)]
--   
--   &gt;&gt;&gt; encode api
--   "{\"swagger\":\"2.0\",\"info\":{\"version\":\"\",\"title\":\"\"},\"paths\":{\"/user\":{\"get\":{\"responses\":{\"200\":{\"description\":\"OK\"}}},\"post\":{\"responses\":{\"200\":{\"description\":\"OK\"}}}}}}"
--   
--   &gt;&gt;&gt; encode $ api &amp; operationsOf sub . at 404 ?~ "Not found"
--   "{\"swagger\":\"2.0\",\"info\":{\"version\":\"\",\"title\":\"\"},\"paths\":{\"/user\":{\"get\":{\"responses\":{\"404\":{\"description\":\"Not found\"},\"200\":{\"description\":\"OK\"}}},\"post\":{\"responses\":{\"200\":{\"description\":\"OK\"}}}}}}"
--   </pre>
operationsOf :: Swagger -> Traversal' Swagger Operation

-- | Apply tags to all operations and update the global list of tags.
--   
--   <pre>
--   <a>applyTags</a> = <a>applyTagsFor</a> <a>allOperations</a>
--   </pre>
applyTags :: [Tag] -> Swagger -> Swagger

-- | Apply tags to a part of Swagger spec and update the global list of
--   tags.
applyTagsFor :: Traversal' Swagger Operation -> [Tag] -> Swagger -> Swagger

-- | Set response for all operations. This will also update global schema
--   definitions.
--   
--   If the response already exists it will be overwritten.
--   
--   <pre>
--   <a>setResponse</a> = <a>setResponseFor</a> <a>allOperations</a>
--   </pre>
--   
--   Example:
--   
--   <pre>
--   &gt;&gt;&gt; let api = (mempty :: Swagger) &amp; paths .~ [("/user", mempty &amp; get ?~ mempty)]
--   
--   &gt;&gt;&gt; let res = declareResponse (Proxy :: Proxy Day)
--   
--   &gt;&gt;&gt; encode $ api &amp; setResponse 200 res
--   "{\"swagger\":\"2.0\",\"info\":{\"version\":\"\",\"title\":\"\"},\"paths\":{\"/user\":{\"get\":{\"responses\":{\"200\":{\"schema\":{\"$ref\":\"#/definitions/Day\"},\"description\":\"\"}}}}},\"definitions\":{\"Day\":{\"example\":\"2016-07-22\",\"format\":\"date\",\"type\":\"string\"}}}"
--   </pre>
--   
--   See also <tt><a>setResponseWith</a></tt>.
setResponse :: HttpStatusCode -> Declare (Definitions Schema) Response -> Swagger -> Swagger

-- | Set or update response for all operations. This will also update
--   global schema definitions.
--   
--   If the response already exists, but it can't be dereferenced (invalid
--   <tt>$ref</tt>), then just the new response is used.
--   
--   <pre>
--   <a>setResponseWith</a> = <a>setResponseForWith</a> <a>allOperations</a>
--   </pre>
--   
--   See also <tt><a>setResponse</a></tt>.
setResponseWith :: (Response -> Response -> Response) -> HttpStatusCode -> Declare (Definitions Schema) Response -> Swagger -> Swagger

-- | Set response for specified operations. This will also update global
--   schema definitions.
--   
--   If the response already exists it will be overwritten.
--   
--   See also <tt><a>setResponseForWith</a></tt>.
setResponseFor :: Traversal' Swagger Operation -> HttpStatusCode -> Declare (Definitions Schema) Response -> Swagger -> Swagger

-- | Set or update response for specified operations. This will also update
--   global schema definitions.
--   
--   If the response already exists, but it can't be dereferenced (invalid
--   <tt>$ref</tt>), then just the new response is used.
--   
--   See also <tt><a>setResponseFor</a></tt>.
setResponseForWith :: Traversal' Swagger Operation -> (Response -> Response -> Response) -> HttpStatusCode -> Declare (Definitions Schema) Response -> Swagger -> Swagger

-- | Prepend path piece to all operations of the spec. Leading and trailing
--   slashes are trimmed/added automatically.
--   
--   <pre>
--   &gt;&gt;&gt; let api = (mempty :: Swagger) &amp; paths .~ [("/info", mempty)]
--   
--   &gt;&gt;&gt; encode $ prependPath "user/{user_id}" api ^. paths
--   "{\"/user/{user_id}/info\":{}}"
--   </pre>
prependPath :: FilePath -> Swagger -> Swagger

-- | Construct a response with <tt><a>Schema</a></tt> while declaring all
--   necessary schema definitions.
--   
--   <pre>
--   &gt;&gt;&gt; encode $ runDeclare (declareResponse (Proxy :: Proxy Day)) mempty
--   "[{\"Day\":{\"example\":\"2016-07-22\",\"format\":\"date\",\"type\":\"string\"}},{\"description\":\"\",\"schema\":{\"$ref\":\"#/definitions/Day\"}}]"
--   </pre>
declareResponse :: ToSchema a => Proxy a -> Declare (Definitions Schema) Response


-- | Validate JSON values with Swagger Schema.
module Data.Swagger.Internal.Schema.Validation

-- | Validate <tt><a>ToJSON</a></tt> instance matches
--   <tt><a>ToSchema</a></tt> for a given value. This can be used with
--   QuickCheck to ensure those instances are coherent:
--   
--   <pre>
--   validateToJSON (x :: Int) == []
--   </pre>
--   
--   <i>NOTE:</i> <tt><a>validateToJSON</a></tt> does not perform string
--   pattern validation. See
--   <tt><a>validateToJSONWithPatternChecker</a></tt>.
--   
--   See <a>renderValidationErrors</a> on how the output is structured.
validatePrettyToJSON :: forall a. (ToJSON a, ToSchema a) => a -> Maybe String

-- | Variant of <a>validatePrettyToJSON</a> with typed output.
validateToJSON :: forall a. (ToJSON a, ToSchema a) => a -> [ValidationError]

-- | Validate <tt><a>ToJSON</a></tt> instance matches
--   <tt><a>ToSchema</a></tt> for a given value and pattern checker. This
--   can be used with QuickCheck to ensure those instances are coherent.
--   
--   For validation without patterns see <tt><a>validateToJSON</a></tt>.
--   See also: <a>renderValidationErrors</a>.
validateToJSONWithPatternChecker :: forall a. (ToJSON a, ToSchema a) => (Pattern -> Text -> Bool) -> a -> [ValidationError]

-- | Pretty print validation errors together with actual JSON and Swagger
--   Schema (using <a>encodePretty</a>).
--   
--   <pre>
--   &gt;&gt;&gt; import Data.Aeson as Aeson
--   
--   &gt;&gt;&gt; import Data.Foldable (traverse_)
--   
--   &gt;&gt;&gt; import GHC.Generics
--   
--   &gt;&gt;&gt; data Phone = Phone { value :: String } deriving (Generic)
--   
--   &gt;&gt;&gt; data Person = Person { name :: String, phone :: Phone } deriving (Generic)
--   
--   &gt;&gt;&gt; instance ToJSON Person where toJSON p = object [ "name" Aeson..= name p ]
--   
--   &gt;&gt;&gt; instance ToSchema Phone
--   
--   &gt;&gt;&gt; instance ToSchema Person
--   
--   &gt;&gt;&gt; let person = Person { name = "John", phone = Phone "123456" }
--   
--   &gt;&gt;&gt; traverse_ putStrLn $ renderValidationErrors validateToJSON person
--   Validation against the schema fails:
--     * property "phone" is required, but not found in "{\"name\":\"John\"}"
--   
--   JSON value:
--   {
--       "name": "John"
--   }
--   
--   Swagger Schema:
--   {
--       "required": [
--           "name",
--           "phone"
--       ],
--       "type": "object",
--       "properties": {
--           "phone": {
--               "$ref": "#/definitions/Phone"
--           },
--           "name": {
--               "type": "string"
--           }
--       }
--   }
--   
--   Swagger Description Context:
--   {
--       "Phone": {
--           "required": [
--               "value"
--           ],
--           "type": "object",
--           "properties": {
--               "value": {
--                   "type": "string"
--               }
--           }
--       }
--   }
--   </pre>
renderValidationErrors :: forall a. (ToJSON a, ToSchema a) => (a -> [ValidationError]) -> a -> Maybe String

-- | Validate JSON <tt><a>Value</a></tt> against Swagger
--   <tt><a>Schema</a></tt>.
--   
--   <pre>
--   validateJSON mempty (toSchema (Proxy :: Proxy Int)) (toJSON (x :: Int)) == []
--   </pre>
--   
--   <i>NOTE:</i> <tt><a>validateJSON</a></tt> does not perform string
--   pattern validation. See
--   <tt><a>validateJSONWithPatternChecker</a></tt>.
validateJSON :: Definitions Schema -> Schema -> Value -> [ValidationError]

-- | Validate JSON <tt><a>Value</a></tt> agains Swagger
--   <tt><a>ToSchema</a></tt> for a given value and pattern checker.
--   
--   For validation without patterns see <tt><a>validateJSON</a></tt>.
validateJSONWithPatternChecker :: (Pattern -> Text -> Bool) -> Definitions Schema -> Schema -> Value -> [ValidationError]

-- | Validation error message.
type ValidationError = String

-- | Validation result type.
data Result a

-- | Validation failed with a list of error messages.
Failed :: [ValidationError] -> Result a

-- | Validation passed.
Passed :: a -> Result a

-- | Validation configuration.
data Config
Config :: (Pattern -> Text -> Bool) -> Definitions Schema -> Config

-- | Pattern checker for <tt><a>_paramSchemaPattern</a></tt> validation.
[configPatternChecker] :: Config -> Pattern -> Text -> Bool

-- | Schema definitions in scope to resolve references.
[configDefinitions] :: Config -> Definitions Schema

-- | Default <tt><a>Config</a></tt>:
--   
--   <pre>
--   defaultConfig = <a>Config</a>
--     { <a>configPatternChecker</a> = \_pattern _str -&gt; True
--     , <a>configDefinitions</a>    = mempty
--     }
--   </pre>
defaultConfig :: Config

-- | Value validation.
newtype Validation s a
Validation :: (Config -> s -> Result a) -> Validation s a
[runValidation] :: Validation s a -> Config -> s -> Result a
withConfig :: (Config -> Validation s a) -> Validation s a
withSchema :: (s -> Validation s a) -> Validation s a

-- | Issue an error message.
invalid :: String -> Validation schema a

-- | Validation passed.
valid :: Validation schema ()

-- | Validate schema's property given a lens into that property and
--   property checker.
checkMissing :: Validation s () -> Lens' s (Maybe a) -> (a -> Validation s ()) -> Validation s ()

-- | Validate schema's property given a lens into that property and
--   property checker. If property is missing in schema, consider it valid.
check :: Lens' s (Maybe a) -> (a -> Validation s ()) -> Validation s ()

-- | Validate same value with different schema.
sub :: t -> Validation t a -> Validation s a

-- | Validate same value with a part of the original schema.
sub_ :: Getting a s a -> Validation a r -> Validation s r

-- | Validate value against a schema given schema reference and validation
--   function.
withRef :: Reference -> (Schema -> Validation s a) -> Validation s a
validateWithSchemaRef :: Referenced Schema -> Value -> Validation s ()

-- | Validate JSON <tt><a>Value</a></tt> with Swagger
--   <tt><a>Schema</a></tt>.
validateWithSchema :: Value -> Validation Schema ()

-- | Validate JSON <tt><a>Value</a></tt> with Swagger
--   <tt><a>ParamSchema</a></tt>.
validateWithParamSchema :: Value -> Validation (ParamSchema t) ()
validateInteger :: Scientific -> Validation (ParamSchema t) ()
validateNumber :: Scientific -> Validation (ParamSchema t) ()
validateString :: Text -> Validation (ParamSchema t) ()
validateArray :: Vector Value -> Validation (ParamSchema t) ()
validateObject :: HashMap Text Value -> Validation Schema ()
validateEnum :: Value -> Validation (ParamSchema t) ()

-- | Infer schema type based on used properties.
--   
--   This is like <a>inferParamSchemaTypes</a>, but also works for objects:
--   
--   <pre>
--   &gt;&gt;&gt; inferSchemaTypes &lt;$&gt; decode "{\"minProperties\": 1}"
--   Just [SwaggerObject]
--   </pre>
inferSchemaTypes :: Schema -> [SwaggerType  'SwaggerKindSchema]

-- | Infer schema type based on used properties.
--   
--   <pre>
--   &gt;&gt;&gt; inferSchemaTypes &lt;$&gt; decode "{\"minLength\": 2}"
--   Just [SwaggerString]
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; inferSchemaTypes &lt;$&gt; decode "{\"maxItems\": 0}"
--   Just [SwaggerArray]
--   </pre>
--   
--   From numeric properties <a>SwaggerInteger</a> type is inferred. If you
--   want <a>SwaggerNumber</a> instead, you must specify it explicitly.
--   
--   <pre>
--   &gt;&gt;&gt; inferSchemaTypes &lt;$&gt; decode "{\"minimum\": 1}"
--   Just [SwaggerInteger]
--   </pre>
inferParamSchemaTypes :: ParamSchema t -> [SwaggerType t]
validateSchemaType :: Value -> Validation Schema ()
validateParamSchemaType :: Value -> Validation (ParamSchema t) ()
showType :: (Maybe (SwaggerType t), Value) -> String
instance GHC.Base.Functor (Data.Swagger.Internal.Schema.Validation.Validation s)
instance GHC.Base.Functor Data.Swagger.Internal.Schema.Validation.Result
instance GHC.Show.Show a => GHC.Show.Show (Data.Swagger.Internal.Schema.Validation.Result a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Swagger.Internal.Schema.Validation.Result a)
instance GHC.Base.Applicative (Data.Swagger.Internal.Schema.Validation.Validation schema)
instance GHC.Base.Alternative (Data.Swagger.Internal.Schema.Validation.Validation schema)
instance Data.Profunctor.Unsafe.Profunctor Data.Swagger.Internal.Schema.Validation.Validation
instance Data.Profunctor.Choice.Choice Data.Swagger.Internal.Schema.Validation.Validation
instance GHC.Base.Monad (Data.Swagger.Internal.Schema.Validation.Validation s)
instance GHC.Base.Applicative Data.Swagger.Internal.Schema.Validation.Result
instance GHC.Base.Alternative Data.Swagger.Internal.Schema.Validation.Result
instance GHC.Base.Monad Data.Swagger.Internal.Schema.Validation.Result


-- | Validate JSON values with Swagger Schema.
module Data.Swagger.Schema.Validation

-- | Validation error message.
type ValidationError = String

-- | Validate <tt><a>ToJSON</a></tt> instance matches
--   <tt><a>ToSchema</a></tt> for a given value. This can be used with
--   QuickCheck to ensure those instances are coherent:
--   
--   <pre>
--   validateToJSON (x :: Int) == []
--   </pre>
--   
--   <i>NOTE:</i> <tt><a>validateToJSON</a></tt> does not perform string
--   pattern validation. See
--   <tt><a>validateToJSONWithPatternChecker</a></tt>.
--   
--   See <a>renderValidationErrors</a> on how the output is structured.
validatePrettyToJSON :: forall a. (ToJSON a, ToSchema a) => a -> Maybe String

-- | Variant of <a>validatePrettyToJSON</a> with typed output.
validateToJSON :: forall a. (ToJSON a, ToSchema a) => a -> [ValidationError]

-- | Validate <tt><a>ToJSON</a></tt> instance matches
--   <tt><a>ToSchema</a></tt> for a given value and pattern checker. This
--   can be used with QuickCheck to ensure those instances are coherent.
--   
--   For validation without patterns see <tt><a>validateToJSON</a></tt>.
--   See also: <a>renderValidationErrors</a>.
validateToJSONWithPatternChecker :: forall a. (ToJSON a, ToSchema a) => (Pattern -> Text -> Bool) -> a -> [ValidationError]

-- | Pretty print validation errors together with actual JSON and Swagger
--   Schema (using <a>encodePretty</a>).
--   
--   <pre>
--   &gt;&gt;&gt; import Data.Aeson as Aeson
--   
--   &gt;&gt;&gt; import Data.Foldable (traverse_)
--   
--   &gt;&gt;&gt; import GHC.Generics
--   
--   &gt;&gt;&gt; data Phone = Phone { value :: String } deriving (Generic)
--   
--   &gt;&gt;&gt; data Person = Person { name :: String, phone :: Phone } deriving (Generic)
--   
--   &gt;&gt;&gt; instance ToJSON Person where toJSON p = object [ "name" Aeson..= name p ]
--   
--   &gt;&gt;&gt; instance ToSchema Phone
--   
--   &gt;&gt;&gt; instance ToSchema Person
--   
--   &gt;&gt;&gt; let person = Person { name = "John", phone = Phone "123456" }
--   
--   &gt;&gt;&gt; traverse_ putStrLn $ renderValidationErrors validateToJSON person
--   Validation against the schema fails:
--     * property "phone" is required, but not found in "{\"name\":\"John\"}"
--   
--   JSON value:
--   {
--       "name": "John"
--   }
--   
--   Swagger Schema:
--   {
--       "required": [
--           "name",
--           "phone"
--       ],
--       "type": "object",
--       "properties": {
--           "phone": {
--               "$ref": "#/definitions/Phone"
--           },
--           "name": {
--               "type": "string"
--           }
--       }
--   }
--   
--   Swagger Description Context:
--   {
--       "Phone": {
--           "required": [
--               "value"
--           ],
--           "type": "object",
--           "properties": {
--               "value": {
--                   "type": "string"
--               }
--           }
--       }
--   }
--   </pre>
renderValidationErrors :: forall a. (ToJSON a, ToSchema a) => (a -> [ValidationError]) -> a -> Maybe String

-- | Validate JSON <tt><a>Value</a></tt> against Swagger
--   <tt><a>Schema</a></tt>.
--   
--   <pre>
--   validateJSON mempty (toSchema (Proxy :: Proxy Int)) (toJSON (x :: Int)) == []
--   </pre>
--   
--   <i>NOTE:</i> <tt><a>validateJSON</a></tt> does not perform string
--   pattern validation. See
--   <tt><a>validateJSONWithPatternChecker</a></tt>.
validateJSON :: Definitions Schema -> Schema -> Value -> [ValidationError]

-- | Validate JSON <tt><a>Value</a></tt> agains Swagger
--   <tt><a>ToSchema</a></tt> for a given value and pattern checker.
--   
--   For validation without patterns see <tt><a>validateJSON</a></tt>.
validateJSONWithPatternChecker :: (Pattern -> Text -> Bool) -> Definitions Schema -> Schema -> Value -> [ValidationError]


-- | Swagger™ is a project used to describe and document RESTful APIs.
--   
--   The Swagger specification defines a set of files required to describe
--   such an API. These files can then be used by the Swagger-UI project to
--   display the API and Swagger-Codegen to generate clients in various
--   languages. Additional utilities can also take advantage of the
--   resulting files, such as testing tools.
module Data.Swagger

-- | This is the root document object for the API specification.
data Swagger
Swagger :: Info -> Maybe Host -> Maybe FilePath -> Maybe [Scheme] -> MimeList -> MimeList -> InsOrdHashMap FilePath PathItem -> Definitions Schema -> Definitions Param -> Definitions Response -> SecurityDefinitions -> [SecurityRequirement] -> InsOrdHashSet Tag -> Maybe ExternalDocs -> Swagger

-- | Provides metadata about the API. The metadata can be used by the
--   clients if needed.
[_swaggerInfo] :: Swagger -> Info

-- | The host (name or ip) serving the API. It MAY include a port. If the
--   host is not included, the host serving the documentation is to be used
--   (including the port).
[_swaggerHost] :: Swagger -> Maybe Host

-- | The base path on which the API is served, which is relative to the
--   host. If it is not included, the API is served directly under the
--   host. The value MUST start with a leading slash (/).
[_swaggerBasePath] :: Swagger -> Maybe FilePath

-- | The transfer protocol of the API. If the schemes is not included, the
--   default scheme to be used is the one used to access the Swagger
--   definition itself.
[_swaggerSchemes] :: Swagger -> Maybe [Scheme]

-- | A list of MIME types the APIs can consume. This is global to all APIs
--   but can be overridden on specific API calls.
[_swaggerConsumes] :: Swagger -> MimeList

-- | A list of MIME types the APIs can produce. This is global to all APIs
--   but can be overridden on specific API calls.
[_swaggerProduces] :: Swagger -> MimeList

-- | The available paths and operations for the API. Holds the relative
--   paths to the individual endpoints. The path is appended to the
--   <tt><tt>basePath</tt></tt> in order to construct the full URL.
[_swaggerPaths] :: Swagger -> InsOrdHashMap FilePath PathItem

-- | An object to hold data types produced and consumed by operations.
[_swaggerDefinitions] :: Swagger -> Definitions Schema

-- | An object to hold parameters that can be used across operations. This
--   property does not define global parameters for all operations.
[_swaggerParameters] :: Swagger -> Definitions Param

-- | An object to hold responses that can be used across operations. This
--   property does not define global responses for all operations.
[_swaggerResponses] :: Swagger -> Definitions Response

-- | Security scheme definitions that can be used across the specification.
[_swaggerSecurityDefinitions] :: Swagger -> SecurityDefinitions

-- | A declaration of which security schemes are applied for the API as a
--   whole. The list of values describes alternative security schemes that
--   can be used (that is, there is a logical OR between the security
--   requirements). Individual operations can override this definition.
[_swaggerSecurity] :: Swagger -> [SecurityRequirement]

-- | A list of tags used by the specification with additional metadata. The
--   order of the tags can be used to reflect on their order by the parsing
--   tools. Not all tags that are used by the Operation Object must be
--   declared. The tags that are not declared may be organized randomly or
--   based on the tools' logic. Each tag name in the list MUST be unique.
[_swaggerTags] :: Swagger -> InsOrdHashSet Tag

-- | Additional external documentation.
[_swaggerExternalDocs] :: Swagger -> Maybe ExternalDocs

-- | The host (name or ip) serving the API. It MAY include a port.
data Host
Host :: HostName -> Maybe PortNumber -> Host

-- | Host name.
[_hostName] :: Host -> HostName

-- | Optional port.
[_hostPort] :: Host -> Maybe PortNumber

-- | The transfer protocol of the API.
data Scheme
Http :: Scheme
Https :: Scheme
Ws :: Scheme
Wss :: Scheme

-- | The object provides metadata about the API. The metadata can be used
--   by the clients if needed, and can be presented in the Swagger-UI for
--   convenience.
data Info
Info :: Text -> Maybe Text -> Maybe Text -> Maybe Contact -> Maybe License -> Text -> Info

-- | The title of the application.
[_infoTitle] :: Info -> Text

-- | A short description of the application. GFM syntax can be used for
--   rich text representation.
[_infoDescription] :: Info -> Maybe Text

-- | The Terms of Service for the API.
[_infoTermsOfService] :: Info -> Maybe Text

-- | The contact information for the exposed API.
[_infoContact] :: Info -> Maybe Contact

-- | The license information for the exposed API.
[_infoLicense] :: Info -> Maybe License

-- | Provides the version of the application API (not to be confused with
--   the specification version).
[_infoVersion] :: Info -> Text

-- | Contact information for the exposed API.
data Contact
Contact :: Maybe Text -> Maybe URL -> Maybe Text -> Contact

-- | The identifying name of the contact person/organization.
[_contactName] :: Contact -> Maybe Text

-- | The URL pointing to the contact information.
[_contactUrl] :: Contact -> Maybe URL

-- | The email address of the contact person/organization.
[_contactEmail] :: Contact -> Maybe Text

-- | License information for the exposed API.
data License
License :: Text -> Maybe URL -> License

-- | The license name used for the API.
[_licenseName] :: License -> Text

-- | A URL to the license used for the API.
[_licenseUrl] :: License -> Maybe URL

-- | Describes the operations available on a single path. A
--   <tt><a>PathItem</a></tt> may be empty, due to ACL constraints. The
--   path itself is still exposed to the documentation viewer but they will
--   not know which operations and parameters are available.
data PathItem
PathItem :: Maybe Operation -> Maybe Operation -> Maybe Operation -> Maybe Operation -> Maybe Operation -> Maybe Operation -> Maybe Operation -> [Referenced Param] -> PathItem

-- | A definition of a GET operation on this path.
[_pathItemGet] :: PathItem -> Maybe Operation

-- | A definition of a PUT operation on this path.
[_pathItemPut] :: PathItem -> Maybe Operation

-- | A definition of a POST operation on this path.
[_pathItemPost] :: PathItem -> Maybe Operation

-- | A definition of a DELETE operation on this path.
[_pathItemDelete] :: PathItem -> Maybe Operation

-- | A definition of a OPTIONS operation on this path.
[_pathItemOptions] :: PathItem -> Maybe Operation

-- | A definition of a HEAD operation on this path.
[_pathItemHead] :: PathItem -> Maybe Operation

-- | A definition of a PATCH operation on this path.
[_pathItemPatch] :: PathItem -> Maybe Operation

-- | A list of parameters that are applicable for all the operations
--   described under this path. These parameters can be overridden at the
--   operation level, but cannot be removed there. The list MUST NOT
--   include duplicated parameters. A unique parameter is defined by a
--   combination of a name and location.
[_pathItemParameters] :: PathItem -> [Referenced Param]

-- | Describes a single API operation on a path.
data Operation
Operation :: InsOrdHashSet TagName -> Maybe Text -> Maybe Text -> Maybe ExternalDocs -> Maybe Text -> Maybe MimeList -> Maybe MimeList -> [Referenced Param] -> Responses -> Maybe [Scheme] -> Maybe Bool -> [SecurityRequirement] -> Operation

-- | A list of tags for API documentation control. Tags can be used for
--   logical grouping of operations by resources or any other qualifier.
[_operationTags] :: Operation -> InsOrdHashSet TagName

-- | A short summary of what the operation does. For maximum readability in
--   the swagger-ui, this field SHOULD be less than 120 characters.
[_operationSummary] :: Operation -> Maybe Text

-- | A verbose explanation of the operation behavior. GFM syntax can be
--   used for rich text representation.
[_operationDescription] :: Operation -> Maybe Text

-- | Additional external documentation for this operation.
[_operationExternalDocs] :: Operation -> Maybe ExternalDocs

-- | Unique string used to identify the operation. The id MUST be unique
--   among all operations described in the API. Tools and libraries MAY use
--   the it to uniquely identify an operation, therefore, it is recommended
--   to follow common programming naming conventions.
[_operationOperationId] :: Operation -> Maybe Text

-- | A list of MIME types the operation can consume. This overrides the
--   <tt><tt>consumes</tt></tt>. <tt>Just []</tt> MAY be used to clear the
--   global definition.
[_operationConsumes] :: Operation -> Maybe MimeList

-- | A list of MIME types the operation can produce. This overrides the
--   <tt><tt>produces</tt></tt>. <tt>Just []</tt> MAY be used to clear the
--   global definition.
[_operationProduces] :: Operation -> Maybe MimeList

-- | A list of parameters that are applicable for this operation. If a
--   parameter is already defined at the <tt><a>PathItem</a></tt>, the new
--   definition will override it, but can never remove it. The list MUST
--   NOT include duplicated parameters. A unique parameter is defined by a
--   combination of a name and location.
[_operationParameters] :: Operation -> [Referenced Param]

-- | The list of possible responses as they are returned from executing
--   this operation.
[_operationResponses] :: Operation -> Responses

-- | The transfer protocol for the operation. The value overrides
--   <tt><tt>schemes</tt></tt>.
[_operationSchemes] :: Operation -> Maybe [Scheme]

-- | Declares this operation to be deprecated. Usage of the declared
--   operation should be refrained. Default value is <tt>False</tt>.
[_operationDeprecated] :: Operation -> Maybe Bool

-- | A declaration of which security schemes are applied for this
--   operation. The list of values describes alternative security schemes
--   that can be used (that is, there is a logical OR between the security
--   requirements). This definition overrides any declared top-level
--   security. To remove a top-level security declaration, <tt>Just []</tt>
--   can be used.
[_operationSecurity] :: Operation -> [SecurityRequirement]

-- | Allows adding meta data to a single tag that is used by
--   <tt>Operation</tt>. It is not mandatory to have a <tt>Tag</tt> per tag
--   used there.
data Tag
Tag :: TagName -> Maybe Text -> Maybe ExternalDocs -> Tag

-- | The name of the tag.
[_tagName] :: Tag -> TagName

-- | A short description for the tag. GFM syntax can be used for rich text
--   representation.
[_tagDescription] :: Tag -> Maybe Text

-- | Additional external documentation for this tag.
[_tagExternalDocs] :: Tag -> Maybe ExternalDocs

-- | Tag name.
type TagName = Text
data SwaggerType t
[SwaggerString] :: SwaggerType t
[SwaggerNumber] :: SwaggerType t
[SwaggerInteger] :: SwaggerType t
[SwaggerBoolean] :: SwaggerType t
[SwaggerArray] :: SwaggerType t
[SwaggerFile] :: SwaggerType  'SwaggerKindParamOtherSchema
[SwaggerNull] :: SwaggerType  'SwaggerKindSchema
[SwaggerObject] :: SwaggerType  'SwaggerKindSchema
type Format = Text

-- | A list of definitions that can be used in references.
type Definitions = InsOrdHashMap Text

-- | Determines the format of the array.
data CollectionFormat t
[CollectionCSV] :: CollectionFormat t
[CollectionSSV] :: CollectionFormat t
[CollectionTSV] :: CollectionFormat t
[CollectionPipes] :: CollectionFormat t
[CollectionMulti] :: CollectionFormat  'SwaggerKindParamOtherSchema

-- | Describes a single operation parameter. A unique parameter is defined
--   by a combination of a name and location.
data Param
Param :: Text -> Maybe Text -> Maybe Bool -> ParamAnySchema -> Param

-- | The name of the parameter. Parameter names are case sensitive.
[_paramName] :: Param -> Text

-- | A brief description of the parameter. This could contain examples of
--   use. GFM syntax can be used for rich text representation.
[_paramDescription] :: Param -> Maybe Text

-- | Determines whether this parameter is mandatory. If the parameter is in
--   "path", this property is required and its value MUST be true.
--   Otherwise, the property MAY be included and its default value is
--   <tt>False</tt>.
[_paramRequired] :: Param -> Maybe Bool

-- | Parameter schema.
[_paramSchema] :: Param -> ParamAnySchema
data ParamAnySchema
ParamBody :: Referenced Schema -> ParamAnySchema
ParamOther :: ParamOtherSchema -> ParamAnySchema
data ParamOtherSchema
ParamOtherSchema :: ParamLocation -> Maybe Bool -> ParamSchema  'SwaggerKindParamOtherSchema -> ParamOtherSchema

-- | The location of the parameter.
[_paramOtherSchemaIn] :: ParamOtherSchema -> ParamLocation

-- | Sets the ability to pass empty-valued parameters. This is valid only
--   for either <tt><a>ParamQuery</a></tt> or <tt><a>ParamFormData</a></tt>
--   and allows you to send a parameter with a name only or an empty value.
--   Default value is <tt>False</tt>.
[_paramOtherSchemaAllowEmptyValue] :: ParamOtherSchema -> Maybe Bool
[_paramOtherSchemaParamSchema] :: ParamOtherSchema -> ParamSchema  'SwaggerKindParamOtherSchema
data ParamLocation

-- | Parameters that are appended to the URL. For example, in
--   <tt>/items?id=###</tt>, the query parameter is <tt>id</tt>.
ParamQuery :: ParamLocation

-- | Custom headers that are expected as part of the request.
ParamHeader :: ParamLocation

-- | Used together with Path Templating, where the parameter value is
--   actually part of the operation's URL. This does not include the host
--   or base path of the API. For example, in
--   <tt><i>items</i>{itemId}</tt>, the path parameter is <tt>itemId</tt>.
ParamPath :: ParamLocation

-- | Used to describe the payload of an HTTP request when either
--   <tt>application/x-www-form-urlencoded</tt> or
--   <tt>multipart/form-data</tt> are used as the content type of the
--   request (in Swagger's definition, the <tt>consumes</tt> property of an
--   operation). This is the only parameter type that can be used to send
--   files, thus supporting the <tt><tt>ParamFile</tt></tt> type. Since
--   form parameters are sent in the payload, they cannot be declared
--   together with a body parameter for the same operation. Form parameters
--   have a different format based on the content-type used (for further
--   details, consult
--   <a>http://www.w3.org/TR/html401/interact/forms.html#h-17.13.4</a>).
ParamFormData :: ParamLocation
type ParamName = Text
data Header
Header :: Maybe Text -> ParamSchema ( 'SwaggerKindNormal Header) -> Header

-- | A short description of the header.
[_headerDescription] :: Header -> Maybe Text
[_headerParamSchema] :: Header -> ParamSchema ( 'SwaggerKindNormal Header)
type HeaderName = Text
data Example
Example :: Map MediaType Value -> Example
[getExample] :: Example -> Map MediaType Value
data ParamSchema (t :: SwaggerKind *)
ParamSchema :: Maybe Value -> Maybe (SwaggerType t) -> Maybe Format -> Maybe (SwaggerItems t) -> Maybe Scientific -> Maybe Bool -> Maybe Scientific -> Maybe Bool -> Maybe Integer -> Maybe Integer -> Maybe Pattern -> Maybe Integer -> Maybe Integer -> Maybe Bool -> Maybe [Value] -> Maybe Scientific -> ParamSchema

-- | Declares the value of the parameter that the server will use if none
--   is provided, for example a <tt>"count"</tt> to control the number of
--   results per page might default to <tt>100</tt> if not supplied by the
--   client in the request. (Note: "default" has no meaning for required
--   parameters.) Unlike JSON Schema this value MUST conform to the defined
--   type for this parameter.
[_paramSchemaDefault] :: ParamSchema -> Maybe Value
[_paramSchemaType] :: ParamSchema -> Maybe (SwaggerType t)
[_paramSchemaFormat] :: ParamSchema -> Maybe Format
[_paramSchemaItems] :: ParamSchema -> Maybe (SwaggerItems t)
[_paramSchemaMaximum] :: ParamSchema -> Maybe Scientific
[_paramSchemaExclusiveMaximum] :: ParamSchema -> Maybe Bool
[_paramSchemaMinimum] :: ParamSchema -> Maybe Scientific
[_paramSchemaExclusiveMinimum] :: ParamSchema -> Maybe Bool
[_paramSchemaMaxLength] :: ParamSchema -> Maybe Integer
[_paramSchemaMinLength] :: ParamSchema -> Maybe Integer
[_paramSchemaPattern] :: ParamSchema -> Maybe Pattern
[_paramSchemaMaxItems] :: ParamSchema -> Maybe Integer
[_paramSchemaMinItems] :: ParamSchema -> Maybe Integer
[_paramSchemaUniqueItems] :: ParamSchema -> Maybe Bool
[_paramSchemaEnum] :: ParamSchema -> Maybe [Value]
[_paramSchemaMultipleOf] :: ParamSchema -> Maybe Scientific
data Schema
Schema :: Maybe Text -> Maybe Text -> [ParamName] -> Maybe [Referenced Schema] -> InsOrdHashMap Text (Referenced Schema) -> Maybe AdditionalProperties -> Maybe Text -> Maybe Bool -> Maybe Xml -> Maybe ExternalDocs -> Maybe Value -> Maybe Integer -> Maybe Integer -> ParamSchema  'SwaggerKindSchema -> Schema
[_schemaTitle] :: Schema -> Maybe Text
[_schemaDescription] :: Schema -> Maybe Text
[_schemaRequired] :: Schema -> [ParamName]
[_schemaAllOf] :: Schema -> Maybe [Referenced Schema]
[_schemaProperties] :: Schema -> InsOrdHashMap Text (Referenced Schema)
[_schemaAdditionalProperties] :: Schema -> Maybe AdditionalProperties
[_schemaDiscriminator] :: Schema -> Maybe Text
[_schemaReadOnly] :: Schema -> Maybe Bool
[_schemaXml] :: Schema -> Maybe Xml
[_schemaExternalDocs] :: Schema -> Maybe ExternalDocs
[_schemaExample] :: Schema -> Maybe Value
[_schemaMaxProperties] :: Schema -> Maybe Integer
[_schemaMinProperties] :: Schema -> Maybe Integer
[_schemaParamSchema] :: Schema -> ParamSchema  'SwaggerKindSchema

-- | A <tt><a>Schema</a></tt> with an optional name. This name can be used
--   in references.
data NamedSchema
NamedSchema :: Maybe Text -> Schema -> NamedSchema
[_namedSchemaName] :: NamedSchema -> Maybe Text
[_namedSchemaSchema] :: NamedSchema -> Schema

-- | Items for <tt><a>SwaggerArray</a></tt> schemas.
--   
--   <tt><a>SwaggerItemsPrimitive</a></tt> should be used only for query
--   params, headers and path pieces. The <tt><a>CollectionFormat</a>
--   t</tt> parameter specifies how elements of an array should be
--   displayed. Note that <tt>fmt</tt> in <tt><a>SwaggerItemsPrimitive</a>
--   fmt schema</tt> specifies format for elements of type <tt>schema</tt>.
--   This is different from the original Swagger's <a>Items Object</a>.
--   
--   <tt><a>SwaggerItemsObject</a></tt> should be used to specify
--   homogenous array <tt><a>Schema</a></tt>s.
--   
--   <tt><a>SwaggerItemsArray</a></tt> should be used to specify tuple
--   <tt><a>Schema</a></tt>s.
data SwaggerItems t
[SwaggerItemsPrimitive] :: Maybe (CollectionFormat k) -> ParamSchema k -> SwaggerItems k
[SwaggerItemsObject] :: Referenced Schema -> SwaggerItems  'SwaggerKindSchema
[SwaggerItemsArray] :: [Referenced Schema] -> SwaggerItems  'SwaggerKindSchema
data Xml
Xml :: Maybe Text -> Maybe Text -> Maybe Text -> Maybe Bool -> Maybe Bool -> Xml

-- | Replaces the name of the element/attribute used for the described
--   schema property. When defined within the <tt><a>SwaggerItems</a></tt>
--   (items), it will affect the name of the individual XML elements within
--   the list. When defined alongside type being array (outside the items),
--   it will affect the wrapping element and only if wrapped is true. If
--   wrapped is false, it will be ignored.
[_xmlName] :: Xml -> Maybe Text

-- | The URL of the namespace definition. Value SHOULD be in the form of a
--   URL.
[_xmlNamespace] :: Xml -> Maybe Text

-- | The prefix to be used for the name.
[_xmlPrefix] :: Xml -> Maybe Text

-- | Declares whether the property definition translates to an attribute
--   instead of an element. Default value is <tt>False</tt>.
[_xmlAttribute] :: Xml -> Maybe Bool

-- | MAY be used only for an array definition. Signifies whether the array
--   is wrapped (for example,
--   <tt>&lt;books&gt;&lt;book<i>&gt;&lt;book</i>&gt;&lt;/books&gt;</tt>)
--   or unwrapped (<tt>&lt;book<i>&gt;&lt;book</i>&gt;</tt>). Default value
--   is <tt>False</tt>. The definition takes effect only when defined
--   alongside type being array (outside the items).
[_xmlWrapped] :: Xml -> Maybe Bool

-- | Regex pattern for <tt>string</tt> type.
type Pattern = Text
data AdditionalProperties
AdditionalPropertiesAllowed :: Bool -> AdditionalProperties
AdditionalPropertiesSchema :: Referenced Schema -> AdditionalProperties

-- | A container for the expected responses of an operation. The container
--   maps a HTTP response code to the expected response. It is not expected
--   from the documentation to necessarily cover all possible HTTP response
--   codes, since they may not be known in advance. However, it is expected
--   from the documentation to cover a successful operation response and
--   any known errors.
data Responses
Responses :: Maybe (Referenced Response) -> InsOrdHashMap HttpStatusCode (Referenced Response) -> Responses

-- | The documentation of responses other than the ones declared for
--   specific HTTP response codes. It can be used to cover undeclared
--   responses.
[_responsesDefault] :: Responses -> Maybe (Referenced Response)

-- | Any HTTP status code can be used as the property name (one property
--   per HTTP status code). Describes the expected response for those HTTP
--   status codes.
[_responsesResponses] :: Responses -> InsOrdHashMap HttpStatusCode (Referenced Response)

-- | Describes a single response from an API Operation.
data Response
Response :: Text -> Maybe (Referenced Schema) -> InsOrdHashMap HeaderName Header -> Maybe Example -> Response

-- | A short description of the response. GFM syntax can be used for rich
--   text representation.
[_responseDescription] :: Response -> Text

-- | A definition of the response structure. It can be a primitive, an
--   array or an object. If this field does not exist, it means no content
--   is returned as part of the response. As an extension to the Schema
--   Object, its root type value may also be "file". This SHOULD be
--   accompanied by a relevant produces mime-type.
[_responseSchema] :: Response -> Maybe (Referenced Schema)

-- | A list of headers that are sent with the response.
[_responseHeaders] :: Response -> InsOrdHashMap HeaderName Header

-- | An example of the response message.
[_responseExamples] :: Response -> Maybe Example
type HttpStatusCode = Int
data SecurityScheme
SecurityScheme :: SecuritySchemeType -> Maybe Text -> SecurityScheme

-- | The type of the security scheme.
[_securitySchemeType] :: SecurityScheme -> SecuritySchemeType

-- | A short description for security scheme.
[_securitySchemeDescription] :: SecurityScheme -> Maybe Text
data SecuritySchemeType
SecuritySchemeBasic :: SecuritySchemeType
SecuritySchemeApiKey :: ApiKeyParams -> SecuritySchemeType
SecuritySchemeOAuth2 :: OAuth2Params -> SecuritySchemeType

-- | Lists the required security schemes to execute this operation. The
--   object can have multiple security schemes declared in it which are all
--   required (that is, there is a logical AND between the schemes).
newtype SecurityRequirement
SecurityRequirement :: InsOrdHashMap Text [Text] -> SecurityRequirement
[getSecurityRequirement] :: SecurityRequirement -> InsOrdHashMap Text [Text]
newtype SecurityDefinitions
SecurityDefinitions :: Definitions SecurityScheme -> SecurityDefinitions
data ApiKeyParams
ApiKeyParams :: Text -> ApiKeyLocation -> ApiKeyParams

-- | The name of the header or query parameter to be used.
[_apiKeyName] :: ApiKeyParams -> Text

-- | The location of the API key.
[_apiKeyIn] :: ApiKeyParams -> ApiKeyLocation

-- | The location of the API key.
data ApiKeyLocation
ApiKeyQuery :: ApiKeyLocation
ApiKeyHeader :: ApiKeyLocation
data OAuth2Params
OAuth2Params :: OAuth2Flow -> InsOrdHashMap Text Text -> OAuth2Params

-- | The flow used by the OAuth2 security scheme.
[_oauth2Flow] :: OAuth2Params -> OAuth2Flow

-- | The available scopes for the OAuth2 security scheme.
[_oauth2Scopes] :: OAuth2Params -> InsOrdHashMap Text Text
data OAuth2Flow
OAuth2Implicit :: AuthorizationURL -> OAuth2Flow
OAuth2Password :: TokenURL -> OAuth2Flow
OAuth2Application :: TokenURL -> OAuth2Flow
OAuth2AccessCode :: AuthorizationURL -> TokenURL -> OAuth2Flow

-- | The authorization URL to be used for OAuth2 flow. This SHOULD be in
--   the form of a URL.
type AuthorizationURL = Text

-- | The token URL to be used for OAuth2 flow. This SHOULD be in the form
--   of a URL.
type TokenURL = Text

-- | Allows referencing an external resource for extended documentation.
data ExternalDocs
ExternalDocs :: Maybe Text -> URL -> ExternalDocs

-- | A short description of the target documentation. GFM syntax can be
--   used for rich text representation.
[_externalDocsDescription] :: ExternalDocs -> Maybe Text

-- | The URL for the target documentation.
[_externalDocsUrl] :: ExternalDocs -> URL

-- | A simple object to allow referencing other definitions in the
--   specification. It can be used to reference parameters and responses
--   that are defined at the top level for reuse.
newtype Reference
Reference :: Text -> Reference
[getReference] :: Reference -> Text
data Referenced a
Ref :: Reference -> Referenced a
Inline :: a -> Referenced a
newtype MimeList
MimeList :: [MediaType] -> MimeList
[getMimeList] :: MimeList -> [MediaType]
newtype URL
URL :: Text -> URL
[getUrl] :: URL -> Text

module Data.Swagger.Schema.Generator

-- | Note: <a>schemaGen</a> may <a>error</a>, if schema type is not
--   specified, and cannot be inferred.
schemaGen :: Definitions Schema -> Schema -> Gen Value
genValue :: ToSchema a => Proxy a -> Gen Value
validateFromJSON :: forall a. (ToSchema a, FromJSON a) => Proxy a -> Property