Maintainer	Nickolay Kudasov <nickolay@getshoptv.com>
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Data.Swagger

Contents

How to use this library
Re-exports
Swagger specification

Description

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.

Synopsis

module Data.Swagger.Lens
module Data.Swagger.Operation
module Data.Swagger.ParamSchema
module Data.Swagger.Schema
module Data.Swagger.Schema.Validation
data Swagger = Swagger {
- _swaggerInfo :: Info
- _swaggerHost :: Maybe Host
- _swaggerBasePath :: Maybe FilePath
- _swaggerSchemes :: Maybe [Scheme]
- _swaggerConsumes :: MimeList
- _swaggerProduces :: MimeList
- _swaggerPaths :: InsOrdHashMap FilePath PathItem
- _swaggerDefinitions :: Definitions Schema
- _swaggerParameters :: Definitions Param
- _swaggerResponses :: Definitions Response
- _swaggerSecurityDefinitions :: Definitions SecurityScheme
- _swaggerSecurity :: [SecurityRequirement]
- _swaggerTags :: InsOrdHashSet Tag
- _swaggerExternalDocs :: Maybe ExternalDocs
}
data Host = Host {
- _hostName :: HostName
- _hostPort :: Maybe PortNumber
}
data Scheme
- = Http
- | Https
- | Ws
- | Wss
data Info = Info {
- _infoTitle :: Text
- _infoDescription :: Maybe Text
- _infoTermsOfService :: Maybe Text
- _infoContact :: Maybe Contact
- _infoLicense :: Maybe License
- _infoVersion :: Text
}
data Contact = Contact {
- _contactName :: Maybe Text
- _contactUrl :: Maybe URL
- _contactEmail :: Maybe Text
}
data License = License {
- _licenseName :: Text
- _licenseUrl :: Maybe URL
}
data PathItem = PathItem {
- _pathItemGet :: Maybe Operation
- _pathItemPut :: Maybe Operation
- _pathItemPost :: Maybe Operation
- _pathItemDelete :: Maybe Operation
- _pathItemOptions :: Maybe Operation
- _pathItemHead :: Maybe Operation
- _pathItemPatch :: Maybe Operation
- _pathItemParameters :: [Referenced Param]
}
data Operation = Operation {
- _operationTags :: InsOrdHashSet TagName
- _operationSummary :: Maybe Text
- _operationDescription :: Maybe Text
- _operationExternalDocs :: Maybe ExternalDocs
- _operationOperationId :: Maybe Text
- _operationConsumes :: Maybe MimeList
- _operationProduces :: Maybe MimeList
- _operationParameters :: [Referenced Param]
- _operationResponses :: Responses
- _operationSchemes :: Maybe [Scheme]
- _operationDeprecated :: Maybe Bool
- _operationSecurity :: [SecurityRequirement]
}
data Tag = Tag {
- _tagName :: TagName
- _tagDescription :: Maybe Text
- _tagExternalDocs :: Maybe ExternalDocs
}
type TagName = Text
data SwaggerType t where
- 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
type Definitions = InsOrdHashMap Text
data CollectionFormat t where
- CollectionCSV :: CollectionFormat t
- CollectionSSV :: CollectionFormat t
- CollectionTSV :: CollectionFormat t
- CollectionPipes :: CollectionFormat t
- CollectionMulti :: CollectionFormat SwaggerKindParamOtherSchema
data Param = Param {
- _paramName :: Text
- _paramDescription :: Maybe Text
- _paramRequired :: Maybe Bool
- _paramSchema :: ParamAnySchema
}
data ParamAnySchema
- = ParamBody (Referenced Schema)
- | ParamOther ParamOtherSchema
data ParamOtherSchema = ParamOtherSchema {
- _paramOtherSchemaIn :: ParamLocation
- _paramOtherSchemaAllowEmptyValue :: Maybe Bool
- _paramOtherSchemaParamSchema :: ParamSchema SwaggerKindParamOtherSchema
}
data ParamLocation
- = ParamQuery
- | ParamHeader
- | ParamPath
- | ParamFormData
type ParamName = Text
data Header = Header {
- _headerDescription :: Maybe Text
- _headerParamSchema :: ParamSchema (SwaggerKindNormal Header)
}
type HeaderName = Text
data Example = Example {
- getExample :: Map MediaType Value
}
data ParamSchema (t :: SwaggerKind *) = ParamSchema {
- _paramSchemaDefault :: Maybe Value
- _paramSchemaType :: Maybe (SwaggerType t)
- _paramSchemaFormat :: Maybe Format
- _paramSchemaItems :: Maybe (SwaggerItems t)
- _paramSchemaMaximum :: Maybe Scientific
- _paramSchemaExclusiveMaximum :: Maybe Bool
- _paramSchemaMinimum :: Maybe Scientific
- _paramSchemaExclusiveMinimum :: Maybe Bool
- _paramSchemaMaxLength :: Maybe Integer
- _paramSchemaMinLength :: Maybe Integer
- _paramSchemaPattern :: Maybe Pattern
- _paramSchemaMaxItems :: Maybe Integer
- _paramSchemaMinItems :: Maybe Integer
- _paramSchemaUniqueItems :: Maybe Bool
- _paramSchemaEnum :: Maybe [Value]
- _paramSchemaMultipleOf :: Maybe Scientific
}
data Schema = Schema {
- _schemaTitle :: Maybe Text
- _schemaDescription :: Maybe Text
- _schemaRequired :: [ParamName]
- _schemaAllOf :: Maybe [Referenced Schema]
- _schemaProperties :: InsOrdHashMap Text (Referenced Schema)
- _schemaAdditionalProperties :: Maybe AdditionalProperties
- _schemaDiscriminator :: Maybe Text
- _schemaReadOnly :: Maybe Bool
- _schemaXml :: Maybe Xml
- _schemaExternalDocs :: Maybe ExternalDocs
- _schemaExample :: Maybe Value
- _schemaMaxProperties :: Maybe Integer
- _schemaMinProperties :: Maybe Integer
- _schemaParamSchema :: ParamSchema SwaggerKindSchema
}
data NamedSchema = NamedSchema {
- _namedSchemaName :: Maybe Text
- _namedSchemaSchema :: Schema
}
data SwaggerItems t where
- SwaggerItemsPrimitive :: Maybe (CollectionFormat k) -> ParamSchema k -> SwaggerItems k
- SwaggerItemsObject :: Referenced Schema -> SwaggerItems SwaggerKindSchema
- SwaggerItemsArray :: [Referenced Schema] -> SwaggerItems SwaggerKindSchema
data Xml = Xml {
- _xmlName :: Maybe Text
- _xmlNamespace :: Maybe Text
- _xmlPrefix :: Maybe Text
- _xmlAttribute :: Maybe Bool
- _xmlWrapped :: Maybe Bool
}
type Pattern = Text
data AdditionalProperties
- = AdditionalPropertiesAllowed Bool
- | AdditionalPropertiesSchema (Referenced Schema)
data Responses = Responses {
- _responsesDefault :: Maybe (Referenced Response)
- _responsesResponses :: InsOrdHashMap HttpStatusCode (Referenced Response)
}
data Response = Response {
- _responseDescription :: Text
- _responseSchema :: Maybe (Referenced Schema)
- _responseHeaders :: InsOrdHashMap HeaderName Header
- _responseExamples :: Maybe Example
}
type HttpStatusCode = Int
data SecurityScheme = SecurityScheme {
- _securitySchemeType :: SecuritySchemeType
- _securitySchemeDescription :: Maybe Text
}
data SecuritySchemeType
- = SecuritySchemeBasic
- | SecuritySchemeApiKey ApiKeyParams
- | SecuritySchemeOAuth2 OAuth2Params
newtype SecurityRequirement = SecurityRequirement {
- getSecurityRequirement :: InsOrdHashMap Text [Text]
}
data ApiKeyParams = ApiKeyParams {
- _apiKeyName :: Text
- _apiKeyIn :: ApiKeyLocation
}
data ApiKeyLocation
- = ApiKeyQuery
- | ApiKeyHeader
data OAuth2Params = OAuth2Params {
- _oauth2Flow :: OAuth2Flow
- _oauth2Scopes :: InsOrdHashMap Text Text
}
data OAuth2Flow
- = OAuth2Implicit AuthorizationURL
- | OAuth2Password TokenURL
- | OAuth2Application TokenURL
- | OAuth2AccessCode AuthorizationURL TokenURL
type AuthorizationURL = Text
type TokenURL = Text
data ExternalDocs = ExternalDocs {
- _externalDocsDescription :: Maybe Text
- _externalDocsUrl :: URL
}
newtype Reference = Reference {
- getReference :: Text
}
data Referenced a
- = Ref Reference
- | Inline a
newtype MimeList = MimeList {
- getMimeList :: [MediaType]
}
newtype URL = URL {
- getUrl :: Text
}

How to use this library

This section explains how to use this library to work with Swagger specification.

`Monoid` instances

Virtually all types representing Swagger specification have Monoid instances. The Monoid type class provides two methods — mempty and mappend.

In this library you can use mempty for a default/empty value. For instance:

>>> encode (mempty :: Swagger)
"{\"swagger\":\"2.0\",\"info\":{\"version\":\"\",\"title\":\"\"}}"

As you can see some spec properties (e.g. "version") are there even when the spec is empty. That is because these properties are actually required ones.

You should always override the default (empty) value for these properties, although it is not strictly necessary:

>>> encode mempty { _infoTitle = "Todo API", _infoVersion = "1.0" }
"{\"version\":\"1.0\",\"title\":\"Todo API\"}"

You can merge two values using mappend or its infix version (<>):

>>> encode $ mempty { _infoTitle = "Todo API" } <> mempty { _infoVersion = "1.0" }
"{\"version\":\"1.0\",\"title\":\"Todo API\"}"

This can be useful for combining specifications of endpoints into a whole API specification:

-- /account subAPI specification
accountAPI :: Swagger

-- /task subAPI specification
taskAPI :: Swagger

-- while API specification is just a combination
-- of subAPIs' specifications
api :: Swagger
api = accountAPI <> taskAPI

Lenses and prisms

Since Swagger has a fairly complex structure, lenses and prisms are used to work comfortably with it. In combination with Monoid instances, lenses make it fairly simple to construct/modify any part of the specification:

