swagger2-2.7: Swagger 2.0 data model
MaintainerNickolay Kudasov <nickolay@getshoptv.com>
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Data.Swagger

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

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\":{\"title\":\"\",\"version\":\"\"}}"

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" }
"{\"title\":\"Todo API\",\"version\":\"1.0\"}"

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

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

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

Note: if you're working with the optics library, take a look at Data.Swagger.Optics.

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\":{\"title\":\"\",\"version\":\"\"},\"paths\":{\"/user\":{\"get\":{\"produces\":[\"application/json\"],\"responses\":{\"200\":{\"description\":\"OK\",\"schema\":{\"$ref\":\"#/definitions/User\"}},\"404\":{\"description\":\"User info not found\"}}}}},\"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:

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 ToJSONToSchema 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

>>> data BadMixedType = ChoiceBool Bool | JustTag deriving Generic
>>> instance ToSchema BadMixedType
...
... error:
... • Cannot derive Generic-based Swagger Schema for BadMixedType
...   BadMixedType is a mixed sum type (has both unit and non-unit constructors).
...   Swagger does not have a good representation for these types.
...   Use genericDeclareNamedSchemaUnrestricted if you want to derive schema
...   that matches aeson's Generic-based toJSON,
...   but that's not supported by some Swagger tools.
...
... In the instance declaration for ‘ToSchema BadMixedType’

We can use genericDeclareNamedSchemaUnrestricted to try our best to represent this type as a Swagger Schema and match ToJSON:

>>> data BadMixedType = ChoiceBool Bool | JustTag deriving Generic
>>> instance ToSchema BadMixedType where declareNamedSchema = genericDeclareNamedSchemaUnrestricted defaultSchemaOptions
>>> instance ToJSON BadMixedType

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

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 :: SecurityDefinitions

    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

Instances details
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 :: forall r r'. (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

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

Monoid Swagger Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON Swagger Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Swagger

parseJSONList :: Value -> Parser [Swagger]

ToJSON Swagger Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Swagger -> Value

toEncoding :: Swagger -> Encoding

toJSONList :: [Swagger] -> Value

toEncodingList :: [Swagger] -> Encoding

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

HasSecurityDefinitions Swagger SecurityDefinitions Source # 
Instance details

Defined in Data.Swagger.Lens

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 #

(k ~ A_Lens, a ~ Maybe FilePath, b ~ Maybe FilePath) => LabelOptic "basePath" k Swagger Swagger a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

(k ~ A_Lens, a ~ MimeList, b ~ MimeList) => LabelOptic "consumes" k Swagger Swagger a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

(k ~ A_Lens, a ~ Definitions Schema, b ~ Definitions Schema) => LabelOptic "definitions" k Swagger Swagger a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

(k ~ A_Lens, a ~ Maybe ExternalDocs, b ~ Maybe ExternalDocs) => LabelOptic "externalDocs" k Swagger Swagger a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

(k ~ A_Lens, a ~ Maybe Host, b ~ Maybe Host) => LabelOptic "host" k Swagger Swagger a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

(k ~ A_Lens, a ~ Info, b ~ Info) => LabelOptic "info" k Swagger Swagger a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

(k ~ A_Lens, a ~ Definitions Param, b ~ Definitions Param) => LabelOptic "parameters" k Swagger Swagger a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

(k ~ A_Lens, a ~ InsOrdHashMap FilePath PathItem, b ~ InsOrdHashMap FilePath PathItem) => LabelOptic "paths" k Swagger Swagger a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

(k ~ A_Lens, a ~ MimeList, b ~ MimeList) => LabelOptic "produces" k Swagger Swagger a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

(k ~ A_Lens, a ~ Definitions Response, b ~ Definitions Response) => LabelOptic "responses" k Swagger Swagger a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

(k ~ A_Lens, a ~ Maybe [Scheme], b ~ Maybe [Scheme]) => LabelOptic "schemes" k Swagger Swagger a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

(k ~ A_Lens, a ~ [SecurityRequirement], b ~ [SecurityRequirement]) => LabelOptic "security" k Swagger Swagger a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

(k ~ A_Lens, a ~ SecurityDefinitions, b ~ SecurityDefinitions) => LabelOptic "securityDefinitions" k Swagger Swagger a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

(k ~ A_Lens, a ~ InsOrdHashSet Tag, b ~ InsOrdHashSet Tag) => LabelOptic "tags" k Swagger Swagger a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

HasTags Swagger (InsOrdHashSet Tag) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

tags :: Lens' Swagger (InsOrdHashSet Tag) Source #

HasSecurity Swagger [SecurityRequirement] Source # 
Instance details

Defined in Data.Swagger.Lens

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

HasParameters Swagger (Definitions Param) Source # 
Instance details

Defined in Data.Swagger.Lens

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

HasDefinitions Swagger (Definitions Schema) Source # 
Instance details

Defined in Data.Swagger.Lens

HasBasePath Swagger (Maybe FilePath) Source # 
Instance details

Defined in Data.Swagger.Lens

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.7-inplace" '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 SecurityDefinitions) :*: 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 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"]] '['['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]]

data Host Source #

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

Constructors

Host 

Fields

Instances

Instances details
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 :: forall r r'. (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 #

FromJSON Host Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Host

parseJSONList :: Value -> Parser [Host]

ToJSON Host Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Host -> Value

toEncoding :: Host -> Encoding

toJSONList :: [Host] -> Value

toEncodingList :: [Host] -> Encoding

HasName Host HostName Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

name :: Lens' Host HostName Source #

(k ~ A_Lens, a ~ HostName, b ~ HostName) => LabelOptic "name" k Host Host a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Host Host a b

(k ~ A_Lens, a ~ Maybe PortNumber, b ~ Maybe PortNumber) => LabelOptic "port" k Host Host a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Host Host a b

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.7-inplace" '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

Instances details
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 :: forall r r'. (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

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 #

FromJSON Scheme Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Scheme

parseJSONList :: Value -> Parser [Scheme]

ToJSON Scheme Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Scheme -> Value

toEncoding :: Scheme -> Encoding

toJSONList :: [Scheme] -> Value

toEncodingList :: [Scheme] -> Encoding

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.7-inplace" '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

Instances

Instances details
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 :: forall r r'. (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 #

FromJSON Info Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Info

parseJSONList :: Value -> Parser [Info]

ToJSON Info Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Info -> Value

toEncoding :: Info -> Encoding

toJSONList :: [Info] -> Value

toEncodingList :: [Info] -> Encoding

AesonDefaultValue Info Source # 
Instance details

Defined in Data.Swagger.Internal

SwaggerMonoid Info Source # 
Instance details

Defined in Data.Swagger.Internal

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 #

(k ~ A_Lens, a ~ Maybe Contact, b ~ Maybe Contact) => LabelOptic "contact" k Info Info a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Info Info a b

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" k Info Info a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Info Info a b

(k ~ A_Lens, a ~ Maybe License, b ~ Maybe License) => LabelOptic "license" k Info Info a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Info Info a b

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "termsOfService" k Info Info a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Info Info a b

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "title" k Info Info a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Info Info a b

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "version" k Info Info a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Info Info a b

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

data Contact Source #

Contact information for the exposed API.

Constructors

Contact 

Fields

Instances

Instances details
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 :: forall r r'. (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

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

Monoid Contact Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON Contact Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Contact

parseJSONList :: Value -> Parser [Contact]

ToJSON Contact Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Contact -> Value

toEncoding :: Contact -> Encoding

toJSONList :: [Contact] -> Value

toEncodingList :: [Contact] -> Encoding

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "email" k Contact Contact a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Contact Contact a b

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "name" k Contact Contact a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Contact Contact a b

(k ~ A_Lens, a ~ Maybe URL, b ~ Maybe URL) => LabelOptic "url" k Contact Contact a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Contact Contact a b

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.7-inplace" '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

Instances

Instances details
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 :: forall r r'. (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

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 #

FromJSON License Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser License

parseJSONList :: Value -> Parser [License]

ToJSON License Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: License -> Value

toEncoding :: License -> Encoding

toJSONList :: [License] -> Value

toEncodingList :: [License] -> Encoding

HasName License Text Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

name :: Lens' License Text Source #

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "name" k License License a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx License License a b

(k ~ A_Lens, a ~ Maybe URL, b ~ Maybe URL) => LabelOptic "url" k License License a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx License License a b

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.7-inplace" '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

Instances

Instances details
Eq PathItem Source # 
Instance details

Defined in Data.Swagger.Internal

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 :: forall r r'. (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

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

Monoid PathItem Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON PathItem Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser PathItem

parseJSONList :: Value -> Parser [PathItem]

ToJSON PathItem Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: PathItem -> Value

toEncoding :: PathItem -> Encoding

toJSONList :: [PathItem] -> Value

toEncodingList :: [PathItem] -> Encoding

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

SwaggerMonoid PathItem Source # 
Instance details

Defined in Data.Swagger.Internal

(k ~ A_Lens, a ~ Maybe Operation, b ~ Maybe Operation) => LabelOptic "delete" k PathItem PathItem a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx PathItem PathItem a b

(k ~ A_Lens, a ~ Maybe Operation, b ~ Maybe Operation) => LabelOptic "get" k PathItem PathItem a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx PathItem PathItem a b

(k ~ A_Lens, a ~ Maybe Operation, b ~ Maybe Operation) => LabelOptic "head" k PathItem PathItem a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx PathItem PathItem a b

(k ~ A_Lens, a ~ Maybe Operation, b ~ Maybe Operation) => LabelOptic "options" k PathItem PathItem a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx PathItem PathItem a b

(k ~ A_Lens, a ~ [Referenced Param], b ~ [Referenced Param]) => LabelOptic "parameters" k PathItem PathItem a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx PathItem PathItem a b

(k ~ A_Lens, a ~ Maybe Operation, b ~ Maybe Operation) => LabelOptic "patch" k PathItem PathItem a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx PathItem PathItem a b

(k ~ A_Lens, a ~ Maybe Operation, b ~ Maybe Operation) => LabelOptic "post" k PathItem PathItem a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx PathItem PathItem a b

(k ~ A_Lens, a ~ Maybe Operation, b ~ Maybe Operation) => LabelOptic "put" k PathItem PathItem a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx PathItem PathItem a b

HasParameters PathItem [Referenced Param] Source # 
Instance details

Defined in Data.Swagger.Lens

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

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

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 Code PathItem Source # 
Instance details

Defined in Data.Swagger.Internal

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"]] '['['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]]

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

Instances details
Eq Operation Source # 
Instance details

Defined in Data.Swagger.Internal

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 :: forall r r'. (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

Generic Operation Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep Operation :: Type -> Type #

Semigroup Operation Source # 
Instance details

Defined in Data.Swagger.Internal

Monoid Operation Source # 
Instance details

Defined in Data.Swagger.Internal

At Operation 
Instance details

Defined in Data.Swagger.Lens

Methods

at :: Index Operation -> Lens' Operation (Maybe (IxValue Operation))

Ixed Operation 
Instance details

Defined in Data.Swagger.Lens

Methods

ix :: Index Operation -> Traversal' Operation (IxValue Operation)

FromJSON Operation Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Operation

parseJSONList :: Value -> Parser [Operation]

ToJSON Operation Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Operation -> Value

toEncoding :: Operation -> Encoding

toJSONList :: [Operation] -> Value

toEncodingList :: [Operation] -> Encoding

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)

