Data.Swagger

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.

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:

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

Schema specification

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

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

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

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

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

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

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

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

Here's an example showing ToJSON–ToSchema correspondance:

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

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

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

and for sum types that have constructors with values

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

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

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

module Data.Swagger.Lens

module Data.Swagger.Operation

module Data.Swagger.ParamSchema

module Data.Swagger.Schema

module Data.Swagger.Schema.Validation

Swagger specification

data Swagger

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

Data Swagger

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

Monoid Swagger

Defined in Data.Swagger.Internal

Methods

mempty :: Swagger

mappend :: Swagger -> Swagger -> Swagger

mconcat :: [Swagger] -> Swagger

Semigroup Swagger

Defined in Data.Swagger.Internal

Methods

(<>) :: Swagger -> Swagger -> Swagger

sconcat :: NonEmpty Swagger -> Swagger

stimes :: Integral b => b -> Swagger -> Swagger

Generic Swagger

Defined in Data.Swagger.Internal

Associated Types

type Rep Swagger :: Type -> Type

Methods

from :: Swagger -> Rep Swagger x

to :: Rep Swagger x -> Swagger

Show Swagger

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Swagger -> ShowS

show :: Swagger -> String

showList :: [Swagger] -> ShowS

Eq Swagger

Defined in Data.Swagger.Internal

Methods

(==) :: Swagger -> Swagger -> Bool

(/=) :: Swagger -> Swagger -> Bool

Generic Swagger

Defined in Data.Swagger.Internal

Associated Types

type Code Swagger :: [[Type]]

Methods

from :: Swagger -> Rep Swagger

to :: Rep Swagger -> Swagger

HasDatatypeInfo Swagger

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf Swagger :: DatatypeInfo

Methods

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

FromJSON Swagger

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Swagger

parseJSONList :: Value -> Parser [Swagger]

ToJSON Swagger

Defined in Data.Swagger.Internal

Methods

toJSON :: Swagger -> Value

toEncoding :: Swagger -> Encoding

toJSONList :: [Swagger] -> Value

toEncodingList :: [Swagger] -> Encoding

HasSwaggerAesonOptions Swagger

Defined in Data.Swagger.Internal

Methods

swaggerAesonOptions :: Proxy Swagger -> SwaggerAesonOptions

aesonDefaults :: Proxy Swagger -> POP Maybe (Code Swagger)

HasConsumes Swagger MimeList

Defined in Data.Swagger.Lens

Methods

consumes :: Lens' Swagger MimeList

HasInfo Swagger Info

Defined in Data.Swagger.Lens

Methods

info :: Lens' Swagger Info

HasProduces Swagger MimeList

Defined in Data.Swagger.Lens

Methods

produces :: Lens' Swagger MimeList

HasSecurityDefinitions Swagger SecurityDefinitions

Defined in Data.Swagger.Lens

Methods

securityDefinitions :: Lens' Swagger SecurityDefinitions

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Swagger Swagger a b

HasBasePath Swagger (Maybe FilePath)

Defined in Data.Swagger.Lens

Methods

basePath :: Lens' Swagger (Maybe FilePath)

HasDefinitions Swagger (Definitions Schema)

Defined in Data.Swagger.Lens

Methods

definitions :: Lens' Swagger (Definitions Schema)

HasExternalDocs Swagger (Maybe ExternalDocs)

Defined in Data.Swagger.Lens

Methods

externalDocs :: Lens' Swagger (Maybe ExternalDocs)

HasHost Swagger (Maybe Host)

Defined in Data.Swagger.Lens

Methods

host :: Lens' Swagger (Maybe Host)

HasParameters Swagger (Definitions Param)

Defined in Data.Swagger.Lens

Methods

parameters :: Lens' Swagger (Definitions Param)

HasResponses Swagger (Definitions Response)

Defined in Data.Swagger.Lens

Methods

responses :: Lens' Swagger (Definitions Response)

HasSchemes Swagger (Maybe [Scheme])

Defined in Data.Swagger.Lens

Methods

schemes :: Lens' Swagger (Maybe [Scheme])

HasSecurity Swagger [SecurityRequirement]

Defined in Data.Swagger.Lens

Methods

security :: Lens' Swagger [SecurityRequirement]

HasTags Swagger (InsOrdHashSet Tag)

Defined in Data.Swagger.Lens

Methods

tags :: Lens' Swagger (InsOrdHashSet Tag)

HasPaths Swagger (InsOrdHashMap FilePath PathItem)

Defined in Data.Swagger.Lens

Methods

paths :: Lens' Swagger (InsOrdHashMap FilePath PathItem)

type Rep Swagger

Defined in Data.Swagger.Internal

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

Defined in Data.Swagger.Internal

type Code Swagger = '['[Info, Maybe Host, Maybe FilePath, Maybe [Scheme], MimeList, MimeList, InsOrdHashMap FilePath PathItem, Definitions Schema, Definitions Param, Definitions Response, SecurityDefinitions, [SecurityRequirement], InsOrdHashSet Tag, Maybe ExternalDocs]]

type DatatypeInfoOf Swagger

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

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

Constructors

Host

Fields

• _hostName :: HostName

  Host name.

• _hostPort :: Maybe PortNumber

  Optional port.

Instances

Data Host

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

IsString Host

Defined in Data.Swagger.Internal

Methods

fromString :: String -> Host

Generic Host

Defined in Data.Swagger.Internal

Associated Types

type Rep Host :: Type -> Type

Methods

from :: Host -> Rep Host x

to :: Rep Host x -> Host

Show Host

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Host -> ShowS

show :: Host -> String

showList :: [Host] -> ShowS

Eq Host

Defined in Data.Swagger.Internal

Methods

(==) :: Host -> Host -> Bool

(/=) :: Host -> Host -> Bool

FromJSON Host

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Host

parseJSONList :: Value -> Parser [Host]

ToJSON Host

Defined in Data.Swagger.Internal

Methods

toJSON :: Host -> Value

toEncoding :: Host -> Encoding

toJSONList :: [Host] -> Value

toEncodingList :: [Host] -> Encoding

HasName Host HostName

Defined in Data.Swagger.Lens

Methods

name :: Lens' Host HostName

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Host Host a b

HasHost Swagger (Maybe Host)

Defined in Data.Swagger.Lens

Methods

host :: Lens' Swagger (Maybe Host)

HasPort Host (Maybe PortNumber)

Defined in Data.Swagger.Lens

Methods

port :: Lens' Host (Maybe PortNumber)

type Rep Host

Defined in Data.Swagger.Internal

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

The transfer protocol of the API.

Constructors

Http

Https

Ws

Wss

Instances

Data Scheme

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

Generic Scheme

Defined in Data.Swagger.Internal

Associated Types

type Rep Scheme :: Type -> Type

Methods

from :: Scheme -> Rep Scheme x

to :: Rep Scheme x -> Scheme

Show Scheme

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Scheme -> ShowS

show :: Scheme -> String

showList :: [Scheme] -> ShowS

Eq Scheme

Defined in Data.Swagger.Internal

Methods

(==) :: Scheme -> Scheme -> Bool

(/=) :: Scheme -> Scheme -> Bool

FromJSON Scheme

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Scheme

parseJSONList :: Value -> Parser [Scheme]

ToJSON Scheme

Defined in Data.Swagger.Internal

Methods

toJSON :: Scheme -> Value

toEncoding :: Scheme -> Encoding

toJSONList :: [Scheme] -> Value

toEncodingList :: [Scheme] -> Encoding

HasSchemes Operation (Maybe [Scheme])

Defined in Data.Swagger.Lens

Methods

schemes :: Lens' Operation (Maybe [Scheme])

HasSchemes Swagger (Maybe [Scheme])

Defined in Data.Swagger.Lens

Methods

schemes :: Lens' Swagger (Maybe [Scheme])

type Rep Scheme

Defined in Data.Swagger.Internal

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

The object provides metadata about the API. The metadata can be used by the clients if needed, and can be presented in the Swagger-UI for convenience.

Constructors

Info

Fields

• _infoTitle :: Text

  The title of the application.

• _infoDescription :: Maybe Text

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

• _infoTermsOfService :: Maybe Text

  The Terms of Service for the API.

• _infoContact :: Maybe Contact

  The contact information for the exposed API.

• _infoLicense :: Maybe License

  The license information for the exposed API.

• _infoVersion :: Text

  Provides the version of the application API (not to be confused with the specification version).

Instances

Data Info

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

Monoid Info

Defined in Data.Swagger.Internal

Methods

mempty :: Info

mappend :: Info -> Info -> Info

mconcat :: [Info] -> Info

Semigroup Info

Defined in Data.Swagger.Internal

Methods

(<>) :: Info -> Info -> Info

sconcat :: NonEmpty Info -> Info

stimes :: Integral b => b -> Info -> Info

Generic Info

Defined in Data.Swagger.Internal

Associated Types

type Rep Info :: Type -> Type

Methods

from :: Info -> Rep Info x

to :: Rep Info x -> Info

Show Info

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Info -> ShowS

show :: Info -> String

showList :: [Info] -> ShowS

Eq Info

Defined in Data.Swagger.Internal

Methods

(==) :: Info -> Info -> Bool

(/=) :: Info -> Info -> Bool

FromJSON Info

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Info

parseJSONList :: Value -> Parser [Info]

ToJSON Info

Defined in Data.Swagger.Internal

Methods

toJSON :: Info -> Value

toEncoding :: Info -> Encoding

toJSONList :: [Info] -> Value

toEncodingList :: [Info] -> Encoding

AesonDefaultValue Info

Defined in Data.Swagger.Internal

Methods

defaultValue :: Maybe Info

SwaggerMonoid Info

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: Info

swaggerMappend :: Info -> Info -> Info

HasInfo Swagger Info

Defined in Data.Swagger.Lens

Methods

info :: Lens' Swagger Info

HasTitle Info Text

Defined in Data.Swagger.Lens

Methods

title :: Lens' Info Text

HasVersion Info Text

Defined in Data.Swagger.Lens

Methods

version :: Lens' Info Text

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

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

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

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

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Info Info a b

HasContact Info (Maybe Contact)

Defined in Data.Swagger.Lens

Methods

contact :: Lens' Info (Maybe Contact)

HasDescription Info (Maybe Text)

Defined in Data.Swagger.Lens

Methods

description :: Lens' Info (Maybe Text)

HasLicense Info (Maybe License)

Defined in Data.Swagger.Lens

Methods

license :: Lens' Info (Maybe License)

HasTermsOfService Info (Maybe Text)

Defined in Data.Swagger.Lens

Methods

termsOfService :: Lens' Info (Maybe Text)

type Rep Info

Defined in Data.Swagger.Internal