>>> :{
encode $ (mempty :: Swagger)
  & definitions .~ [ ("User", mempty & type_ ?~ SwaggerString) ]
  & paths .~
    [ ("/user", mempty & get ?~ (mempty
        & produces ?~ MimeList ["application/json"]
        & at 200 ?~ ("OK" & _Inline.schema ?~ Ref (Reference "User"))
        & 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\"}}}"

In the snippet above we declare an API with a single path /user. This path provides method GET which produces application/json output. It should respond with code 200 and body specified by schema User which is defined in definitions property of swagger specification. Alternatively it may respond with code 404 meaning that user info is not found.

For convenience, swagger2 uses classy field lenses. It means that field accessor names can be overloaded for different types. One such common field is description. Many components of a Swagger specification can have descriptions, and you can use the same name for them:

>>> encode $ (mempty :: Response) & description .~ "No content"
"{\"description\":\"No content\"}"
>>> :{
encode $ (mempty :: Schema)
  & type_       ?~ SwaggerBoolean
  & description ?~ "To be or not to be"
:}
"{\"description\":\"To be or not to be\",\"type\":\"boolean\"}"

ParamSchema is basically the base schema specification and many types contain it (see HasParamSchema). So for convenience, all ParamSchema fields are transitively made fields of the type that has it. For example, you can use type_ to access SwaggerType of Header schema without having to use paramSchema:

>>> encode $ (mempty :: Header) & type_ ?~ SwaggerNumber
"{\"type\":\"number\"}"

Additionally, to simplify working with Response, both Operation and Responses have direct access to it via at code. Example:

>>> :{
encode $ (mempty :: Operation)
  & at 404 ?~ "Not found"
:}
"{\"responses\":{\"404\":{\"description\":\"Not found\"}}}"

You might've noticed that type_ has an extra underscore in its name compared to, say, description field accessor. This is because type is a keyword in Haskell. A few other field accessors are modified in this way:

in_, type_, default_ (as keywords);
maximum_, minimum_, head_ (as conflicting with Prelude);
enum_ (as conflicting with Control.Lens).

Schema specification

ParamSchema and Schema are the two core types for data model specification.

ParamSchema t specifies all the common properties, available for every data schema. The t parameter imposes some restrictions on type and items properties (see SwaggerType and SwaggerItems).

Schema is used for request and response bodies and allows specifying objects with properties in addition to what ParamSchema provides.

In most cases you will have a Haskell data type for which you would like to define a corresponding schema. To facilitate this use case swagger2 provides two classes for schema encoding. Both these classes provide means to encode types as Swagger schemas.

ToParamSchema is intended to be used for primitive API endpoint parameters, such as query parameters, headers and URL path pieces. Its corresponding value-encoding class is ToHttpApiData (from http-api-data package).

ToSchema is used for request and response bodies and mostly differ from primitive parameters by allowing objects/mappings in addition to primitive types and arrays. Its corresponding value-encoding class is ToJSON (from aeson package).

While lenses and prisms make it easy to define schemas, it might be that you don't need to: ToSchema and ToParamSchema classes both have default Generic-based implementations!

ToSchema default implementation is also aligned with ToJSON default implementation with the only difference being for sum encoding. ToJSON defaults sum encoding to defaultTaggedObject, while ToSchema defaults to something which corresponds to ObjectWithSingleField. This is due to defaultTaggedObject behavior being hard to specify in Swagger.

Here's an example showing ToJSON–ToSchema correspondance:

>>> data Person = Person { name :: String, age :: Integer } deriving Generic
>>> instance ToJSON Person
>>> instance ToSchema Person
>>> encode (Person "David" 28)
"{\"age\":28,\"name\":\"David\"}"
>>> encode $ toSchema (Proxy :: Proxy Person)
"{\"required\":[\"name\",\"age\"],\"properties\":{\"name\":{\"type\":\"string\"},\"age\":{\"type\":\"integer\"}},\"type\":\"object\"}"

Please note that not all valid Haskell data types will have a proper swagger schema. For example while we can derive a schema for basic enums like

>>> data SampleEnum = ChoiceOne | ChoiceTwo deriving Generic
>>> instance ToSchema SampleEnum
>>> instance ToJSON SampleEnum

and for sum types that have constructors with values

>>> data SampleSumType = ChoiceInt Int | ChoiceString String deriving Generic
>>> instance ToSchema SampleSumType
>>> instance ToJSON SampleSumType

we can not derive a valid schema for a mix of the above. The following will result in a type error

Manipulation

Sometimes you have to work with an imported or generated Swagger. For instance, http://hackage.haskell.org/package/servant-swagger generates basic Swagger for a type-level servant API.

Lenses and prisms can be used to manipulate such specification to add additional information, tags, extra responses, etc. To facilitate common needs, Data.Swagger.Operation module provides useful helpers.

Validation

While ToParamSchema and ToSchema provide means to easily obtain schemas for Haskell types, there is no static mechanism to ensure those instances correspond to the ToHttpApiData or ToJSON instances.

Data.Swagger.Schema.Validation addresses ToJSON/ToSchema validation.

Re-exports

module Data.Swagger.Lens

module Data.Swagger.Operation

module Data.Swagger.ParamSchema

module Data.Swagger.Schema

module Data.Swagger.Schema.Validation

Swagger specification

data Swagger Source #

This is the root document object for the API specification.

Constructors

Swagger

Fields

_swaggerInfo :: Info
Provides metadata about the API. The metadata can be used by the clients if needed.
_swaggerHost :: Maybe Host
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).
_swaggerBasePath :: Maybe FilePath
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 (/).
_swaggerSchemes :: Maybe [Scheme]
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.
_swaggerConsumes :: MimeList
A list of MIME types the APIs can consume. This is global to all APIs but can be overridden on specific API calls.
_swaggerProduces :: MimeList
A list of MIME types the APIs can produce. This is global to all APIs but can be overridden on specific API calls.
_swaggerPaths :: InsOrdHashMap FilePath PathItem
The available paths and operations for the API. Holds the relative paths to the individual endpoints. The path is appended to the basePath in order to construct the full URL.
_swaggerDefinitions :: Definitions Schema
An object to hold data types produced and consumed by operations.
_swaggerParameters :: Definitions Param
An object to hold parameters that can be used across operations. This property does not define global parameters for all operations.
_swaggerResponses :: Definitions Response
An object to hold responses that can be used across operations. This property does not define global responses for all operations.
_swaggerSecurityDefinitions :: Definitions SecurityScheme
Security scheme definitions that can be used across the specification.
_swaggerSecurity :: [SecurityRequirement]
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.
_swaggerTags :: InsOrdHashSet Tag
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.
_swaggerExternalDocs :: Maybe ExternalDocs
Additional external documentation.

Instances

Eq Swagger Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Swagger -> Swagger -> Bool # (/=) :: Swagger -> Swagger -> Bool #
Data Swagger Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Swagger -> c Swagger # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Swagger # toConstr :: Swagger -> Constr # dataTypeOf :: Swagger -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Swagger) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Swagger) # gmapT :: (forall b. Data b => b -> b) -> Swagger -> Swagger # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Swagger -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Swagger -> r # gmapQ :: (forall d. Data d => d -> u) -> Swagger -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Swagger -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Swagger -> m Swagger # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Swagger -> m Swagger # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Swagger -> m Swagger #
Show Swagger Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Swagger -> ShowS # show :: Swagger -> String # showList :: [Swagger] -> ShowS #
Generic Swagger Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Swagger :: Type -> Type # Methods from :: Swagger -> Rep Swagger x # to :: Rep Swagger x -> Swagger #
Semigroup Swagger Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: Swagger -> Swagger -> Swagger # sconcat :: NonEmpty Swagger -> Swagger # stimes :: Integral b => b -> Swagger -> Swagger #
Monoid Swagger Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: Swagger # mappend :: Swagger -> Swagger -> Swagger # mconcat :: [Swagger] -> Swagger #
ToJSON Swagger Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Swagger -> Value # toEncoding :: Swagger -> Encoding # toJSONList :: [Swagger] -> Value # toEncodingList :: [Swagger] -> Encoding #
FromJSON Swagger Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Swagger # parseJSONList :: Value -> Parser [Swagger] #
Generic Swagger Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Code Swagger :: [[Type]] # Methods from :: Swagger -> Rep Swagger # to :: Rep Swagger -> Swagger #
HasDatatypeInfo Swagger Source #
Instance details Defined in Data.Swagger.Internal Associated Types type DatatypeInfoOf Swagger :: DatatypeInfo # Methods datatypeInfo :: proxy Swagger -> DatatypeInfo (Code Swagger) #
HasSwaggerAesonOptions Swagger Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerAesonOptions :: Proxy Swagger -> SwaggerAesonOptions Source # aesonDefaults :: Proxy Swagger -> POP Maybe (Code Swagger) Source #
HasProduces Swagger MimeList Source #
Instance details Defined in Data.Swagger.Lens Methods produces :: Lens' Swagger MimeList Source #
HasInfo Swagger Info Source #
Instance details Defined in Data.Swagger.Lens Methods info :: Lens' Swagger Info Source #
HasConsumes Swagger MimeList Source #
Instance details Defined in Data.Swagger.Lens Methods consumes :: Lens' Swagger MimeList Source #
HasTags Swagger (InsOrdHashSet Tag) Source #
Instance details Defined in Data.Swagger.Lens Methods tags :: Lens' Swagger (InsOrdHashSet Tag) Source #
HasSecurityDefinitions Swagger (Definitions SecurityScheme) Source #
Instance details Defined in Data.Swagger.Lens Methods securityDefinitions :: Lens' Swagger (Definitions SecurityScheme) Source #
HasSecurity Swagger [SecurityRequirement] Source #
Instance details Defined in Data.Swagger.Lens Methods security :: Lens' Swagger [SecurityRequirement] Source #
HasSchemes Swagger (Maybe [Scheme]) Source #
Instance details Defined in Data.Swagger.Lens Methods schemes :: Lens' Swagger (Maybe [Scheme]) Source #
HasResponses Swagger (Definitions Response) Source #
Instance details Defined in Data.Swagger.Lens Methods responses :: Lens' Swagger (Definitions Response) Source #
HasParameters Swagger (Definitions Param) Source #
Instance details Defined in Data.Swagger.Lens Methods parameters :: Lens' Swagger (Definitions Param) Source #
HasHost Swagger (Maybe Host) Source #
Instance details Defined in Data.Swagger.Lens Methods host :: Lens' Swagger (Maybe Host) Source #
HasExternalDocs Swagger (Maybe ExternalDocs) Source #
Instance details Defined in Data.Swagger.Lens Methods externalDocs :: Lens' Swagger (Maybe ExternalDocs) Source #
HasDefinitions Swagger (Definitions Schema) Source #
Instance details Defined in Data.Swagger.Lens Methods definitions :: Lens' Swagger (Definitions Schema) Source #
HasBasePath Swagger (Maybe FilePath) Source #
Instance details Defined in Data.Swagger.Lens Methods basePath :: Lens' Swagger (Maybe FilePath) Source #
HasPaths Swagger (InsOrdHashMap FilePath PathItem) Source #
Instance details Defined in Data.Swagger.Lens Methods paths :: Lens' Swagger (InsOrdHashMap FilePath PathItem) Source #
type Rep Swagger Source #
Instance details Defined in Data.Swagger.Internal type Rep Swagger = D1 (MetaData "Swagger" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "Swagger" PrefixI True) (((S1 (MetaSel (Just "_swaggerInfo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Info) :: (S1 (MetaSel (Just "_swaggerHost") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Host)) :: S1 (MetaSel (Just "_swaggerBasePath") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe FilePath)))) :: ((S1 (MetaSel (Just "_swaggerSchemes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Scheme])) :: S1 (MetaSel (Just "_swaggerConsumes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MimeList)) :: (S1 (MetaSel (Just "_swaggerProduces") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MimeList) :: S1 (MetaSel (Just "_swaggerPaths") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InsOrdHashMap FilePath PathItem))))) :: ((S1 (MetaSel (Just "_swaggerDefinitions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Definitions Schema)) :: (S1 (MetaSel (Just "_swaggerParameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Definitions Param)) :: S1 (MetaSel (Just "_swaggerResponses") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Definitions Response)))) :: ((S1 (MetaSel (Just "_swaggerSecurityDefinitions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Definitions SecurityScheme)) :: S1 (MetaSel (Just "_swaggerSecurity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SecurityRequirement])) :: (S1 (MetaSel (Just "_swaggerTags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InsOrdHashSet Tag)) :*: S1 (MetaSel (Just "_swaggerExternalDocs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ExternalDocs)))))))
type Code Swagger Source #
Instance details Defined in Data.Swagger.Internal type Code Swagger = (Info ': (Maybe Host ': (Maybe FilePath ': (Maybe [Scheme] ': (MimeList ': (MimeList ': (InsOrdHashMap FilePath PathItem ': (Definitions Schema ': (Definitions Param ': (Definitions Response ': (Definitions SecurityScheme ': ([SecurityRequirement] ': (InsOrdHashSet Tag ': (Maybe ExternalDocs ': ([] :: [Type]))))))))))))))) ': ([] :: [[Type]])
type DatatypeInfoOf Swagger Source #
Instance details Defined in Data.Swagger.Internal type DatatypeInfoOf Swagger = ADT "Data.Swagger.Internal" "Swagger" (Record "Swagger" (FieldInfo "_swaggerInfo" ': (FieldInfo "_swaggerHost" ': (FieldInfo "_swaggerBasePath" ': (FieldInfo "_swaggerSchemes" ': (FieldInfo "_swaggerConsumes" ': (FieldInfo "_swaggerProduces" ': (FieldInfo "_swaggerPaths" ': (FieldInfo "_swaggerDefinitions" ': (FieldInfo "_swaggerParameters" ': (FieldInfo "_swaggerResponses" ': (FieldInfo "_swaggerSecurityDefinitions" ': (FieldInfo "_swaggerSecurity" ': (FieldInfo "_swaggerTags" ': (FieldInfo "_swaggerExternalDocs" ': ([] :: [FieldInfo]))))))))))))))) ': ([] :: [ConstructorInfo])) ((StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': ([] :: [StrictnessInfo]))))))))))))))) ': ([] :: [[StrictnessInfo]]))

data Host Source #

The host (name or ip) serving the API. It MAY include a port.

Constructors

Host
Fields _hostName :: HostName Host name. _hostPort :: Maybe PortNumber Optional port.

Instances