At Operation 
Instance details

Defined in Data.Swagger.Optics

Methods

at :: Index Operation -> Lens' Operation (Maybe (IxValue Operation))

Ixed Operation 
Instance details

Defined in Data.Swagger.Optics

Associated Types

type IxKind Operation

Methods

ix :: Index Operation -> Optic' (IxKind Operation) NoIx Operation (IxValue Operation)

HasSwaggerAesonOptions Operation Source # 
Instance details

Defined in Data.Swagger.Internal

SwaggerMonoid Operation Source # 
Instance details

Defined in Data.Swagger.Internal

HasResponses Operation Responses Source # 
Instance details

Defined in Data.Swagger.Lens

(k ~ A_Lens, a ~ Maybe MimeList, b ~ Maybe MimeList) => LabelOptic "consumes" k Operation Operation a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Operation Operation a b

(k ~ A_Lens, a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "deprecated" k Operation Operation a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Operation Operation a b

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" k Operation Operation a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Operation Operation a b

(k ~ A_Lens, a ~ Maybe ExternalDocs, b ~ Maybe ExternalDocs) => LabelOptic "externalDocs" k Operation Operation a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Operation Operation a b

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "operationId" k Operation Operation a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Operation Operation a b

(k ~ A_Lens, a ~ [Referenced Param], b ~ [Referenced Param]) => LabelOptic "parameters" k Operation Operation a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Operation Operation a b

(k ~ A_Lens, a ~ Maybe MimeList, b ~ Maybe MimeList) => LabelOptic "produces" k Operation Operation a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Operation Operation a b

(k ~ A_Lens, a ~ Responses, b ~ Responses) => LabelOptic "responses" k Operation Operation a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Operation Operation a b

(k ~ A_Lens, a ~ Maybe [Scheme], b ~ Maybe [Scheme]) => LabelOptic "schemes" k Operation Operation a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Operation Operation a b

(k ~ A_Lens, a ~ [SecurityRequirement], b ~ [SecurityRequirement]) => LabelOptic "security" k Operation Operation a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Operation Operation a b

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "summary" k Operation Operation a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Operation Operation a b

(k ~ A_Lens, a ~ InsOrdHashSet TagName, b ~ InsOrdHashSet TagName) => LabelOptic "tags" k Operation Operation a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Operation Operation a b

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

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

HasParameters Operation [Referenced Param] Source # 
Instance details

Defined in Data.Swagger.Lens

HasExternalDocs Operation (Maybe ExternalDocs) Source # 
Instance details

Defined in Data.Swagger.Lens

HasConsumes Operation (Maybe MimeList) Source # 
Instance details

Defined in Data.Swagger.Lens

HasDescription Operation (Maybe Text) Source # 
Instance details

Defined in Data.Swagger.Lens

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

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

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

HasDeprecated Operation (Maybe Bool) Source # 
Instance details

Defined in Data.Swagger.Lens

type Rep Operation Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep Operation = D1 ('MetaData "Operation" "Data.Swagger.Internal" "swagger2-2.7-inplace" '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 Index Operation 
Instance details

Defined in Data.Swagger.Lens

type IxValue Operation 
Instance details

Defined in Data.Swagger.Lens

type Code Operation Source # 
Instance details

Defined in Data.Swagger.Internal

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"]] '['['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]]
type Index Operation 
Instance details

Defined in Data.Swagger.Optics

type IxValue Operation 
Instance details

Defined in Data.Swagger.Optics

type IxKind Operation 
Instance details

Defined in Data.Swagger.Optics

type IxKind Operation = An_AffineTraversal

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

Instances

Instances details
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 :: forall r r'. (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 #

FromJSON Tag Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Tag

parseJSONList :: Value -> Parser [Tag]

ToJSON Tag Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Tag -> Value

toEncoding :: Tag -> Encoding

toJSONList :: [Tag] -> Value

toEncodingList :: [Tag] -> Encoding

Hashable Tag Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

hashWithSalt :: Int -> Tag -> Int

hash :: Tag -> Int

HasName Tag TagName Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

name :: Lens' Tag TagName Source #

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" k Tag Tag a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Tag Tag a b

(k ~ A_Lens, a ~ Maybe ExternalDocs, b ~ Maybe ExternalDocs) => LabelOptic "externalDocs" k Tag Tag a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Tag Tag a b

(k ~ A_Lens, a ~ TagName, b ~ TagName) => LabelOptic "name" k Tag Tag a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Tag Tag a b

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

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.7-inplace" '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 #

Instances

Instances details
HasType Header (Maybe (SwaggerType ('SwaggerKindNormal Header))) Source # 
Instance details

Defined in Data.Swagger.Lens

HasType NamedSchema (Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type))) Source # 
Instance details

Defined in Data.Swagger.Lens

HasType Schema (Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type))) Source # 
Instance details

Defined in Data.Swagger.Lens

HasType ParamOtherSchema (Maybe (SwaggerType ('SwaggerKindParamOtherSchema :: SwaggerKind Type))) Source # 
Instance details

Defined in Data.Swagger.Lens

Eq (SwaggerType t) Source # 
Instance details

Defined in Data.Swagger.Internal

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 :: forall r r'. (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 :: forall r r'. (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 :: forall r r'. (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

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

FromJSON (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type)) Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (SwaggerType 'SwaggerKindSchema)

parseJSONList :: Value -> Parser [SwaggerType 'SwaggerKindSchema]

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

AesonDefaultValue (SwaggerType a) Source # 
Instance details

Defined in Data.Swagger.Internal

SwaggerMonoid (SwaggerType t) Source # 
Instance details

Defined in Data.Swagger.Internal

HasType (ParamSchema t) (Maybe (SwaggerType t)) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' (ParamSchema t) (Maybe (SwaggerType t)) 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.

Instances

Instances details
Eq (CollectionFormat t) Source # 
Instance details

Defined in Data.Swagger.Internal

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 :: forall r r'. (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 :: forall r r'. (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

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

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

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

Instances details
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 :: forall r r'. (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 #

FromJSON Param Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Param

parseJSONList :: Value -> Parser [Param]

ToJSON Param Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Param -> Value

toEncoding :: Param -> Encoding

toJSONList :: [Param] -> Value

toEncodingList :: [Param] -> Encoding

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

SwaggerMonoid Param Source # 
Instance details

Defined in Data.Swagger.Internal

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

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" k Param Param a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Param Param a b

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "name" k Param Param a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Param Param a b

(k ~ A_Lens, a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "required" k Param Param a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Param Param a b

(k ~ A_Lens, a ~ ParamAnySchema, b ~ ParamAnySchema) => LabelOptic "schema" k Param Param a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Param Param a b

HasParameters Operation [Referenced Param] Source # 
Instance details

Defined in Data.Swagger.Lens

HasParameters PathItem [Referenced Param] Source # 
Instance details

Defined in Data.Swagger.Lens

HasParameters Swagger (Definitions Param) Source # 
Instance details

Defined in Data.Swagger.Lens

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 #

FromJSON (Referenced Param) Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (Referenced Param)

parseJSONList :: Value -> Parser [Referenced Param]

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

type Rep Param Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep Param = D1 ('MetaData "Param" "Data.Swagger.Internal" "swagger2-2.7-inplace" '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 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"]] '['['StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy]]

data ParamAnySchema Source #

Instances

Instances details
Eq ParamAnySchema Source # 
Instance details

Defined in Data.Swagger.Internal

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 :: forall r r'. (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

Generic ParamAnySchema Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep ParamAnySchema :: Type -> Type #

FromJSON ParamAnySchema Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser ParamAnySchema

parseJSONList :: Value -> Parser [ParamAnySchema]

ToJSON ParamAnySchema Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: ParamAnySchema -> Value

toEncoding :: ParamAnySchema -> Encoding

toJSONList :: [ParamAnySchema] -> Value

toEncodingList :: [ParamAnySchema] -> Encoding

AesonDefaultValue ParamAnySchema Source # 
Instance details

Defined in Data.Swagger.Internal

SwaggerMonoid ParamAnySchema Source # 
Instance details

Defined in Data.Swagger.Internal

HasSchema Param ParamAnySchema Source # 
Instance details

Defined in Data.Swagger.Lens

(k ~ A_Prism, a ~ Referenced Schema, b ~ Referenced Schema) => LabelOptic "_ParamBody" k ParamAnySchema ParamAnySchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx ParamAnySchema ParamAnySchema a b

(k ~ A_Prism, a ~ ParamOtherSchema, b ~ ParamOtherSchema) => LabelOptic "_ParamOther" k ParamAnySchema ParamAnySchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx ParamAnySchema ParamAnySchema a b

type Rep ParamAnySchema Source # 
Instance details

Defined in Data.Swagger.Internal

data ParamOtherSchema Source #

Constructors

ParamOtherSchema 

Fields

Instances

Instances details
Eq ParamOtherSchema Source # 
Instance details

Defined in Data.Swagger.Internal

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 :: forall r r'. (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

Generic ParamOtherSchema Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep ParamOtherSchema :: Type -> Type #

Semigroup ParamOtherSchema Source # 
Instance details

Defined in Data.Swagger.Internal

Monoid ParamOtherSchema Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON ParamOtherSchema Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser ParamOtherSchema

parseJSONList :: Value -> Parser [ParamOtherSchema]

ToJSON ParamOtherSchema Source # 
Instance details

Defined in Data.Swagger.Internal

Generic ParamOtherSchema Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Code ParamOtherSchema :: [[Type]]

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

SwaggerMonoid ParamOtherSchema Source # 
Instance details

Defined in Data.Swagger.Internal

HasIn ParamOtherSchema ParamLocation Source # 
Instance details

Defined in Data.Swagger.Lens

(k ~ A_Lens, a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "allowEmptyValue" k ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe Value, b ~ Maybe Value) => LabelOptic "default" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe [Value], b ~ Maybe [Value]) => LabelOptic "enum" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMaximum" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMinimum" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe Format, b ~ Maybe Format) => LabelOptic "format" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(k ~ A_Lens, a ~ ParamLocation, b ~ ParamLocation) => LabelOptic "in" k ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe (SwaggerItems ('SwaggerKindParamOtherSchema :: SwaggerKind Type)), b ~ Maybe (SwaggerItems ('SwaggerKindParamOtherSchema :: SwaggerKind Type))) => LabelOptic "items" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxItems" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxLength" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "maximum" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minItems" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minLength" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "minimum" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "multipleOf" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(k ~ A_Lens, a ~ ParamSchema ('SwaggerKindParamOtherSchema :: SwaggerKind Type), b ~ ParamSchema ('SwaggerKindParamOtherSchema :: SwaggerKind Type)) => LabelOptic "paramSchema" k ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "pattern" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe (SwaggerType ('SwaggerKindParamOtherSchema :: SwaggerKind Type)), b ~ Maybe (SwaggerType ('SwaggerKindParamOtherSchema :: SwaggerKind Type))) => LabelOptic "type" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "uniqueItems" A_Lens ParamOtherSchema ParamOtherSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

HasParamSchema ParamOtherSchema (ParamSchema ('SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source # 
Instance details

Defined in Data.Swagger.Lens

HasAllowEmptyValue ParamOtherSchema (Maybe Bool) Source # 
Instance details

Defined in Data.Swagger.Lens

HasType ParamOtherSchema (Maybe (SwaggerType ('SwaggerKindParamOtherSchema :: SwaggerKind Type))) Source # 
Instance details

Defined in Data.Swagger.Lens

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.7-inplace" '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 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"]] '['['StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy]]

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

Instances details
Eq ParamLocation Source # 
Instance details

Defined in Data.Swagger.Internal

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 :: forall r r'. (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

Generic ParamLocation Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep ParamLocation :: Type -> Type #

FromJSON ParamLocation Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser ParamLocation

parseJSONList :: Value -> Parser [ParamLocation]

ToJSON ParamLocation Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: ParamLocation -> Value

toEncoding :: ParamLocation -> Encoding

toJSONList :: [ParamLocation] -> Value

toEncodingList :: [ParamLocation] -> Encoding

AesonDefaultValue ParamLocation Source # 
Instance details

Defined in Data.Swagger.Internal

SwaggerMonoid ParamLocation Source # 
Instance details

Defined in Data.Swagger.Internal

HasIn ParamOtherSchema ParamLocation Source # 
Instance details

Defined in Data.Swagger.Lens

type Rep ParamLocation Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep ParamLocation = D1 ('MetaData "ParamLocation" "Data.Swagger.Internal" "swagger2-2.7-inplace" '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)))

data Header Source #

Constructors

Header 

Fields

Instances

Instances details
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 :: forall r r'. (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

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

Monoid Header Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON Header Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Header

parseJSONList :: Value -> Parser [Header]

ToJSON Header Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Header -> Value

toEncoding :: Header -> Encoding

toJSONList :: [Header] -> Value

toEncodingList :: [Header] -> Encoding

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

(a ~ Maybe Value, b ~ Maybe Value) => LabelOptic "default" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" k Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Header Header a b

(a ~ Maybe [Value], b ~ Maybe [Value]) => LabelOptic "enum" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMaximum" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMinimum" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(a ~ Maybe Format, b ~ Maybe Format) => LabelOptic "format" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(a ~ Maybe (SwaggerItems ('SwaggerKindNormal Header)), b ~ Maybe (SwaggerItems ('SwaggerKindNormal Header))) => LabelOptic "items" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxItems" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxLength" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "maximum" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minItems" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minLength" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "minimum" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "multipleOf" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(k ~ A_Lens, a ~ ParamSchema ('SwaggerKindNormal Header), b ~ ParamSchema ('SwaggerKindNormal Header)) => LabelOptic "paramSchema" k Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Header Header a b

(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "pattern" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(a ~ Maybe (SwaggerType ('SwaggerKindNormal Header)), b ~ Maybe (SwaggerType ('SwaggerKindNormal Header))) => LabelOptic "type" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "uniqueItems" A_Lens Header Header a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

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

HasType Header (Maybe (SwaggerType ('SwaggerKindNormal Header))) Source # 
Instance details

Defined in Data.Swagger.Lens

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.7-inplace" '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 DatatypeInfoOf Header Source # 
Instance details

Defined in Data.Swagger.Internal

type DatatypeInfoOf Header = 'ADT "Data.Swagger.Internal" "Header" '['Record "Header" '['FieldInfo "_headerDescription", 'FieldInfo "_headerParamSchema"]] '['['StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy]]

data Example Source #

Constructors

Example 

Fields

Instances

Instances details
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 :: forall r r'. (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

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

Monoid Example Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON Example Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Example

parseJSONList :: Value -> Parser [Example]

ToJSON Example Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Example -> Value

toEncoding :: Example -> Encoding

toJSONList :: [Example] -> Value

toEncodingList :: [Example] -> Encoding

HasExamples Response (Maybe Example) Source # 
Instance details

Defined in Data.Swagger.Lens

type Rep Example Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep Example = D1 ('MetaData "Example" "Data.Swagger.Internal" "swagger2-2.7-inplace" '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

Instances

Instances details
(k ~ A_Lens, a ~ Maybe Value, b ~ Maybe Value) => LabelOptic "default" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe [Value], b ~ Maybe [Value]) => LabelOptic "enum" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMaximum" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMinimum" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe Format, b ~ Maybe Format) => LabelOptic "format" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe (SwaggerItems t), b ~ Maybe (SwaggerItems t)) => LabelOptic "items" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxItems" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxLength" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "maximum" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minItems" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minLength" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "minimum" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "multipleOf" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe Pattern, b ~ Maybe Pattern) => LabelOptic "pattern" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe (SwaggerType t), b ~ Maybe (SwaggerType t)) => LabelOptic "type" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

(k ~ A_Lens, a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "uniqueItems" k (ParamSchema t) (ParamSchema t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (ParamSchema t) (ParamSchema t) a b

HasParamSchema Header (ParamSchema ('SwaggerKindNormal Header)) Source # 
Instance details

Defined in Data.Swagger.Lens

HasParamSchema NamedSchema (ParamSchema ('SwaggerKindSchema :: SwaggerKind Type)) Source # 
Instance details

Defined in Data.Swagger.Lens

HasParamSchema Schema (ParamSchema ('SwaggerKindSchema :: SwaggerKind Type)) Source # 
Instance details

Defined in Data.Swagger.Lens

HasParamSchema ParamOtherSchema (ParamSchema ('SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source # 
Instance details

Defined in Data.Swagger.Lens

Eq (ParamSchema t) Source # 
Instance details

Defined in Data.Swagger.Internal

(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 :: forall r r'. (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

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

Monoid (ParamSchema t) Source # 
Instance details

Defined in Data.Swagger.Internal

(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

FromJSON (ParamSchema ('SwaggerKindSchema :: SwaggerKind Type)) Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (ParamSchema 'SwaggerKindSchema)

parseJSONList :: Value -> Parser [ParamSchema 'SwaggerKindSchema]

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

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

HasSwaggerAesonOptions (ParamSchema ('SwaggerKindNormal t)) Source # 
Instance details

Defined in Data.Swagger.Internal

HasSwaggerAesonOptions (ParamSchema ('SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source # 
Instance details

Defined in Data.Swagger.Internal

HasSwaggerAesonOptions (ParamSchema ('SwaggerKindSchema :: SwaggerKind Type)) Source # 
Instance details

Defined in Data.Swagger.Internal

SwaggerMonoid (ParamSchema t) Source # 
Instance details

Defined in Data.Swagger.Internal

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

HasExclusiveMaximum (ParamSchema t) (Maybe Bool) Source # 
Instance details

Defined in Data.Swagger.Lens

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.7-inplace" '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 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"]] '['['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]]

data Schema Source #

Instances

Instances details
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 :: forall r r'. (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

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

Monoid Schema Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON Schema Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Schema

parseJSONList :: Value -> Parser [Schema]

ToJSON Schema Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Schema -> Value

toEncoding :: Schema -> Encoding

toJSONList :: [Schema] -> Value

toEncodingList :: [Schema] -> Encoding

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

SwaggerMonoid Schema Source # 
Instance details

Defined in Data.Swagger.Internal

HasSchema NamedSchema Schema Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

schema :: Lens' NamedSchema Schema Source #

(k ~ A_Lens, a ~ Maybe AdditionalProperties, b ~ Maybe AdditionalProperties) => LabelOptic "additionalProperties" k Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

(k ~ A_Lens, a ~ Maybe [Referenced Schema], b ~ Maybe [Referenced Schema]) => LabelOptic "allOf" k Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

(a ~ Maybe Value, b ~ Maybe Value) => LabelOptic "default" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" k Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "discriminator" k Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

(a ~ Maybe [Value], b ~ Maybe [Value]) => LabelOptic "enum" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(k ~ A_Lens, a ~ Maybe Value, b ~ Maybe Value) => LabelOptic "example" k Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMaximum" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMinimum" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(k ~ A_Lens, a ~ Maybe ExternalDocs, b ~ Maybe ExternalDocs) => LabelOptic "externalDocs" k Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

(a ~ Maybe Format, b ~ Maybe Format) => LabelOptic "format" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(a ~ Maybe (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type)), b ~ Maybe (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type))) => LabelOptic "items" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxItems" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxLength" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(k ~ A_Lens, a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxProperties" k Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "maximum" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minItems" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minLength" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(k ~ A_Lens, a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minProperties" k Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "minimum" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "multipleOf" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(k ~ A_Lens, a ~ ParamSchema ('SwaggerKindSchema :: SwaggerKind Type), b ~ ParamSchema ('SwaggerKindSchema :: SwaggerKind Type)) => LabelOptic "paramSchema" k Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "pattern" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(k ~ A_Lens, a ~ InsOrdHashMap Text (Referenced Schema), b ~ InsOrdHashMap Text (Referenced Schema)) => LabelOptic "properties" k Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

(k ~ A_Lens, a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "readOnly" k Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

(k ~ A_Lens, a ~ [ParamName], b ~ [ParamName]) => LabelOptic "required" k Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "title" k Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

(a ~ Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type)), b ~ Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type))) => LabelOptic "type" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "uniqueItems" A_Lens Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Schema Schema a b

(k ~ A_Lens, a ~ Maybe Xml, b ~ Maybe Xml) => LabelOptic "xml" k Schema Schema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

HasExternalDocs Schema (Maybe ExternalDocs) Source # 
Instance details

Defined in Data.Swagger.Lens

HasDefinitions Swagger (Definitions Schema) Source # 
Instance details

Defined in Data.Swagger.Lens

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

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

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

HasMaxProperties Schema (Maybe Integer) Source # 
Instance details

Defined in Data.Swagger.Lens

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

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

HasType Schema (Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type))) Source # 
Instance details

Defined in Data.Swagger.Lens

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 #

FromJSON (Referenced Schema) Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (Referenced Schema)

parseJSONList :: Value -> Parser [Referenced Schema]

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

type Rep Schema Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep Schema = D1 ('MetaData "Schema" "Data.Swagger.Internal" "swagger2-2.7-inplace" '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 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"]] '['['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]]

data NamedSchema Source #

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

Instances

Instances details
Eq NamedSchema Source # 
Instance details

Defined in Data.Swagger.Internal

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 :: forall r r'. (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

Generic NamedSchema Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep NamedSchema :: Type -> Type #

HasSchema NamedSchema Schema Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

schema :: Lens' NamedSchema Schema Source #

(a ~ Maybe Value, b ~ Maybe Value) => LabelOptic "default" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(a ~ Maybe [Value], b ~ Maybe [Value]) => LabelOptic "enum" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMaximum" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMinimum" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(a ~ Maybe Format, b ~ Maybe Format) => LabelOptic "format" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(a ~ Maybe (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type)), b ~ Maybe (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type))) => LabelOptic "items" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxItems" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxLength" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "maximum" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minItems" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minLength" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "minimum" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "multipleOf" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "name" k NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx NamedSchema NamedSchema a b

(a ~ ParamSchema ('SwaggerKindSchema :: SwaggerKind Type), b ~ ParamSchema ('SwaggerKindSchema :: SwaggerKind Type)) => LabelOptic "paramSchema" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "pattern" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(k ~ A_Lens, a ~ Schema, b ~ Schema) => LabelOptic "schema" k NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx NamedSchema NamedSchema a b

(a ~ Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type)), b ~ Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type))) => LabelOptic "type" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "uniqueItems" A_Lens NamedSchema NamedSchema a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

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

HasType NamedSchema (Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type))) Source # 
Instance details

Defined in Data.Swagger.Lens

type Rep NamedSchema Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep NamedSchema = D1 ('MetaData "NamedSchema" "Data.Swagger.Internal" "swagger2-2.7-inplace" '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.

Instances

Instances details
(a ~ [Referenced Schema], b ~ [Referenced Schema]) => LabelOptic "_SwaggerItemsArray" A_Review (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type)) (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type)) a b 
Instance details

Defined in Data.Swagger.Optics

(a ~ Referenced Schema, b ~ Referenced Schema) => LabelOptic "_SwaggerItemsObject" A_Review (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type)) (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type)) a b 
Instance details

Defined in Data.Swagger.Optics

(a ~ (Maybe (CollectionFormat t), ParamSchema t), b ~ (Maybe (CollectionFormat t), ParamSchema t)) => LabelOptic "_SwaggerItemsPrimitive" A_Review (SwaggerItems t) (SwaggerItems t) a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Review NoIx (SwaggerItems t) (SwaggerItems t) a b

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

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 :: forall r r'. (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 :: forall r r'. (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 => d -> m d) -> SwaggerItems 'SwaggerKindParamOtherSchema -> m (SwaggerItems 'SwaggerKindParamOtherSchema) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerItems 'SwaggerKindParamOtherSchema -> m (SwaggerItems 'SwaggerKindParamOtherSchema) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerItems 'SwaggerKindParamOtherSchema -> m (SwaggerItems 'SwaggerKindParamOtherSchema) #

Data (SwaggerItems ('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) -> SwaggerItems 'SwaggerKindSchema -> c (SwaggerItems 'SwaggerKindSchema) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SwaggerItems 'SwaggerKindSchema) #

toConstr :: SwaggerItems 'SwaggerKindSchema -> Constr #

dataTypeOf :: SwaggerItems 'SwaggerKindSchema -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (SwaggerItems 'SwaggerKindSchema)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (SwaggerItems 'SwaggerKindSchema)) #

gmapT :: (forall b. Data b => b -> b) -> SwaggerItems 'SwaggerKindSchema -> SwaggerItems 'SwaggerKindSchema #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerItems 'SwaggerKindSchema -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerItems 'SwaggerKindSchema -> r #

gmapQ :: (forall d. Data d => d -> u) -> SwaggerItems 'SwaggerKindSchema -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SwaggerItems 'SwaggerKindSchema -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SwaggerItems 'SwaggerKindSchema -> m (SwaggerItems 'SwaggerKindSchema) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerItems 'SwaggerKindSchema -> m (SwaggerItems 'SwaggerKindSchema) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerItems 'SwaggerKindSchema -> m (SwaggerItems 'SwaggerKindSchema) #

Show (SwaggerItems t) Source # 
Instance details

Defined in Data.Swagger.Internal

(FromJSON (CollectionFormat ('SwaggerKindNormal t)), FromJSON (ParamSchema ('SwaggerKindNormal t))) => FromJSON (SwaggerItems ('SwaggerKindNormal t)) Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (SwaggerItems ('SwaggerKindNormal t))

parseJSONList :: Value -> Parser [SwaggerItems ('SwaggerKindNormal t)]

FromJSON (SwaggerItems ('SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type)) Source #
>>> decode "{}" :: Maybe (SwaggerItems 'SwaggerKindSchema)
Just (SwaggerItemsArray [])
>>> eitherDecode "{\"$ref\":\"#/definitions/example\"}" :: Either String (SwaggerItems 'SwaggerKindSchema)
Right (SwaggerItemsObject (Ref (Reference {getReference = "example"})))
>>> eitherDecode "[{\"$ref\":\"#/definitions/example\"}]" :: Either String (SwaggerItems 'SwaggerKindSchema)
Right (SwaggerItemsArray [Ref (Reference {getReference = "example"})])
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (SwaggerItems 'SwaggerKindSchema)

parseJSONList :: Value -> Parser [SwaggerItems 'SwaggerKindSchema]

ToJSON (ParamSchema t) => ToJSON (SwaggerItems t) Source #

As for nullary schema for 0-arity type constructors, see https://github.com/GetShopTV/swagger2/issues/167.

>>> encode (SwaggerItemsArray [])
"{\"example\":[],\"items\":{},\"maxItems\":0}"
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: SwaggerItems t -> Value

toEncoding :: SwaggerItems t -> Encoding

toJSONList :: [SwaggerItems t] -> Value

toEncodingList :: [SwaggerItems t] -> Encoding

HasItems (ParamSchema t) (Maybe (SwaggerItems t)) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

items :: Lens' (ParamSchema t) (Maybe (SwaggerItems t)) Source #

data Xml Source #

Constructors

Xml 

Fields

  • _xmlName :: Maybe Text

    Replaces the name of the element/attribute used for the described schema property. When defined within the SwaggerItems (items), it will affect the name of the individual XML elements within the list. When defined alongside type being array (outside the items), it will affect the wrapping element and only if wrapped is true. If wrapped is false, it will be ignored.

  • _xmlNamespace :: Maybe Text

    The URL of the namespace definition. Value SHOULD be in the form of a URL.

  • _xmlPrefix :: Maybe Text

    The prefix to be used for the name.

  • _xmlAttribute :: Maybe Bool

    Declares whether the property definition translates to an attribute instead of an element. Default value is False.

  • _xmlWrapped :: Maybe Bool

    MAY be used only for an array definition. Signifies whether the array is wrapped (for example, <books><book><book></books>) or unwrapped (<book><book>). Default value is False. The definition takes effect only when defined alongside type being array (outside the items).

Instances

Instances details
Eq Xml Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

(==) :: Xml -> Xml -> Bool #

(/=) :: Xml -> Xml -> Bool #

Data Xml 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) -> Xml -> c Xml #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Xml #

toConstr :: Xml -> Constr #

dataTypeOf :: Xml -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Xml) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Xml) #

gmapT :: (forall b. Data b => b -> b) -> Xml -> Xml #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Xml -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Xml -> r #

gmapQ :: (forall d. Data d => d -> u) -> Xml -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Xml -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Xml -> m Xml #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Xml -> m Xml #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Xml -> m Xml #

Show Xml Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Xml -> ShowS #

show :: Xml -> String #

showList :: [Xml] -> ShowS #

Generic Xml Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep Xml :: Type -> Type #

Methods

from :: Xml -> Rep Xml x #

to :: Rep Xml x -> Xml #

FromJSON Xml Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Xml

parseJSONList :: Value -> Parser [Xml]

ToJSON Xml Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Xml -> Value

toEncoding :: Xml -> Encoding

toJSONList :: [Xml] -> Value

toEncodingList :: [Xml] -> Encoding

(k ~ A_Lens, a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "attribute" k Xml Xml a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Xml Xml a b

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "name" k Xml Xml a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Xml Xml a b

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "namespace" k Xml Xml a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Xml Xml a b

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "prefix" k Xml Xml a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Xml Xml a b

(k ~ A_Lens, a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "wrapped" k Xml Xml a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Xml Xml a b

HasName Xml (Maybe Text) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

name :: Lens' Xml (Maybe Text) Source #

HasXml Schema (Maybe Xml) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

xml :: Lens' Schema (Maybe Xml) Source #

HasWrapped Xml (Maybe Bool) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

wrapped :: Lens' Xml (Maybe Bool) Source #

HasPrefix Xml (Maybe Text) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

prefix :: Lens' Xml (Maybe Text) Source #

HasNamespace Xml (Maybe Text) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

namespace :: Lens' Xml (Maybe Text) Source #

HasAttribute Xml (Maybe Bool) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

attribute :: Lens' Xml (Maybe Bool) Source #

type Rep Xml Source # 
Instance details

Defined in Data.Swagger.Internal

type Pattern = Text Source #

Regex pattern for string type.

data AdditionalProperties Source #

Instances

Instances details
Eq AdditionalProperties Source # 
Instance details

Defined in Data.Swagger.Internal

Data AdditionalProperties 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) -> AdditionalProperties -> c AdditionalProperties #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AdditionalProperties #

toConstr :: AdditionalProperties -> Constr #

dataTypeOf :: AdditionalProperties -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AdditionalProperties) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AdditionalProperties) #

gmapT :: (forall b. Data b => b -> b) -> AdditionalProperties -> AdditionalProperties #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AdditionalProperties -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AdditionalProperties -> r #

gmapQ :: (forall d. Data d => d -> u) -> AdditionalProperties -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> AdditionalProperties -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AdditionalProperties -> m AdditionalProperties #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AdditionalProperties -> m AdditionalProperties #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AdditionalProperties -> m AdditionalProperties #

Show AdditionalProperties Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON AdditionalProperties Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser AdditionalProperties

parseJSONList :: Value -> Parser [AdditionalProperties]

ToJSON AdditionalProperties Source # 
Instance details

Defined in Data.Swagger.Internal

HasAdditionalProperties Schema (Maybe AdditionalProperties) Source # 
Instance details

Defined in Data.Swagger.Lens

Responses

data Responses Source #

A container for the expected responses of an operation. The container maps a HTTP response code to the expected response. It is not expected from the documentation to necessarily cover all possible HTTP response codes, since they may not be known in advance. However, it is expected from the documentation to cover a successful operation response and any known errors.

Constructors

Responses 

Fields

Instances

Instances details
Eq Responses Source # 
Instance details

Defined in Data.Swagger.Internal

Data Responses 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) -> Responses -> c Responses #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Responses #

toConstr :: Responses -> Constr #

dataTypeOf :: Responses -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Responses) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Responses) #

gmapT :: (forall b. Data b => b -> b) -> Responses -> Responses #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Responses -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Responses -> r #

gmapQ :: (forall d. Data d => d -> u) -> Responses -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Responses -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Responses -> m Responses #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Responses -> m Responses #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Responses -> m Responses #

Show Responses Source # 
Instance details

Defined in Data.Swagger.Internal

Generic Responses Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep Responses :: Type -> Type #

Semigroup Responses Source # 
Instance details

Defined in Data.Swagger.Internal

Monoid Responses Source # 
Instance details

Defined in Data.Swagger.Internal

At Responses 
Instance details

Defined in Data.Swagger.Lens

Methods

at :: Index Responses -> Lens' Responses (Maybe (IxValue Responses))

Ixed Responses 
Instance details

Defined in Data.Swagger.Lens

Methods

ix :: Index Responses -> Traversal' Responses (IxValue Responses)

FromJSON Responses Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Responses

parseJSONList :: Value -> Parser [Responses]

ToJSON Responses Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Responses -> Value

toEncoding :: Responses -> Encoding

toJSONList :: [Responses] -> Value

toEncodingList :: [Responses] -> Encoding

Generic Responses Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Code Responses :: [[Type]]

Methods

from :: Responses -> Rep Responses

to :: Rep Responses -> Responses

HasDatatypeInfo Responses Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf Responses :: DatatypeInfo

Methods

datatypeInfo :: proxy Responses -> DatatypeInfo (Code Responses)

At Responses 
Instance details

Defined in Data.Swagger.Optics

Methods

at :: Index Responses -> Lens' Responses (Maybe (IxValue Responses))

Ixed Responses 
Instance details

Defined in Data.Swagger.Optics

Associated Types

type IxKind Responses

Methods

ix :: Index Responses -> Optic' (IxKind Responses) NoIx Responses (IxValue Responses)

AesonDefaultValue Responses Source # 
Instance details

Defined in Data.Swagger.Internal

HasSwaggerAesonOptions Responses Source # 
Instance details

Defined in Data.Swagger.Internal

SwaggerMonoid Responses Source # 
Instance details

Defined in Data.Swagger.Internal

HasResponses Operation Responses Source # 
Instance details

Defined in Data.Swagger.Lens

(k ~ A_Lens, a ~ Maybe (Referenced Response), b ~ Maybe (Referenced Response)) => LabelOptic "default" k Responses Responses a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Responses Responses a b

(k ~ A_Lens, a ~ InsOrdHashMap HttpStatusCode (Referenced Response), b ~ InsOrdHashMap HttpStatusCode (Referenced Response)) => LabelOptic "responses" k Responses Responses a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Responses Responses a b

HasDefault Responses (Maybe (Referenced Response)) Source # 
Instance details

Defined in Data.Swagger.Lens

HasResponses Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

responses :: Lens' Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) Source #

type Rep Responses Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep Responses = D1 ('MetaData "Responses" "Data.Swagger.Internal" "swagger2-2.7-inplace" 'False) (C1 ('MetaCons "Responses" 'PrefixI 'True) (S1 ('MetaSel ('Just "_responsesDefault") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Referenced Response))) :*: S1 ('MetaSel ('Just "_responsesResponses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InsOrdHashMap HttpStatusCode (Referenced Response)))))
type Index Responses 
Instance details

Defined in Data.Swagger.Lens

type IxValue Responses 
Instance details

Defined in Data.Swagger.Lens

type Code Responses Source # 
Instance details

Defined in Data.Swagger.Internal

type Code Responses = '['[Maybe (Referenced Response), InsOrdHashMap HttpStatusCode (Referenced Response)]]
type DatatypeInfoOf Responses Source # 
Instance details

Defined in Data.Swagger.Internal

type DatatypeInfoOf Responses = 'ADT "Data.Swagger.Internal" "Responses" '['Record "Responses" '['FieldInfo "_responsesDefault", 'FieldInfo "_responsesResponses"]] '['['StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy]]
type Index Responses 
Instance details

Defined in Data.Swagger.Optics

type IxValue Responses 
Instance details

Defined in Data.Swagger.Optics

type IxKind Responses 
Instance details

Defined in Data.Swagger.Optics

type IxKind Responses = An_AffineTraversal

data Response Source #

Describes a single response from an API Operation.

Constructors

Response 

Fields

  • _responseDescription :: Text

    A short description of the response. GFM syntax can be used for rich text representation.

  • _responseSchema :: Maybe (Referenced Schema)

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

  • _responseHeaders :: InsOrdHashMap HeaderName Header

    A list of headers that are sent with the response.

  • _responseExamples :: Maybe Example

    An example of the response message.

Instances

Instances details
Eq Response Source # 
Instance details

Defined in Data.Swagger.Internal

Data Response 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) -> Response -> c Response #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Response #

toConstr :: Response -> Constr #

dataTypeOf :: Response -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Response) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Response) #

gmapT :: (forall b. Data b => b -> b) -> Response -> Response #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Response -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Response -> r #

gmapQ :: (forall d. Data d => d -> u) -> Response -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Response -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Response -> m Response #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Response -> m Response #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Response -> m Response #

Show Response Source # 
Instance details

Defined in Data.Swagger.Internal

IsString Response Source # 
Instance details

Defined in Data.Swagger.Internal

Generic Response Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep Response :: Type -> Type #

Methods

from :: Response -> Rep Response x #

to :: Rep Response x -> Response #

Semigroup Response Source # 
Instance details

Defined in Data.Swagger.Internal

Monoid Response Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON Response Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Response

parseJSONList :: Value -> Parser [Response]

ToJSON Response Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Response -> Value

toEncoding :: Response -> Encoding

toJSONList :: [Response] -> Value

toEncodingList :: [Response] -> Encoding

Generic Response Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Code Response :: [[Type]]

Methods

from :: Response -> Rep Response

to :: Rep Response -> Response

HasDatatypeInfo Response Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf Response :: DatatypeInfo

Methods

datatypeInfo :: proxy Response -> DatatypeInfo (Code Response)

HasSwaggerAesonOptions Response Source # 
Instance details

Defined in Data.Swagger.Internal

SwaggerMonoid Response Source # 
Instance details

Defined in Data.Swagger.Internal

HasDescription Response Text Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

description :: Lens' Response Text Source #

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "description" k Response Response a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Response Response a b

(k ~ A_Lens, a ~ Maybe Example, b ~ Maybe Example) => LabelOptic "examples" k Response Response a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Response Response a b

(k ~ A_Lens, a ~ InsOrdHashMap HeaderName Header, b ~ InsOrdHashMap HeaderName Header) => LabelOptic "headers" k Response Response a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Response Response a b

(k ~ A_Lens, a ~ Maybe (Referenced Schema), b ~ Maybe (Referenced Schema)) => LabelOptic "schema" k Response Response a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Response Response a b

HasResponses Swagger (Definitions Response) Source # 
Instance details

Defined in Data.Swagger.Lens

HasSchema Response (Maybe (Referenced Schema)) Source # 
Instance details

Defined in Data.Swagger.Lens

HasDefault Responses (Maybe (Referenced Response)) Source # 
Instance details

Defined in Data.Swagger.Lens

HasExamples Response (Maybe Example) Source # 
Instance details

Defined in Data.Swagger.Lens

HasResponses Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

responses :: Lens' Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) Source #

HasHeaders Response (InsOrdHashMap HeaderName Header) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

headers :: Lens' Response (InsOrdHashMap HeaderName Header) Source #

FromJSON (Referenced Response) Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (Referenced Response)

parseJSONList :: Value -> Parser [Referenced Response]

ToJSON (Referenced Response) Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep Response Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep Response = D1 ('MetaData "Response" "Data.Swagger.Internal" "swagger2-2.7-inplace" 'False) (C1 ('MetaCons "Response" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_responseDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_responseSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Referenced Schema)))) :*: (S1 ('MetaSel ('Just "_responseHeaders") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InsOrdHashMap HeaderName Header)) :*: S1 ('MetaSel ('Just "_responseExamples") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Example)))))
type Code Response Source # 
Instance details

Defined in Data.Swagger.Internal

type Code Response = '['[Text, Maybe (Referenced Schema), InsOrdHashMap HeaderName Header, Maybe Example]]
type DatatypeInfoOf Response Source # 
Instance details

Defined in Data.Swagger.Internal

type DatatypeInfoOf Response = 'ADT "Data.Swagger.Internal" "Response" '['Record "Response" '['FieldInfo "_responseDescription", 'FieldInfo "_responseSchema", 'FieldInfo "_responseHeaders", 'FieldInfo "_responseExamples"]] '['['StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy]]

Security

data SecurityScheme Source #

Constructors

SecurityScheme 

Fields

Instances

Instances details
Eq SecurityScheme Source # 
Instance details

Defined in Data.Swagger.Internal

Data SecurityScheme 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) -> SecurityScheme -> c SecurityScheme #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SecurityScheme #

toConstr :: SecurityScheme -> Constr #

dataTypeOf :: SecurityScheme -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SecurityScheme) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecurityScheme) #

gmapT :: (forall b. Data b => b -> b) -> SecurityScheme -> SecurityScheme #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SecurityScheme -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SecurityScheme -> r #

gmapQ :: (forall d. Data d => d -> u) -> SecurityScheme -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SecurityScheme -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SecurityScheme -> m SecurityScheme #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SecurityScheme -> m SecurityScheme #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SecurityScheme -> m SecurityScheme #

Show SecurityScheme Source # 
Instance details

Defined in Data.Swagger.Internal

Generic SecurityScheme Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep SecurityScheme :: Type -> Type #

Semigroup SecurityScheme Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON SecurityScheme Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser SecurityScheme

parseJSONList :: Value -> Parser [SecurityScheme]

ToJSON SecurityScheme Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: SecurityScheme -> Value

toEncoding :: SecurityScheme -> Encoding

toJSONList :: [SecurityScheme] -> Value

toEncodingList :: [SecurityScheme] -> Encoding

Generic SecurityScheme Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Code SecurityScheme :: [[Type]]

HasDatatypeInfo SecurityScheme Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf SecurityScheme :: DatatypeInfo

Methods

datatypeInfo :: proxy SecurityScheme -> DatatypeInfo (Code SecurityScheme)

HasSwaggerAesonOptions SecurityScheme Source # 
Instance details

Defined in Data.Swagger.Internal

HasType SecurityScheme SecuritySchemeType Source # 
Instance details

Defined in Data.Swagger.Lens

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" k SecurityScheme SecurityScheme a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx SecurityScheme SecurityScheme a b

(k ~ A_Lens, a ~ SecuritySchemeType, b ~ SecuritySchemeType) => LabelOptic "type" k SecurityScheme SecurityScheme a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx SecurityScheme SecurityScheme a b

HasDescription SecurityScheme (Maybe Text) Source # 
Instance details

Defined in Data.Swagger.Lens

type Rep SecurityScheme Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep SecurityScheme = D1 ('MetaData "SecurityScheme" "Data.Swagger.Internal" "swagger2-2.7-inplace" 'False) (C1 ('MetaCons "SecurityScheme" 'PrefixI 'True) (S1 ('MetaSel ('Just "_securitySchemeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecuritySchemeType) :*: S1 ('MetaSel ('Just "_securitySchemeDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))
type Code SecurityScheme Source # 
Instance details

Defined in Data.Swagger.Internal

type DatatypeInfoOf SecurityScheme Source # 
Instance details

Defined in Data.Swagger.Internal

type DatatypeInfoOf SecurityScheme = 'ADT "Data.Swagger.Internal" "SecurityScheme" '['Record "SecurityScheme" '['FieldInfo "_securitySchemeType", 'FieldInfo "_securitySchemeDescription"]] '['['StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy]]

data SecuritySchemeType Source #

Instances

Instances details
Eq SecuritySchemeType Source # 
Instance details

Defined in Data.Swagger.Internal

Data SecuritySchemeType 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) -> SecuritySchemeType -> c SecuritySchemeType #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SecuritySchemeType #

toConstr :: SecuritySchemeType -> Constr #

dataTypeOf :: SecuritySchemeType -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SecuritySchemeType) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecuritySchemeType) #

gmapT :: (forall b. Data b => b -> b) -> SecuritySchemeType -> SecuritySchemeType #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SecuritySchemeType -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SecuritySchemeType -> r #

gmapQ :: (forall d. Data d => d -> u) -> SecuritySchemeType -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SecuritySchemeType -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SecuritySchemeType -> m SecuritySchemeType #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SecuritySchemeType -> m SecuritySchemeType #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SecuritySchemeType -> m SecuritySchemeType #

Show SecuritySchemeType Source # 
Instance details

Defined in Data.Swagger.Internal

Generic SecuritySchemeType Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep SecuritySchemeType :: Type -> Type #

FromJSON SecuritySchemeType Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser SecuritySchemeType

parseJSONList :: Value -> Parser [SecuritySchemeType]

ToJSON SecuritySchemeType Source # 
Instance details

Defined in Data.Swagger.Internal

AesonDefaultValue SecuritySchemeType Source # 
Instance details

Defined in Data.Swagger.Internal

HasType SecurityScheme SecuritySchemeType Source # 
Instance details

Defined in Data.Swagger.Lens

(k ~ A_Prism, a ~ ApiKeyParams, b ~ ApiKeyParams) => LabelOptic "_SecuritySchemeApiKey" k SecuritySchemeType SecuritySchemeType a b 
Instance details

Defined in Data.Swagger.Optics

(k ~ A_Prism, a ~ (), b ~ ()) => LabelOptic "_SecuritySchemeBasic" k SecuritySchemeType SecuritySchemeType a b 
Instance details

Defined in Data.Swagger.Optics

(k ~ A_Prism, a ~ OAuth2Params, b ~ OAuth2Params) => LabelOptic "_SecuritySchemeOAuth2" k SecuritySchemeType SecuritySchemeType a b 
Instance details

Defined in Data.Swagger.Optics

type Rep SecuritySchemeType Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep SecuritySchemeType = D1 ('MetaData "SecuritySchemeType" "Data.Swagger.Internal" "swagger2-2.7-inplace" 'False) (C1 ('MetaCons "SecuritySchemeBasic" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SecuritySchemeApiKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ApiKeyParams)) :+: C1 ('MetaCons "SecuritySchemeOAuth2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OAuth2Params))))

newtype SecurityRequirement Source #

Lists the required security schemes to execute this operation. The object can have multiple security schemes declared in it which are all required (that is, there is a logical AND between the schemes).

Constructors

SecurityRequirement 

Fields

Instances

Instances details
Eq SecurityRequirement Source # 
Instance details

Defined in Data.Swagger.Internal

Data SecurityRequirement 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) -> SecurityRequirement -> c SecurityRequirement #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SecurityRequirement #

toConstr :: SecurityRequirement -> Constr #

dataTypeOf :: SecurityRequirement -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SecurityRequirement) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecurityRequirement) #

gmapT :: (forall b. Data b => b -> b) -> SecurityRequirement -> SecurityRequirement #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SecurityRequirement -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SecurityRequirement -> r #

gmapQ :: (forall d. Data d => d -> u) -> SecurityRequirement -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SecurityRequirement -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SecurityRequirement -> m SecurityRequirement #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SecurityRequirement -> m SecurityRequirement #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SecurityRequirement -> m SecurityRequirement #

Read SecurityRequirement Source # 
Instance details

Defined in Data.Swagger.Internal

Show SecurityRequirement Source # 
Instance details

Defined in Data.Swagger.Internal

Semigroup SecurityRequirement Source # 
Instance details

Defined in Data.Swagger.Internal

Monoid SecurityRequirement Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON SecurityRequirement Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser SecurityRequirement

parseJSONList :: Value -> Parser [SecurityRequirement]

ToJSON SecurityRequirement Source # 
Instance details

Defined in Data.Swagger.Internal

HasSecurity Operation [SecurityRequirement] Source # 
Instance details

Defined in Data.Swagger.Lens

HasSecurity Swagger [SecurityRequirement] Source # 
Instance details

Defined in Data.Swagger.Lens

newtype SecurityDefinitions Source #

Instances

Instances details
Eq SecurityDefinitions Source # 
Instance details

Defined in Data.Swagger.Internal

Data SecurityDefinitions 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) -> SecurityDefinitions -> c SecurityDefinitions #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SecurityDefinitions #

toConstr :: SecurityDefinitions -> Constr #

dataTypeOf :: SecurityDefinitions -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SecurityDefinitions) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecurityDefinitions) #

gmapT :: (forall b. Data b => b -> b) -> SecurityDefinitions -> SecurityDefinitions #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SecurityDefinitions -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SecurityDefinitions -> r #

gmapQ :: (forall d. Data d => d -> u) -> SecurityDefinitions -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SecurityDefinitions -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SecurityDefinitions -> m SecurityDefinitions #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SecurityDefinitions -> m SecurityDefinitions #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SecurityDefinitions -> m SecurityDefinitions #

Show SecurityDefinitions Source # 
Instance details

Defined in Data.Swagger.Internal

Generic SecurityDefinitions Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep SecurityDefinitions :: Type -> Type #

Semigroup SecurityDefinitions Source # 
Instance details

Defined in Data.Swagger.Internal

Monoid SecurityDefinitions Source # 
Instance details

Defined in Data.Swagger.Internal

At SecurityDefinitions 
Instance details

Defined in Data.Swagger.Lens

Ixed SecurityDefinitions 
Instance details

Defined in Data.Swagger.Lens

Methods

ix :: Index SecurityDefinitions -> Traversal' SecurityDefinitions (IxValue SecurityDefinitions)

FromJSON SecurityDefinitions Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser SecurityDefinitions

parseJSONList :: Value -> Parser [SecurityDefinitions]

ToJSON SecurityDefinitions Source # 
Instance details

Defined in Data.Swagger.Internal

AesonDefaultValue SecurityDefinitions Source # 
Instance details

Defined in Data.Swagger.Internal

SwaggerMonoid SecurityDefinitions Source # 
Instance details

Defined in Data.Swagger.Internal

HasSecurityDefinitions Swagger SecurityDefinitions Source # 
Instance details

Defined in Data.Swagger.Lens

type Rep SecurityDefinitions Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep SecurityDefinitions = D1 ('MetaData "SecurityDefinitions" "Data.Swagger.Internal" "swagger2-2.7-inplace" 'True) (C1 ('MetaCons "SecurityDefinitions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Definitions SecurityScheme))))
type Index SecurityDefinitions 
Instance details

Defined in Data.Swagger.Lens

type IxValue SecurityDefinitions 
Instance details

Defined in Data.Swagger.Lens

API key

data ApiKeyParams Source #

Constructors

ApiKeyParams 

Fields

Instances

Instances details
Eq ApiKeyParams Source # 
Instance details

Defined in Data.Swagger.Internal

Data ApiKeyParams 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) -> ApiKeyParams -> c ApiKeyParams #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ApiKeyParams #

toConstr :: ApiKeyParams -> Constr #

dataTypeOf :: ApiKeyParams -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ApiKeyParams) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ApiKeyParams) #

gmapT :: (forall b. Data b => b -> b) -> ApiKeyParams -> ApiKeyParams #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ApiKeyParams -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ApiKeyParams -> r #

gmapQ :: (forall d. Data d => d -> u) -> ApiKeyParams -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ApiKeyParams -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ApiKeyParams -> m ApiKeyParams #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ApiKeyParams -> m ApiKeyParams #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ApiKeyParams -> m ApiKeyParams #

Show ApiKeyParams Source # 
Instance details

Defined in Data.Swagger.Internal

Generic ApiKeyParams Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep ApiKeyParams :: Type -> Type #

FromJSON ApiKeyParams Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser ApiKeyParams

parseJSONList :: Value -> Parser [ApiKeyParams]

ToJSON ApiKeyParams Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: ApiKeyParams -> Value

toEncoding :: ApiKeyParams -> Encoding

toJSONList :: [ApiKeyParams] -> Value

toEncodingList :: [ApiKeyParams] -> Encoding

type Rep ApiKeyParams Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep ApiKeyParams = D1 ('MetaData "ApiKeyParams" "Data.Swagger.Internal" "swagger2-2.7-inplace" 'False) (C1 ('MetaCons "ApiKeyParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "_apiKeyName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_apiKeyIn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ApiKeyLocation)))

data ApiKeyLocation Source #

The location of the API key.

Constructors

ApiKeyQuery 
ApiKeyHeader 

Instances

Instances details
Eq ApiKeyLocation Source # 
Instance details

Defined in Data.Swagger.Internal

Data ApiKeyLocation 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) -> ApiKeyLocation -> c ApiKeyLocation #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ApiKeyLocation #

toConstr :: ApiKeyLocation -> Constr #

dataTypeOf :: ApiKeyLocation -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ApiKeyLocation) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ApiKeyLocation) #

gmapT :: (forall b. Data b => b -> b) -> ApiKeyLocation -> ApiKeyLocation #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ApiKeyLocation -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ApiKeyLocation -> r #

gmapQ :: (forall d. Data d => d -> u) -> ApiKeyLocation -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ApiKeyLocation -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ApiKeyLocation -> m ApiKeyLocation #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ApiKeyLocation -> m ApiKeyLocation #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ApiKeyLocation -> m ApiKeyLocation #

Show ApiKeyLocation Source # 
Instance details

Defined in Data.Swagger.Internal

Generic ApiKeyLocation Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep ApiKeyLocation :: Type -> Type #

FromJSON ApiKeyLocation Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser ApiKeyLocation

parseJSONList :: Value -> Parser [ApiKeyLocation]

ToJSON ApiKeyLocation Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: ApiKeyLocation -> Value

toEncoding :: ApiKeyLocation -> Encoding

toJSONList :: [ApiKeyLocation] -> Value

toEncodingList :: [ApiKeyLocation] -> Encoding

type Rep ApiKeyLocation Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep ApiKeyLocation = D1 ('MetaData "ApiKeyLocation" "Data.Swagger.Internal" "swagger2-2.7-inplace" 'False) (C1 ('MetaCons "ApiKeyQuery" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ApiKeyHeader" 'PrefixI 'False) (U1 :: Type -> Type))

OAuth2

data OAuth2Params Source #

Constructors

OAuth2Params 

Fields

Instances

Instances details
Eq OAuth2Params Source # 
Instance details

Defined in Data.Swagger.Internal

Data OAuth2Params 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) -> OAuth2Params -> c OAuth2Params #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OAuth2Params #

toConstr :: OAuth2Params -> Constr #

dataTypeOf :: OAuth2Params -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OAuth2Params) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OAuth2Params) #

gmapT :: (forall b. Data b => b -> b) -> OAuth2Params -> OAuth2Params #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OAuth2Params -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OAuth2Params -> r #

gmapQ :: (forall d. Data d => d -> u) -> OAuth2Params -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OAuth2Params -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OAuth2Params -> m OAuth2Params #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OAuth2Params -> m OAuth2Params #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OAuth2Params -> m OAuth2Params #

Show OAuth2Params Source # 
Instance details

Defined in Data.Swagger.Internal

Generic OAuth2Params Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep OAuth2Params :: Type -> Type #

FromJSON OAuth2Params Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser OAuth2Params

parseJSONList :: Value -> Parser [OAuth2Params]

ToJSON OAuth2Params Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: OAuth2Params -> Value

toEncoding :: OAuth2Params -> Encoding

toJSONList :: [OAuth2Params] -> Value

toEncodingList :: [OAuth2Params] -> Encoding

Generic OAuth2Params Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Code OAuth2Params :: [[Type]]

HasDatatypeInfo OAuth2Params Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf OAuth2Params :: DatatypeInfo

Methods

datatypeInfo :: proxy OAuth2Params -> DatatypeInfo (Code OAuth2Params)

HasSwaggerAesonOptions OAuth2Params Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep OAuth2Params Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep OAuth2Params = D1 ('MetaData "OAuth2Params" "Data.Swagger.Internal" "swagger2-2.7-inplace" 'False) (C1 ('MetaCons "OAuth2Params" 'PrefixI 'True) (S1 ('MetaSel ('Just "_oauth2Flow") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OAuth2Flow) :*: S1 ('MetaSel ('Just "_oauth2Scopes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InsOrdHashMap Text Text))))
type Code OAuth2Params Source # 
Instance details

Defined in Data.Swagger.Internal

type Code OAuth2Params = '['[OAuth2Flow, InsOrdHashMap Text Text]]
type DatatypeInfoOf OAuth2Params Source # 
Instance details

Defined in Data.Swagger.Internal

type DatatypeInfoOf OAuth2Params = 'ADT "Data.Swagger.Internal" "OAuth2Params" '['Record "OAuth2Params" '['FieldInfo "_oauth2Flow", 'FieldInfo "_oauth2Scopes"]] '['['StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy]]

data OAuth2Flow Source #

Instances

Instances details
Eq OAuth2Flow Source # 
Instance details

Defined in Data.Swagger.Internal

Data OAuth2Flow 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) -> OAuth2Flow -> c OAuth2Flow #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OAuth2Flow #

toConstr :: OAuth2Flow -> Constr #

dataTypeOf :: OAuth2Flow -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OAuth2Flow) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OAuth2Flow) #

gmapT :: (forall b. Data b => b -> b) -> OAuth2Flow -> OAuth2Flow #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OAuth2Flow -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OAuth2Flow -> r #

gmapQ :: (forall d. Data d => d -> u) -> OAuth2Flow -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OAuth2Flow -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OAuth2Flow -> m OAuth2Flow #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OAuth2Flow -> m OAuth2Flow #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OAuth2Flow -> m OAuth2Flow #

Show OAuth2Flow Source # 
Instance details

Defined in Data.Swagger.Internal

Generic OAuth2Flow Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep OAuth2Flow :: Type -> Type #

FromJSON OAuth2Flow Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser OAuth2Flow

parseJSONList :: Value -> Parser [OAuth2Flow]

ToJSON OAuth2Flow Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: OAuth2Flow -> Value

toEncoding :: OAuth2Flow -> Encoding

toJSONList :: [OAuth2Flow] -> Value

toEncodingList :: [OAuth2Flow] -> Encoding

AesonDefaultValue OAuth2Flow Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep OAuth2Flow Source # 
Instance details

Defined in Data.Swagger.Internal

type AuthorizationURL = Text Source #

The authorization URL to be used for OAuth2 flow. This SHOULD be in the form of a URL.

type TokenURL = Text Source #

The token URL to be used for OAuth2 flow. This SHOULD be in the form of a URL.

External documentation

data ExternalDocs Source #

Allows referencing an external resource for extended documentation.

Constructors

ExternalDocs 

Fields

Instances

Instances details
Eq ExternalDocs Source # 
Instance details

Defined in Data.Swagger.Internal

Data ExternalDocs 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) -> ExternalDocs -> c ExternalDocs #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExternalDocs #

toConstr :: ExternalDocs -> Constr #

dataTypeOf :: ExternalDocs -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExternalDocs) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExternalDocs) #

gmapT :: (forall b. Data b => b -> b) -> ExternalDocs -> ExternalDocs #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExternalDocs -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExternalDocs -> r #

gmapQ :: (forall d. Data d => d -> u) -> ExternalDocs -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ExternalDocs -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExternalDocs -> m ExternalDocs #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExternalDocs -> m ExternalDocs #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExternalDocs -> m ExternalDocs #

Ord ExternalDocs Source # 
Instance details

Defined in Data.Swagger.Internal

Show ExternalDocs Source # 
Instance details

Defined in Data.Swagger.Internal

Generic ExternalDocs Source # 
Instance details

Defined in Data.Swagger.Internal

Associated Types

type Rep ExternalDocs :: Type -> Type #

Semigroup ExternalDocs Source # 
Instance details

Defined in Data.Swagger.Internal

Monoid ExternalDocs Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON ExternalDocs Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser ExternalDocs

parseJSONList :: Value -> Parser [ExternalDocs]

ToJSON ExternalDocs Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: ExternalDocs -> Value

toEncoding :: ExternalDocs -> Encoding

toJSONList :: [ExternalDocs] -> Value

toEncodingList :: [ExternalDocs] -> Encoding

Hashable ExternalDocs Source # 
Instance details

Defined in Data.Swagger.Internal

SwaggerMonoid ExternalDocs Source # 
Instance details

Defined in Data.Swagger.Internal

HasUrl ExternalDocs URL Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

url :: Lens' ExternalDocs URL Source #

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" k ExternalDocs ExternalDocs a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx ExternalDocs ExternalDocs a b

(k ~ A_Lens, a ~ URL, b ~ URL) => LabelOptic "url" k ExternalDocs ExternalDocs a b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx ExternalDocs ExternalDocs a b

HasExternalDocs Tag (Maybe ExternalDocs) Source # 
Instance details

Defined in Data.Swagger.Lens

HasExternalDocs Schema (Maybe ExternalDocs) Source # 
Instance details

Defined in Data.Swagger.Lens

HasExternalDocs Operation (Maybe ExternalDocs) Source # 
Instance details

Defined in Data.Swagger.Lens

HasExternalDocs Swagger (Maybe ExternalDocs) Source # 
Instance details

Defined in Data.Swagger.Lens

HasDescription ExternalDocs (Maybe Text) Source # 
Instance details

Defined in Data.Swagger.Lens

type Rep ExternalDocs Source # 
Instance details

Defined in Data.Swagger.Internal

type Rep ExternalDocs = D1 ('MetaData "ExternalDocs" "Data.Swagger.Internal" "swagger2-2.7-inplace" 'False) (C1 ('MetaCons "ExternalDocs" 'PrefixI 'True) (S1 ('MetaSel ('Just "_externalDocsDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "_externalDocsUrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 URL)))

References

newtype Reference Source #

A simple object to allow referencing other definitions in the specification. It can be used to reference parameters and responses that are defined at the top level for reuse.

Constructors

Reference 

Fields

Instances

Instances details
Eq Reference Source # 
Instance details

Defined in Data.Swagger.Internal

Data Reference 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) -> Reference -> c Reference #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Reference #

toConstr :: Reference -> Constr #

dataTypeOf :: Reference -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Reference) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Reference) #

gmapT :: (forall b. Data b => b -> b) -> Reference -> Reference #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Reference -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Reference -> r #

gmapQ :: (forall d. Data d => d -> u) -> Reference -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Reference -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Reference -> m Reference #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Reference -> m Reference #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Reference -> m Reference #

Show Reference Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON Reference Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Reference

parseJSONList :: Value -> Parser [Reference]

ToJSON Reference Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: Reference -> Value

toEncoding :: Reference -> Encoding

toJSONList :: [Reference] -> Value

toEncodingList :: [Reference] -> Encoding

data Referenced a Source #

Constructors

Ref Reference 
Inline a 

Instances

Instances details
Functor Referenced Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

fmap :: (a -> b) -> Referenced a -> Referenced b #

(<$) :: a -> Referenced b -> Referenced a #

(k ~ A_Prism, a1 ~ a2, b ~ a3) => LabelOptic "_Inline" k (Referenced a2) (Referenced a3) a1 b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (Referenced a2) (Referenced a3) a1 b

(k ~ A_Prism, a1 ~ Reference, b ~ Reference) => LabelOptic "_Ref" k (Referenced a2) (Referenced a2) a1 b 
Instance details

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx (Referenced a2) (Referenced a2) a1 b

HasParameters Operation [Referenced Param] Source # 
Instance details

Defined in Data.Swagger.Lens

HasParameters PathItem [Referenced Param] Source # 
Instance details

Defined in Data.Swagger.Lens

HasSchema Response (Maybe (Referenced Schema)) Source # 
Instance details

Defined in Data.Swagger.Lens

HasAllOf Schema (Maybe [Referenced Schema]) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

allOf :: Lens' Schema (Maybe [Referenced Schema]) Source #

HasDefault Responses (Maybe (Referenced Response)) Source # 
Instance details

Defined in Data.Swagger.Lens

HasResponses Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

responses :: Lens' Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) Source #

HasProperties Schema (InsOrdHashMap Text (Referenced Schema)) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

properties :: Lens' Schema (InsOrdHashMap Text (Referenced Schema)) Source #

Eq a => Eq (Referenced a) Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

(==) :: Referenced a -> Referenced a -> Bool #

(/=) :: Referenced a -> Referenced a -> Bool #

Data a => Data (Referenced a) 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) -> Referenced a -> c (Referenced a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Referenced a) #

toConstr :: Referenced a -> Constr #

dataTypeOf :: Referenced a -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Referenced a)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Referenced a)) #