type Rep Info = D1 ('MetaData "Info" "Data.Swagger.Internal" "swagger2-2.8-inplace" 'False) (C1 ('MetaCons "Info" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_infoTitle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "_infoDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "_infoTermsOfService") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))) :*: (S1 ('MetaSel ('Just "_infoContact") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Contact)) :*: (S1 ('MetaSel ('Just "_infoLicense") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe License)) :*: S1 ('MetaSel ('Just "_infoVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

data Contact

Contact information for the exposed API.

Constructors

Contact

Fields

• _contactName :: Maybe Text

  The identifying name of the contact person/organization.

• _contactUrl :: Maybe URL

  The URL pointing to the contact information.

• _contactEmail :: Maybe Text

  The email address of the contact person/organization.

Instances

Data Contact

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

Monoid Contact

Defined in Data.Swagger.Internal

Methods

mempty :: Contact

mappend :: Contact -> Contact -> Contact

mconcat :: [Contact] -> Contact

Semigroup Contact

Defined in Data.Swagger.Internal

Methods

(<>) :: Contact -> Contact -> Contact

sconcat :: NonEmpty Contact -> Contact

stimes :: Integral b => b -> Contact -> Contact

Generic Contact

Defined in Data.Swagger.Internal

Associated Types

type Rep Contact :: Type -> Type

Methods

from :: Contact -> Rep Contact x

to :: Rep Contact x -> Contact

Show Contact

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Contact -> ShowS

show :: Contact -> String

showList :: [Contact] -> ShowS

Eq Contact

Defined in Data.Swagger.Internal

Methods

(==) :: Contact -> Contact -> Bool

(/=) :: Contact -> Contact -> Bool

FromJSON Contact

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Contact

parseJSONList :: Value -> Parser [Contact]

ToJSON Contact

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

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Contact Contact a b

HasContact Info (Maybe Contact)

Defined in Data.Swagger.Lens

Methods

contact :: Lens' Info (Maybe Contact)

HasEmail Contact (Maybe Text)

Defined in Data.Swagger.Lens

Methods

email :: Lens' Contact (Maybe Text)

HasName Contact (Maybe Text)

Defined in Data.Swagger.Lens

Methods

name :: Lens' Contact (Maybe Text)

HasUrl Contact (Maybe URL)

Defined in Data.Swagger.Lens

Methods

url :: Lens' Contact (Maybe URL)

type Rep Contact

Defined in Data.Swagger.Internal

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

License information for the exposed API.

Constructors

License

Fields

• _licenseName :: Text

  The license name used for the API.

• _licenseUrl :: Maybe URL

  A URL to the license used for the API.

Instances

Data License

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

IsString License

Defined in Data.Swagger.Internal

Methods

fromString :: String -> License

Generic License

Defined in Data.Swagger.Internal

Associated Types

type Rep License :: Type -> Type

Methods

from :: License -> Rep License x

to :: Rep License x -> License

Show License

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> License -> ShowS

show :: License -> String

showList :: [License] -> ShowS

Eq License

Defined in Data.Swagger.Internal

Methods

(==) :: License -> License -> Bool

(/=) :: License -> License -> Bool

FromJSON License

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser License

parseJSONList :: Value -> Parser [License]

ToJSON License

Defined in Data.Swagger.Internal

Methods

toJSON :: License -> Value

toEncoding :: License -> Encoding

toJSONList :: [License] -> Value

toEncodingList :: [License] -> Encoding

HasName License Text

Defined in Data.Swagger.Lens

Methods

name :: Lens' License Text

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx License License a b

HasLicense Info (Maybe License)

Defined in Data.Swagger.Lens

Methods

license :: Lens' Info (Maybe License)

HasUrl License (Maybe URL)

Defined in Data.Swagger.Lens

Methods

url :: Lens' License (Maybe URL)

type Rep License

Defined in Data.Swagger.Internal

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

Describes the operations available on a single path. A PathItem may be empty, due to ACL constraints. The path itself is still exposed to the documentation viewer but they will not know which operations and parameters are available.

Constructors

PathItem

Fields

• _pathItemGet :: Maybe Operation

  A definition of a GET operation on this path.

• _pathItemPut :: Maybe Operation

  A definition of a PUT operation on this path.

• _pathItemPost :: Maybe Operation

  A definition of a POST operation on this path.

• _pathItemDelete :: Maybe Operation

  A definition of a DELETE operation on this path.

• _pathItemOptions :: Maybe Operation

  A definition of a OPTIONS operation on this path.

• _pathItemHead :: Maybe Operation

  A definition of a HEAD operation on this path.

• _pathItemPatch :: Maybe Operation

  A definition of a PATCH operation on this path.

• _pathItemParameters :: [Referenced Param]

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

Instances

Data PathItem

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

Monoid PathItem

Defined in Data.Swagger.Internal

Methods

mempty :: PathItem

mappend :: PathItem -> PathItem -> PathItem

mconcat :: [PathItem] -> PathItem

Semigroup PathItem

Defined in Data.Swagger.Internal

Methods

(<>) :: PathItem -> PathItem -> PathItem

sconcat :: NonEmpty PathItem -> PathItem

stimes :: Integral b => b -> PathItem -> PathItem

Generic PathItem

Defined in Data.Swagger.Internal

Associated Types

type Rep PathItem :: Type -> Type

Methods

from :: PathItem -> Rep PathItem x

to :: Rep PathItem x -> PathItem

Show PathItem

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> PathItem -> ShowS

show :: PathItem -> String

showList :: [PathItem] -> ShowS

Eq PathItem

Defined in Data.Swagger.Internal

Methods

(==) :: PathItem -> PathItem -> Bool

(/=) :: PathItem -> PathItem -> Bool

Generic PathItem

Defined in Data.Swagger.Internal

Associated Types

type Code PathItem :: [[Type]]

Methods

from :: PathItem -> Rep PathItem

to :: Rep PathItem -> PathItem

HasDatatypeInfo PathItem

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf PathItem :: DatatypeInfo

Methods

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

FromJSON PathItem

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser PathItem

parseJSONList :: Value -> Parser [PathItem]

ToJSON PathItem

Defined in Data.Swagger.Internal

Methods

toJSON :: PathItem -> Value

toEncoding :: PathItem -> Encoding

toJSONList :: [PathItem] -> Value

toEncodingList :: [PathItem] -> Encoding

HasSwaggerAesonOptions PathItem

Defined in Data.Swagger.Internal

Methods

swaggerAesonOptions :: Proxy PathItem -> SwaggerAesonOptions

aesonDefaults :: Proxy PathItem -> POP Maybe (Code PathItem)

SwaggerMonoid PathItem

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: PathItem

swaggerMappend :: PathItem -> PathItem -> PathItem

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

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

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

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

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

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

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx PathItem PathItem a b

HasDelete PathItem (Maybe Operation)

Defined in Data.Swagger.Lens

Methods

delete :: Lens' PathItem (Maybe Operation)

HasGet PathItem (Maybe Operation)

Defined in Data.Swagger.Lens

Methods

get :: Lens' PathItem (Maybe Operation)

HasHead PathItem (Maybe Operation)

Defined in Data.Swagger.Lens

Methods

head_ :: Lens' PathItem (Maybe Operation)

HasOptions PathItem (Maybe Operation)

Defined in Data.Swagger.Lens

Methods

options :: Lens' PathItem (Maybe Operation)

HasParameters PathItem [Referenced Param]

Defined in Data.Swagger.Lens

Methods

parameters :: Lens' PathItem [Referenced Param]

HasPatch PathItem (Maybe Operation)

Defined in Data.Swagger.Lens

Methods

patch :: Lens' PathItem (Maybe Operation)

HasPost PathItem (Maybe Operation)

Defined in Data.Swagger.Lens

Methods

post :: Lens' PathItem (Maybe Operation)

HasPut PathItem (Maybe Operation)

Defined in Data.Swagger.Lens

Methods

put :: Lens' PathItem (Maybe Operation)

HasPaths Swagger (InsOrdHashMap FilePath PathItem)

Defined in Data.Swagger.Lens

Methods

paths :: Lens' Swagger (InsOrdHashMap FilePath PathItem)

SwaggerMonoid (InsOrdHashMap FilePath PathItem)

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: InsOrdHashMap FilePath PathItem

swaggerMappend :: InsOrdHashMap FilePath PathItem -> InsOrdHashMap FilePath PathItem -> InsOrdHashMap FilePath PathItem

type Rep PathItem

Defined in Data.Swagger.Internal

type Rep PathItem = D1 ('MetaData "PathItem" "Data.Swagger.Internal" "swagger2-2.8-inplace" 'False) (C1 ('MetaCons "PathItem" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_pathItemGet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Operation)) :*: S1 ('MetaSel ('Just "_pathItemPut") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Operation))) :*: (S1 ('MetaSel ('Just "_pathItemPost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Operation)) :*: S1 ('MetaSel ('Just "_pathItemDelete") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Operation)))) :*: ((S1 ('MetaSel ('Just "_pathItemOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Operation)) :*: S1 ('MetaSel ('Just "_pathItemHead") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Operation))) :*: (S1 ('MetaSel ('Just "_pathItemPatch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Operation)) :*: S1 ('MetaSel ('Just "_pathItemParameters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Referenced Param])))))

type Code PathItem

Defined in Data.Swagger.Internal

type Code PathItem = '['[Maybe Operation, Maybe Operation, Maybe Operation, Maybe Operation, Maybe Operation, Maybe Operation, Maybe Operation, [Referenced Param]]]

type DatatypeInfoOf PathItem

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

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

Data Operation

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

Monoid Operation

Defined in Data.Swagger.Internal

Methods

mempty :: Operation

mappend :: Operation -> Operation -> Operation

mconcat :: [Operation] -> Operation

Semigroup Operation

Defined in Data.Swagger.Internal

Methods

(<>) :: Operation -> Operation -> Operation

sconcat :: NonEmpty Operation -> Operation

stimes :: Integral b => b -> Operation -> Operation

Generic Operation

Defined in Data.Swagger.Internal

Associated Types

type Rep Operation :: Type -> Type

Methods

from :: Operation -> Rep Operation x

to :: Rep Operation x -> Operation

Show Operation

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Operation -> ShowS

show :: Operation -> String

showList :: [Operation] -> ShowS

Eq Operation

Defined in Data.Swagger.Internal

Methods

(==) :: Operation -> Operation -> Bool

(/=) :: Operation -> Operation -> Bool

Generic Operation

Defined in Data.Swagger.Internal

Associated Types

type Code Operation :: [[Type]]

Methods

from :: Operation -> Rep Operation

to :: Rep Operation -> Operation

HasDatatypeInfo Operation

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf Operation :: DatatypeInfo

Methods

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

At Operation

Defined in Data.Swagger.Lens

Methods

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

Ixed Operation

Defined in Data.Swagger.Lens

Methods

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

At Operation

Defined in Data.Swagger.Optics

Methods

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

Ixed Operation

Defined in Data.Swagger.Optics

Associated Types

type IxKind Operation

Methods

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

FromJSON Operation

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Operation

parseJSONList :: Value -> Parser [Operation]

ToJSON Operation

Defined in Data.Swagger.Internal

Methods

toJSON :: Operation -> Value

toEncoding :: Operation -> Encoding

toJSONList :: [Operation] -> Value

toEncodingList :: [Operation] -> Encoding

HasSwaggerAesonOptions Operation

Defined in Data.Swagger.Internal

Methods

swaggerAesonOptions :: Proxy Operation -> SwaggerAesonOptions

aesonDefaults :: Proxy Operation -> POP Maybe (Code Operation)

SwaggerMonoid Operation

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: Operation

swaggerMappend :: Operation -> Operation -> Operation

HasResponses Operation Responses

Defined in Data.Swagger.Lens

Methods

responses :: Lens' Operation Responses

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Operation Operation a b

HasConsumes Operation (Maybe MimeList)

Defined in Data.Swagger.Lens

Methods

consumes :: Lens' Operation (Maybe MimeList)

HasDelete PathItem (Maybe Operation)

Defined in Data.Swagger.Lens

Methods

delete :: Lens' PathItem (Maybe Operation)

HasDeprecated Operation (Maybe Bool)

Defined in Data.Swagger.Lens

Methods

deprecated :: Lens' Operation (Maybe Bool)

HasDescription Operation (Maybe Text)

Defined in Data.Swagger.Lens

Methods

description :: Lens' Operation (Maybe Text)

HasExternalDocs Operation (Maybe ExternalDocs)

Defined in Data.Swagger.Lens

Methods

externalDocs :: Lens' Operation (Maybe ExternalDocs)

HasGet PathItem (Maybe Operation)

Defined in Data.Swagger.Lens

Methods

get :: Lens' PathItem (Maybe Operation)

HasHead PathItem (Maybe Operation)

Defined in Data.Swagger.Lens

Methods

head_ :: Lens' PathItem (Maybe Operation)

HasOperationId Operation (Maybe Text)

Defined in Data.Swagger.Lens

Methods

operationId :: Lens' Operation (Maybe Text)

HasOptions PathItem (Maybe Operation)

Defined in Data.Swagger.Lens

Methods

options :: Lens' PathItem (Maybe Operation)

HasParameters Operation [Referenced Param]

Defined in Data.Swagger.Lens

Methods

parameters :: Lens' Operation [Referenced Param]

HasPatch PathItem (Maybe Operation)

Defined in Data.Swagger.Lens

Methods

patch :: Lens' PathItem (Maybe Operation)

HasPost PathItem (Maybe Operation)

Defined in Data.Swagger.Lens

Methods

post :: Lens' PathItem (Maybe Operation)

HasProduces Operation (Maybe MimeList)

Defined in Data.Swagger.Lens

Methods

produces :: Lens' Operation (Maybe MimeList)

HasPut PathItem (Maybe Operation)

Defined in Data.Swagger.Lens

Methods

put :: Lens' PathItem (Maybe Operation)

HasSchemes Operation (Maybe [Scheme])

Defined in Data.Swagger.Lens

Methods

schemes :: Lens' Operation (Maybe [Scheme])

HasSecurity Operation [SecurityRequirement]

Defined in Data.Swagger.Lens

Methods

security :: Lens' Operation [SecurityRequirement]

HasSummary Operation (Maybe Text)

Defined in Data.Swagger.Lens

Methods

summary :: Lens' Operation (Maybe Text)

HasTags Operation (InsOrdHashSet TagName)

Defined in Data.Swagger.Lens

Methods

tags :: Lens' Operation (InsOrdHashSet TagName)

type Rep Operation

Defined in Data.Swagger.Internal

type Rep Operation = D1 ('MetaData "Operation" "Data.Swagger.Internal" "swagger2-2.8-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 Code Operation

Defined in Data.Swagger.Internal

type Code Operation = '['[InsOrdHashSet TagName, Maybe Text, Maybe Text, Maybe ExternalDocs, Maybe Text, Maybe MimeList, Maybe MimeList, [Referenced Param], Responses, Maybe [Scheme], Maybe Bool, [SecurityRequirement]]]

type DatatypeInfoOf Operation

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

Defined in Data.Swagger.Lens

type Index Operation = HttpStatusCode

type IxValue Operation

Defined in Data.Swagger.Lens

type IxValue Operation = Referenced Response

type Index Operation

Defined in Data.Swagger.Optics

type Index Operation = HttpStatusCode

type IxKind Operation

Defined in Data.Swagger.Optics

type IxKind Operation = An_AffineTraversal

type IxValue Operation

Defined in Data.Swagger.Optics

type IxValue Operation = Referenced Response

data Tag

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

Constructors

Tag

Fields

• _tagName :: TagName

  The name of the tag.

• _tagDescription :: Maybe Text

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

• _tagExternalDocs :: Maybe ExternalDocs

  Additional external documentation for this tag.

Instances

Data Tag

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

IsString Tag

Defined in Data.Swagger.Internal

Methods

fromString :: String -> Tag

Generic Tag

Defined in Data.Swagger.Internal

Associated Types

type Rep Tag :: Type -> Type

Methods

from :: Tag -> Rep Tag x

to :: Rep Tag x -> Tag

Show Tag

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Tag -> ShowS

show :: Tag -> String

showList :: [Tag] -> ShowS

Eq Tag

Defined in Data.Swagger.Internal

Methods

(==) :: Tag -> Tag -> Bool

(/=) :: Tag -> Tag -> Bool

Ord Tag

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

Hashable Tag

Defined in Data.Swagger.Internal

Methods

hashWithSalt :: Int -> Tag -> Int

hash :: Tag -> Int

FromJSON Tag

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Tag

parseJSONList :: Value -> Parser [Tag]

ToJSON Tag

Defined in Data.Swagger.Internal

Methods

toJSON :: Tag -> Value

toEncoding :: Tag -> Encoding

toJSONList :: [Tag] -> Value

toEncodingList :: [Tag] -> Encoding

HasName Tag TagName

Defined in Data.Swagger.Lens

Methods

name :: Lens' Tag TagName

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

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Tag Tag a b

HasDescription Tag (Maybe Text)

Defined in Data.Swagger.Lens

Methods

description :: Lens' Tag (Maybe Text)

HasExternalDocs Tag (Maybe ExternalDocs)

Defined in Data.Swagger.Lens

Methods

externalDocs :: Lens' Tag (Maybe ExternalDocs)

HasTags Swagger (InsOrdHashSet Tag)

Defined in Data.Swagger.Lens

Methods

tags :: Lens' Swagger (InsOrdHashSet Tag)

type Rep Tag

Defined in Data.Swagger.Internal

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

Tag name.

Types and formats

data SwaggerType (t :: SwaggerKind *) where

Constructors

SwaggerString :: SwaggerType t

SwaggerNumber :: SwaggerType t

SwaggerInteger :: SwaggerType t

SwaggerBoolean :: SwaggerType t

SwaggerArray :: SwaggerType t

SwaggerFile :: SwaggerType 'SwaggerKindParamOtherSchema

SwaggerNull :: SwaggerType 'SwaggerKindSchema

SwaggerObject :: SwaggerType 'SwaggerKindSchema

Instances

HasType Header (Maybe (SwaggerType ('SwaggerKindNormal Header)))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' Header (Maybe (SwaggerType ('SwaggerKindNormal Header)))

HasType NamedSchema (Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type)))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' NamedSchema (Maybe (SwaggerType 'SwaggerKindSchema))

HasType ParamOtherSchema (Maybe (SwaggerType ('SwaggerKindParamOtherSchema :: SwaggerKind Type)))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' ParamOtherSchema (Maybe (SwaggerType 'SwaggerKindParamOtherSchema))

HasType Schema (Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type)))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' Schema (Maybe (SwaggerType 'SwaggerKindSchema))

Typeable t => Data (SwaggerType ('SwaggerKindNormal t))

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

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

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)

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> SwaggerType t -> ShowS

show :: SwaggerType t -> String

showList :: [SwaggerType t] -> ShowS

Eq (SwaggerType t)

Defined in Data.Swagger.Internal

Methods

(==) :: SwaggerType t -> SwaggerType t -> Bool

(/=) :: SwaggerType t -> SwaggerType t -> Bool

FromJSON (SwaggerType ('SwaggerKindNormal t))

Defined in Data.Swagger.Internal

Methods

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

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

FromJSON (SwaggerType ('SwaggerKindParamOtherSchema :: SwaggerKind Type))

Defined in Data.Swagger.Internal

Methods

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

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

FromJSON (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type))

Defined in Data.Swagger.Internal

Methods

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

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

ToJSON (SwaggerType t)

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)

Defined in Data.Swagger.Internal

Methods

defaultValue :: Maybe (SwaggerType a)

SwaggerMonoid (SwaggerType t)

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: SwaggerType t

swaggerMappend :: SwaggerType t -> SwaggerType t -> SwaggerType t

HasType (ParamSchema t) (Maybe (SwaggerType t))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' (ParamSchema t) (Maybe (SwaggerType t))

type Format = Text

type Definitions = InsOrdHashMap Text

A list of definitions that can be used in references.

data CollectionFormat (t :: SwaggerKind *) where

Determines the format of the array.

Constructors

CollectionCSV :: CollectionFormat t

CollectionSSV :: CollectionFormat t

CollectionTSV :: CollectionFormat t

CollectionPipes :: CollectionFormat t

CollectionMulti :: CollectionFormat 'SwaggerKindParamOtherSchema

Instances

Data t => Data (CollectionFormat ('SwaggerKindNormal t))

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

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)

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> CollectionFormat t -> ShowS

show :: CollectionFormat t -> String

showList :: [CollectionFormat t] -> ShowS

Eq (CollectionFormat t)

Defined in Data.Swagger.Internal

Methods

(==) :: CollectionFormat t -> CollectionFormat t -> Bool

(/=) :: CollectionFormat t -> CollectionFormat t -> Bool

FromJSON (CollectionFormat ('SwaggerKindNormal t))

Defined in Data.Swagger.Internal

Methods

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

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

FromJSON (CollectionFormat ('SwaggerKindParamOtherSchema :: SwaggerKind Type))

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (CollectionFormat 'SwaggerKindParamOtherSchema)

parseJSONList :: Value -> Parser [CollectionFormat 'SwaggerKindParamOtherSchema]

ToJSON (CollectionFormat t)

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

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

Data Param

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

Monoid Param

Defined in Data.Swagger.Internal

Methods

mempty :: Param

mappend :: Param -> Param -> Param

mconcat :: [Param] -> Param

Semigroup Param

Defined in Data.Swagger.Internal

Methods

(<>) :: Param -> Param -> Param

sconcat :: NonEmpty Param -> Param

stimes :: Integral b => b -> Param -> Param

Generic Param

Defined in Data.Swagger.Internal

Associated Types

type Rep Param :: Type -> Type

Methods

from :: Param -> Rep Param x

to :: Rep Param x -> Param

Show Param

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Param -> ShowS

show :: Param -> String

showList :: [Param] -> ShowS

Eq Param

Defined in Data.Swagger.Internal

Methods

(==) :: Param -> Param -> Bool

(/=) :: Param -> Param -> Bool

Generic Param

Defined in Data.Swagger.Internal

Associated Types

type Code Param :: [[Type]]

Methods

from :: Param -> Rep Param

to :: Rep Param -> Param

HasDatatypeInfo Param

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf Param :: DatatypeInfo

Methods

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

FromJSON Param

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Param

parseJSONList :: Value -> Parser [Param]

ToJSON Param

Defined in Data.Swagger.Internal

Methods

toJSON :: Param -> Value

toEncoding :: Param -> Encoding

toJSONList :: [Param] -> Value

toEncodingList :: [Param] -> Encoding

HasSwaggerAesonOptions Param

Defined in Data.Swagger.Internal

Methods

swaggerAesonOptions :: Proxy Param -> SwaggerAesonOptions

aesonDefaults :: Proxy Param -> POP Maybe (Code Param)

SwaggerMonoid Param

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: Param

swaggerMappend :: Param -> Param -> Param

HasName Param Text

Defined in Data.Swagger.Lens

Methods

name :: Lens' Param Text

HasSchema Param ParamAnySchema

Defined in Data.Swagger.Lens

Methods

schema :: Lens' Param ParamAnySchema

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

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

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Param Param a b

HasDescription Param (Maybe Text)

Defined in Data.Swagger.Lens

Methods

description :: Lens' Param (Maybe Text)

HasParameters Operation [Referenced Param]

Defined in Data.Swagger.Lens

Methods

parameters :: Lens' Operation [Referenced Param]

HasParameters PathItem [Referenced Param]

Defined in Data.Swagger.Lens

Methods

parameters :: Lens' PathItem [Referenced Param]

HasParameters Swagger (Definitions Param)

Defined in Data.Swagger.Lens

Methods

parameters :: Lens' Swagger (Definitions Param)

HasRequired Param (Maybe Bool)

Defined in Data.Swagger.Lens

Methods

required :: Lens' Param (Maybe Bool)

FromJSON (Referenced Param)

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (Referenced Param)

parseJSONList :: Value -> Parser [Referenced Param]

ToJSON (Referenced Param)

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

Defined in Data.Swagger.Internal

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

Defined in Data.Swagger.Internal

type Code Param = '['[Text, Maybe Text, Maybe Bool, ParamAnySchema]]

type DatatypeInfoOf Param

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

Constructors

ParamBody (Referenced Schema)

ParamOther ParamOtherSchema

Instances

Data ParamAnySchema

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

Generic ParamAnySchema

Defined in Data.Swagger.Internal

Associated Types

type Rep ParamAnySchema :: Type -> Type

Methods

from :: ParamAnySchema -> Rep ParamAnySchema x

to :: Rep ParamAnySchema x -> ParamAnySchema

Show ParamAnySchema

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> ParamAnySchema -> ShowS

show :: ParamAnySchema -> String

showList :: [ParamAnySchema] -> ShowS

Eq ParamAnySchema

Defined in Data.Swagger.Internal

Methods

(==) :: ParamAnySchema -> ParamAnySchema -> Bool

(/=) :: ParamAnySchema -> ParamAnySchema -> Bool

FromJSON ParamAnySchema

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser ParamAnySchema

parseJSONList :: Value -> Parser [ParamAnySchema]

ToJSON ParamAnySchema

Defined in Data.Swagger.Internal

Methods

toJSON :: ParamAnySchema -> Value

toEncoding :: ParamAnySchema -> Encoding

toJSONList :: [ParamAnySchema] -> Value

toEncodingList :: [ParamAnySchema] -> Encoding

AesonDefaultValue ParamAnySchema

Defined in Data.Swagger.Internal

Methods

defaultValue :: Maybe ParamAnySchema

SwaggerMonoid ParamAnySchema

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: ParamAnySchema

swaggerMappend :: ParamAnySchema -> ParamAnySchema -> ParamAnySchema

HasSchema Param ParamAnySchema

Defined in Data.Swagger.Lens

Methods

schema :: Lens' Param ParamAnySchema

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx ParamAnySchema ParamAnySchema a b

type Rep ParamAnySchema

Defined in Data.Swagger.Internal

type Rep ParamAnySchema = D1 ('MetaData "ParamAnySchema" "Data.Swagger.Internal" "swagger2-2.8-inplace" 'False) (C1 ('MetaCons "ParamBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Referenced Schema))) :+: C1 ('MetaCons "ParamOther" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParamOtherSchema)))

data ParamOtherSchema

Constructors

ParamOtherSchema

Fields

• _paramOtherSchemaIn :: ParamLocation

  The location of the parameter.

• _paramOtherSchemaAllowEmptyValue :: Maybe Bool

  Sets the ability to pass empty-valued parameters. This is valid only for either ParamQuery or ParamFormData and allows you to send a parameter with a name only or an empty value. Default value is False.

• _paramOtherSchemaParamSchema :: ParamSchema 'SwaggerKindParamOtherSchema

Instances

Data ParamOtherSchema

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

Monoid ParamOtherSchema

Defined in Data.Swagger.Internal

Methods

mempty :: ParamOtherSchema

mappend :: ParamOtherSchema -> ParamOtherSchema -> ParamOtherSchema

mconcat :: [ParamOtherSchema] -> ParamOtherSchema

Semigroup ParamOtherSchema

Defined in Data.Swagger.Internal

Methods

(<>) :: ParamOtherSchema -> ParamOtherSchema -> ParamOtherSchema

sconcat :: NonEmpty ParamOtherSchema -> ParamOtherSchema

stimes :: Integral b => b -> ParamOtherSchema -> ParamOtherSchema

Generic ParamOtherSchema

Defined in Data.Swagger.Internal

Associated Types

type Rep ParamOtherSchema :: Type -> Type

Methods

from :: ParamOtherSchema -> Rep ParamOtherSchema x

to :: Rep ParamOtherSchema x -> ParamOtherSchema

Show ParamOtherSchema

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> ParamOtherSchema -> ShowS

show :: ParamOtherSchema -> String

showList :: [ParamOtherSchema] -> ShowS

Eq ParamOtherSchema

Defined in Data.Swagger.Internal

Methods

(==) :: ParamOtherSchema -> ParamOtherSchema -> Bool

(/=) :: ParamOtherSchema -> ParamOtherSchema -> Bool

Generic ParamOtherSchema

Defined in Data.Swagger.Internal

Associated Types

type Code ParamOtherSchema :: [[Type]]

Methods

from :: ParamOtherSchema -> Rep ParamOtherSchema

to :: Rep ParamOtherSchema -> ParamOtherSchema

HasDatatypeInfo ParamOtherSchema

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf ParamOtherSchema :: DatatypeInfo

Methods

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

FromJSON ParamOtherSchema

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser ParamOtherSchema

parseJSONList :: Value -> Parser [ParamOtherSchema]

ToJSON ParamOtherSchema

Defined in Data.Swagger.Internal

Methods

toJSON :: ParamOtherSchema -> Value

toEncoding :: ParamOtherSchema -> Encoding

toJSONList :: [ParamOtherSchema] -> Value

toEncodingList :: [ParamOtherSchema] -> Encoding

HasSwaggerAesonOptions ParamOtherSchema

Defined in Data.Swagger.Internal

Methods

swaggerAesonOptions :: Proxy ParamOtherSchema -> SwaggerAesonOptions

aesonDefaults :: Proxy ParamOtherSchema -> POP Maybe (Code ParamOtherSchema)

SwaggerMonoid ParamOtherSchema

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: ParamOtherSchema

swaggerMappend :: ParamOtherSchema -> ParamOtherSchema -> ParamOtherSchema

HasIn ParamOtherSchema ParamLocation

Defined in Data.Swagger.Lens

Methods

in_ :: Lens' ParamOtherSchema ParamLocation

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b

HasAllowEmptyValue ParamOtherSchema (Maybe Bool)

Defined in Data.Swagger.Lens

Methods

allowEmptyValue :: Lens' ParamOtherSchema (Maybe Bool)

HasDefault ParamOtherSchema (Maybe Value)

Defined in Data.Swagger.Lens

Methods

default_ :: Lens' ParamOtherSchema (Maybe Value)

HasParamSchema ParamOtherSchema (ParamSchema ('SwaggerKindParamOtherSchema :: SwaggerKind Type))

Defined in Data.Swagger.Lens

Methods

paramSchema :: Lens' ParamOtherSchema (ParamSchema 'SwaggerKindParamOtherSchema)

HasType ParamOtherSchema (Maybe (SwaggerType ('SwaggerKindParamOtherSchema :: SwaggerKind Type)))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' ParamOtherSchema (Maybe (SwaggerType 'SwaggerKindParamOtherSchema))

type Rep ParamOtherSchema

Defined in Data.Swagger.Internal

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

Defined in Data.Swagger.Internal

type Code ParamOtherSchema = '['[ParamLocation, Maybe Bool, ParamSchema ('SwaggerKindParamOtherSchema :: SwaggerKind Type)]]

type DatatypeInfoOf ParamOtherSchema

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

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

Data ParamLocation

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

Generic ParamLocation

Defined in Data.Swagger.Internal

Associated Types

type Rep ParamLocation :: Type -> Type

Methods

from :: ParamLocation -> Rep ParamLocation x

to :: Rep ParamLocation x -> ParamLocation

Show ParamLocation

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> ParamLocation -> ShowS

show :: ParamLocation -> String

showList :: [ParamLocation] -> ShowS

Eq ParamLocation

Defined in Data.Swagger.Internal

Methods

(==) :: ParamLocation -> ParamLocation -> Bool

(/=) :: ParamLocation -> ParamLocation -> Bool

FromJSON ParamLocation

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser ParamLocation

parseJSONList :: Value -> Parser [ParamLocation]

ToJSON ParamLocation

Defined in Data.Swagger.Internal

Methods

toJSON :: ParamLocation -> Value

toEncoding :: ParamLocation -> Encoding

toJSONList :: [ParamLocation] -> Value

toEncodingList :: [ParamLocation] -> Encoding

AesonDefaultValue ParamLocation

Defined in Data.Swagger.Internal

Methods

defaultValue :: Maybe ParamLocation

SwaggerMonoid ParamLocation

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: ParamLocation

swaggerMappend :: ParamLocation -> ParamLocation -> ParamLocation

HasIn ParamOtherSchema ParamLocation

Defined in Data.Swagger.Lens

Methods

in_ :: Lens' ParamOtherSchema ParamLocation

type Rep ParamLocation

Defined in Data.Swagger.Internal

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

type ParamName = Text

data Header

Constructors

Header

Fields

• _headerDescription :: Maybe Text

  A short description of the header.

• _headerParamSchema :: ParamSchema ('SwaggerKindNormal Header)

Instances

Data Header

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

Monoid Header

Defined in Data.Swagger.Internal

Methods

mempty :: Header

mappend :: Header -> Header -> Header

mconcat :: [Header] -> Header

Semigroup Header

Defined in Data.Swagger.Internal

Methods

(<>) :: Header -> Header -> Header

sconcat :: NonEmpty Header -> Header

stimes :: Integral b => b -> Header -> Header

Generic Header

Defined in Data.Swagger.Internal

Associated Types

type Rep Header :: Type -> Type

Methods

from :: Header -> Rep Header x

to :: Rep Header x -> Header

Show Header

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Header -> ShowS

show :: Header -> String

showList :: [Header] -> ShowS

Eq Header

Defined in Data.Swagger.Internal

Methods

(==) :: Header -> Header -> Bool

(/=) :: Header -> Header -> Bool

Generic Header

Defined in Data.Swagger.Internal

Associated Types

type Code Header :: [[Type]]

Methods

from :: Header -> Rep Header

to :: Rep Header -> Header

HasDatatypeInfo Header

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf Header :: DatatypeInfo

Methods

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

FromJSON Header

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Header

parseJSONList :: Value -> Parser [Header]

ToJSON Header

Defined in Data.Swagger.Internal

Methods

toJSON :: Header -> Value

toEncoding :: Header -> Encoding

toJSONList :: [Header] -> Value

toEncodingList :: [Header] -> Encoding

HasSwaggerAesonOptions Header

Defined in Data.Swagger.Internal

Methods

swaggerAesonOptions :: Proxy Header -> SwaggerAesonOptions

aesonDefaults :: Proxy Header -> POP Maybe (Code Header)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx Header Header a b

HasDefault Header (Maybe Value)

Defined in Data.Swagger.Lens

Methods

default_ :: Lens' Header (Maybe Value)

HasDescription Header (Maybe Text)

Defined in Data.Swagger.Lens

Methods

description :: Lens' Header (Maybe Text)

HasParamSchema Header (ParamSchema ('SwaggerKindNormal Header))

Defined in Data.Swagger.Lens

Methods

paramSchema :: Lens' Header (ParamSchema ('SwaggerKindNormal Header))

HasType Header (Maybe (SwaggerType ('SwaggerKindNormal Header)))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' Header (Maybe (SwaggerType ('SwaggerKindNormal Header)))

HasHeaders Response (InsOrdHashMap HeaderName Header)

Defined in Data.Swagger.Lens

Methods

headers :: Lens' Response (InsOrdHashMap HeaderName Header)

type Rep Header

Defined in Data.Swagger.Internal

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

Defined in Data.Swagger.Internal

type Code Header = '['[Maybe Text, ParamSchema ('SwaggerKindNormal Header)]]

type DatatypeInfoOf Header

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

type HeaderName = Text

data Example

Constructors

Example

Fields

• getExample :: Map MediaType Value

Instances

Data Example

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

Monoid Example

Defined in Data.Swagger.Internal

Methods

mempty :: Example

mappend :: Example -> Example -> Example

mconcat :: [Example] -> Example

Semigroup Example

Defined in Data.Swagger.Internal

Methods

(<>) :: Example -> Example -> Example

sconcat :: NonEmpty Example -> Example

stimes :: Integral b => b -> Example -> Example

Generic Example

Defined in Data.Swagger.Internal

Associated Types

type Rep Example :: Type -> Type

Methods

from :: Example -> Rep Example x

to :: Rep Example x -> Example

Show Example

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Example -> ShowS

show :: Example -> String

showList :: [Example] -> ShowS

Eq Example

Defined in Data.Swagger.Internal

Methods

(==) :: Example -> Example -> Bool

(/=) :: Example -> Example -> Bool

FromJSON Example

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Example

parseJSONList :: Value -> Parser [Example]

ToJSON Example

Defined in Data.Swagger.Internal

Methods

toJSON :: Example -> Value

toEncoding :: Example -> Encoding

toJSONList :: [Example] -> Value

toEncodingList :: [Example] -> Encoding

HasExamples Response (Maybe Example)

Defined in Data.Swagger.Lens

Methods

examples :: Lens' Response (Maybe Example)

type Rep Example

Defined in Data.Swagger.Internal

type Rep Example = D1 ('MetaData "Example" "Data.Swagger.Internal" "swagger2-2.8-inplace" 'False) (C1 ('MetaCons "Example" 'PrefixI 'True) (S1 ('MetaSel ('Just "getExample") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map MediaType Value))))

Schemas

data ParamSchema (t :: SwaggerKind *)

Constructors

ParamSchema

Fields

• _paramSchemaDefault :: Maybe Value

  Declares the value of the parameter that the server will use if none is provided, for example a "count" to control the number of results per page might default to 100 if not supplied by the client in the request. (Note: "default" has no meaning for required parameters.) Unlike JSON Schema this value MUST conform to the defined type for this parameter.

• _paramSchemaType :: Maybe (SwaggerType t)
• _paramSchemaFormat :: Maybe Format
• _paramSchemaItems :: Maybe (SwaggerItems t)
• _paramSchemaMaximum :: Maybe Scientific
• _paramSchemaExclusiveMaximum :: Maybe Bool
• _paramSchemaMinimum :: Maybe Scientific
• _paramSchemaExclusiveMinimum :: Maybe Bool
• _paramSchemaMaxLength :: Maybe Integer
• _paramSchemaMinLength :: Maybe Integer
• _paramSchemaPattern :: Maybe Pattern
• _paramSchemaMaxItems :: Maybe Integer
• _paramSchemaMinItems :: Maybe Integer
• _paramSchemaUniqueItems :: Maybe Bool
• _paramSchemaEnum :: Maybe [Value]
• _paramSchemaMultipleOf :: Maybe Scientific

Instances

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Data.Swagger.Optics

Methods

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

HasParamSchema Header (ParamSchema ('SwaggerKindNormal Header))

Defined in Data.Swagger.Lens

Methods

paramSchema :: Lens' Header (ParamSchema ('SwaggerKindNormal Header))

HasParamSchema NamedSchema (ParamSchema ('SwaggerKindSchema :: SwaggerKind Type))

Defined in Data.Swagger.Lens

Methods

paramSchema :: Lens' NamedSchema (ParamSchema 'SwaggerKindSchema)

HasParamSchema ParamOtherSchema (ParamSchema ('SwaggerKindParamOtherSchema :: SwaggerKind Type))

Defined in Data.Swagger.Lens

Methods

paramSchema :: Lens' ParamOtherSchema (ParamSchema 'SwaggerKindParamOtherSchema)

HasParamSchema Schema (ParamSchema ('SwaggerKindSchema :: SwaggerKind Type))

Defined in Data.Swagger.Lens

Methods

paramSchema :: Lens' Schema (ParamSchema 'SwaggerKindSchema)

(Typeable k, Data (Maybe (SwaggerType k)), Data (SwaggerItems k)) => Data (ParamSchema k)

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)

Monoid (ParamSchema t)

Defined in Data.Swagger.Internal

Methods

mempty :: ParamSchema t

mappend :: ParamSchema t -> ParamSchema t -> ParamSchema t

mconcat :: [ParamSchema t] -> ParamSchema t

Semigroup (ParamSchema t)

Defined in Data.Swagger.Internal

Methods

(<>) :: ParamSchema t -> ParamSchema t -> ParamSchema t

sconcat :: NonEmpty (ParamSchema t) -> ParamSchema t

stimes :: Integral b => b -> ParamSchema t -> ParamSchema t

Generic (ParamSchema t)

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

Show (ParamSchema t)

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> ParamSchema t -> ShowS

show :: ParamSchema t -> String

showList :: [ParamSchema t] -> ShowS

Eq (ParamSchema t)

Defined in Data.Swagger.Internal

Methods

(==) :: ParamSchema t -> ParamSchema t -> Bool

(/=) :: ParamSchema t -> ParamSchema t -> Bool

Generic (ParamSchema t)

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)

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf (ParamSchema t) :: DatatypeInfo

Methods

datatypeInfo :: proxy (ParamSchema t) -> DatatypeInfo (Code (ParamSchema t))

(FromJSON (SwaggerType ('SwaggerKindNormal t)), FromJSON (SwaggerItems ('SwaggerKindNormal t))) => FromJSON (ParamSchema ('SwaggerKindNormal t))

Defined in Data.Swagger.Internal

Methods

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

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

FromJSON (ParamSchema ('SwaggerKindParamOtherSchema :: SwaggerKind Type))

Defined in Data.Swagger.Internal

Methods

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

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

FromJSON (ParamSchema ('SwaggerKindSchema :: SwaggerKind Type))

Defined in Data.Swagger.Internal

Methods

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

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

ToJSON (ParamSchema k)

Defined in Data.Swagger.Internal

Methods

toJSON :: ParamSchema k -> Value

toEncoding :: ParamSchema k -> Encoding

toJSONList :: [ParamSchema k] -> Value

toEncodingList :: [ParamSchema k] -> Encoding

AesonDefaultValue (ParamSchema s)

Defined in Data.Swagger.Internal

Methods

defaultValue :: Maybe (ParamSchema s)

HasSwaggerAesonOptions (ParamSchema ('SwaggerKindNormal t))

Defined in Data.Swagger.Internal

Methods

swaggerAesonOptions :: Proxy (ParamSchema ('SwaggerKindNormal t)) -> SwaggerAesonOptions

aesonDefaults :: Proxy (ParamSchema ('SwaggerKindNormal t)) -> POP Maybe (Code (ParamSchema ('SwaggerKindNormal t)))

HasSwaggerAesonOptions (ParamSchema ('SwaggerKindParamOtherSchema :: SwaggerKind Type))

Defined in Data.Swagger.Internal

Methods

swaggerAesonOptions :: Proxy (ParamSchema 'SwaggerKindParamOtherSchema) -> SwaggerAesonOptions

aesonDefaults :: Proxy (ParamSchema 'SwaggerKindParamOtherSchema) -> POP Maybe (Code (ParamSchema 'SwaggerKindParamOtherSchema))

HasSwaggerAesonOptions (ParamSchema ('SwaggerKindSchema :: SwaggerKind Type))

Defined in Data.Swagger.Internal

Methods

swaggerAesonOptions :: Proxy (ParamSchema 'SwaggerKindSchema) -> SwaggerAesonOptions

aesonDefaults :: Proxy (ParamSchema 'SwaggerKindSchema) -> POP Maybe (Code (ParamSchema 'SwaggerKindSchema))

SwaggerMonoid (ParamSchema t)

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: ParamSchema t

swaggerMappend :: ParamSchema t -> ParamSchema t -> ParamSchema t

HasDefault (ParamSchema t) (Maybe Value)

Defined in Data.Swagger.Lens

Methods

default_ :: Lens' (ParamSchema t) (Maybe Value)

HasEnum (ParamSchema t) (Maybe [Value])

Defined in Data.Swagger.Lens

Methods

enum_ :: Lens' (ParamSchema t) (Maybe [Value])

HasExclusiveMaximum (ParamSchema t) (Maybe Bool)

Defined in Data.Swagger.Lens

Methods

exclusiveMaximum :: Lens' (ParamSchema t) (Maybe Bool)

HasExclusiveMinimum (ParamSchema t) (Maybe Bool)

Defined in Data.Swagger.Lens

Methods

exclusiveMinimum :: Lens' (ParamSchema t) (Maybe Bool)

HasFormat (ParamSchema t) (Maybe Format)

Defined in Data.Swagger.Lens

Methods

format :: Lens' (ParamSchema t) (Maybe Format)

HasItems (ParamSchema t) (Maybe (SwaggerItems t))

Defined in Data.Swagger.Lens

Methods

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

HasMaxItems (ParamSchema t) (Maybe Integer)

Defined in Data.Swagger.Lens

Methods

maxItems :: Lens' (ParamSchema t) (Maybe Integer)

HasMaxLength (ParamSchema t) (Maybe Integer)

Defined in Data.Swagger.Lens

Methods

maxLength :: Lens' (ParamSchema t) (Maybe Integer)

HasMaximum (ParamSchema t) (Maybe Scientific)

Defined in Data.Swagger.Lens

Methods

maximum_ :: Lens' (ParamSchema t) (Maybe Scientific)

HasMinItems (ParamSchema t) (Maybe Integer)

Defined in Data.Swagger.Lens

Methods

minItems :: Lens' (ParamSchema t) (Maybe Integer)

HasMinLength (ParamSchema t) (Maybe Integer)

Defined in Data.Swagger.Lens

Methods

minLength :: Lens' (ParamSchema t) (Maybe Integer)

HasMinimum (ParamSchema t) (Maybe Scientific)

Defined in Data.Swagger.Lens

Methods

minimum_ :: Lens' (ParamSchema t) (Maybe Scientific)

HasMultipleOf (ParamSchema t) (Maybe Scientific)

Defined in Data.Swagger.Lens

Methods

multipleOf :: Lens' (ParamSchema t) (Maybe Scientific)

HasPattern (ParamSchema t) (Maybe Pattern)

Defined in Data.Swagger.Lens

Methods

pattern :: Lens' (ParamSchema t) (Maybe Pattern)

HasType (ParamSchema t) (Maybe (SwaggerType t))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' (ParamSchema t) (Maybe (SwaggerType t))

HasUniqueItems (ParamSchema t) (Maybe Bool)

Defined in Data.Swagger.Lens

Methods

uniqueItems :: Lens' (ParamSchema t) (Maybe Bool)

type Rep (ParamSchema t)

Defined in Data.Swagger.Internal

type Rep (ParamSchema t) = D1 ('MetaData "ParamSchema" "Data.Swagger.Internal" "swagger2-2.8-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)

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)

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

Constructors

Schema

Fields

• _schemaTitle :: Maybe Text
• _schemaDescription :: Maybe Text
• _schemaRequired :: [ParamName]
• _schemaAllOf :: Maybe [Referenced Schema]
• _schemaProperties :: InsOrdHashMap Text (Referenced Schema)
• _schemaAdditionalProperties :: Maybe AdditionalProperties
• _schemaDiscriminator :: Maybe Text
• _schemaReadOnly :: Maybe Bool
• _schemaXml :: Maybe Xml
• _schemaExternalDocs :: Maybe ExternalDocs
• _schemaExample :: Maybe Value
• _schemaMaxProperties :: Maybe Integer
• _schemaMinProperties :: Maybe Integer
• _schemaParamSchema :: ParamSchema 'SwaggerKindSchema

Instances

Data Schema

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

Monoid Schema

Defined in Data.Swagger.Internal

Methods

mempty :: Schema

mappend :: Schema -> Schema -> Schema

mconcat :: [Schema] -> Schema

Semigroup Schema

Defined in Data.Swagger.Internal

Methods

(<>) :: Schema -> Schema -> Schema

sconcat :: NonEmpty Schema -> Schema

stimes :: Integral b => b -> Schema -> Schema

Generic Schema

Defined in Data.Swagger.Internal

Associated Types

type Rep Schema :: Type -> Type

Methods

from :: Schema -> Rep Schema x

to :: Rep Schema x -> Schema

Show Schema

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Schema -> ShowS

show :: Schema -> String

showList :: [Schema] -> ShowS

Eq Schema

Defined in Data.Swagger.Internal

Methods

(==) :: Schema -> Schema -> Bool

(/=) :: Schema -> Schema -> Bool

Generic Schema

Defined in Data.Swagger.Internal

Associated Types

type Code Schema :: [[Type]]

Methods

from :: Schema -> Rep Schema

to :: Rep Schema -> Schema

HasDatatypeInfo Schema

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf Schema :: DatatypeInfo

Methods

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

FromJSON Schema

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Schema

parseJSONList :: Value -> Parser [Schema]

ToJSON Schema

Defined in Data.Swagger.Internal

Methods

toJSON :: Schema -> Value

toEncoding :: Schema -> Encoding

toJSONList :: [Schema] -> Value

toEncodingList :: [Schema] -> Encoding

HasSwaggerAesonOptions Schema

Defined in Data.Swagger.Internal

Methods

swaggerAesonOptions :: Proxy Schema -> SwaggerAesonOptions

aesonDefaults :: Proxy Schema -> POP Maybe (Code Schema)

SwaggerMonoid Schema

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: Schema

swaggerMappend :: Schema -> Schema -> Schema

HasSchema NamedSchema Schema

Defined in Data.Swagger.Lens

Methods

schema :: Lens' NamedSchema Schema

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Schema Schema a b

HasAdditionalProperties Schema (Maybe AdditionalProperties)

Defined in Data.Swagger.Lens

Methods

additionalProperties :: Lens' Schema (Maybe AdditionalProperties)

HasAllOf Schema (Maybe [Referenced Schema])

Defined in Data.Swagger.Lens

Methods

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

HasDefault Schema (Maybe Value)

Defined in Data.Swagger.Lens

Methods

default_ :: Lens' Schema (Maybe Value)

HasDefinitions Swagger (Definitions Schema)

Defined in Data.Swagger.Lens

Methods

definitions :: Lens' Swagger (Definitions Schema)

HasDescription Schema (Maybe Text)

Defined in Data.Swagger.Lens

Methods

description :: Lens' Schema (Maybe Text)

HasDiscriminator Schema (Maybe Text)

Defined in Data.Swagger.Lens

Methods

discriminator :: Lens' Schema (Maybe Text)

HasExample Schema (Maybe Value)

Defined in Data.Swagger.Lens

Methods

example :: Lens' Schema (Maybe Value)

HasExternalDocs Schema (Maybe ExternalDocs)

Defined in Data.Swagger.Lens

Methods

externalDocs :: Lens' Schema (Maybe ExternalDocs)

HasMaxProperties Schema (Maybe Integer)

Defined in Data.Swagger.Lens

Methods

maxProperties :: Lens' Schema (Maybe Integer)

HasMinProperties Schema (Maybe Integer)

Defined in Data.Swagger.Lens

Methods

minProperties :: Lens' Schema (Maybe Integer)

HasParamSchema Schema (ParamSchema ('SwaggerKindSchema :: SwaggerKind Type))

Defined in Data.Swagger.Lens

Methods

paramSchema :: Lens' Schema (ParamSchema 'SwaggerKindSchema)

HasReadOnly Schema (Maybe Bool)

Defined in Data.Swagger.Lens

Methods

readOnly :: Lens' Schema (Maybe Bool)

HasRequired Schema [ParamName]

Defined in Data.Swagger.Lens

Methods

required :: Lens' Schema [ParamName]

HasSchema Response (Maybe (Referenced Schema))

Defined in Data.Swagger.Lens

Methods

schema :: Lens' Response (Maybe (Referenced Schema))

HasTitle Schema (Maybe Text)

Defined in Data.Swagger.Lens

Methods

title :: Lens' Schema (Maybe Text)

HasType Schema (Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type)))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' Schema (Maybe (SwaggerType 'SwaggerKindSchema))

HasXml Schema (Maybe Xml)

Defined in Data.Swagger.Lens

Methods

xml :: Lens' Schema (Maybe Xml)

HasProperties Schema (InsOrdHashMap Text (Referenced Schema))

Defined in Data.Swagger.Lens

Methods

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

FromJSON (Referenced Schema)

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (Referenced Schema)

parseJSONList :: Value -> Parser [Referenced Schema]

ToJSON (Referenced Schema)

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

Defined in Data.Swagger.Internal

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

Defined in Data.Swagger.Internal

type Code Schema = '['[Maybe Text, Maybe Text, [ParamName], Maybe [Referenced Schema], InsOrdHashMap Text (Referenced Schema), Maybe AdditionalProperties, Maybe Text, Maybe Bool, Maybe Xml, Maybe ExternalDocs, Maybe Value, Maybe Integer, Maybe Integer, ParamSchema ('SwaggerKindSchema :: SwaggerKind Type)]]

type DatatypeInfoOf Schema

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

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

Constructors

NamedSchema

Fields

• _namedSchemaName :: Maybe Text
• _namedSchemaSchema :: Schema

Instances

Data NamedSchema

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

Generic NamedSchema

Defined in Data.Swagger.Internal

Associated Types

type Rep NamedSchema :: Type -> Type

Methods

from :: NamedSchema -> Rep NamedSchema x

to :: Rep NamedSchema x -> NamedSchema

Show NamedSchema

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> NamedSchema -> ShowS

show :: NamedSchema -> String

showList :: [NamedSchema] -> ShowS

Eq NamedSchema

Defined in Data.Swagger.Internal

Methods

(==) :: NamedSchema -> NamedSchema -> Bool

(/=) :: NamedSchema -> NamedSchema -> Bool

HasSchema NamedSchema Schema

Defined in Data.Swagger.Lens

Methods

schema :: Lens' NamedSchema Schema

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b

HasName NamedSchema (Maybe Text)

Defined in Data.Swagger.Lens

Methods

name :: Lens' NamedSchema (Maybe Text)

HasParamSchema NamedSchema (ParamSchema ('SwaggerKindSchema :: SwaggerKind Type))

Defined in Data.Swagger.Lens

Methods

paramSchema :: Lens' NamedSchema (ParamSchema 'SwaggerKindSchema)

HasType NamedSchema (Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type)))

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' NamedSchema (Maybe (SwaggerType 'SwaggerKindSchema))

type Rep NamedSchema

Defined in Data.Swagger.Internal

type Rep NamedSchema = D1 ('MetaData "NamedSchema" "Data.Swagger.Internal" "swagger2-2.8-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 :: SwaggerKind *) where

Items for SwaggerArray schemas.

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

SwaggerItemsObject should be used to specify homogenous array Schemas.

SwaggerItemsArray should be used to specify tuple Schemas.

Constructors

SwaggerItemsPrimitive :: Maybe (CollectionFormat k) -> ParamSchema k -> SwaggerItems k

SwaggerItemsObject :: Referenced Schema -> SwaggerItems 'SwaggerKindSchema

SwaggerItemsArray :: [Referenced Schema] -> SwaggerItems 'SwaggerKindSchema

Instances

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Review NoIx (SwaggerItems 'SwaggerKindSchema) (SwaggerItems 'SwaggerKindSchema) a b

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic A_Review NoIx (SwaggerItems 'SwaggerKindSchema) (SwaggerItems 'SwaggerKindSchema) a b

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

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

Defined in Data.Swagger.Lens

Methods

items :: Lens' s (Maybe (SwaggerItems t))

Data t => Data (SwaggerItems ('SwaggerKindNormal t))

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

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

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)

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> SwaggerItems t -> ShowS

show :: SwaggerItems t -> String

showList :: [SwaggerItems t] -> ShowS

Eq (SwaggerItems t)

Defined in Data.Swagger.Internal

Methods

(==) :: SwaggerItems t -> SwaggerItems t -> Bool

(/=) :: SwaggerItems t -> SwaggerItems t -> Bool

(FromJSON (CollectionFormat ('SwaggerKindNormal t)), FromJSON (ParamSchema ('SwaggerKindNormal t))) => FromJSON (SwaggerItems ('SwaggerKindNormal t))

Defined in Data.Swagger.Internal

Methods

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

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

FromJSON (SwaggerItems ('SwaggerKindParamOtherSchema :: SwaggerKind Type))

Defined in Data.Swagger.Internal

Methods

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

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

FromJSON (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type))

>>> 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"})])

Defined in Data.Swagger.Internal

Methods

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

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

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

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

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

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

Defined in Data.Swagger.Lens

Methods

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

data Xml

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

Data Xml

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

Generic Xml

Defined in Data.Swagger.Internal

Associated Types

type Rep Xml :: Type -> Type

Methods

from :: Xml -> Rep Xml x

to :: Rep Xml x -> Xml

Show Xml

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Xml -> ShowS

show :: Xml -> String

showList :: [Xml] -> ShowS

Eq Xml

Defined in Data.Swagger.Internal

Methods

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

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

FromJSON Xml

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Xml

parseJSONList :: Value -> Parser [Xml]

ToJSON Xml

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

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

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

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Xml Xml a b

HasAttribute Xml (Maybe Bool)

Defined in Data.Swagger.Lens

Methods

attribute :: Lens' Xml (Maybe Bool)

HasName Xml (Maybe Text)

Defined in Data.Swagger.Lens

Methods

name :: Lens' Xml (Maybe Text)

HasNamespace Xml (Maybe Text)

Defined in Data.Swagger.Lens

Methods

namespace :: Lens' Xml (Maybe Text)

HasPrefix Xml (Maybe Text)

Defined in Data.Swagger.Lens

Methods

prefix :: Lens' Xml (Maybe Text)

HasWrapped Xml (Maybe Bool)

Defined in Data.Swagger.Lens

Methods

wrapped :: Lens' Xml (Maybe Bool)

HasXml Schema (Maybe Xml)

Defined in Data.Swagger.Lens

Methods

xml :: Lens' Schema (Maybe Xml)

type Rep Xml

Defined in Data.Swagger.Internal

type Rep Xml = D1 ('MetaData "Xml" "Data.Swagger.Internal" "swagger2-2.8-inplace" 'False) (C1 ('MetaCons "Xml" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_xmlName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "_xmlNamespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))) :*: (S1 ('MetaSel ('Just "_xmlPrefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: (S1 ('MetaSel ('Just "_xmlAttribute") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel ('Just "_xmlWrapped") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))))

type Pattern = Text

Regex pattern for string type.

data AdditionalProperties

Constructors

AdditionalPropertiesAllowed Bool

AdditionalPropertiesSchema (Referenced Schema)

Instances

Data AdditionalProperties

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

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> AdditionalProperties -> ShowS

show :: AdditionalProperties -> String

showList :: [AdditionalProperties] -> ShowS

Eq AdditionalProperties

Defined in Data.Swagger.Internal

Methods

(==) :: AdditionalProperties -> AdditionalProperties -> Bool

(/=) :: AdditionalProperties -> AdditionalProperties -> Bool

FromJSON AdditionalProperties

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser AdditionalProperties

parseJSONList :: Value -> Parser [AdditionalProperties]

ToJSON AdditionalProperties

Defined in Data.Swagger.Internal

Methods

toJSON :: AdditionalProperties -> Value

toEncoding :: AdditionalProperties -> Encoding

toJSONList :: [AdditionalProperties] -> Value

toEncodingList :: [AdditionalProperties] -> Encoding

HasAdditionalProperties Schema (Maybe AdditionalProperties)

Defined in Data.Swagger.Lens

Methods

additionalProperties :: Lens' Schema (Maybe AdditionalProperties)

Responses

data Responses

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

• _responsesDefault :: Maybe (Referenced Response)

  The documentation of responses other than the ones declared for specific HTTP response codes. It can be used to cover undeclared responses.

• _responsesResponses :: InsOrdHashMap HttpStatusCode (Referenced Response)

  Any HTTP status code can be used as the property name (one property per HTTP status code). Describes the expected response for those HTTP status codes.

Instances

Data Responses

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

Monoid Responses

Defined in Data.Swagger.Internal

Methods

mempty :: Responses

mappend :: Responses -> Responses -> Responses

mconcat :: [Responses] -> Responses

Semigroup Responses

Defined in Data.Swagger.Internal

Methods

(<>) :: Responses -> Responses -> Responses

sconcat :: NonEmpty Responses -> Responses

stimes :: Integral b => b -> Responses -> Responses

Generic Responses

Defined in Data.Swagger.Internal

Associated Types

type Rep Responses :: Type -> Type

Methods

from :: Responses -> Rep Responses x

to :: Rep Responses x -> Responses

Show Responses

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Responses -> ShowS

show :: Responses -> String

showList :: [Responses] -> ShowS

Eq Responses

Defined in Data.Swagger.Internal

Methods

(==) :: Responses -> Responses -> Bool

(/=) :: Responses -> Responses -> Bool

Generic Responses

Defined in Data.Swagger.Internal

Associated Types

type Code Responses :: [[Type]]

Methods

from :: Responses -> Rep Responses

to :: Rep Responses -> Responses

HasDatatypeInfo Responses

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf Responses :: DatatypeInfo

Methods

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

At Responses

Defined in Data.Swagger.Lens

Methods

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

Ixed Responses

Defined in Data.Swagger.Lens

Methods

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

At Responses

Defined in Data.Swagger.Optics

Methods

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

Ixed Responses

Defined in Data.Swagger.Optics

Associated Types

type IxKind Responses

Methods

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

FromJSON Responses

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Responses

parseJSONList :: Value -> Parser [Responses]

ToJSON Responses

Defined in Data.Swagger.Internal

Methods

toJSON :: Responses -> Value

toEncoding :: Responses -> Encoding

toJSONList :: [Responses] -> Value

toEncodingList :: [Responses] -> Encoding

AesonDefaultValue Responses

Defined in Data.Swagger.Internal

Methods

defaultValue :: Maybe Responses

HasSwaggerAesonOptions Responses

Defined in Data.Swagger.Internal

Methods

swaggerAesonOptions :: Proxy Responses -> SwaggerAesonOptions

aesonDefaults :: Proxy Responses -> POP Maybe (Code Responses)

SwaggerMonoid Responses

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: Responses

swaggerMappend :: Responses -> Responses -> Responses

HasResponses Operation Responses

Defined in Data.Swagger.Lens

Methods

responses :: Lens' Operation Responses

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Responses Responses a b

HasDefault Responses (Maybe (Referenced Response))

Defined in Data.Swagger.Lens

Methods

default_ :: Lens' Responses (Maybe (Referenced Response))

HasResponses Responses (InsOrdHashMap HttpStatusCode (Referenced Response))

Defined in Data.Swagger.Lens

Methods

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

type Rep Responses

Defined in Data.Swagger.Internal

type Rep Responses = D1 ('MetaData "Responses" "Data.Swagger.Internal" "swagger2-2.8-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 Code Responses

Defined in Data.Swagger.Internal

type Code Responses = '['[Maybe (Referenced Response), InsOrdHashMap HttpStatusCode (Referenced Response)]]

type DatatypeInfoOf Responses

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

Defined in Data.Swagger.Lens

type Index Responses = HttpStatusCode

type IxValue Responses

Defined in Data.Swagger.Lens

type IxValue Responses = Referenced Response

type Index Responses

Defined in Data.Swagger.Optics

type Index Responses = HttpStatusCode

type IxKind Responses

Defined in Data.Swagger.Optics

type IxKind Responses = An_AffineTraversal

type IxValue Responses

Defined in Data.Swagger.Optics

type IxValue Responses = Referenced Response

data Response

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

Data Response

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

IsString Response

Defined in Data.Swagger.Internal

Methods

fromString :: String -> Response

Monoid Response

Defined in Data.Swagger.Internal

Methods

mempty :: Response

mappend :: Response -> Response -> Response

mconcat :: [Response] -> Response

Semigroup Response

Defined in Data.Swagger.Internal

Methods

(<>) :: Response -> Response -> Response

sconcat :: NonEmpty Response -> Response

stimes :: Integral b => b -> Response -> Response

Generic Response

Defined in Data.Swagger.Internal

Associated Types

type Rep Response :: Type -> Type

Methods

from :: Response -> Rep Response x

to :: Rep Response x -> Response

Show Response

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Response -> ShowS

show :: Response -> String

showList :: [Response] -> ShowS

Eq Response

Defined in Data.Swagger.Internal

Methods

(==) :: Response -> Response -> Bool

(/=) :: Response -> Response -> Bool

Generic Response

Defined in Data.Swagger.Internal

Associated Types

type Code Response :: [[Type]]

Methods

from :: Response -> Rep Response

to :: Rep Response -> Response

HasDatatypeInfo Response

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf Response :: DatatypeInfo

Methods

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

FromJSON Response

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Response

parseJSONList :: Value -> Parser [Response]

ToJSON Response

Defined in Data.Swagger.Internal

Methods

toJSON :: Response -> Value

toEncoding :: Response -> Encoding

toJSONList :: [Response] -> Value

toEncodingList :: [Response] -> Encoding

HasSwaggerAesonOptions Response

Defined in Data.Swagger.Internal

Methods

swaggerAesonOptions :: Proxy Response -> SwaggerAesonOptions

aesonDefaults :: Proxy Response -> POP Maybe (Code Response)

SwaggerMonoid Response

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: Response

swaggerMappend :: Response -> Response -> Response

HasDescription Response Text

Defined in Data.Swagger.Lens

Methods

description :: Lens' Response Text

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

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

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx Response Response a b

HasDefault Responses (Maybe (Referenced Response))

Defined in Data.Swagger.Lens

Methods

default_ :: Lens' Responses (Maybe (Referenced Response))

HasExamples Response (Maybe Example)

Defined in Data.Swagger.Lens

Methods

examples :: Lens' Response (Maybe Example)

HasResponses Swagger (Definitions Response)

Defined in Data.Swagger.Lens

Methods

responses :: Lens' Swagger (Definitions Response)

HasSchema Response (Maybe (Referenced Schema))

Defined in Data.Swagger.Lens

Methods

schema :: Lens' Response (Maybe (Referenced Schema))

HasHeaders Response (InsOrdHashMap HeaderName Header)

Defined in Data.Swagger.Lens

Methods

headers :: Lens' Response (InsOrdHashMap HeaderName Header)

HasResponses Responses (InsOrdHashMap HttpStatusCode (Referenced Response))

Defined in Data.Swagger.Lens

Methods

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

FromJSON (Referenced Response)

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (Referenced Response)

parseJSONList :: Value -> Parser [Referenced Response]

ToJSON (Referenced Response)

Defined in Data.Swagger.Internal

Methods

toJSON :: Referenced Response -> Value

toEncoding :: Referenced Response -> Encoding

toJSONList :: [Referenced Response] -> Value

toEncodingList :: [Referenced Response] -> Encoding

type Rep Response

Defined in Data.Swagger.Internal

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

Defined in Data.Swagger.Internal

type Code Response = '['[Text, Maybe (Referenced Schema), InsOrdHashMap HeaderName Header, Maybe Example]]

type DatatypeInfoOf Response

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

type HttpStatusCode = Int

Security

data SecurityScheme

Constructors

SecurityScheme

Fields

• _securitySchemeType :: SecuritySchemeType

  The type of the security scheme.

• _securitySchemeDescription :: Maybe Text

  A short description for security scheme.

Instances

Data SecurityScheme

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

Semigroup SecurityScheme

Defined in Data.Swagger.Internal

Methods

(<>) :: SecurityScheme -> SecurityScheme -> SecurityScheme

sconcat :: NonEmpty SecurityScheme -> SecurityScheme

stimes :: Integral b => b -> SecurityScheme -> SecurityScheme

Generic SecurityScheme

Defined in Data.Swagger.Internal

Associated Types

type Rep SecurityScheme :: Type -> Type

Methods

from :: SecurityScheme -> Rep SecurityScheme x

to :: Rep SecurityScheme x -> SecurityScheme

Show SecurityScheme

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> SecurityScheme -> ShowS

show :: SecurityScheme -> String

showList :: [SecurityScheme] -> ShowS

Eq SecurityScheme

Defined in Data.Swagger.Internal

Methods

(==) :: SecurityScheme -> SecurityScheme -> Bool

(/=) :: SecurityScheme -> SecurityScheme -> Bool

Generic SecurityScheme

Defined in Data.Swagger.Internal

Associated Types

type Code SecurityScheme :: [[Type]]

Methods

from :: SecurityScheme -> Rep SecurityScheme

to :: Rep SecurityScheme -> SecurityScheme

HasDatatypeInfo SecurityScheme

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf SecurityScheme :: DatatypeInfo

Methods

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

FromJSON SecurityScheme

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser SecurityScheme

parseJSONList :: Value -> Parser [SecurityScheme]

ToJSON SecurityScheme

Defined in Data.Swagger.Internal

Methods

toJSON :: SecurityScheme -> Value

toEncoding :: SecurityScheme -> Encoding

toJSONList :: [SecurityScheme] -> Value

toEncodingList :: [SecurityScheme] -> Encoding

HasSwaggerAesonOptions SecurityScheme

Defined in Data.Swagger.Internal

Methods

swaggerAesonOptions :: Proxy SecurityScheme -> SwaggerAesonOptions

aesonDefaults :: Proxy SecurityScheme -> POP Maybe (Code SecurityScheme)

HasType SecurityScheme SecuritySchemeType

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' SecurityScheme SecuritySchemeType

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx SecurityScheme SecurityScheme a b

HasDescription SecurityScheme (Maybe Text)

Defined in Data.Swagger.Lens

Methods

description :: Lens' SecurityScheme (Maybe Text)

type Rep SecurityScheme

Defined in Data.Swagger.Internal

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

Defined in Data.Swagger.Internal

type Code SecurityScheme = '['[SecuritySchemeType, Maybe Text]]

type DatatypeInfoOf SecurityScheme

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

Constructors

SecuritySchemeBasic

SecuritySchemeApiKey ApiKeyParams

SecuritySchemeOAuth2 OAuth2Params

Instances

Data SecuritySchemeType

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

Generic SecuritySchemeType

Defined in Data.Swagger.Internal

Associated Types

type Rep SecuritySchemeType :: Type -> Type

Methods

from :: SecuritySchemeType -> Rep SecuritySchemeType x

to :: Rep SecuritySchemeType x -> SecuritySchemeType

Show SecuritySchemeType

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> SecuritySchemeType -> ShowS

show :: SecuritySchemeType -> String

showList :: [SecuritySchemeType] -> ShowS

Eq SecuritySchemeType

Defined in Data.Swagger.Internal

Methods

(==) :: SecuritySchemeType -> SecuritySchemeType -> Bool

(/=) :: SecuritySchemeType -> SecuritySchemeType -> Bool

FromJSON SecuritySchemeType

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser SecuritySchemeType

parseJSONList :: Value -> Parser [SecuritySchemeType]

ToJSON SecuritySchemeType

Defined in Data.Swagger.Internal

Methods

toJSON :: SecuritySchemeType -> Value

toEncoding :: SecuritySchemeType -> Encoding

toJSONList :: [SecuritySchemeType] -> Value

toEncodingList :: [SecuritySchemeType] -> Encoding

AesonDefaultValue SecuritySchemeType

Defined in Data.Swagger.Internal

Methods

defaultValue :: Maybe SecuritySchemeType

HasType SecurityScheme SecuritySchemeType

Defined in Data.Swagger.Lens

Methods

type_ :: Lens' SecurityScheme SecuritySchemeType

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx SecuritySchemeType SecuritySchemeType a b

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx SecuritySchemeType SecuritySchemeType a b

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx SecuritySchemeType SecuritySchemeType a b

type Rep SecuritySchemeType

Defined in Data.Swagger.Internal

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

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

• getSecurityRequirement :: InsOrdHashMap Text [Text]

Instances

Data SecurityRequirement

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

Monoid SecurityRequirement

Defined in Data.Swagger.Internal

Methods

mempty :: SecurityRequirement

mappend :: SecurityRequirement -> SecurityRequirement -> SecurityRequirement

mconcat :: [SecurityRequirement] -> SecurityRequirement

Semigroup SecurityRequirement

Defined in Data.Swagger.Internal

Methods

(<>) :: SecurityRequirement -> SecurityRequirement -> SecurityRequirement

sconcat :: NonEmpty SecurityRequirement -> SecurityRequirement

stimes :: Integral b => b -> SecurityRequirement -> SecurityRequirement

Read SecurityRequirement

Defined in Data.Swagger.Internal

Methods

readsPrec :: Int -> ReadS SecurityRequirement

readList :: ReadS [SecurityRequirement]

readPrec :: ReadPrec SecurityRequirement

readListPrec :: ReadPrec [SecurityRequirement]

Show SecurityRequirement

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> SecurityRequirement -> ShowS

show :: SecurityRequirement -> String

showList :: [SecurityRequirement] -> ShowS

Eq SecurityRequirement

Defined in Data.Swagger.Internal

Methods

(==) :: SecurityRequirement -> SecurityRequirement -> Bool

(/=) :: SecurityRequirement -> SecurityRequirement -> Bool

FromJSON SecurityRequirement

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser SecurityRequirement

parseJSONList :: Value -> Parser [SecurityRequirement]

ToJSON SecurityRequirement

Defined in Data.Swagger.Internal

Methods

toJSON :: SecurityRequirement -> Value

toEncoding :: SecurityRequirement -> Encoding

toJSONList :: [SecurityRequirement] -> Value

toEncodingList :: [SecurityRequirement] -> Encoding

HasSecurity Operation [SecurityRequirement]

Defined in Data.Swagger.Lens

Methods

security :: Lens' Operation [SecurityRequirement]

HasSecurity Swagger [SecurityRequirement]

Defined in Data.Swagger.Lens

Methods

security :: Lens' Swagger [SecurityRequirement]

newtype SecurityDefinitions

Constructors

SecurityDefinitions (Definitions SecurityScheme)

Instances

Data SecurityDefinitions

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

Monoid SecurityDefinitions

Defined in Data.Swagger.Internal

Methods

mempty :: SecurityDefinitions

mappend :: SecurityDefinitions -> SecurityDefinitions -> SecurityDefinitions

mconcat :: [SecurityDefinitions] -> SecurityDefinitions

Semigroup SecurityDefinitions

Defined in Data.Swagger.Internal

Methods

(<>) :: SecurityDefinitions -> SecurityDefinitions -> SecurityDefinitions

sconcat :: NonEmpty SecurityDefinitions -> SecurityDefinitions

stimes :: Integral b => b -> SecurityDefinitions -> SecurityDefinitions

Generic SecurityDefinitions

Defined in Data.Swagger.Internal

Associated Types

type Rep SecurityDefinitions :: Type -> Type

Methods

from :: SecurityDefinitions -> Rep SecurityDefinitions x

to :: Rep SecurityDefinitions x -> SecurityDefinitions

Show SecurityDefinitions

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> SecurityDefinitions -> ShowS

show :: SecurityDefinitions -> String

showList :: [SecurityDefinitions] -> ShowS

Eq SecurityDefinitions

Defined in Data.Swagger.Internal

Methods

(==) :: SecurityDefinitions -> SecurityDefinitions -> Bool

(/=) :: SecurityDefinitions -> SecurityDefinitions -> Bool

At SecurityDefinitions

Defined in Data.Swagger.Lens

Methods

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

Ixed SecurityDefinitions

Defined in Data.Swagger.Lens

Methods

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

FromJSON SecurityDefinitions

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser SecurityDefinitions

parseJSONList :: Value -> Parser [SecurityDefinitions]

ToJSON SecurityDefinitions

Defined in Data.Swagger.Internal

Methods

toJSON :: SecurityDefinitions -> Value

toEncoding :: SecurityDefinitions -> Encoding

toJSONList :: [SecurityDefinitions] -> Value

toEncodingList :: [SecurityDefinitions] -> Encoding

AesonDefaultValue SecurityDefinitions

Defined in Data.Swagger.Internal

Methods

defaultValue :: Maybe SecurityDefinitions

SwaggerMonoid SecurityDefinitions

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: SecurityDefinitions

swaggerMappend :: SecurityDefinitions -> SecurityDefinitions -> SecurityDefinitions

HasSecurityDefinitions Swagger SecurityDefinitions

Defined in Data.Swagger.Lens

Methods

securityDefinitions :: Lens' Swagger SecurityDefinitions

type Rep SecurityDefinitions

Defined in Data.Swagger.Internal

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

type Index SecurityDefinitions

Defined in Data.Swagger.Lens

type Index SecurityDefinitions = Text

type IxValue SecurityDefinitions

Defined in Data.Swagger.Lens

type IxValue SecurityDefinitions = SecurityScheme

API key

data ApiKeyParams

Constructors

ApiKeyParams

Fields

• _apiKeyName :: Text

  The name of the header or query parameter to be used.

• _apiKeyIn :: ApiKeyLocation

  The location of the API key.

Instances

Data ApiKeyParams

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

Generic ApiKeyParams

Defined in Data.Swagger.Internal

Associated Types

type Rep ApiKeyParams :: Type -> Type

Methods

from :: ApiKeyParams -> Rep ApiKeyParams x

to :: Rep ApiKeyParams x -> ApiKeyParams

Show ApiKeyParams

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> ApiKeyParams -> ShowS

show :: ApiKeyParams -> String

showList :: [ApiKeyParams] -> ShowS

Eq ApiKeyParams

Defined in Data.Swagger.Internal

Methods

(==) :: ApiKeyParams -> ApiKeyParams -> Bool

(/=) :: ApiKeyParams -> ApiKeyParams -> Bool

FromJSON ApiKeyParams

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser ApiKeyParams

parseJSONList :: Value -> Parser [ApiKeyParams]

ToJSON ApiKeyParams

Defined in Data.Swagger.Internal

Methods

toJSON :: ApiKeyParams -> Value

toEncoding :: ApiKeyParams -> Encoding

toJSONList :: [ApiKeyParams] -> Value

toEncodingList :: [ApiKeyParams] -> Encoding

type Rep ApiKeyParams

Defined in Data.Swagger.Internal

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

The location of the API key.

Constructors

ApiKeyQuery

ApiKeyHeader

Instances

Data ApiKeyLocation

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

Generic ApiKeyLocation

Defined in Data.Swagger.Internal

Associated Types

type Rep ApiKeyLocation :: Type -> Type

Methods

from :: ApiKeyLocation -> Rep ApiKeyLocation x

to :: Rep ApiKeyLocation x -> ApiKeyLocation

Show ApiKeyLocation

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> ApiKeyLocation -> ShowS

show :: ApiKeyLocation -> String

showList :: [ApiKeyLocation] -> ShowS

Eq ApiKeyLocation

Defined in Data.Swagger.Internal

Methods

(==) :: ApiKeyLocation -> ApiKeyLocation -> Bool

(/=) :: ApiKeyLocation -> ApiKeyLocation -> Bool

FromJSON ApiKeyLocation

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser ApiKeyLocation

parseJSONList :: Value -> Parser [ApiKeyLocation]

ToJSON ApiKeyLocation

Defined in Data.Swagger.Internal

Methods

toJSON :: ApiKeyLocation -> Value

toEncoding :: ApiKeyLocation -> Encoding

toJSONList :: [ApiKeyLocation] -> Value

toEncodingList :: [ApiKeyLocation] -> Encoding

type Rep ApiKeyLocation

Defined in Data.Swagger.Internal

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

OAuth2

data OAuth2Params

Constructors

OAuth2Params

Fields

• _oauth2Flow :: OAuth2Flow

  The flow used by the OAuth2 security scheme.

• _oauth2Scopes :: InsOrdHashMap Text Text

  The available scopes for the OAuth2 security scheme.

Instances

Data OAuth2Params

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

Generic OAuth2Params

Defined in Data.Swagger.Internal

Associated Types

type Rep OAuth2Params :: Type -> Type

Methods

from :: OAuth2Params -> Rep OAuth2Params x

to :: Rep OAuth2Params x -> OAuth2Params

Show OAuth2Params

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> OAuth2Params -> ShowS

show :: OAuth2Params -> String

showList :: [OAuth2Params] -> ShowS

Eq OAuth2Params

Defined in Data.Swagger.Internal

Methods

(==) :: OAuth2Params -> OAuth2Params -> Bool

(/=) :: OAuth2Params -> OAuth2Params -> Bool

Generic OAuth2Params

Defined in Data.Swagger.Internal

Associated Types

type Code OAuth2Params :: [[Type]]

Methods

from :: OAuth2Params -> Rep OAuth2Params

to :: Rep OAuth2Params -> OAuth2Params

HasDatatypeInfo OAuth2Params

Defined in Data.Swagger.Internal

Associated Types

type DatatypeInfoOf OAuth2Params :: DatatypeInfo

Methods

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

FromJSON OAuth2Params

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser OAuth2Params

parseJSONList :: Value -> Parser [OAuth2Params]

ToJSON OAuth2Params

Defined in Data.Swagger.Internal

Methods

toJSON :: OAuth2Params -> Value

toEncoding :: OAuth2Params -> Encoding

toJSONList :: [OAuth2Params] -> Value

toEncodingList :: [OAuth2Params] -> Encoding

HasSwaggerAesonOptions OAuth2Params

Defined in Data.Swagger.Internal

Methods

swaggerAesonOptions :: Proxy OAuth2Params -> SwaggerAesonOptions

aesonDefaults :: Proxy OAuth2Params -> POP Maybe (Code OAuth2Params)

type Rep OAuth2Params

Defined in Data.Swagger.Internal

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

Defined in Data.Swagger.Internal

type Code OAuth2Params = '['[OAuth2Flow, InsOrdHashMap Text Text]]

type DatatypeInfoOf OAuth2Params

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

Constructors

OAuth2Implicit AuthorizationURL

OAuth2Password TokenURL

OAuth2Application TokenURL

OAuth2AccessCode AuthorizationURL TokenURL

Instances

Data OAuth2Flow

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

Generic OAuth2Flow

Defined in Data.Swagger.Internal

Associated Types

type Rep OAuth2Flow :: Type -> Type

Methods

from :: OAuth2Flow -> Rep OAuth2Flow x

to :: Rep OAuth2Flow x -> OAuth2Flow

Show OAuth2Flow

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> OAuth2Flow -> ShowS

show :: OAuth2Flow -> String

showList :: [OAuth2Flow] -> ShowS

Eq OAuth2Flow

Defined in Data.Swagger.Internal

Methods

(==) :: OAuth2Flow -> OAuth2Flow -> Bool

(/=) :: OAuth2Flow -> OAuth2Flow -> Bool

FromJSON OAuth2Flow

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser OAuth2Flow

parseJSONList :: Value -> Parser [OAuth2Flow]

ToJSON OAuth2Flow

Defined in Data.Swagger.Internal

Methods

toJSON :: OAuth2Flow -> Value

toEncoding :: OAuth2Flow -> Encoding

toJSONList :: [OAuth2Flow] -> Value

toEncodingList :: [OAuth2Flow] -> Encoding

AesonDefaultValue OAuth2Flow

Defined in Data.Swagger.Internal

Methods

defaultValue :: Maybe OAuth2Flow

type Rep OAuth2Flow

Defined in Data.Swagger.Internal

type Rep OAuth2Flow = D1 ('MetaData "OAuth2Flow" "Data.Swagger.Internal" "swagger2-2.8-inplace" 'False) ((C1 ('MetaCons "OAuth2Implicit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AuthorizationURL)) :+: C1 ('MetaCons "OAuth2Password" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TokenURL))) :+: (C1 ('MetaCons "OAuth2Application" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TokenURL)) :+: C1 ('MetaCons "OAuth2AccessCode" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AuthorizationURL) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TokenURL))))

type AuthorizationURL = Text

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

type TokenURL = Text

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

External documentation

data ExternalDocs

Allows referencing an external resource for extended documentation.

Constructors

ExternalDocs

Fields

• _externalDocsDescription :: Maybe Text

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

• _externalDocsUrl :: URL

  The URL for the target documentation.

Instances

Data ExternalDocs

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

Monoid ExternalDocs

Defined in Data.Swagger.Internal

Methods

mempty :: ExternalDocs

mappend :: ExternalDocs -> ExternalDocs -> ExternalDocs

mconcat :: [ExternalDocs] -> ExternalDocs

Semigroup ExternalDocs

Defined in Data.Swagger.Internal

Methods

(<>) :: ExternalDocs -> ExternalDocs -> ExternalDocs

sconcat :: NonEmpty ExternalDocs -> ExternalDocs

stimes :: Integral b => b -> ExternalDocs -> ExternalDocs

Generic ExternalDocs

Defined in Data.Swagger.Internal

Associated Types

type Rep ExternalDocs :: Type -> Type

Methods

from :: ExternalDocs -> Rep ExternalDocs x

to :: Rep ExternalDocs x -> ExternalDocs

Show ExternalDocs

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> ExternalDocs -> ShowS

show :: ExternalDocs -> String

showList :: [ExternalDocs] -> ShowS

Eq ExternalDocs

Defined in Data.Swagger.Internal

Methods

(==) :: ExternalDocs -> ExternalDocs -> Bool

(/=) :: ExternalDocs -> ExternalDocs -> Bool

Ord ExternalDocs

Defined in Data.Swagger.Internal

Methods

compare :: ExternalDocs -> ExternalDocs -> Ordering

(<) :: ExternalDocs -> ExternalDocs -> Bool

(<=) :: ExternalDocs -> ExternalDocs -> Bool

(>) :: ExternalDocs -> ExternalDocs -> Bool

(>=) :: ExternalDocs -> ExternalDocs -> Bool

max :: ExternalDocs -> ExternalDocs -> ExternalDocs

min :: ExternalDocs -> ExternalDocs -> ExternalDocs

Hashable ExternalDocs

Defined in Data.Swagger.Internal

Methods

hashWithSalt :: Int -> ExternalDocs -> Int

hash :: ExternalDocs -> Int

FromJSON ExternalDocs

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser ExternalDocs

parseJSONList :: Value -> Parser [ExternalDocs]

ToJSON ExternalDocs

Defined in Data.Swagger.Internal

Methods

toJSON :: ExternalDocs -> Value

toEncoding :: ExternalDocs -> Encoding

toJSONList :: [ExternalDocs] -> Value

toEncodingList :: [ExternalDocs] -> Encoding

SwaggerMonoid ExternalDocs

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: ExternalDocs

swaggerMappend :: ExternalDocs -> ExternalDocs -> ExternalDocs

HasUrl ExternalDocs URL

Defined in Data.Swagger.Lens

Methods

url :: Lens' ExternalDocs URL

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

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

Defined in Data.Swagger.Optics

Methods

labelOptic :: Optic k NoIx ExternalDocs ExternalDocs a b

HasDescription ExternalDocs (Maybe Text)

Defined in Data.Swagger.Lens

Methods

description :: Lens' ExternalDocs (Maybe Text)

HasExternalDocs Operation (Maybe ExternalDocs)

Defined in Data.Swagger.Lens

Methods

externalDocs :: Lens' Operation (Maybe ExternalDocs)

HasExternalDocs Schema (Maybe ExternalDocs)

Defined in Data.Swagger.Lens

Methods

externalDocs :: Lens' Schema (Maybe ExternalDocs)

HasExternalDocs Swagger (Maybe ExternalDocs)

Defined in Data.Swagger.Lens

Methods

externalDocs :: Lens' Swagger (Maybe ExternalDocs)

HasExternalDocs Tag (Maybe ExternalDocs)

Defined in Data.Swagger.Lens

Methods

externalDocs :: Lens' Tag (Maybe ExternalDocs)

type Rep ExternalDocs

Defined in Data.Swagger.Internal

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

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

• getReference :: Text

Instances

Data Reference

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

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Reference -> ShowS

show :: Reference -> String

showList :: [Reference] -> ShowS

Eq Reference

Defined in Data.Swagger.Internal

Methods

(==) :: Reference -> Reference -> Bool

(/=) :: Reference -> Reference -> Bool

FromJSON Reference

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser Reference

parseJSONList :: Value -> Parser [Reference]

ToJSON Reference

Defined in Data.Swagger.Internal

Methods

toJSON :: Reference -> Value

toEncoding :: Reference -> Encoding

toJSONList :: [Reference] -> Value

toEncodingList :: [Reference] -> Encoding

data Referenced a

Constructors

Ref Reference

Inline a

Instances

Functor Referenced

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

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

Defined in Data.Swagger.Optics

Methods

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

HasAllOf Schema (Maybe [Referenced Schema])

Defined in Data.Swagger.Lens

Methods

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

HasDefault Responses (Maybe (Referenced Response))

Defined in Data.Swagger.Lens

Methods

default_ :: Lens' Responses (Maybe (Referenced Response))

HasParameters Operation [Referenced Param]

Defined in Data.Swagger.Lens

Methods

parameters :: Lens' Operation [Referenced Param]

HasParameters PathItem [Referenced Param]

Defined in Data.Swagger.Lens

Methods

parameters :: Lens' PathItem [Referenced Param]

HasSchema Response (Maybe (Referenced Schema))

Defined in Data.Swagger.Lens

Methods

schema :: Lens' Response (Maybe (Referenced Schema))

HasProperties Schema (InsOrdHashMap Text (Referenced Schema))

Defined in Data.Swagger.Lens

Methods

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

HasResponses Responses (InsOrdHashMap HttpStatusCode (Referenced Response))

Defined in Data.Swagger.Lens

Methods

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

Data a => Data (Referenced a)

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)

IsString a => IsString (Referenced a)

Defined in Data.Swagger.Internal

Methods

fromString :: String -> Referenced a

Show a => Show (Referenced a)

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> Referenced a -> ShowS

show :: Referenced a -> String

showList :: [Referenced a] -> ShowS

Eq a => Eq (Referenced a)

Defined in Data.Swagger.Internal

Methods

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

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

FromJSON (Referenced Param)

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (Referenced Param)

parseJSONList :: Value -> Parser [Referenced Param]

FromJSON (Referenced Response)

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (Referenced Response)

parseJSONList :: Value -> Parser [Referenced Response]

FromJSON (Referenced Schema)

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser (Referenced Schema)

parseJSONList :: Value -> Parser [Referenced Schema]

ToJSON (Referenced Param)

Defined in Data.Swagger.Internal

Methods

toJSON :: Referenced Param -> Value

toEncoding :: Referenced Param -> Encoding

toJSONList :: [Referenced Param] -> Value

toEncodingList :: [Referenced Param] -> Encoding

ToJSON (Referenced Response)

Defined in Data.Swagger.Internal

Methods

toJSON :: Referenced Response -> Value

toEncoding :: Referenced Response -> Encoding

toJSONList :: [Referenced Response] -> Value

toEncodingList :: [Referenced Response] -> Encoding

ToJSON (Referenced Schema)

Defined in Data.Swagger.Internal

Methods

toJSON :: Referenced Schema -> Value

toEncoding :: Referenced Schema -> Encoding

toJSONList :: [Referenced Schema] -> Value

toEncodingList :: [Referenced Schema] -> Encoding

Monoid a => SwaggerMonoid (Referenced a)

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: Referenced a

swaggerMappend :: Referenced a -> Referenced a -> Referenced a

Miscellaneous

newtype MimeList

Constructors

MimeList

Fields

• getMimeList :: [MediaType]

Instances

Data MimeList

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

Monoid MimeList

Defined in Data.Swagger.Internal

Methods

mempty :: MimeList

mappend :: MimeList -> MimeList -> MimeList

mconcat :: [MimeList] -> MimeList

Semigroup MimeList

Defined in Data.Swagger.Internal

Methods

(<>) :: MimeList -> MimeList -> MimeList

sconcat :: NonEmpty MimeList -> MimeList

stimes :: Integral b => b -> MimeList -> MimeList

Show MimeList

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> MimeList -> ShowS

show :: MimeList -> String

showList :: [MimeList] -> ShowS

Eq MimeList

Defined in Data.Swagger.Internal

Methods

(==) :: MimeList -> MimeList -> Bool

(/=) :: MimeList -> MimeList -> Bool

FromJSON MimeList

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser MimeList

parseJSONList :: Value -> Parser [MimeList]

ToJSON MimeList

Defined in Data.Swagger.Internal

Methods

toJSON :: MimeList -> Value

toEncoding :: MimeList -> Encoding

toJSONList :: [MimeList] -> Value

toEncodingList :: [MimeList] -> Encoding

AesonDefaultValue MimeList

Defined in Data.Swagger.Internal

Methods

defaultValue :: Maybe MimeList

SwaggerMonoid MimeList

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: MimeList

swaggerMappend :: MimeList -> MimeList -> MimeList

HasConsumes Swagger MimeList

Defined in Data.Swagger.Lens

Methods

consumes :: Lens' Swagger MimeList

HasProduces Swagger MimeList

Defined in Data.Swagger.Lens

Methods

produces :: Lens' Swagger MimeList

HasConsumes Operation (Maybe MimeList)

Defined in Data.Swagger.Lens

Methods

consumes :: Lens' Operation (Maybe MimeList)

HasProduces Operation (Maybe MimeList)

Defined in Data.Swagger.Lens

Methods

produces :: Lens' Operation (Maybe MimeList)

newtype URL

Constructors

URL

Fields

• getUrl :: Text

Instances

Data URL

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

Show URL

Defined in Data.Swagger.Internal

Methods

showsPrec :: Int -> URL -> ShowS

show :: URL -> String

showList :: [URL] -> ShowS

Eq URL

Defined in Data.Swagger.Internal

Methods

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

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

Ord URL

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

Hashable URL

Defined in Data.Swagger.Internal

Methods

hashWithSalt :: Int -> URL -> Int

hash :: URL -> Int

FromJSON URL

Defined in Data.Swagger.Internal

Methods

parseJSON :: Value -> Parser URL

parseJSONList :: Value -> Parser [URL]

ToJSON URL

Defined in Data.Swagger.Internal

Methods

toJSON :: URL -> Value

toEncoding :: URL -> Encoding

toJSONList :: [URL] -> Value

toEncodingList :: [URL] -> Encoding

SwaggerMonoid URL

Defined in Data.Swagger.Internal

Methods

swaggerMempty :: URL

swaggerMappend :: URL -> URL -> URL

HasUrl ExternalDocs URL

Defined in Data.Swagger.Lens

Methods

url :: Lens' ExternalDocs URL

HasUrl Contact (Maybe URL)

Defined in Data.Swagger.Lens

Methods

url :: Lens' Contact (Maybe URL)

HasUrl License (Maybe URL)

Defined in Data.Swagger.Lens

Methods

url :: Lens' License (Maybe URL)