Eq Host Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Host -> Host -> Bool # (/=) :: Host -> Host -> Bool #
Data Host Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Host -> c Host # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Host # toConstr :: Host -> Constr # dataTypeOf :: Host -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Host) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Host) # gmapT :: (forall b. Data b => b -> b) -> Host -> Host # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Host -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Host -> r # gmapQ :: (forall d. Data d => d -> u) -> Host -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Host -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Host -> m Host # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Host -> m Host # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Host -> m Host #
Show Host Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Host -> ShowS # show :: Host -> String # showList :: [Host] -> ShowS #
IsString Host Source #
Instance details Defined in Data.Swagger.Internal Methods fromString :: String -> Host #
Generic Host Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Host :: Type -> Type # Methods from :: Host -> Rep Host x # to :: Rep Host x -> Host #
ToJSON Host Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Host -> Value # toEncoding :: Host -> Encoding # toJSONList :: [Host] -> Value # toEncodingList :: [Host] -> Encoding #
FromJSON Host Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Host # parseJSONList :: Value -> Parser [Host] #
HasName Host HostName Source #
Instance details Defined in Data.Swagger.Lens Methods name :: Lens' Host HostName Source #
HasHost Swagger (Maybe Host) Source #
Instance details Defined in Data.Swagger.Lens Methods host :: Lens' Swagger (Maybe Host) Source #
HasPort Host (Maybe PortNumber) Source #
Instance details Defined in Data.Swagger.Lens Methods port :: Lens' Host (Maybe PortNumber) Source #
type Rep Host Source #
Instance details Defined in Data.Swagger.Internal type Rep Host = D1 (MetaData "Host" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "Host" PrefixI True) (S1 (MetaSel (Just "_hostName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HostName) :*: S1 (MetaSel (Just "_hostPort") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe PortNumber))))

data Scheme Source #

The transfer protocol of the API.

Constructors

Http
Https
Ws
Wss

Instances

Eq Scheme Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Scheme -> Scheme -> Bool # (/=) :: Scheme -> Scheme -> Bool #
Data Scheme Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Scheme -> c Scheme # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Scheme # toConstr :: Scheme -> Constr # dataTypeOf :: Scheme -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Scheme) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Scheme) # gmapT :: (forall b. Data b => b -> b) -> Scheme -> Scheme # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Scheme -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Scheme -> r # gmapQ :: (forall d. Data d => d -> u) -> Scheme -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Scheme -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Scheme -> m Scheme # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Scheme -> m Scheme # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Scheme -> m Scheme #
Show Scheme Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Scheme -> ShowS # show :: Scheme -> String # showList :: [Scheme] -> ShowS #
Generic Scheme Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Scheme :: Type -> Type # Methods from :: Scheme -> Rep Scheme x # to :: Rep Scheme x -> Scheme #
ToJSON Scheme Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Scheme -> Value # toEncoding :: Scheme -> Encoding # toJSONList :: [Scheme] -> Value # toEncodingList :: [Scheme] -> Encoding #
FromJSON Scheme Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Scheme # parseJSONList :: Value -> Parser [Scheme] #
HasSchemes Operation (Maybe [Scheme]) Source #
Instance details Defined in Data.Swagger.Lens Methods schemes :: Lens' Operation (Maybe [Scheme]) Source #
HasSchemes Swagger (Maybe [Scheme]) Source #
Instance details Defined in Data.Swagger.Lens Methods schemes :: Lens' Swagger (Maybe [Scheme]) Source #
type Rep Scheme Source #
Instance details Defined in Data.Swagger.Internal type Rep Scheme = D1 (MetaData "Scheme" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) ((C1 (MetaCons "Http" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Https" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Ws" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Wss" PrefixI False) (U1 :: Type -> Type)))

Info types

data Info Source #

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.

Constructors

Info

Fields

_infoTitle :: Text
The title of the application.
_infoDescription :: Maybe Text
A short description of the application. GFM syntax can be used for rich text representation.
_infoTermsOfService :: Maybe Text
The Terms of Service for the API.
_infoContact :: Maybe Contact
The contact information for the exposed API.
_infoLicense :: Maybe License
The license information for the exposed API.
_infoVersion :: Text
Provides the version of the application API (not to be confused with the specification version).

Instances

Eq Info Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Info -> Info -> Bool # (/=) :: Info -> Info -> Bool #
Data Info Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Info -> c Info # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Info # toConstr :: Info -> Constr # dataTypeOf :: Info -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Info) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Info) # gmapT :: (forall b. Data b => b -> b) -> Info -> Info # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Info -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Info -> r # gmapQ :: (forall d. Data d => d -> u) -> Info -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Info -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Info -> m Info # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Info -> m Info # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Info -> m Info #
Show Info Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Info -> ShowS # show :: Info -> String # showList :: [Info] -> ShowS #
Generic Info Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Info :: Type -> Type # Methods from :: Info -> Rep Info x # to :: Rep Info x -> Info #
Semigroup Info Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: Info -> Info -> Info # sconcat :: NonEmpty Info -> Info # stimes :: Integral b => b -> Info -> Info #
Monoid Info Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: Info # mappend :: Info -> Info -> Info # mconcat :: [Info] -> Info #
ToJSON Info Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Info -> Value # toEncoding :: Info -> Encoding # toJSONList :: [Info] -> Value # toEncodingList :: [Info] -> Encoding #
FromJSON Info Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Info # parseJSONList :: Value -> Parser [Info] #
AesonDefaultValue Info Source #
Instance details Defined in Data.Swagger.Internal Methods defaultValue :: Maybe Info Source #
SwaggerMonoid Info Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: Info Source # swaggerMappend :: Info -> Info -> Info Source #
HasInfo Swagger Info Source #
Instance details Defined in Data.Swagger.Lens Methods info :: Lens' Swagger Info Source #
HasVersion Info Text Source #
Instance details Defined in Data.Swagger.Lens Methods version :: Lens' Info Text Source #
HasTitle Info Text Source #
Instance details Defined in Data.Swagger.Lens Methods title :: Lens' Info Text Source #
HasTermsOfService Info (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods termsOfService :: Lens' Info (Maybe Text) Source #
HasLicense Info (Maybe License) Source #
Instance details Defined in Data.Swagger.Lens Methods license :: Lens' Info (Maybe License) Source #
HasDescription Info (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods description :: Lens' Info (Maybe Text) Source #
HasContact Info (Maybe Contact) Source #
Instance details Defined in Data.Swagger.Lens Methods contact :: Lens' Info (Maybe Contact) Source #
type Rep Info Source #
Instance details Defined in Data.Swagger.Internal type Rep Info = D1 (MetaData "Info" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "Info" PrefixI True) ((S1 (MetaSel (Just "_infoTitle") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "_infoDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "_infoTermsOfService") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) :: (S1 (MetaSel (Just "_infoContact") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Contact)) :: (S1 (MetaSel (Just "_infoLicense") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe License)) :*: S1 (MetaSel (Just "_infoVersion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))))

data Contact Source #

Contact information for the exposed API.

Constructors

Contact
Fields _contactName :: Maybe Text The identifying name of the contact person/organization. _contactUrl :: Maybe URL The URL pointing to the contact information. _contactEmail :: Maybe Text The email address of the contact person/organization.

Instances

Eq Contact Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Contact -> Contact -> Bool # (/=) :: Contact -> Contact -> Bool #
Data Contact Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Contact -> c Contact # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Contact # toConstr :: Contact -> Constr # dataTypeOf :: Contact -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Contact) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Contact) # gmapT :: (forall b. Data b => b -> b) -> Contact -> Contact # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Contact -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Contact -> r # gmapQ :: (forall d. Data d => d -> u) -> Contact -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Contact -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Contact -> m Contact # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Contact -> m Contact # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Contact -> m Contact #
Show Contact Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Contact -> ShowS # show :: Contact -> String # showList :: [Contact] -> ShowS #
Generic Contact Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Contact :: Type -> Type # Methods from :: Contact -> Rep Contact x # to :: Rep Contact x -> Contact #
Semigroup Contact Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: Contact -> Contact -> Contact # sconcat :: NonEmpty Contact -> Contact # stimes :: Integral b => b -> Contact -> Contact #
Monoid Contact Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: Contact # mappend :: Contact -> Contact -> Contact # mconcat :: [Contact] -> Contact #
ToJSON Contact Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Contact -> Value # toEncoding :: Contact -> Encoding # toJSONList :: [Contact] -> Value # toEncodingList :: [Contact] -> Encoding #
FromJSON Contact Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Contact # parseJSONList :: Value -> Parser [Contact] #
HasName Contact (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods name :: Lens' Contact (Maybe Text) Source #
HasContact Info (Maybe Contact) Source #
Instance details Defined in Data.Swagger.Lens Methods contact :: Lens' Info (Maybe Contact) Source #
HasUrl Contact (Maybe URL) Source #
Instance details Defined in Data.Swagger.Lens Methods url :: Lens' Contact (Maybe URL) Source #
HasEmail Contact (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods email :: Lens' Contact (Maybe Text) Source #
type Rep Contact Source #
Instance details Defined in Data.Swagger.Internal type Rep Contact = D1 (MetaData "Contact" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "Contact" PrefixI True) (S1 (MetaSel (Just "_contactName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: (S1 (MetaSel (Just "_contactUrl") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe URL)) :: S1 (MetaSel (Just "_contactEmail") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))))

data License Source #

License information for the exposed API.

Constructors

License
Fields _licenseName :: Text The license name used for the API. _licenseUrl :: Maybe URL A URL to the license used for the API.

Instances

Eq License Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: License -> License -> Bool # (/=) :: License -> License -> Bool #
Data License Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> License -> c License # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c License # toConstr :: License -> Constr # dataTypeOf :: License -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c License) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c License) # gmapT :: (forall b. Data b => b -> b) -> License -> License # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> License -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> License -> r # gmapQ :: (forall d. Data d => d -> u) -> License -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> License -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> License -> m License # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> License -> m License # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> License -> m License #
Show License Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> License -> ShowS # show :: License -> String # showList :: [License] -> ShowS #
IsString License Source #
Instance details Defined in Data.Swagger.Internal Methods fromString :: String -> License #
Generic License Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep License :: Type -> Type # Methods from :: License -> Rep License x # to :: Rep License x -> License #
ToJSON License Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: License -> Value # toEncoding :: License -> Encoding # toJSONList :: [License] -> Value # toEncodingList :: [License] -> Encoding #
FromJSON License Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser License # parseJSONList :: Value -> Parser [License] #
HasName License Text Source #
Instance details Defined in Data.Swagger.Lens Methods name :: Lens' License Text Source #
HasLicense Info (Maybe License) Source #
Instance details Defined in Data.Swagger.Lens Methods license :: Lens' Info (Maybe License) Source #
HasUrl License (Maybe URL) Source #
Instance details Defined in Data.Swagger.Lens Methods url :: Lens' License (Maybe URL) Source #
type Rep License Source #
Instance details Defined in Data.Swagger.Internal type Rep License = D1 (MetaData "License" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "License" PrefixI True) (S1 (MetaSel (Just "_licenseName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "_licenseUrl") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe URL))))

PathItem

data PathItem Source #

Describes the operations available on a single path. A PathItem 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.

Constructors

PathItem

Fields

_pathItemGet :: Maybe Operation
A definition of a GET operation on this path.
_pathItemPut :: Maybe Operation
A definition of a PUT operation on this path.
_pathItemPost :: Maybe Operation
A definition of a POST operation on this path.
_pathItemDelete :: Maybe Operation
A definition of a DELETE operation on this path.
_pathItemOptions :: Maybe Operation
A definition of a OPTIONS operation on this path.
_pathItemHead :: Maybe Operation
A definition of a HEAD operation on this path.
_pathItemPatch :: Maybe Operation
A definition of a PATCH operation on this path.
_pathItemParameters :: [Referenced Param]
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.

Instances

Eq PathItem Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: PathItem -> PathItem -> Bool # (/=) :: PathItem -> PathItem -> Bool #
Data PathItem Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PathItem -> c PathItem # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PathItem # toConstr :: PathItem -> Constr # dataTypeOf :: PathItem -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PathItem) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PathItem) # gmapT :: (forall b. Data b => b -> b) -> PathItem -> PathItem # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PathItem -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PathItem -> r # gmapQ :: (forall d. Data d => d -> u) -> PathItem -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PathItem -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PathItem -> m PathItem # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PathItem -> m PathItem # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PathItem -> m PathItem #
Show PathItem Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> PathItem -> ShowS # show :: PathItem -> String # showList :: [PathItem] -> ShowS #
Generic PathItem Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep PathItem :: Type -> Type # Methods from :: PathItem -> Rep PathItem x # to :: Rep PathItem x -> PathItem #
Semigroup PathItem Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: PathItem -> PathItem -> PathItem # sconcat :: NonEmpty PathItem -> PathItem # stimes :: Integral b => b -> PathItem -> PathItem #
Monoid PathItem Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: PathItem # mappend :: PathItem -> PathItem -> PathItem # mconcat :: [PathItem] -> PathItem #
ToJSON PathItem Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: PathItem -> Value # toEncoding :: PathItem -> Encoding # toJSONList :: [PathItem] -> Value # toEncodingList :: [PathItem] -> Encoding #
FromJSON PathItem Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser PathItem # parseJSONList :: Value -> Parser [PathItem] #
Generic PathItem Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Code PathItem :: [[Type]] # Methods from :: PathItem -> Rep PathItem # to :: Rep PathItem -> PathItem #
HasDatatypeInfo PathItem Source #
Instance details Defined in Data.Swagger.Internal Associated Types type DatatypeInfoOf PathItem :: DatatypeInfo # Methods datatypeInfo :: proxy PathItem -> DatatypeInfo (Code PathItem) #
HasSwaggerAesonOptions PathItem Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerAesonOptions :: Proxy PathItem -> SwaggerAesonOptions Source # aesonDefaults :: Proxy PathItem -> POP Maybe (Code PathItem) Source #
SwaggerMonoid PathItem Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: PathItem Source # swaggerMappend :: PathItem -> PathItem -> PathItem Source #
HasParameters PathItem [Referenced Param] Source #
Instance details Defined in Data.Swagger.Lens Methods parameters :: Lens' PathItem [Referenced Param] Source #
HasPut PathItem (Maybe Operation) Source #
Instance details Defined in Data.Swagger.Lens Methods put :: Lens' PathItem (Maybe Operation) Source #
HasPost PathItem (Maybe Operation) Source #
Instance details Defined in Data.Swagger.Lens Methods post :: Lens' PathItem (Maybe Operation) Source #
HasPatch PathItem (Maybe Operation) Source #
Instance details Defined in Data.Swagger.Lens Methods patch :: Lens' PathItem (Maybe Operation) Source #
HasOptions PathItem (Maybe Operation) Source #
Instance details Defined in Data.Swagger.Lens Methods options :: Lens' PathItem (Maybe Operation) Source #
HasHead PathItem (Maybe Operation) Source #
Instance details Defined in Data.Swagger.Lens Methods head_ :: Lens' PathItem (Maybe Operation) Source #
HasGet PathItem (Maybe Operation) Source #
Instance details Defined in Data.Swagger.Lens Methods get :: Lens' PathItem (Maybe Operation) Source #
HasDelete PathItem (Maybe Operation) Source #
Instance details Defined in Data.Swagger.Lens Methods delete :: Lens' PathItem (Maybe Operation) Source #
HasPaths Swagger (InsOrdHashMap FilePath PathItem) Source #
Instance details Defined in Data.Swagger.Lens Methods paths :: Lens' Swagger (InsOrdHashMap FilePath PathItem) Source #
SwaggerMonoid (InsOrdHashMap FilePath PathItem) Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: InsOrdHashMap FilePath PathItem Source # swaggerMappend :: InsOrdHashMap FilePath PathItem -> InsOrdHashMap FilePath PathItem -> InsOrdHashMap FilePath PathItem Source #
type Rep PathItem Source #
Instance details Defined in Data.Swagger.Internal type Rep PathItem = D1 (MetaData "PathItem" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "PathItem" PrefixI True) (((S1 (MetaSel (Just "_pathItemGet") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Operation)) :: S1 (MetaSel (Just "_pathItemPut") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Operation))) :: (S1 (MetaSel (Just "_pathItemPost") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Operation)) :: S1 (MetaSel (Just "_pathItemDelete") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Operation)))) :: ((S1 (MetaSel (Just "_pathItemOptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Operation)) :: S1 (MetaSel (Just "_pathItemHead") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Operation))) :: (S1 (MetaSel (Just "_pathItemPatch") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Operation)) :*: S1 (MetaSel (Just "_pathItemParameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Referenced Param])))))
type Code PathItem Source #
Instance details Defined in Data.Swagger.Internal type Code PathItem = (Maybe Operation ': (Maybe Operation ': (Maybe Operation ': (Maybe Operation ': (Maybe Operation ': (Maybe Operation ': (Maybe Operation ': ([Referenced Param] ': ([] :: [Type]))))))))) ': ([] :: [[Type]])
type DatatypeInfoOf PathItem Source #
Instance details Defined in Data.Swagger.Internal type DatatypeInfoOf PathItem = ADT "Data.Swagger.Internal" "PathItem" (Record "PathItem" (FieldInfo "_pathItemGet" ': (FieldInfo "_pathItemPut" ': (FieldInfo "_pathItemPost" ': (FieldInfo "_pathItemDelete" ': (FieldInfo "_pathItemOptions" ': (FieldInfo "_pathItemHead" ': (FieldInfo "_pathItemPatch" ': (FieldInfo "_pathItemParameters" ': ([] :: [FieldInfo]))))))))) ': ([] :: [ConstructorInfo])) ((StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': ([] :: [StrictnessInfo]))))))))) ': ([] :: [[StrictnessInfo]]))

Operations

data Operation Source #

Describes a single API operation on a path.

Constructors

Operation

Fields