gmapT :: (forall b. Data b => b -> b) -> Referenced a -> Referenced a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Referenced a -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Referenced a -> r #

gmapQ :: (forall d. Data d => d -> u) -> Referenced a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Referenced a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Referenced a -> m (Referenced a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Referenced a -> m (Referenced a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Referenced a -> m (Referenced a) #

Show a => Show (Referenced a) Source # 
Instance details

Defined in Data.Swagger.Internal

IsString a => IsString (Referenced a) Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

fromString :: String -> Referenced a #

FromJSON (Referenced Response) Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (Referenced Response)

parseJSONList :: Value -> Parser [Referenced Response]

FromJSON (Referenced Schema) Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (Referenced Schema)

parseJSONList :: Value -> Parser [Referenced Schema]

FromJSON (Referenced Param) Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (Referenced Param)

parseJSONList :: Value -> Parser [Referenced Param]

ToJSON (Referenced Response) Source # 
Instance details

Defined in Data.Swagger.Internal

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

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

Monoid a => SwaggerMonoid (Referenced a) Source # 
Instance details

Defined in Data.Swagger.Internal

Miscellaneous

newtype MimeList Source #

Constructors

MimeList 

Fields

Instances

Instances details
Eq MimeList Source # 
Instance details

Defined in Data.Swagger.Internal

Data MimeList 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) -> MimeList -> c MimeList #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MimeList #

toConstr :: MimeList -> Constr #

dataTypeOf :: MimeList -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MimeList) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MimeList) #