_operationTags :: InsOrdHashSet TagName
A list of tags for API documentation control. Tags can be used for logical grouping of operations by resources or any other qualifier.
_operationSummary :: Maybe Text
A short summary of what the operation does. For maximum readability in the swagger-ui, this field SHOULD be less than 120 characters.
_operationDescription :: Maybe Text
A verbose explanation of the operation behavior. GFM syntax can be used for rich text representation.
_operationExternalDocs :: Maybe ExternalDocs
Additional external documentation for this operation.
_operationOperationId :: Maybe Text
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.
_operationConsumes :: Maybe MimeList
A list of MIME types the operation can consume. This overrides the consumes. Just [] MAY be used to clear the global definition.
_operationProduces :: Maybe MimeList
A list of MIME types the operation can produce. This overrides the produces. Just [] MAY be used to clear the global definition.
_operationParameters :: [Referenced Param]
A list of parameters that are applicable for this operation. If a parameter is already defined at the PathItem, 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.
_operationResponses :: Responses
The list of possible responses as they are returned from executing this operation.
_operationSchemes :: Maybe [Scheme]
The transfer protocol for the operation. The value overrides schemes.
_operationDeprecated :: Maybe Bool
Declares this operation to be deprecated. Usage of the declared operation should be refrained. Default value is False.
_operationSecurity :: [SecurityRequirement]
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, Just [] can be used.

Instances

Eq Operation Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Operation -> Operation -> Bool # (/=) :: Operation -> Operation -> Bool #
Data Operation Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Operation -> c Operation # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Operation # toConstr :: Operation -> Constr # dataTypeOf :: Operation -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Operation) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Operation) # gmapT :: (forall b. Data b => b -> b) -> Operation -> Operation # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Operation -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Operation -> r # gmapQ :: (forall d. Data d => d -> u) -> Operation -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Operation -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Operation -> m Operation # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Operation -> m Operation # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Operation -> m Operation #
Show Operation Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Operation -> ShowS # show :: Operation -> String # showList :: [Operation] -> ShowS #
Generic Operation Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Operation :: Type -> Type # Methods from :: Operation -> Rep Operation x # to :: Rep Operation x -> Operation #
Semigroup Operation Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: Operation -> Operation -> Operation # sconcat :: NonEmpty Operation -> Operation # stimes :: Integral b => b -> Operation -> Operation #
Monoid Operation Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: Operation # mappend :: Operation -> Operation -> Operation # mconcat :: [Operation] -> Operation #
ToJSON Operation Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Operation -> Value # toEncoding :: Operation -> Encoding # toJSONList :: [Operation] -> Value # toEncodingList :: [Operation] -> Encoding #
FromJSON Operation Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Operation # parseJSONList :: Value -> Parser [Operation] #
Generic Operation Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Code Operation :: [[Type]] # Methods from :: Operation -> Rep Operation # to :: Rep Operation -> Operation #
HasDatatypeInfo Operation Source #
Instance details Defined in Data.Swagger.Internal Associated Types type DatatypeInfoOf Operation :: DatatypeInfo # Methods datatypeInfo :: proxy Operation -> DatatypeInfo (Code Operation) #
Ixed Operation Source #
Instance details Defined in Data.Swagger.Lens Methods ix :: Index Operation -> Traversal' Operation (IxValue Operation) #
At Operation Source #
Instance details Defined in Data.Swagger.Lens Methods at :: Index Operation -> Lens' Operation (Maybe (IxValue Operation)) #
HasSwaggerAesonOptions Operation Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerAesonOptions :: Proxy Operation -> SwaggerAesonOptions Source # aesonDefaults :: Proxy Operation -> POP Maybe (Code Operation) Source #
SwaggerMonoid Operation Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: Operation Source # swaggerMappend :: Operation -> Operation -> Operation Source #
HasResponses Operation Responses Source #
Instance details Defined in Data.Swagger.Lens Methods responses :: Lens' Operation Responses Source #
HasTags Operation (InsOrdHashSet TagName) Source #
Instance details Defined in Data.Swagger.Lens Methods tags :: Lens' Operation (InsOrdHashSet TagName) Source #
HasSecurity Operation [SecurityRequirement] Source #
Instance details Defined in Data.Swagger.Lens Methods security :: Lens' Operation [SecurityRequirement] Source #
HasSchemes Operation (Maybe [Scheme]) Source #
Instance details Defined in Data.Swagger.Lens Methods schemes :: Lens' Operation (Maybe [Scheme]) Source #
HasProduces Operation (Maybe MimeList) Source #
Instance details Defined in Data.Swagger.Lens Methods produces :: Lens' Operation (Maybe MimeList) Source #
HasParameters Operation [Referenced Param] Source #
Instance details Defined in Data.Swagger.Lens Methods parameters :: Lens' Operation [Referenced Param] Source #
HasExternalDocs Operation (Maybe ExternalDocs) Source #
Instance details Defined in Data.Swagger.Lens Methods externalDocs :: Lens' Operation (Maybe ExternalDocs) Source #
HasConsumes Operation (Maybe MimeList) Source #
Instance details Defined in Data.Swagger.Lens Methods consumes :: Lens' Operation (Maybe MimeList) Source #
HasDescription Operation (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods description :: Lens' Operation (Maybe Text) Source #
HasPut PathItem (Maybe Operation) Source #
Instance details Defined in Data.Swagger.Lens Methods put :: Lens' PathItem (Maybe Operation) Source #
HasPost PathItem (Maybe Operation) Source #
Instance details Defined in Data.Swagger.Lens Methods post :: Lens' PathItem (Maybe Operation) Source #
HasPatch PathItem (Maybe Operation) Source #
Instance details Defined in Data.Swagger.Lens Methods patch :: Lens' PathItem (Maybe Operation) Source #
HasOptions PathItem (Maybe Operation) Source #
Instance details Defined in Data.Swagger.Lens Methods options :: Lens' PathItem (Maybe Operation) Source #
HasHead PathItem (Maybe Operation) Source #
Instance details Defined in Data.Swagger.Lens Methods head_ :: Lens' PathItem (Maybe Operation) Source #
HasGet PathItem (Maybe Operation) Source #
Instance details Defined in Data.Swagger.Lens Methods get :: Lens' PathItem (Maybe Operation) Source #
HasDelete PathItem (Maybe Operation) Source #
Instance details Defined in Data.Swagger.Lens Methods delete :: Lens' PathItem (Maybe Operation) Source #
HasSummary Operation (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods summary :: Lens' Operation (Maybe Text) Source #
HasOperationId Operation (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods operationId :: Lens' Operation (Maybe Text) Source #
HasDeprecated Operation (Maybe Bool) Source #
Instance details Defined in Data.Swagger.Lens Methods deprecated :: Lens' Operation (Maybe Bool) Source #
type Rep Operation Source #
Instance details Defined in Data.Swagger.Internal type Rep Operation = D1 (MetaData "Operation" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "Operation" PrefixI True) (((S1 (MetaSel (Just "_operationTags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InsOrdHashSet TagName)) :: (S1 (MetaSel (Just "_operationSummary") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "_operationDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) :: (S1 (MetaSel (Just "_operationExternalDocs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ExternalDocs)) :: (S1 (MetaSel (Just "_operationOperationId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "_operationConsumes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe MimeList))))) :: ((S1 (MetaSel (Just "_operationProduces") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe MimeList)) :: (S1 (MetaSel (Just "_operationParameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Referenced Param]) :: S1 (MetaSel (Just "_operationResponses") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Responses))) :: (S1 (MetaSel (Just "_operationSchemes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Scheme])) :: (S1 (MetaSel (Just "_operationDeprecated") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :*: S1 (MetaSel (Just "_operationSecurity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SecurityRequirement]))))))
type Code Operation Source #
Instance details Defined in Data.Swagger.Internal type Code Operation = (InsOrdHashSet TagName ': (Maybe Text ': (Maybe Text ': (Maybe ExternalDocs ': (Maybe Text ': (Maybe MimeList ': (Maybe MimeList ': ([Referenced Param] ': (Responses ': (Maybe [Scheme] ': (Maybe Bool ': ([SecurityRequirement] ': ([] :: [Type]))))))))))))) ': ([] :: [[Type]])
type DatatypeInfoOf Operation Source #
Instance details Defined in Data.Swagger.Internal type DatatypeInfoOf Operation = ADT "Data.Swagger.Internal" "Operation" (Record "Operation" (FieldInfo "_operationTags" ': (FieldInfo "_operationSummary" ': (FieldInfo "_operationDescription" ': (FieldInfo "_operationExternalDocs" ': (FieldInfo "_operationOperationId" ': (FieldInfo "_operationConsumes" ': (FieldInfo "_operationProduces" ': (FieldInfo "_operationParameters" ': (FieldInfo "_operationResponses" ': (FieldInfo "_operationSchemes" ': (FieldInfo "_operationDeprecated" ': (FieldInfo "_operationSecurity" ': ([] :: [FieldInfo]))))))))))))) ': ([] :: [ConstructorInfo])) ((StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': ([] :: [StrictnessInfo]))))))))))))) ': ([] :: [[StrictnessInfo]]))
type Index Operation Source #
Instance details Defined in Data.Swagger.Lens type Index Operation = HttpStatusCode
type IxValue Operation Source #
Instance details Defined in Data.Swagger.Lens type IxValue Operation = Referenced Response

data Tag Source #

Allows adding meta data to a single tag that is used by Operation. It is not mandatory to have a Tag per tag used there.

Constructors

Tag
Fields _tagName :: TagName The name of the tag. _tagDescription :: Maybe Text A short description for the tag. GFM syntax can be used for rich text representation. _tagExternalDocs :: Maybe ExternalDocs Additional external documentation for this tag.

Instances

Eq Tag Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Tag -> Tag -> Bool # (/=) :: Tag -> Tag -> Bool #
Data Tag Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Tag -> c Tag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Tag # toConstr :: Tag -> Constr # dataTypeOf :: Tag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Tag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Tag) # gmapT :: (forall b. Data b => b -> b) -> Tag -> Tag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Tag -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Tag -> r # gmapQ :: (forall d. Data d => d -> u) -> Tag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Tag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Tag -> m Tag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Tag -> m Tag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Tag -> m Tag #
Ord Tag Source #
Instance details Defined in Data.Swagger.Internal Methods compare :: Tag -> Tag -> Ordering # (<) :: Tag -> Tag -> Bool # (<=) :: Tag -> Tag -> Bool # (>) :: Tag -> Tag -> Bool # (>=) :: Tag -> Tag -> Bool # max :: Tag -> Tag -> Tag # min :: Tag -> Tag -> Tag #
Show Tag Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Tag -> ShowS # show :: Tag -> String # showList :: [Tag] -> ShowS #
IsString Tag Source #
Instance details Defined in Data.Swagger.Internal Methods fromString :: String -> Tag #
Generic Tag Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Tag :: Type -> Type # Methods from :: Tag -> Rep Tag x # to :: Rep Tag x -> Tag #
Hashable Tag Source #
Instance details Defined in Data.Swagger.Internal Methods hashWithSalt :: Int -> Tag -> Int # hash :: Tag -> Int #
ToJSON Tag Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Tag -> Value # toEncoding :: Tag -> Encoding # toJSONList :: [Tag] -> Value # toEncodingList :: [Tag] -> Encoding #
FromJSON Tag Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Tag # parseJSONList :: Value -> Parser [Tag] #
HasName Tag TagName Source #
Instance details Defined in Data.Swagger.Lens Methods name :: Lens' Tag TagName Source #
HasTags Swagger (InsOrdHashSet Tag) Source #
Instance details Defined in Data.Swagger.Lens Methods tags :: Lens' Swagger (InsOrdHashSet Tag) Source #
HasExternalDocs Tag (Maybe ExternalDocs) Source #
Instance details Defined in Data.Swagger.Lens Methods externalDocs :: Lens' Tag (Maybe ExternalDocs) Source #
HasDescription Tag (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods description :: Lens' Tag (Maybe Text) Source #
type Rep Tag Source #
Instance details Defined in Data.Swagger.Internal type Rep Tag = D1 (MetaData "Tag" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "Tag" PrefixI True) (S1 (MetaSel (Just "_tagName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TagName) :: (S1 (MetaSel (Just "_tagDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "_tagExternalDocs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ExternalDocs)))))

type TagName = Text Source #

Tag name.

Types and formats

data SwaggerType t where Source #

Constructors

SwaggerString :: SwaggerType t
SwaggerNumber :: SwaggerType t
SwaggerInteger :: SwaggerType t
SwaggerBoolean :: SwaggerType t
SwaggerArray :: SwaggerType t
SwaggerFile :: SwaggerType SwaggerKindParamOtherSchema
SwaggerNull :: SwaggerType SwaggerKindSchema
SwaggerObject :: SwaggerType SwaggerKindSchema

Instances

HasType Header (Maybe (SwaggerType (SwaggerKindNormal Header))) Source #
Instance details Defined in Data.Swagger.Lens Methods type_ :: Lens' Header (Maybe (SwaggerType (SwaggerKindNormal Header))) Source #
HasType NamedSchema (Maybe (SwaggerType (SwaggerKindSchema :: SwaggerKind Type))) Source #
Instance details Defined in Data.Swagger.Lens Methods type_ :: Lens' NamedSchema (Maybe (SwaggerType SwaggerKindSchema)) Source #
HasType Schema (Maybe (SwaggerType (SwaggerKindSchema :: SwaggerKind Type))) Source #
Instance details Defined in Data.Swagger.Lens Methods type_ :: Lens' Schema (Maybe (SwaggerType SwaggerKindSchema)) Source #
HasType ParamOtherSchema (Maybe (SwaggerType (SwaggerKindParamOtherSchema :: SwaggerKind Type))) Source #
Instance details Defined in Data.Swagger.Lens Methods type_ :: Lens' ParamOtherSchema (Maybe (SwaggerType SwaggerKindParamOtherSchema)) Source #
Eq (SwaggerType t) Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: SwaggerType t -> SwaggerType t -> Bool # (/=) :: SwaggerType t -> SwaggerType t -> Bool #
Typeable t => Data (SwaggerType (SwaggerKindNormal t)) Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SwaggerType (SwaggerKindNormal t) -> c (SwaggerType (SwaggerKindNormal t)) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SwaggerType (SwaggerKindNormal t)) # toConstr :: SwaggerType (SwaggerKindNormal t) -> Constr # dataTypeOf :: SwaggerType (SwaggerKindNormal t) -> DataType # dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (SwaggerType (SwaggerKindNormal t))) # dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (SwaggerType (SwaggerKindNormal t))) # gmapT :: (forall b. Data b => b -> b) -> SwaggerType (SwaggerKindNormal t) -> SwaggerType (SwaggerKindNormal t) # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerType (SwaggerKindNormal t) -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerType (SwaggerKindNormal t) -> r # gmapQ :: (forall d. Data d => d -> u) -> SwaggerType (SwaggerKindNormal t) -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SwaggerType (SwaggerKindNormal t) -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SwaggerType (SwaggerKindNormal t) -> m (SwaggerType (SwaggerKindNormal t)) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerType (SwaggerKindNormal t) -> m (SwaggerType (SwaggerKindNormal t)) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerType (SwaggerKindNormal t) -> m (SwaggerType (SwaggerKindNormal t)) #
Data (SwaggerType (SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SwaggerType SwaggerKindParamOtherSchema -> c (SwaggerType SwaggerKindParamOtherSchema) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SwaggerType SwaggerKindParamOtherSchema) # toConstr :: SwaggerType SwaggerKindParamOtherSchema -> Constr # dataTypeOf :: SwaggerType SwaggerKindParamOtherSchema -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (SwaggerType SwaggerKindParamOtherSchema)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (SwaggerType SwaggerKindParamOtherSchema)) # gmapT :: (forall b. Data b => b -> b) -> SwaggerType SwaggerKindParamOtherSchema -> SwaggerType SwaggerKindParamOtherSchema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerType SwaggerKindParamOtherSchema -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerType SwaggerKindParamOtherSchema -> r # gmapQ :: (forall d. Data d => d -> u) -> SwaggerType SwaggerKindParamOtherSchema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SwaggerType SwaggerKindParamOtherSchema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SwaggerType SwaggerKindParamOtherSchema -> m (SwaggerType SwaggerKindParamOtherSchema) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerType SwaggerKindParamOtherSchema -> m (SwaggerType SwaggerKindParamOtherSchema) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerType SwaggerKindParamOtherSchema -> m (SwaggerType SwaggerKindParamOtherSchema) #
Data (SwaggerType (SwaggerKindSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SwaggerType SwaggerKindSchema -> c (SwaggerType SwaggerKindSchema) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SwaggerType SwaggerKindSchema) # toConstr :: SwaggerType SwaggerKindSchema -> Constr # dataTypeOf :: SwaggerType SwaggerKindSchema -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (SwaggerType SwaggerKindSchema)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (SwaggerType SwaggerKindSchema)) # gmapT :: (forall b. Data b => b -> b) -> SwaggerType SwaggerKindSchema -> SwaggerType SwaggerKindSchema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerType SwaggerKindSchema -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerType SwaggerKindSchema -> r # gmapQ :: (forall d. Data d => d -> u) -> SwaggerType SwaggerKindSchema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SwaggerType SwaggerKindSchema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SwaggerType SwaggerKindSchema -> m (SwaggerType SwaggerKindSchema) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerType SwaggerKindSchema -> m (SwaggerType SwaggerKindSchema) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerType SwaggerKindSchema -> m (SwaggerType SwaggerKindSchema) #
Show (SwaggerType t) Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> SwaggerType t -> ShowS # show :: SwaggerType t -> String # showList :: [SwaggerType t] -> ShowS #
ToJSON (SwaggerType t) Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: SwaggerType t -> Value # toEncoding :: SwaggerType t -> Encoding # toJSONList :: [SwaggerType t] -> Value # toEncodingList :: [SwaggerType t] -> Encoding #
FromJSON (SwaggerType (SwaggerKindNormal t)) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (SwaggerType (SwaggerKindNormal t)) # parseJSONList :: Value -> Parser [SwaggerType (SwaggerKindNormal t)] #
FromJSON (SwaggerType (SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (SwaggerType SwaggerKindParamOtherSchema) # parseJSONList :: Value -> Parser [SwaggerType SwaggerKindParamOtherSchema] #
FromJSON (SwaggerType (SwaggerKindSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (SwaggerType SwaggerKindSchema) # parseJSONList :: Value -> Parser [SwaggerType SwaggerKindSchema] #
AesonDefaultValue (SwaggerType a) Source #
Instance details Defined in Data.Swagger.Internal Methods defaultValue :: Maybe (SwaggerType a) Source #
SwaggerMonoid (SwaggerType t) Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: SwaggerType t Source # swaggerMappend :: SwaggerType t -> SwaggerType t -> SwaggerType t Source #
HasType (ParamSchema t) (Maybe (SwaggerType t)) Source #
Instance details Defined in Data.Swagger.Lens Methods type_ :: Lens' (ParamSchema t) (Maybe (SwaggerType t)) Source #

type Format = Text Source #

type Definitions = InsOrdHashMap Text Source #

A list of definitions that can be used in references.

data CollectionFormat t where Source #

Determines the format of the array.

Constructors

CollectionCSV :: CollectionFormat t
CollectionSSV :: CollectionFormat t
CollectionTSV :: CollectionFormat t
CollectionPipes :: CollectionFormat t
CollectionMulti :: CollectionFormat SwaggerKindParamOtherSchema

Instances

Eq (CollectionFormat t) Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: CollectionFormat t -> CollectionFormat t -> Bool # (/=) :: CollectionFormat t -> CollectionFormat t -> Bool #
Data t => Data (CollectionFormat (SwaggerKindNormal t)) Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CollectionFormat (SwaggerKindNormal t) -> c (CollectionFormat (SwaggerKindNormal t)) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CollectionFormat (SwaggerKindNormal t)) # toConstr :: CollectionFormat (SwaggerKindNormal t) -> Constr # dataTypeOf :: CollectionFormat (SwaggerKindNormal t) -> DataType # dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (CollectionFormat (SwaggerKindNormal t))) # dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (CollectionFormat (SwaggerKindNormal t))) # gmapT :: (forall b. Data b => b -> b) -> CollectionFormat (SwaggerKindNormal t) -> CollectionFormat (SwaggerKindNormal t) # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CollectionFormat (SwaggerKindNormal t) -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CollectionFormat (SwaggerKindNormal t) -> r # gmapQ :: (forall d. Data d => d -> u) -> CollectionFormat (SwaggerKindNormal t) -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CollectionFormat (SwaggerKindNormal t) -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CollectionFormat (SwaggerKindNormal t) -> m (CollectionFormat (SwaggerKindNormal t)) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CollectionFormat (SwaggerKindNormal t) -> m (CollectionFormat (SwaggerKindNormal t)) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CollectionFormat (SwaggerKindNormal t) -> m (CollectionFormat (SwaggerKindNormal t)) #
Data (CollectionFormat (SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CollectionFormat SwaggerKindParamOtherSchema -> c (CollectionFormat SwaggerKindParamOtherSchema) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CollectionFormat SwaggerKindParamOtherSchema) # toConstr :: CollectionFormat SwaggerKindParamOtherSchema -> Constr # dataTypeOf :: CollectionFormat SwaggerKindParamOtherSchema -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CollectionFormat SwaggerKindParamOtherSchema)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CollectionFormat SwaggerKindParamOtherSchema)) # gmapT :: (forall b. Data b => b -> b) -> CollectionFormat SwaggerKindParamOtherSchema -> CollectionFormat SwaggerKindParamOtherSchema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CollectionFormat SwaggerKindParamOtherSchema -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CollectionFormat SwaggerKindParamOtherSchema -> r # gmapQ :: (forall d. Data d => d -> u) -> CollectionFormat SwaggerKindParamOtherSchema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CollectionFormat SwaggerKindParamOtherSchema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CollectionFormat SwaggerKindParamOtherSchema -> m (CollectionFormat SwaggerKindParamOtherSchema) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CollectionFormat SwaggerKindParamOtherSchema -> m (CollectionFormat SwaggerKindParamOtherSchema) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CollectionFormat SwaggerKindParamOtherSchema -> m (CollectionFormat SwaggerKindParamOtherSchema) #
Show (CollectionFormat t) Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> CollectionFormat t -> ShowS # show :: CollectionFormat t -> String # showList :: [CollectionFormat t] -> ShowS #
ToJSON (CollectionFormat t) Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: CollectionFormat t -> Value # toEncoding :: CollectionFormat t -> Encoding # toJSONList :: [CollectionFormat t] -> Value # toEncodingList :: [CollectionFormat t] -> Encoding #
FromJSON (CollectionFormat (SwaggerKindNormal t)) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (CollectionFormat (SwaggerKindNormal t)) # parseJSONList :: Value -> Parser [CollectionFormat (SwaggerKindNormal t)] #
FromJSON (CollectionFormat (SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (CollectionFormat SwaggerKindParamOtherSchema) # parseJSONList :: Value -> Parser [CollectionFormat SwaggerKindParamOtherSchema] #

Parameters

data Param Source #

Describes a single operation parameter. A unique parameter is defined by a combination of a name and location.

Constructors

Param

Fields

_paramName :: Text
The name of the parameter. Parameter names are case sensitive.
_paramDescription :: Maybe Text
A brief description of the parameter. This could contain examples of use. GFM syntax can be used for rich text representation.
_paramRequired :: Maybe Bool
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 False.
_paramSchema :: ParamAnySchema
Parameter schema.

Instances

Eq Param Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Param -> Param -> Bool # (/=) :: Param -> Param -> Bool #
Data Param Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Param -> c Param # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Param # toConstr :: Param -> Constr # dataTypeOf :: Param -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Param) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Param) # gmapT :: (forall b. Data b => b -> b) -> Param -> Param # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Param -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Param -> r # gmapQ :: (forall d. Data d => d -> u) -> Param -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Param -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Param -> m Param # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Param -> m Param # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Param -> m Param #
Show Param Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Param -> ShowS # show :: Param -> String # showList :: [Param] -> ShowS #
Generic Param Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Param :: Type -> Type # Methods from :: Param -> Rep Param x # to :: Rep Param x -> Param #
Semigroup Param Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: Param -> Param -> Param # sconcat :: NonEmpty Param -> Param # stimes :: Integral b => b -> Param -> Param #
Monoid Param Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: Param # mappend :: Param -> Param -> Param # mconcat :: [Param] -> Param #
ToJSON Param Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Param -> Value # toEncoding :: Param -> Encoding # toJSONList :: [Param] -> Value # toEncodingList :: [Param] -> Encoding #
FromJSON Param Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Param # parseJSONList :: Value -> Parser [Param] #
Generic Param Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Code Param :: [[Type]] # Methods from :: Param -> Rep Param # to :: Rep Param -> Param #
HasDatatypeInfo Param Source #
Instance details Defined in Data.Swagger.Internal Associated Types type DatatypeInfoOf Param :: DatatypeInfo # Methods datatypeInfo :: proxy Param -> DatatypeInfo (Code Param) #
HasSwaggerAesonOptions Param Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerAesonOptions :: Proxy Param -> SwaggerAesonOptions Source # aesonDefaults :: Proxy Param -> POP Maybe (Code Param) Source #
SwaggerMonoid Param Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: Param Source # swaggerMappend :: Param -> Param -> Param Source #
HasName Param Text Source #
Instance details Defined in Data.Swagger.Lens Methods name :: Lens' Param Text Source #
HasSchema Param ParamAnySchema Source #
Instance details Defined in Data.Swagger.Lens Methods schema :: Lens' Param ParamAnySchema Source #
HasParameters Operation [Referenced Param] Source #
Instance details Defined in Data.Swagger.Lens Methods parameters :: Lens' Operation [Referenced Param] Source #
HasParameters PathItem [Referenced Param] Source #
Instance details Defined in Data.Swagger.Lens Methods parameters :: Lens' PathItem [Referenced Param] Source #
HasParameters Swagger (Definitions Param) Source #
Instance details Defined in Data.Swagger.Lens Methods parameters :: Lens' Swagger (Definitions Param) Source #
HasDescription Param (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods description :: Lens' Param (Maybe Text) Source #
HasRequired Param (Maybe Bool) Source #
Instance details Defined in Data.Swagger.Lens Methods required :: Lens' Param (Maybe Bool) Source #
ToJSON (Referenced Param) Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Referenced Param -> Value # toEncoding :: Referenced Param -> Encoding # toJSONList :: [Referenced Param] -> Value # toEncodingList :: [Referenced Param] -> Encoding #
FromJSON (Referenced Param) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (Referenced Param) # parseJSONList :: Value -> Parser [Referenced Param] #
type Rep Param Source #
Instance details Defined in Data.Swagger.Internal type Rep Param = D1 (MetaData "Param" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "Param" PrefixI True) ((S1 (MetaSel (Just "_paramName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "_paramDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) :: (S1 (MetaSel (Just "_paramRequired") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :*: S1 (MetaSel (Just "_paramSchema") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ParamAnySchema))))
type Code Param Source #
Instance details Defined in Data.Swagger.Internal type Code Param = (Text ': (Maybe Text ': (Maybe Bool ': (ParamAnySchema ': ([] :: [Type]))))) ': ([] :: [[Type]])
type DatatypeInfoOf Param Source #
Instance details Defined in Data.Swagger.Internal type DatatypeInfoOf Param = ADT "Data.Swagger.Internal" "Param" (Record "Param" (FieldInfo "_paramName" ': (FieldInfo "_paramDescription" ': (FieldInfo "_paramRequired" ': (FieldInfo "_paramSchema" ': ([] :: [FieldInfo]))))) ': ([] :: [ConstructorInfo])) ((StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': ([] :: [StrictnessInfo]))))) ': ([] :: [[StrictnessInfo]]))

data ParamAnySchema Source #

Constructors

ParamBody (Referenced Schema)
ParamOther ParamOtherSchema

Instances

Eq ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: ParamAnySchema -> ParamAnySchema -> Bool # (/=) :: ParamAnySchema -> ParamAnySchema -> Bool #
Data ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParamAnySchema -> c ParamAnySchema # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ParamAnySchema # toConstr :: ParamAnySchema -> Constr # dataTypeOf :: ParamAnySchema -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ParamAnySchema) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ParamAnySchema) # gmapT :: (forall b. Data b => b -> b) -> ParamAnySchema -> ParamAnySchema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParamAnySchema -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParamAnySchema -> r # gmapQ :: (forall d. Data d => d -> u) -> ParamAnySchema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ParamAnySchema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParamAnySchema -> m ParamAnySchema # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamAnySchema -> m ParamAnySchema # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamAnySchema -> m ParamAnySchema #
Show ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> ParamAnySchema -> ShowS # show :: ParamAnySchema -> String # showList :: [ParamAnySchema] -> ShowS #
Generic ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep ParamAnySchema :: Type -> Type # Methods from :: ParamAnySchema -> Rep ParamAnySchema x # to :: Rep ParamAnySchema x -> ParamAnySchema #
ToJSON ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: ParamAnySchema -> Value # toEncoding :: ParamAnySchema -> Encoding # toJSONList :: [ParamAnySchema] -> Value # toEncodingList :: [ParamAnySchema] -> Encoding #
FromJSON ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser ParamAnySchema # parseJSONList :: Value -> Parser [ParamAnySchema] #
AesonDefaultValue ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Methods defaultValue :: Maybe ParamAnySchema Source #
SwaggerMonoid ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: ParamAnySchema Source # swaggerMappend :: ParamAnySchema -> ParamAnySchema -> ParamAnySchema Source #
HasSchema Param ParamAnySchema Source #
Instance details Defined in Data.Swagger.Lens Methods schema :: Lens' Param ParamAnySchema Source #
type Rep ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal type Rep ParamAnySchema = D1 (MetaData "ParamAnySchema" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "ParamBody" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Referenced Schema))) :+: C1 (MetaCons "ParamOther" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ParamOtherSchema)))

data ParamOtherSchema Source #

Constructors

ParamOtherSchema

Fields

_paramOtherSchemaIn :: ParamLocation
The location of the parameter.
_paramOtherSchemaAllowEmptyValue :: Maybe Bool
Sets the ability to pass empty-valued parameters. This is valid only for either ParamQuery or ParamFormData and allows you to send a parameter with a name only or an empty value. Default value is False.
_paramOtherSchemaParamSchema :: ParamSchema SwaggerKindParamOtherSchema

Instances

Eq ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: ParamOtherSchema -> ParamOtherSchema -> Bool # (/=) :: ParamOtherSchema -> ParamOtherSchema -> Bool #
Data ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParamOtherSchema -> c ParamOtherSchema # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ParamOtherSchema # toConstr :: ParamOtherSchema -> Constr # dataTypeOf :: ParamOtherSchema -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ParamOtherSchema) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ParamOtherSchema) # gmapT :: (forall b. Data b => b -> b) -> ParamOtherSchema -> ParamOtherSchema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParamOtherSchema -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParamOtherSchema -> r # gmapQ :: (forall d. Data d => d -> u) -> ParamOtherSchema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ParamOtherSchema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParamOtherSchema -> m ParamOtherSchema # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamOtherSchema -> m ParamOtherSchema # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamOtherSchema -> m ParamOtherSchema #
Show ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> ParamOtherSchema -> ShowS # show :: ParamOtherSchema -> String # showList :: [ParamOtherSchema] -> ShowS #
Generic ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep ParamOtherSchema :: Type -> Type # Methods from :: ParamOtherSchema -> Rep ParamOtherSchema x # to :: Rep ParamOtherSchema x -> ParamOtherSchema #
Semigroup ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: ParamOtherSchema -> ParamOtherSchema -> ParamOtherSchema # sconcat :: NonEmpty ParamOtherSchema -> ParamOtherSchema # stimes :: Integral b => b -> ParamOtherSchema -> ParamOtherSchema #
Monoid ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: ParamOtherSchema # mappend :: ParamOtherSchema -> ParamOtherSchema -> ParamOtherSchema # mconcat :: [ParamOtherSchema] -> ParamOtherSchema #
ToJSON ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: ParamOtherSchema -> Value # toEncoding :: ParamOtherSchema -> Encoding # toJSONList :: [ParamOtherSchema] -> Value # toEncodingList :: [ParamOtherSchema] -> Encoding #
FromJSON ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser ParamOtherSchema # parseJSONList :: Value -> Parser [ParamOtherSchema] #
Generic ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Code ParamOtherSchema :: [[Type]] # Methods from :: ParamOtherSchema -> Rep ParamOtherSchema # to :: Rep ParamOtherSchema -> ParamOtherSchema #
HasDatatypeInfo ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal Associated Types type DatatypeInfoOf ParamOtherSchema :: DatatypeInfo # Methods datatypeInfo :: proxy ParamOtherSchema -> DatatypeInfo (Code ParamOtherSchema) #
HasSwaggerAesonOptions ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerAesonOptions :: Proxy ParamOtherSchema -> SwaggerAesonOptions Source # aesonDefaults :: Proxy ParamOtherSchema -> POP Maybe (Code ParamOtherSchema) Source #
SwaggerMonoid ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: ParamOtherSchema Source # swaggerMappend :: ParamOtherSchema -> ParamOtherSchema -> ParamOtherSchema Source #
HasIn ParamOtherSchema ParamLocation Source #
Instance details Defined in Data.Swagger.Lens Methods in_ :: Lens' ParamOtherSchema ParamLocation Source #
HasParamSchema ParamOtherSchema (ParamSchema (SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Lens Methods paramSchema :: Lens' ParamOtherSchema (ParamSchema SwaggerKindParamOtherSchema) Source #
HasAllowEmptyValue ParamOtherSchema (Maybe Bool) Source #
Instance details Defined in Data.Swagger.Lens Methods allowEmptyValue :: Lens' ParamOtherSchema (Maybe Bool) Source #
HasType ParamOtherSchema (Maybe (SwaggerType (SwaggerKindParamOtherSchema :: SwaggerKind Type))) Source #
Instance details Defined in Data.Swagger.Lens Methods type_ :: Lens' ParamOtherSchema (Maybe (SwaggerType SwaggerKindParamOtherSchema)) Source #
HasDefault ParamOtherSchema (Maybe Value) Source #
Instance details Defined in Data.Swagger.Lens Methods default_ :: Lens' ParamOtherSchema (Maybe Value) Source #
type Rep ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal type Rep ParamOtherSchema = D1 (MetaData "ParamOtherSchema" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "ParamOtherSchema" PrefixI True) (S1 (MetaSel (Just "_paramOtherSchemaIn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ParamLocation) :: (S1 (MetaSel (Just "_paramOtherSchemaAllowEmptyValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :: S1 (MetaSel (Just "_paramOtherSchemaParamSchema") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ParamSchema (SwaggerKindParamOtherSchema :: SwaggerKind Type))))))
type Code ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal type Code ParamOtherSchema = (ParamLocation ': (Maybe Bool ': (ParamSchema (SwaggerKindParamOtherSchema :: SwaggerKind Type) ': ([] :: [Type])))) ': ([] :: [[Type]])
type DatatypeInfoOf ParamOtherSchema Source #
Instance details Defined in Data.Swagger.Internal type DatatypeInfoOf ParamOtherSchema = ADT "Data.Swagger.Internal" "ParamOtherSchema" (Record "ParamOtherSchema" (FieldInfo "_paramOtherSchemaIn" ': (FieldInfo "_paramOtherSchemaAllowEmptyValue" ': (FieldInfo "_paramOtherSchemaParamSchema" ': ([] :: [FieldInfo])))) ': ([] :: [ConstructorInfo])) ((StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': ([] :: [StrictnessInfo])))) ': ([] :: [[StrictnessInfo]]))

data ParamLocation Source #

Constructors

ParamQuery	Parameters that are appended to the URL. For example, in `/items?id=###`, the query parameter is `id`.
ParamHeader	Custom headers that are expected as part of the request.
ParamPath	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 `items{itemId}`, the path parameter is `itemId`.
ParamFormData	Used to describe the payload of an HTTP request when either `application/x-www-form-urlencoded` or `multipart/form-data` are used as the content type of the request (in Swagger's definition, the `consumes` property of an operation). This is the only parameter type that can be used to send files, thus supporting the `ParamFile` 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 http://www.w3.org/TR/html401/interact/forms.html#h-17.13.4).

Instances

Eq ParamLocation Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: ParamLocation -> ParamLocation -> Bool # (/=) :: ParamLocation -> ParamLocation -> Bool #
Data ParamLocation Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParamLocation -> c ParamLocation # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ParamLocation # toConstr :: ParamLocation -> Constr # dataTypeOf :: ParamLocation -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ParamLocation) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ParamLocation) # gmapT :: (forall b. Data b => b -> b) -> ParamLocation -> ParamLocation # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParamLocation -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParamLocation -> r # gmapQ :: (forall d. Data d => d -> u) -> ParamLocation -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ParamLocation -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParamLocation -> m ParamLocation # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamLocation -> m ParamLocation # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamLocation -> m ParamLocation #
Show ParamLocation Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> ParamLocation -> ShowS # show :: ParamLocation -> String # showList :: [ParamLocation] -> ShowS #
Generic ParamLocation Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep ParamLocation :: Type -> Type # Methods from :: ParamLocation -> Rep ParamLocation x # to :: Rep ParamLocation x -> ParamLocation #
ToJSON ParamLocation Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: ParamLocation -> Value # toEncoding :: ParamLocation -> Encoding # toJSONList :: [ParamLocation] -> Value # toEncodingList :: [ParamLocation] -> Encoding #
FromJSON ParamLocation Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser ParamLocation # parseJSONList :: Value -> Parser [ParamLocation] #
AesonDefaultValue ParamLocation Source #
Instance details Defined in Data.Swagger.Internal Methods defaultValue :: Maybe ParamLocation Source #
SwaggerMonoid ParamLocation Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: ParamLocation Source # swaggerMappend :: ParamLocation -> ParamLocation -> ParamLocation Source #
HasIn ParamOtherSchema ParamLocation Source #
Instance details Defined in Data.Swagger.Lens Methods in_ :: Lens' ParamOtherSchema ParamLocation Source #
type Rep ParamLocation Source #
Instance details Defined in Data.Swagger.Internal type Rep ParamLocation = D1 (MetaData "ParamLocation" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) ((C1 (MetaCons "ParamQuery" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ParamHeader" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ParamPath" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ParamFormData" PrefixI False) (U1 :: Type -> Type)))

type ParamName = Text Source #

data Header Source #

Constructors

Header
Fields _headerDescription :: Maybe Text A short description of the header. _headerParamSchema :: ParamSchema (SwaggerKindNormal Header)

Instances

Eq Header Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Header -> Header -> Bool # (/=) :: Header -> Header -> Bool #
Data Header Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Header -> c Header # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Header # toConstr :: Header -> Constr # dataTypeOf :: Header -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Header) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Header) # gmapT :: (forall b. Data b => b -> b) -> Header -> Header # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Header -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Header -> r # gmapQ :: (forall d. Data d => d -> u) -> Header -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Header -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Header -> m Header # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Header -> m Header # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Header -> m Header #
Show Header Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Header -> ShowS # show :: Header -> String # showList :: [Header] -> ShowS #
Generic Header Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Header :: Type -> Type # Methods from :: Header -> Rep Header x # to :: Rep Header x -> Header #
Semigroup Header Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: Header -> Header -> Header # sconcat :: NonEmpty Header -> Header # stimes :: Integral b => b -> Header -> Header #
Monoid Header Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: Header # mappend :: Header -> Header -> Header # mconcat :: [Header] -> Header #
ToJSON Header Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Header -> Value # toEncoding :: Header -> Encoding # toJSONList :: [Header] -> Value # toEncodingList :: [Header] -> Encoding #
FromJSON Header Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Header # parseJSONList :: Value -> Parser [Header] #
Generic Header Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Code Header :: [[Type]] # Methods from :: Header -> Rep Header # to :: Rep Header -> Header #
HasDatatypeInfo Header Source #
Instance details Defined in Data.Swagger.Internal Associated Types type DatatypeInfoOf Header :: DatatypeInfo # Methods datatypeInfo :: proxy Header -> DatatypeInfo (Code Header) #
HasSwaggerAesonOptions Header Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerAesonOptions :: Proxy Header -> SwaggerAesonOptions Source # aesonDefaults :: Proxy Header -> POP Maybe (Code Header) Source #
HasDescription Header (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods description :: Lens' Header (Maybe Text) Source #
HasParamSchema Header (ParamSchema (SwaggerKindNormal Header)) Source #
Instance details Defined in Data.Swagger.Lens Methods paramSchema :: Lens' Header (ParamSchema (SwaggerKindNormal Header)) Source #
HasType Header (Maybe (SwaggerType (SwaggerKindNormal Header))) Source #
Instance details Defined in Data.Swagger.Lens Methods type_ :: Lens' Header (Maybe (SwaggerType (SwaggerKindNormal Header))) Source #
HasDefault Header (Maybe Value) Source #
Instance details Defined in Data.Swagger.Lens Methods default_ :: Lens' Header (Maybe Value) Source #
HasHeaders Response (InsOrdHashMap HeaderName Header) Source #
Instance details Defined in Data.Swagger.Lens Methods headers :: Lens' Response (InsOrdHashMap HeaderName Header) Source #
type Rep Header Source #
Instance details Defined in Data.Swagger.Internal type Rep Header = D1 (MetaData "Header" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "Header" PrefixI True) (S1 (MetaSel (Just "_headerDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :*: S1 (MetaSel (Just "_headerParamSchema") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ParamSchema (SwaggerKindNormal Header)))))
type Code Header Source #
Instance details Defined in Data.Swagger.Internal type Code Header = (Maybe Text ': (ParamSchema (SwaggerKindNormal Header) ': ([] :: [Type]))) ': ([] :: [[Type]])
type DatatypeInfoOf Header Source #
Instance details Defined in Data.Swagger.Internal type DatatypeInfoOf Header = ADT "Data.Swagger.Internal" "Header" (Record "Header" (FieldInfo "_headerDescription" ': (FieldInfo "_headerParamSchema" ': ([] :: [FieldInfo]))) ': ([] :: [ConstructorInfo])) ((StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': ([] :: [StrictnessInfo]))) ': ([] :: [[StrictnessInfo]]))

type HeaderName = Text Source #

data Example Source #

Constructors

Example
Fields getExample :: Map MediaType Value

Instances

Eq Example Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Example -> Example -> Bool # (/=) :: Example -> Example -> Bool #
Data Example Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Example -> c Example # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Example # toConstr :: Example -> Constr # dataTypeOf :: Example -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Example) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Example) # gmapT :: (forall b. Data b => b -> b) -> Example -> Example # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Example -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Example -> r # gmapQ :: (forall d. Data d => d -> u) -> Example -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Example -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Example -> m Example # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Example -> m Example # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Example -> m Example #
Show Example Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Example -> ShowS # show :: Example -> String # showList :: [Example] -> ShowS #
Generic Example Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Example :: Type -> Type # Methods from :: Example -> Rep Example x # to :: Rep Example x -> Example #
Semigroup Example Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: Example -> Example -> Example # sconcat :: NonEmpty Example -> Example # stimes :: Integral b => b -> Example -> Example #
Monoid Example Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: Example # mappend :: Example -> Example -> Example # mconcat :: [Example] -> Example #
ToJSON Example Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Example -> Value # toEncoding :: Example -> Encoding # toJSONList :: [Example] -> Value # toEncodingList :: [Example] -> Encoding #
FromJSON Example Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Example # parseJSONList :: Value -> Parser [Example] #
HasExamples Response (Maybe Example) Source #
Instance details Defined in Data.Swagger.Lens Methods examples :: Lens' Response (Maybe Example) Source #
type Rep Example Source #
Instance details Defined in Data.Swagger.Internal type Rep Example = D1 (MetaData "Example" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "Example" PrefixI True) (S1 (MetaSel (Just "getExample") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map MediaType Value))))

Schemas

data ParamSchema (t :: SwaggerKind *) Source #

Constructors

ParamSchema

Fields

_paramSchemaDefault :: Maybe Value
Declares the value of the parameter that the server will use if none is provided, for example a "count" to control the number of results per page might default to 100 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.
_paramSchemaType :: Maybe (SwaggerType t)
_paramSchemaFormat :: Maybe Format
_paramSchemaItems :: Maybe (SwaggerItems t)
_paramSchemaMaximum :: Maybe Scientific
_paramSchemaExclusiveMaximum :: Maybe Bool
_paramSchemaMinimum :: Maybe Scientific
_paramSchemaExclusiveMinimum :: Maybe Bool
_paramSchemaMaxLength :: Maybe Integer
_paramSchemaMinLength :: Maybe Integer
_paramSchemaPattern :: Maybe Pattern
_paramSchemaMaxItems :: Maybe Integer
_paramSchemaMinItems :: Maybe Integer
_paramSchemaUniqueItems :: Maybe Bool
_paramSchemaEnum :: Maybe [Value]
_paramSchemaMultipleOf :: Maybe Scientific

Instances

HasParamSchema Header (ParamSchema (SwaggerKindNormal Header)) Source #
Instance details Defined in Data.Swagger.Lens Methods paramSchema :: Lens' Header (ParamSchema (SwaggerKindNormal Header)) Source #
HasParamSchema NamedSchema (ParamSchema (SwaggerKindSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Lens Methods paramSchema :: Lens' NamedSchema (ParamSchema SwaggerKindSchema) Source #
HasParamSchema Schema (ParamSchema (SwaggerKindSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Lens Methods paramSchema :: Lens' Schema (ParamSchema SwaggerKindSchema) Source #
HasParamSchema ParamOtherSchema (ParamSchema (SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Lens Methods paramSchema :: Lens' ParamOtherSchema (ParamSchema SwaggerKindParamOtherSchema) Source #
Eq (ParamSchema t) Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: ParamSchema t -> ParamSchema t -> Bool # (/=) :: ParamSchema t -> ParamSchema t -> Bool #
(Typeable k, Data (Maybe (SwaggerType k)), Data (SwaggerItems k)) => Data (ParamSchema k) Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParamSchema k -> c (ParamSchema k) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ParamSchema k) # toConstr :: ParamSchema k -> Constr # dataTypeOf :: ParamSchema k -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ParamSchema k)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ParamSchema k)) # gmapT :: (forall b. Data b => b -> b) -> ParamSchema k -> ParamSchema k # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParamSchema k -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParamSchema k -> r # gmapQ :: (forall d. Data d => d -> u) -> ParamSchema k -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ParamSchema k -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParamSchema k -> m (ParamSchema k) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamSchema k -> m (ParamSchema k) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamSchema k -> m (ParamSchema k) #
Show (ParamSchema t) Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> ParamSchema t -> ShowS # show :: ParamSchema t -> String # showList :: [ParamSchema t] -> ShowS #
Generic (ParamSchema t) Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep (ParamSchema t) :: Type -> Type # Methods from :: ParamSchema t -> Rep (ParamSchema t) x # to :: Rep (ParamSchema t) x -> ParamSchema t #
Semigroup (ParamSchema t) Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: ParamSchema t -> ParamSchema t -> ParamSchema t # sconcat :: NonEmpty (ParamSchema t) -> ParamSchema t # stimes :: Integral b => b -> ParamSchema t -> ParamSchema t #
Monoid (ParamSchema t) Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: ParamSchema t # mappend :: ParamSchema t -> ParamSchema t -> ParamSchema t # mconcat :: [ParamSchema t] -> ParamSchema t #
ToJSON (ParamSchema k) Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: ParamSchema k -> Value # toEncoding :: ParamSchema k -> Encoding # toJSONList :: [ParamSchema k] -> Value # toEncodingList :: [ParamSchema k] -> Encoding #
(FromJSON (SwaggerType (SwaggerKindNormal t)), FromJSON (SwaggerItems (SwaggerKindNormal t))) => FromJSON (ParamSchema (SwaggerKindNormal t)) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (ParamSchema (SwaggerKindNormal t)) # parseJSONList :: Value -> Parser [ParamSchema (SwaggerKindNormal t)] #
FromJSON (ParamSchema (SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (ParamSchema SwaggerKindParamOtherSchema) # parseJSONList :: Value -> Parser [ParamSchema SwaggerKindParamOtherSchema] #
FromJSON (ParamSchema (SwaggerKindSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (ParamSchema SwaggerKindSchema) # parseJSONList :: Value -> Parser [ParamSchema SwaggerKindSchema] #
Generic (ParamSchema t) Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Code (ParamSchema t) :: [[Type]] # Methods from :: ParamSchema t -> Rep (ParamSchema t) # to :: Rep (ParamSchema t) -> ParamSchema t #
HasDatatypeInfo (ParamSchema t) Source #
Instance details Defined in Data.Swagger.Internal Associated Types type DatatypeInfoOf (ParamSchema t) :: DatatypeInfo # Methods datatypeInfo :: proxy (ParamSchema t) -> DatatypeInfo (Code (ParamSchema t)) #
AesonDefaultValue (ParamSchema s) Source #
Instance details Defined in Data.Swagger.Internal Methods defaultValue :: Maybe (ParamSchema s) Source #
HasSwaggerAesonOptions (ParamSchema (SwaggerKindNormal t)) Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerAesonOptions :: Proxy (ParamSchema (SwaggerKindNormal t)) -> SwaggerAesonOptions Source # aesonDefaults :: Proxy (ParamSchema (SwaggerKindNormal t)) -> POP Maybe (Code (ParamSchema (SwaggerKindNormal t))) Source #
HasSwaggerAesonOptions (ParamSchema (SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerAesonOptions :: Proxy (ParamSchema SwaggerKindParamOtherSchema) -> SwaggerAesonOptions Source # aesonDefaults :: Proxy (ParamSchema SwaggerKindParamOtherSchema) -> POP Maybe (Code (ParamSchema SwaggerKindParamOtherSchema)) Source #
HasSwaggerAesonOptions (ParamSchema (SwaggerKindSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerAesonOptions :: Proxy (ParamSchema SwaggerKindSchema) -> SwaggerAesonOptions Source # aesonDefaults :: Proxy (ParamSchema SwaggerKindSchema) -> POP Maybe (Code (ParamSchema SwaggerKindSchema)) Source #
SwaggerMonoid (ParamSchema t) Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: ParamSchema t Source # swaggerMappend :: ParamSchema t -> ParamSchema t -> ParamSchema t Source #
HasUniqueItems (ParamSchema t) (Maybe Bool) Source #
Instance details Defined in Data.Swagger.Lens Methods uniqueItems :: Lens' (ParamSchema t) (Maybe Bool) Source #
HasType (ParamSchema t) (Maybe (SwaggerType t)) Source #
Instance details Defined in Data.Swagger.Lens Methods type_ :: Lens' (ParamSchema t) (Maybe (SwaggerType t)) Source #
HasPattern (ParamSchema t) (Maybe Pattern) Source #
Instance details Defined in Data.Swagger.Lens Methods pattern :: Lens' (ParamSchema t) (Maybe Pattern) Source #
HasMultipleOf (ParamSchema t) (Maybe Scientific) Source #
Instance details Defined in Data.Swagger.Lens Methods multipleOf :: Lens' (ParamSchema t) (Maybe Scientific) Source #
HasMinimum (ParamSchema t) (Maybe Scientific) Source #
Instance details Defined in Data.Swagger.Lens Methods minimum_ :: Lens' (ParamSchema t) (Maybe Scientific) Source #
HasMinLength (ParamSchema t) (Maybe Integer) Source #
Instance details Defined in Data.Swagger.Lens Methods minLength :: Lens' (ParamSchema t) (Maybe Integer) Source #
HasMinItems (ParamSchema t) (Maybe Integer) Source #
Instance details Defined in Data.Swagger.Lens Methods minItems :: Lens' (ParamSchema t) (Maybe Integer) Source #
HasMaximum (ParamSchema t) (Maybe Scientific) Source #
Instance details Defined in Data.Swagger.Lens Methods maximum_ :: Lens' (ParamSchema t) (Maybe Scientific) Source #
HasMaxLength (ParamSchema t) (Maybe Integer) Source #
Instance details Defined in Data.Swagger.Lens Methods maxLength :: Lens' (ParamSchema t) (Maybe Integer) Source #
HasMaxItems (ParamSchema t) (Maybe Integer) Source #
Instance details Defined in Data.Swagger.Lens Methods maxItems :: Lens' (ParamSchema t) (Maybe Integer) Source #
HasItems (ParamSchema t) (Maybe (SwaggerItems t)) Source #
Instance details Defined in Data.Swagger.Lens Methods items :: Lens' (ParamSchema t) (Maybe (SwaggerItems t)) Source #
HasFormat (ParamSchema t) (Maybe Format) Source #
Instance details Defined in Data.Swagger.Lens Methods format :: Lens' (ParamSchema t) (Maybe Format) Source #
HasExclusiveMinimum (ParamSchema t) (Maybe Bool) Source #
Instance details Defined in Data.Swagger.Lens Methods exclusiveMinimum :: Lens' (ParamSchema t) (Maybe Bool) Source #
HasExclusiveMaximum (ParamSchema t) (Maybe Bool) Source #
Instance details Defined in Data.Swagger.Lens Methods exclusiveMaximum :: Lens' (ParamSchema t) (Maybe Bool) Source #
HasEnum (ParamSchema t) (Maybe [Value]) Source #
Instance details Defined in Data.Swagger.Lens Methods enum_ :: Lens' (ParamSchema t) (Maybe [Value]) Source #
HasDefault (ParamSchema t) (Maybe Value) Source #
Instance details Defined in Data.Swagger.Lens Methods default_ :: Lens' (ParamSchema t) (Maybe Value) Source #
type Rep (ParamSchema t) Source #
Instance details Defined in Data.Swagger.Internal type Rep (ParamSchema t) = D1 (MetaData "ParamSchema" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "ParamSchema" PrefixI True) ((((S1 (MetaSel (Just "_paramSchemaDefault") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Value)) :: S1 (MetaSel (Just "_paramSchemaType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (SwaggerType t)))) :: (S1 (MetaSel (Just "_paramSchemaFormat") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Format)) :: S1 (MetaSel (Just "_paramSchemaItems") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (SwaggerItems t))))) :: ((S1 (MetaSel (Just "_paramSchemaMaximum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Scientific)) :: S1 (MetaSel (Just "_paramSchemaExclusiveMaximum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))) :: (S1 (MetaSel (Just "_paramSchemaMinimum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Scientific)) :: S1 (MetaSel (Just "_paramSchemaExclusiveMinimum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))))) :: (((S1 (MetaSel (Just "_paramSchemaMaxLength") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Integer)) :: S1 (MetaSel (Just "_paramSchemaMinLength") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Integer))) :: (S1 (MetaSel (Just "_paramSchemaPattern") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Pattern)) :: S1 (MetaSel (Just "_paramSchemaMaxItems") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Integer)))) :: ((S1 (MetaSel (Just "_paramSchemaMinItems") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Integer)) :: S1 (MetaSel (Just "_paramSchemaUniqueItems") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))) :: (S1 (MetaSel (Just "_paramSchemaEnum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Value])) :*: S1 (MetaSel (Just "_paramSchemaMultipleOf") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Scientific)))))))
type Code (ParamSchema t) Source #
Instance details Defined in Data.Swagger.Internal type Code (ParamSchema t) = (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 ': ([] :: [Type]))))))))))))))))) ': ([] :: [[Type]])
type DatatypeInfoOf (ParamSchema t) Source #
Instance details Defined in Data.Swagger.Internal type DatatypeInfoOf (ParamSchema t) = ADT "Data.Swagger.Internal" "ParamSchema" (Record "ParamSchema" (FieldInfo "_paramSchemaDefault" ': (FieldInfo "_paramSchemaType" ': (FieldInfo "_paramSchemaFormat" ': (FieldInfo "_paramSchemaItems" ': (FieldInfo "_paramSchemaMaximum" ': (FieldInfo "_paramSchemaExclusiveMaximum" ': (FieldInfo "_paramSchemaMinimum" ': (FieldInfo "_paramSchemaExclusiveMinimum" ': (FieldInfo "_paramSchemaMaxLength" ': (FieldInfo "_paramSchemaMinLength" ': (FieldInfo "_paramSchemaPattern" ': (FieldInfo "_paramSchemaMaxItems" ': (FieldInfo "_paramSchemaMinItems" ': (FieldInfo "_paramSchemaUniqueItems" ': (FieldInfo "_paramSchemaEnum" ': (FieldInfo "_paramSchemaMultipleOf" ': ([] :: [FieldInfo]))))))))))))))))) ': ([] :: [ConstructorInfo])) ((StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': ([] :: [StrictnessInfo]))))))))))))))))) ': ([] :: [[StrictnessInfo]]))