gmapT :: (forall b. Data b => b -> b) -> MimeList -> MimeList #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MimeList -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MimeList -> r #

gmapQ :: (forall d. Data d => d -> u) -> MimeList -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MimeList -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MimeList -> m MimeList #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MimeList -> m MimeList #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MimeList -> m MimeList #

Show MimeList Source # 
Instance details

Defined in Data.Swagger.Internal

Semigroup MimeList Source # 
Instance details

Defined in Data.Swagger.Internal

Monoid MimeList Source # 
Instance details

Defined in Data.Swagger.Internal

FromJSON MimeList Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser MimeList

parseJSONList :: Value -> Parser [MimeList]

ToJSON MimeList Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: MimeList -> Value

toEncoding :: MimeList -> Encoding

toJSONList :: [MimeList] -> Value

toEncodingList :: [MimeList] -> Encoding

AesonDefaultValue MimeList Source # 
Instance details

Defined in Data.Swagger.Internal

SwaggerMonoid MimeList Source # 
Instance details

Defined in Data.Swagger.Internal

HasProduces Swagger MimeList Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

produces :: Lens' Swagger MimeList Source #

HasConsumes Swagger MimeList Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

consumes :: Lens' Swagger MimeList Source #

HasProduces Operation (Maybe MimeList) Source # 
Instance details