data Schema Source #

Constructors

Schema

Instances

Eq Schema Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Schema -> Schema -> Bool # (/=) :: Schema -> Schema -> Bool #
Data Schema Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Schema -> c Schema # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Schema # toConstr :: Schema -> Constr # dataTypeOf :: Schema -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Schema) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Schema) # gmapT :: (forall b. Data b => b -> b) -> Schema -> Schema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Schema -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Schema -> r # gmapQ :: (forall d. Data d => d -> u) -> Schema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Schema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Schema -> m Schema # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Schema -> m Schema # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Schema -> m Schema #
Show Schema Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Schema -> ShowS # show :: Schema -> String # showList :: [Schema] -> ShowS #
Generic Schema Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Schema :: Type -> Type # Methods from :: Schema -> Rep Schema x # to :: Rep Schema x -> Schema #
Semigroup Schema Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: Schema -> Schema -> Schema # sconcat :: NonEmpty Schema -> Schema # stimes :: Integral b => b -> Schema -> Schema #
Monoid Schema Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: Schema # mappend :: Schema -> Schema -> Schema # mconcat :: [Schema] -> Schema #
ToJSON Schema Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Schema -> Value # toEncoding :: Schema -> Encoding # toJSONList :: [Schema] -> Value # toEncodingList :: [Schema] -> Encoding #
FromJSON Schema Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Schema # parseJSONList :: Value -> Parser [Schema] #
Generic Schema Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Code Schema :: [[Type]] # Methods from :: Schema -> Rep Schema # to :: Rep Schema -> Schema #
HasDatatypeInfo Schema Source #
Instance details Defined in Data.Swagger.Internal Associated Types type DatatypeInfoOf Schema :: DatatypeInfo # Methods datatypeInfo :: proxy Schema -> DatatypeInfo (Code Schema) #
HasSwaggerAesonOptions Schema Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerAesonOptions :: Proxy Schema -> SwaggerAesonOptions Source # aesonDefaults :: Proxy Schema -> POP Maybe (Code Schema) Source #
SwaggerMonoid Schema Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: Schema Source # swaggerMappend :: Schema -> Schema -> Schema Source #
HasSchema NamedSchema Schema Source #
Instance details Defined in Data.Swagger.Lens Methods schema :: Lens' NamedSchema Schema Source #
HasExternalDocs Schema (Maybe ExternalDocs) Source #
Instance details Defined in Data.Swagger.Lens Methods externalDocs :: Lens' Schema (Maybe ExternalDocs) Source #
HasDefinitions Swagger (Definitions Schema) Source #
Instance details Defined in Data.Swagger.Lens Methods definitions :: Lens' Swagger (Definitions Schema) Source #
HasTitle Schema (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods title :: Lens' Schema (Maybe Text) Source #
HasDescription Schema (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods description :: Lens' Schema (Maybe Text) Source #
HasSchema Response (Maybe (Referenced Schema)) Source #
Instance details Defined in Data.Swagger.Lens Methods schema :: Lens' Response (Maybe (Referenced Schema)) Source #
HasRequired Schema [ParamName] Source #
Instance details Defined in Data.Swagger.Lens Methods required :: Lens' Schema [ParamName] Source #
HasParamSchema Schema (ParamSchema (SwaggerKindSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Lens Methods paramSchema :: Lens' Schema (ParamSchema SwaggerKindSchema) Source #
HasXml Schema (Maybe Xml) Source #
Instance details Defined in Data.Swagger.Lens Methods xml :: Lens' Schema (Maybe Xml) Source #
HasReadOnly Schema (Maybe Bool) Source #
Instance details Defined in Data.Swagger.Lens Methods readOnly :: Lens' Schema (Maybe Bool) Source #
HasMinProperties Schema (Maybe Integer) Source #
Instance details Defined in Data.Swagger.Lens Methods minProperties :: Lens' Schema (Maybe Integer) Source #
HasMaxProperties Schema (Maybe Integer) Source #
Instance details Defined in Data.Swagger.Lens Methods maxProperties :: Lens' Schema (Maybe Integer) Source #
HasExample Schema (Maybe Value) Source #
Instance details Defined in Data.Swagger.Lens Methods example :: Lens' Schema (Maybe Value) Source #
HasDiscriminator Schema (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods discriminator :: Lens' Schema (Maybe Text) Source #
HasAllOf Schema (Maybe [Referenced Schema]) Source #
Instance details Defined in Data.Swagger.Lens Methods allOf :: Lens' Schema (Maybe [Referenced Schema]) Source #
HasAdditionalProperties Schema (Maybe AdditionalProperties) Source #
Instance details Defined in Data.Swagger.Lens Methods additionalProperties :: Lens' Schema (Maybe AdditionalProperties) Source #
HasType Schema (Maybe (SwaggerType (SwaggerKindSchema :: SwaggerKind Type))) Source #
Instance details Defined in Data.Swagger.Lens Methods type_ :: Lens' Schema (Maybe (SwaggerType SwaggerKindSchema)) Source #
HasDefault Schema (Maybe Value) Source #
Instance details Defined in Data.Swagger.Lens Methods default_ :: Lens' Schema (Maybe Value) Source #
HasProperties Schema (InsOrdHashMap Text (Referenced Schema)) Source #
Instance details Defined in Data.Swagger.Lens Methods properties :: Lens' Schema (InsOrdHashMap Text (Referenced Schema)) Source #
ToJSON (Referenced Schema) Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Referenced Schema -> Value # toEncoding :: Referenced Schema -> Encoding # toJSONList :: [Referenced Schema] -> Value # toEncodingList :: [Referenced Schema] -> Encoding #
FromJSON (Referenced Schema) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (Referenced Schema) # parseJSONList :: Value -> Parser [Referenced Schema] #
type Rep Schema Source #
Instance details Defined in Data.Swagger.Internal type Rep Schema = D1 (MetaData "Schema" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "Schema" PrefixI True) (((S1 (MetaSel (Just "_schemaTitle") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: (S1 (MetaSel (Just "_schemaDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "_schemaRequired") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ParamName]))) :: ((S1 (MetaSel (Just "_schemaAllOf") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Referenced Schema])) :: S1 (MetaSel (Just "_schemaProperties") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InsOrdHashMap Text (Referenced Schema)))) :: (S1 (MetaSel (Just "_schemaAdditionalProperties") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe AdditionalProperties)) :: S1 (MetaSel (Just "_schemaDiscriminator") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))))) :: ((S1 (MetaSel (Just "_schemaReadOnly") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :: (S1 (MetaSel (Just "_schemaXml") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Xml)) :: S1 (MetaSel (Just "_schemaExternalDocs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ExternalDocs)))) :: ((S1 (MetaSel (Just "_schemaExample") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Value)) :: S1 (MetaSel (Just "_schemaMaxProperties") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Integer))) :: (S1 (MetaSel (Just "_schemaMinProperties") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Integer)) :*: S1 (MetaSel (Just "_schemaParamSchema") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ParamSchema (SwaggerKindSchema :: SwaggerKind Type))))))))
type Code Schema Source #
Instance details Defined in Data.Swagger.Internal type Code 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 :: SwaggerKind Type) ': ([] :: [Type]))))))))))))))) ': ([] :: [[Type]])
type DatatypeInfoOf Schema Source #
Instance details Defined in Data.Swagger.Internal type DatatypeInfoOf Schema = ADT "Data.Swagger.Internal" "Schema" (Record "Schema" (FieldInfo "_schemaTitle" ': (FieldInfo "_schemaDescription" ': (FieldInfo "_schemaRequired" ': (FieldInfo "_schemaAllOf" ': (FieldInfo "_schemaProperties" ': (FieldInfo "_schemaAdditionalProperties" ': (FieldInfo "_schemaDiscriminator" ': (FieldInfo "_schemaReadOnly" ': (FieldInfo "_schemaXml" ': (FieldInfo "_schemaExternalDocs" ': (FieldInfo "_schemaExample" ': (FieldInfo "_schemaMaxProperties" ': (FieldInfo "_schemaMinProperties" ': (FieldInfo "_schemaParamSchema" ': ([] :: [FieldInfo]))))))))))))))) ': ([] :: [ConstructorInfo])) ((StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': ([] :: [StrictnessInfo]))))))))))))))) ': ([] :: [[StrictnessInfo]]))

data NamedSchema Source #

A Schema with an optional name. This name can be used in references.

Constructors

NamedSchema
Fields _namedSchemaName :: Maybe Text _namedSchemaSchema :: Schema

Instances

Eq NamedSchema Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: NamedSchema -> NamedSchema -> Bool # (/=) :: NamedSchema -> NamedSchema -> Bool #
Data NamedSchema Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NamedSchema -> c NamedSchema # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NamedSchema # toConstr :: NamedSchema -> Constr # dataTypeOf :: NamedSchema -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NamedSchema) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NamedSchema) # gmapT :: (forall b. Data b => b -> b) -> NamedSchema -> NamedSchema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NamedSchema -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NamedSchema -> r # gmapQ :: (forall d. Data d => d -> u) -> NamedSchema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NamedSchema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NamedSchema -> m NamedSchema # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedSchema -> m NamedSchema # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedSchema -> m NamedSchema #
Show NamedSchema Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> NamedSchema -> ShowS # show :: NamedSchema -> String # showList :: [NamedSchema] -> ShowS #
Generic NamedSchema Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep NamedSchema :: Type -> Type # Methods from :: NamedSchema -> Rep NamedSchema x # to :: Rep NamedSchema x -> NamedSchema #
HasSchema NamedSchema Schema Source #
Instance details Defined in Data.Swagger.Lens Methods schema :: Lens' NamedSchema Schema Source #
HasName NamedSchema (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods name :: Lens' NamedSchema (Maybe Text) Source #
HasParamSchema NamedSchema (ParamSchema (SwaggerKindSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Lens Methods paramSchema :: Lens' NamedSchema (ParamSchema SwaggerKindSchema) Source #
HasType NamedSchema (Maybe (SwaggerType (SwaggerKindSchema :: SwaggerKind Type))) Source #
Instance details Defined in Data.Swagger.Lens Methods type_ :: Lens' NamedSchema (Maybe (SwaggerType SwaggerKindSchema)) Source #
type Rep NamedSchema Source #
Instance details Defined in Data.Swagger.Internal type Rep NamedSchema = D1 (MetaData "NamedSchema" "Data.Swagger.Internal" "swagger2-2.4-7GGQol8nqP59uwH1hSShKy" False) (C1 (MetaCons "NamedSchema" PrefixI True) (S1 (MetaSel (Just "_namedSchemaName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :*: S1 (MetaSel (Just "_namedSchemaSchema") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Schema)))

data SwaggerItems t where Source #

Items for SwaggerArray schemas.

SwaggerItemsPrimitive should be used only for query params, headers and path pieces. The CollectionFormat t parameter specifies how elements of an array should be displayed. Note that fmt in SwaggerItemsPrimitive fmt schema specifies format for elements of type schema. This is different from the original Swagger's Items Object.

SwaggerItemsObject should be used to specify homogenous array Schemas.

SwaggerItemsArray should be used to specify tuple Schemas.

Constructors

SwaggerItemsPrimitive :: Maybe (CollectionFormat k) -> ParamSchema k -> SwaggerItems k
SwaggerItemsObject :: Referenced Schema -> SwaggerItems SwaggerKindSchema
SwaggerItemsArray :: [Referenced Schema] -> SwaggerItems SwaggerKindSchema

Instances

HasParamSchema s (ParamSchema t) => HasItems s (Maybe (SwaggerItems t)) Source #
Instance details Defined in Data.Swagger.Lens Methods items :: Lens' s (Maybe (SwaggerItems t)) Source #
Eq (SwaggerItems t) Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: SwaggerItems t -> SwaggerItems t -> Bool # (/=) :: SwaggerItems t -> SwaggerItems t -> Bool #
Data t => Data (SwaggerItems (SwaggerKindNormal t)) Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SwaggerItems (SwaggerKindNormal t) -> c (SwaggerItems (SwaggerKindNormal t)) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SwaggerItems (SwaggerKindNormal t)) # toConstr :: SwaggerItems (SwaggerKindNormal t) -> Constr # dataTypeOf :: SwaggerItems (SwaggerKindNormal t) -> DataType # dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (SwaggerItems (SwaggerKindNormal t))) # dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (SwaggerItems (SwaggerKindNormal t))) # gmapT :: (forall b. Data b => b -> b) -> SwaggerItems (SwaggerKindNormal t) -> SwaggerItems (SwaggerKindNormal t) # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerItems (SwaggerKindNormal t) -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerItems (SwaggerKindNormal t) -> r # gmapQ :: (forall d. Data d => d -> u) -> SwaggerItems (SwaggerKindNormal t) -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SwaggerItems (SwaggerKindNormal t) -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SwaggerItems (SwaggerKindNormal t) -> m (SwaggerItems (SwaggerKindNormal t)) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerItems (SwaggerKindNormal t) -> m (SwaggerItems (SwaggerKindNormal t)) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerItems (SwaggerKindNormal t) -> m (SwaggerItems (SwaggerKindNormal t)) #
Data (SwaggerItems (SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SwaggerItems SwaggerKindParamOtherSchema -> c (SwaggerItems SwaggerKindParamOtherSchema) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SwaggerItems SwaggerKindParamOtherSchema) # toConstr :: SwaggerItems SwaggerKindParamOtherSchema -> Constr # dataTypeOf :: SwaggerItems SwaggerKindParamOtherSchema -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (SwaggerItems SwaggerKindParamOtherSchema)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (SwaggerItems SwaggerKindParamOtherSchema)) # gmapT :: (forall b. Data b => b -> b) -> SwaggerItems SwaggerKindParamOtherSchema -> SwaggerItems SwaggerKindParamOtherSchema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerItems SwaggerKindParamOtherSchema -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerItems SwaggerKindParamOtherSchema -> r # gmapQ :: (forall d. Data d => d -> u) -> SwaggerItems SwaggerKindParamOtherSchema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SwaggerItems SwaggerKindParamOtherSchema -> u # gmapM :: Monad m => (forall d. Data d =

How to use this library

Monoid instances

Lenses and prisms

Schema specification

Manipulation

Validation

Re-exports

Swagger specification

Info types

PathItem

Operations

Types and formats

Parameters

Schemas

`Monoid` instances