Defined in Data.Swagger.Lens

HasConsumes Operation (Maybe MimeList) Source # 
Instance details

Defined in Data.Swagger.Lens

newtype URL Source #

Constructors

URL 

Fields

Instances

Instances details
Eq URL Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

(==) :: URL -> URL -> Bool #

(/=) :: URL -> URL -> Bool #

Data URL 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) -> URL -> c URL #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c URL #

toConstr :: URL -> Constr #

dataTypeOf :: URL -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c URL) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c URL) #

gmapT :: (forall b. Data b => b -> b) -> URL -> URL #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> URL -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> URL -> r #

gmapQ :: (forall d. Data d => d -> u) -> URL -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> URL -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> URL -> m URL #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> URL -> m URL #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> URL -> m URL #

Ord URL Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

compare :: URL -> URL -> Ordering #

(<) :: URL -> URL -> Bool #

(<=) :: URL -> URL -> Bool #

(>) :: URL -> URL -> Bool #

(>=) :: URL -> URL -> Bool #

max :: URL -> URL -> URL #

min :: URL -> URL -> URL #

Show URL Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> URL -> ShowS #

show :: URL -> String #

showList :: [URL] -> ShowS #

FromJSON URL Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser URL

parseJSONList :: Value -> Parser [URL]

ToJSON URL Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

toJSON :: URL -> Value

toEncoding :: URL -> Encoding

toJSONList :: [URL] -> Value

toEncodingList :: [URL] -> Encoding

Hashable URL Source # 
Instance details

Defined in Data.Swagger.Internal

Methods

hashWithSalt :: Int -> URL -> Int

hash :: URL -> Int

SwaggerMonoid URL Source # 
Instance details

Defined in Data.Swagger.Internal

HasUrl ExternalDocs URL Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

url :: Lens' ExternalDocs URL Source #

HasUrl License (Maybe URL) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

url :: Lens' License (Maybe URL) Source #

HasUrl Contact (Maybe URL) Source # 
Instance details

Defined in Data.Swagger.Lens

Methods

url :: Lens' Contact (Maybe URL) Source #