Safe Haskell	None
Language	Haskell2010

Data.Swagger.Internal

Contents

Orphan instances

Synopsis

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

Documentation

>>> :seti -XDataKinds
>>> import Data.Aeson

type Definitions = InsOrdHashMap Text Source #

A list of definitions that can be used in references.

data Swagger Source #

This is the root document object for the API specification.

Constructors

Swagger

Fields

_swaggerInfo :: Info
Provides metadata about the API. The metadata can be used by the clients if needed.
_swaggerHost :: Maybe Host
The host (name or ip) serving the API. It MAY include a port. If the host is not included, the host serving the documentation is to be used (including the port).
_swaggerBasePath :: Maybe FilePath
The base path on which the API is served, which is relative to the host. If it is not included, the API is served directly under the host. The value MUST start with a leading slash (/).
_swaggerSchemes :: Maybe [Scheme]
The transfer protocol of the API. If the schemes is not included, the default scheme to be used is the one used to access the Swagger definition itself.
_swaggerConsumes :: MimeList
A list of MIME types the APIs can consume. This is global to all APIs but can be overridden on specific API calls.
_swaggerProduces :: MimeList
A list of MIME types the APIs can produce. This is global to all APIs but can be overridden on specific API calls.
_swaggerPaths :: InsOrdHashMap FilePath PathItem
The available paths and operations for the API. Holds the relative paths to the individual endpoints. The path is appended to the basePath in order to construct the full URL.
_swaggerDefinitions :: Definitions Schema
An object to hold data types produced and consumed by operations.
_swaggerParameters :: Definitions Param
An object to hold parameters that can be used across operations. This property does not define global parameters for all operations.
_swaggerResponses :: Definitions Response
An object to hold responses that can be used across operations. This property does not define global responses for all operations.
_swaggerSecurityDefinitions :: SecurityDefinitions
Security scheme definitions that can be used across the specification.
_swaggerSecurity :: [SecurityRequirement]
A declaration of which security schemes are applied for the API as a whole. The list of values describes alternative security schemes that can be used (that is, there is a logical OR between the security requirements). Individual operations can override this definition.
_swaggerTags :: InsOrdHashSet Tag
A list of tags used by the specification with additional metadata. The order of the tags can be used to reflect on their order by the parsing tools. Not all tags that are used by the Operation Object must be declared. The tags that are not declared may be organized randomly or based on the tools' logic. Each tag name in the list MUST be unique.
_swaggerExternalDocs :: Maybe ExternalDocs
Additional external documentation.

Instances

Instances details

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

data Info Source #

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

Constructors

Info

Fields

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

Instances

Instances details

Eq Info Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Info -> Info -> Bool # (/=) :: Info -> Info -> Bool #
Data Info Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Info -> c Info # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Info # toConstr :: Info -> Constr # dataTypeOf :: Info -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Info) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Info) # gmapT :: (forall b. Data b => b -> b) -> Info -> Info # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Info -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Info -> r # gmapQ :: (forall d. Data d => d -> u) -> Info -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Info -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Info -> m Info # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Info -> m Info # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Info -> m Info #
Show Info Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Info -> ShowS # show :: Info -> String # showList :: [Info] -> ShowS #
Generic Info Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Info :: Type -> Type # Methods from :: Info -> Rep Info x # to :: Rep Info x -> Info #
Semigroup Info Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: Info -> Info -> Info # sconcat :: NonEmpty Info -> Info # stimes :: Integral b => b -> Info -> Info #
Monoid Info Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: Info # mappend :: Info -> Info -> Info # mconcat :: [Info] -> Info #
FromJSON Info Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Info parseJSONList :: Value -> Parser [Info]
ToJSON Info Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Info -> Value toEncoding :: Info -> Encoding toJSONList :: [Info] -> Value toEncodingList :: [Info] -> Encoding
AesonDefaultValue Info Source #
Instance details Defined in Data.Swagger.Internal Methods defaultValue :: Maybe Info Source #
SwaggerMonoid Info Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: Info Source # swaggerMappend :: Info -> Info -> Info Source #
HasInfo Swagger Info Source #
Instance details Defined in Data.Swagger.Lens Methods info :: Lens' Swagger Info Source #
HasVersion Info Text Source #
Instance details Defined in Data.Swagger.Lens Methods version :: Lens' Info Text Source #
HasTitle Info Text Source #
Instance details Defined in Data.Swagger.Lens Methods title :: Lens' Info Text Source #
(k ~ A_Lens, a ~ Maybe Contact, b ~ Maybe Contact) => LabelOptic "contact" k Info Info a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Info Info a b
(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" k Info Info a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Info Info a b
(k ~ A_Lens, a ~ Maybe License, b ~ Maybe License) => LabelOptic "license" k Info Info a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Info Info a b
(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "termsOfService" k Info Info a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Info Info a b
(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "title" k Info Info a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Info Info a b
(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "version" k Info Info a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Info Info a b
HasTermsOfService Info (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods termsOfService :: Lens' Info (Maybe Text) Source #
HasLicense Info (Maybe License) Source #
Instance details Defined in Data.Swagger.Lens Methods license :: Lens' Info (Maybe License) Source #
HasDescription Info (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods description :: Lens' Info (Maybe Text) Source #
HasContact Info (Maybe Contact) Source #
Instance details Defined in Data.Swagger.Lens Methods contact :: Lens' Info (Maybe Contact) Source #
type Rep Info Source #
Instance details Defined in Data.Swagger.Internal type Rep Info = D1 ('MetaData "Info" "Data.Swagger.Internal" "swagger2-2.8.7-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 Source #

Contact information for the exposed API.

Constructors

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

Instances

Instances details

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

data License Source #

License information for the exposed API.

Constructors

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

Instances

Instances details

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

data Host Source #

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

Constructors

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

Instances

Instances details

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

hostConstr :: Constr Source #

hostDataType :: DataType Source #

data Scheme Source #

The transfer protocol of the API.

Constructors

Http
Https
Ws
Wss

Instances

Instances details

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

data PathItem Source #

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

Constructors

PathItem

Fields

_pathItemGet :: Maybe Operation
A definition of a GET operation on this path.
_pathItemPut :: Maybe Operation
A definition of a PUT operation on this path.
_pathItemPost :: Maybe Operation
A definition of a POST operation on this path.
_pathItemDelete :: Maybe Operation
A definition of a DELETE operation on this path.
_pathItemOptions :: Maybe Operation
A definition of a OPTIONS operation on this path.
_pathItemHead :: Maybe Operation
A definition of a HEAD operation on this path.
_pathItemPatch :: Maybe Operation
A definition of a PATCH operation on this path.
_pathItemParameters :: [Referenced Param]
A list of parameters that are applicable for all the operations described under this path. These parameters can be overridden at the operation level, but cannot be removed there. The list MUST NOT include duplicated parameters. A unique parameter is defined by a combination of a name and location.

Instances

Instances details

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

data Operation Source #

Describes a single API operation on a path.

Constructors

Operation

Fields

_operationTags :: InsOrdHashSet TagName
A list of tags for API documentation control. Tags can be used for logical grouping of operations by resources or any other qualifier.
_operationSummary :: Maybe Text
A short summary of what the operation does. For maximum readability in the swagger-ui, this field SHOULD be less than 120 characters.
_operationDescription :: Maybe Text
A verbose explanation of the operation behavior. GFM syntax can be used for rich text representation.
_operationExternalDocs :: Maybe ExternalDocs
Additional external documentation for this operation.
_operationOperationId :: Maybe Text
Unique string used to identify the operation. The id MUST be unique among all operations described in the API. Tools and libraries MAY use the it to uniquely identify an operation, therefore, it is recommended to follow common programming naming conventions.
_operationConsumes :: Maybe MimeList
A list of MIME types the operation can consume. This overrides the consumes. Just [] MAY be used to clear the global definition.
_operationProduces :: Maybe MimeList
A list of MIME types the operation can produce. This overrides the produces. Just [] MAY be used to clear the global definition.
_operationParameters :: [Referenced Param]
A list of parameters that are applicable for this operation. If a parameter is already defined at the PathItem, the new definition will override it, but can never remove it. The list MUST NOT include duplicated parameters. A unique parameter is defined by a combination of a name and location.
_operationResponses :: Responses
The list of possible responses as they are returned from executing this operation.
_operationSchemes :: Maybe [Scheme]
The transfer protocol for the operation. The value overrides schemes.
_operationDeprecated :: Maybe Bool
Declares this operation to be deprecated. Usage of the declared operation should be refrained. Default value is False.
_operationSecurity :: [SecurityRequirement]
A declaration of which security schemes are applied for this operation. The list of values describes alternative security schemes that can be used (that is, there is a logical OR between the security requirements). This definition overrides any declared top-level security. To remove a top-level security declaration, Just [] can be used.
_operationExtensions :: InsOrdHashMap Text Value
Extensions to the Swagger schema's operations. These automatically get the x- prefix required by the swagger specification.

Instances

Instances details

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

newtype MimeList Source #

Constructors

MimeList
Fields getMimeList :: [MediaType]

Instances

Instances details

Eq MimeList Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: MimeList -> MimeList -> Bool # (/=) :: MimeList -> MimeList -> Bool #
Data MimeList Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MimeList -> c MimeList # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MimeList # toConstr :: MimeList -> Constr # dataTypeOf :: MimeList -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MimeList) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MimeList) # gmapT :: (forall b. Data b => b -> b) -> MimeList -> MimeList # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MimeList -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MimeList -> r # gmapQ :: (forall d. Data d => d -> u) -> MimeList -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MimeList -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MimeList -> m MimeList # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MimeList -> m MimeList # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MimeList -> m MimeList #
Show MimeList Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> MimeList -> ShowS # show :: MimeList -> String # showList :: [MimeList] -> ShowS #
Semigroup MimeList Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: MimeList -> MimeList -> MimeList # sconcat :: NonEmpty MimeList -> MimeList # stimes :: Integral b => b -> MimeList -> MimeList #
Monoid MimeList Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: MimeList # mappend :: MimeList -> MimeList -> MimeList # mconcat :: [MimeList] -> MimeList #
FromJSON MimeList Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser MimeList parseJSONList :: Value -> Parser [MimeList]
ToJSON MimeList Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: MimeList -> Value toEncoding :: MimeList -> Encoding toJSONList :: [MimeList] -> Value toEncodingList :: [MimeList] -> Encoding
AesonDefaultValue MimeList Source #
Instance details Defined in Data.Swagger.Internal Methods defaultValue :: Maybe MimeList Source #
SwaggerMonoid MimeList Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: MimeList Source # swaggerMappend :: MimeList -> MimeList -> MimeList Source #
HasProduces Swagger MimeList Source #
Instance details Defined in Data.Swagger.Lens Methods produces :: Lens' Swagger MimeList Source #
HasConsumes Swagger MimeList Source #
Instance details Defined in Data.Swagger.Lens Methods consumes :: Lens' Swagger MimeList Source #
HasProduces Operation (Maybe MimeList) Source #
Instance details Defined in Data.Swagger.Lens Methods produces :: Lens' Operation (Maybe MimeList) Source #
HasConsumes Operation (Maybe MimeList) Source #
Instance details Defined in Data.Swagger.Lens Methods consumes :: Lens' Operation (Maybe MimeList) Source #

mimeListConstr :: Constr Source #

mimeListDataType :: DataType Source #

data Param Source #

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

Constructors

Param

Fields

_paramName :: Text
The name of the parameter. Parameter names are case sensitive.
_paramDescription :: Maybe Text
A brief description of the parameter. This could contain examples of use. GFM syntax can be used for rich text representation.
_paramRequired :: Maybe Bool
Determines whether this parameter is mandatory. If the parameter is in "path", this property is required and its value MUST be true. Otherwise, the property MAY be included and its default value is False.
_paramSchema :: ParamAnySchema
Parameter schema.

Instances

Instances details

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

data ParamAnySchema Source #

Constructors

ParamBody (Referenced Schema)
ParamOther ParamOtherSchema

Instances

Instances details

Eq ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: ParamAnySchema -> ParamAnySchema -> Bool # (/=) :: ParamAnySchema -> ParamAnySchema -> Bool #
Data ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParamAnySchema -> c ParamAnySchema # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ParamAnySchema # toConstr :: ParamAnySchema -> Constr # dataTypeOf :: ParamAnySchema -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ParamAnySchema) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ParamAnySchema) # gmapT :: (forall b. Data b => b -> b) -> ParamAnySchema -> ParamAnySchema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParamAnySchema -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParamAnySchema -> r # gmapQ :: (forall d. Data d => d -> u) -> ParamAnySchema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ParamAnySchema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParamAnySchema -> m ParamAnySchema # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamAnySchema -> m ParamAnySchema # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamAnySchema -> m ParamAnySchema #
Show ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> ParamAnySchema -> ShowS # show :: ParamAnySchema -> String # showList :: [ParamAnySchema] -> ShowS #
Generic ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep ParamAnySchema :: Type -> Type # Methods from :: ParamAnySchema -> Rep ParamAnySchema x # to :: Rep ParamAnySchema x -> ParamAnySchema #
FromJSON ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser ParamAnySchema parseJSONList :: Value -> Parser [ParamAnySchema]
ToJSON ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: ParamAnySchema -> Value toEncoding :: ParamAnySchema -> Encoding toJSONList :: [ParamAnySchema] -> Value toEncodingList :: [ParamAnySchema] -> Encoding
AesonDefaultValue ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Methods defaultValue :: Maybe ParamAnySchema Source #
SwaggerMonoid ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: ParamAnySchema Source # swaggerMappend :: ParamAnySchema -> ParamAnySchema -> ParamAnySchema Source #
HasSchema Param ParamAnySchema Source #
Instance details Defined in Data.Swagger.Lens Methods schema :: Lens' Param ParamAnySchema Source #
(k ~ A_Prism, a ~ Referenced Schema, b ~ Referenced Schema) => LabelOptic "_ParamBody" k ParamAnySchema ParamAnySchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx ParamAnySchema ParamAnySchema a b
(k ~ A_Prism, a ~ ParamOtherSchema, b ~ ParamOtherSchema) => LabelOptic "_ParamOther" k ParamAnySchema ParamAnySchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx ParamAnySchema ParamAnySchema a b
type Rep ParamAnySchema Source #
Instance details Defined in Data.Swagger.Internal type Rep ParamAnySchema = D1 ('MetaData "ParamAnySchema" "Data.Swagger.Internal" "swagger2-2.8.7-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 Source #

Constructors

ParamOtherSchema

Fields

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

Instances

Instances details

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

data SwaggerItems (t :: SwaggerKind *) where Source #

Items for SwaggerArray schemas.

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

SwaggerItemsObject should be used to specify homogenous array Schemas.

SwaggerItemsArray should be used to specify tuple Schemas.

Constructors

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

Instances

Instances details

(a ~ [Referenced Schema], b ~ [Referenced Schema]) => LabelOptic "_SwaggerItemsArray" A_Review (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type)) (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type)) a b
Instance details Defined in Data.Swagger.Optics 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
Instance details 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
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Review NoIx (SwaggerItems t) (SwaggerItems t) a b
HasParamSchema s (ParamSchema t) => HasItems s (Maybe (SwaggerItems t)) Source #
Instance details Defined in Data.Swagger.Lens Methods items :: Lens' s (Maybe (SwaggerItems t)) Source #
Eq (SwaggerItems t) Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: SwaggerItems t -> SwaggerItems t -> Bool # (/=) :: SwaggerItems t -> SwaggerItems t -> Bool #
Data t => Data (SwaggerItems ('SwaggerKindNormal t)) Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SwaggerItems ('SwaggerKindNormal t) -> c (SwaggerItems ('SwaggerKindNormal t)) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SwaggerItems ('SwaggerKindNormal t)) # toConstr :: SwaggerItems ('SwaggerKindNormal t) -> Constr # dataTypeOf :: SwaggerItems ('SwaggerKindNormal t) -> DataType # dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (SwaggerItems ('SwaggerKindNormal t))) # dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (SwaggerItems ('SwaggerKindNormal t))) # gmapT :: (forall b. Data b => b -> b) -> SwaggerItems ('SwaggerKindNormal t) -> SwaggerItems ('SwaggerKindNormal t) # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerItems ('SwaggerKindNormal t) -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerItems ('SwaggerKindNormal t) -> r # gmapQ :: (forall d. Data d => d -> u) -> SwaggerItems ('SwaggerKindNormal t) -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SwaggerItems ('SwaggerKindNormal t) -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SwaggerItems ('SwaggerKindNormal t) -> m (SwaggerItems ('SwaggerKindNormal t)) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerItems ('SwaggerKindNormal t) -> m (SwaggerItems ('SwaggerKindNormal t)) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerItems ('SwaggerKindNormal t) -> m (SwaggerItems ('SwaggerKindNormal t)) #
Data (SwaggerItems ('SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SwaggerItems 'SwaggerKindParamOtherSchema -> c (SwaggerItems 'SwaggerKindParamOtherSchema) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SwaggerItems 'SwaggerKindParamOtherSchema) # toConstr :: SwaggerItems 'SwaggerKindParamOtherSchema -> Constr # dataTypeOf :: SwaggerItems 'SwaggerKindParamOtherSchema -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (SwaggerItems 'SwaggerKindParamOtherSchema)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (SwaggerItems 'SwaggerKindParamOtherSchema)) # gmapT :: (forall b. Data b => b -> b) -> SwaggerItems 'SwaggerKindParamOtherSchema -> SwaggerItems 'SwaggerKindParamOtherSchema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerItems 'SwaggerKindParamOtherSchema -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerItems 'SwaggerKindParamOtherSchema -> r # gmapQ :: (forall d. Data d => d -> u) -> SwaggerItems 'SwaggerKindParamOtherSchema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SwaggerItems 'SwaggerKindParamOtherSchema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SwaggerItems 'SwaggerKindParamOtherSchema -> m (SwaggerItems 'SwaggerKindParamOtherSchema) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerItems 'SwaggerKindParamOtherSchema -> m (SwaggerItems 'SwaggerKindParamOtherSchema) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerItems 'SwaggerKindParamOtherSchema -> m (SwaggerItems 'SwaggerKindParamOtherSchema) #
Data (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SwaggerItems 'SwaggerKindSchema -> c (SwaggerItems 'SwaggerKindSchema) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SwaggerItems 'SwaggerKindSchema) # toConstr :: SwaggerItems 'SwaggerKindSchema -> Constr # dataTypeOf :: SwaggerItems 'SwaggerKindSchema -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (SwaggerItems 'SwaggerKindSchema)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (SwaggerItems 'SwaggerKindSchema)) # gmapT :: (forall b. Data b => b -> b) -> SwaggerItems 'SwaggerKindSchema -> SwaggerItems 'SwaggerKindSchema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerItems 'SwaggerKindSchema -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SwaggerItems 'SwaggerKindSchema -> r # gmapQ :: (forall d. Data d => d -> u) -> SwaggerItems 'SwaggerKindSchema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SwaggerItems 'SwaggerKindSchema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SwaggerItems 'SwaggerKindSchema -> m (SwaggerItems 'SwaggerKindSchema) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerItems 'SwaggerKindSchema -> m (SwaggerItems 'SwaggerKindSchema) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SwaggerItems 'SwaggerKindSchema -> m (SwaggerItems 'SwaggerKindSchema) #
Show (SwaggerItems t) Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> SwaggerItems t -> ShowS # show :: SwaggerItems t -> String # showList :: [SwaggerItems t] -> ShowS #
(FromJSON (CollectionFormat ('SwaggerKindNormal t)), FromJSON (ParamSchema ('SwaggerKindNormal t))) => FromJSON (SwaggerItems ('SwaggerKindNormal t)) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (SwaggerItems ('SwaggerKindNormal t)) parseJSONList :: Value -> Parser [SwaggerItems ('SwaggerKindNormal t)]
FromJSON (SwaggerItems ('SwaggerKindParamOtherSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (SwaggerItems 'SwaggerKindParamOtherSchema) parseJSONList :: Value -> Parser [SwaggerItems 'SwaggerKindParamOtherSchema]
FromJSON (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type)) Source #	`>>>` `decode "{}" :: Maybe (SwaggerItems 'SwaggerKindSchema)`Just (SwaggerItemsArray []) `>>>` `eitherDecode "{\"$ref\":\"#/definitions/example\"}" :: Either String (SwaggerItems 'SwaggerKindSchema)`Right (SwaggerItemsObject (Ref (Reference {getReference = "example"}))) `>>>` `eitherDecode "[{\"$ref\":\"#/definitions/example\"}]" :: Either String (SwaggerItems 'SwaggerKindSchema)`Right (SwaggerItemsArray [Ref (Reference {getReference = "example"})])
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (SwaggerItems 'SwaggerKindSchema) parseJSONList :: Value -> Parser [SwaggerItems 'SwaggerKindSchema]
ToJSON (ParamSchema t) => ToJSON (SwaggerItems t) Source #	As for nullary schema for 0-arity type constructors, see https://github.com/GetShopTV/swagger2/issues/167. `>>>` `encode (SwaggerItemsArray [])`"{\"example\":[],\"items\":{},\"maxItems\":0}"
Instance details Defined in Data.Swagger.Internal Methods toJSON :: SwaggerItems t -> Value toEncoding :: SwaggerItems t -> Encoding toJSONList :: [SwaggerItems t] -> Value toEncodingList :: [SwaggerItems t] -> Encoding
HasItems (ParamSchema t) (Maybe (SwaggerItems t)) Source #
Instance details Defined in Data.Swagger.Lens Methods items :: Lens' (ParamSchema t) (Maybe (SwaggerItems t)) Source #

swaggerItemsPrimitiveConstr :: Constr Source #

swaggerItemsObjectConstr :: Constr Source #

swaggerItemsArrayConstr :: Constr Source #

swaggerItemsDataType :: DataType Source #

data SwaggerKind (t :: *) Source #

Type used as a kind to avoid overlapping instances.

Constructors

SwaggerKindNormal t
SwaggerKindParamOtherSchema
SwaggerKindSchema

type family SwaggerKindType (k :: SwaggerKind *) :: * Source #

Instances

Instances details

type SwaggerKindType ('SwaggerKindParamOtherSchema :: SwaggerKind Type) Source #
Instance details Defined in Data.Swagger.Internal type SwaggerKindType ('SwaggerKindParamOtherSchema :: SwaggerKind Type) = ParamOtherSchema
type SwaggerKindType ('SwaggerKindSchema :: SwaggerKind Type) Source #
Instance details Defined in Data.Swagger.Internal type SwaggerKindType ('SwaggerKindSchema :: SwaggerKind Type) = Schema
type SwaggerKindType ('SwaggerKindNormal t) Source #
Instance details Defined in Data.Swagger.Internal type SwaggerKindType ('SwaggerKindNormal t) = t

data SwaggerType (t :: SwaggerKind *) where Source #

Constructors

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

Instances

Instances details

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

swaggerTypeConstr :: Data (SwaggerType t) => SwaggerType t -> Constr Source #

swaggerTypeDataType :: SwaggerType t -> DataType Source #

swaggerCommonTypes :: [SwaggerType k] Source #

swaggerParamTypes :: [SwaggerType 'SwaggerKindParamOtherSchema] Source #

swaggerSchemaTypes :: [SwaggerType 'SwaggerKindSchema] Source #

swaggerTypeConstrs :: [Constr] Source #

data ParamLocation Source #

Constructors

ParamQuery	Parameters that are appended to the URL. For example, in `/items?id=###`, the query parameter is `id`.
ParamHeader	Custom headers that are expected as part of the request.
ParamPath	Used together with Path Templating, where the parameter value is actually part of the operation's URL. This does not include the host or base path of the API. For example, in `items{itemId}`, the path parameter is `itemId`.
ParamFormData	Used to describe the payload of an HTTP request when either `application/x-www-form-urlencoded` or `multipart/form-data` are used as the content type of the request (in Swagger's definition, the `consumes` property of an operation). This is the only parameter type that can be used to send files, thus supporting the `ParamFile` type. Since form parameters are sent in the payload, they cannot be declared together with a body parameter for the same operation. Form parameters have a different format based on the content-type used (for further details, consult http://www.w3.org/TR/html401/interact/forms.html#h-17.13.4).

Instances

Instances details

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

type Format = Text Source #

data CollectionFormat (t :: SwaggerKind *) where Source #

Determines the format of the array.

Constructors

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

Instances

Instances details

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

collectionFormatConstr :: CollectionFormat t -> Constr Source #

collectionFormatDataType :: DataType Source #

collectionCommonFormats :: [CollectionFormat t] Source #

type ParamName = Text Source #

data Schema Source #

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

Instances details

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

data NamedSchema Source #

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

Constructors

NamedSchema
Fields _namedSchemaName :: Maybe Text _namedSchemaSchema :: Schema

Instances

Instances details

Eq NamedSchema Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: NamedSchema -> NamedSchema -> Bool # (/=) :: NamedSchema -> NamedSchema -> Bool #
Data NamedSchema Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NamedSchema -> c NamedSchema # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NamedSchema # toConstr :: NamedSchema -> Constr # dataTypeOf :: NamedSchema -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NamedSchema) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NamedSchema) # gmapT :: (forall b. Data b => b -> b) -> NamedSchema -> NamedSchema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NamedSchema -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NamedSchema -> r # gmapQ :: (forall d. Data d => d -> u) -> NamedSchema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NamedSchema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NamedSchema -> m NamedSchema # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedSchema -> m NamedSchema # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedSchema -> m NamedSchema #
Show NamedSchema Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> NamedSchema -> ShowS # show :: NamedSchema -> String # showList :: [NamedSchema] -> ShowS #
Generic NamedSchema Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep NamedSchema :: Type -> Type # Methods from :: NamedSchema -> Rep NamedSchema x # to :: Rep NamedSchema x -> NamedSchema #
HasSchema NamedSchema Schema Source #
Instance details Defined in Data.Swagger.Lens Methods schema :: Lens' NamedSchema Schema Source #
(a ~ Maybe Value, b ~ Maybe Value) => LabelOptic "default" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(a ~ Maybe [Value], b ~ Maybe [Value]) => LabelOptic "enum" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMaximum" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMinimum" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(a ~ Maybe Format, b ~ Maybe Format) => LabelOptic "format" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(a ~ Maybe (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type)), b ~ Maybe (SwaggerItems ('SwaggerKindSchema :: SwaggerKind Type))) => LabelOptic "items" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxItems" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxLength" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "maximum" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minItems" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minLength" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "minimum" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "multipleOf" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "name" k NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx NamedSchema NamedSchema a b
(a ~ ParamSchema ('SwaggerKindSchema :: SwaggerKind Type), b ~ ParamSchema ('SwaggerKindSchema :: SwaggerKind Type)) => LabelOptic "paramSchema" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "pattern" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(k ~ A_Lens, a ~ Schema, b ~ Schema) => LabelOptic "schema" k NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx NamedSchema NamedSchema a b
(a ~ Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type)), b ~ Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type))) => LabelOptic "type" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "uniqueItems" A_Lens NamedSchema NamedSchema a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
HasName NamedSchema (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods name :: Lens' NamedSchema (Maybe Text) Source #
HasParamSchema NamedSchema (ParamSchema ('SwaggerKindSchema :: SwaggerKind Type)) Source #
Instance details Defined in Data.Swagger.Lens Methods paramSchema :: Lens' NamedSchema (ParamSchema 'SwaggerKindSchema) Source #
HasType NamedSchema (Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type))) Source #
Instance details Defined in Data.Swagger.Lens Methods type_ :: Lens' NamedSchema (Maybe (SwaggerType 'SwaggerKindSchema)) Source #
type Rep NamedSchema Source #
Instance details Defined in Data.Swagger.Internal type Rep NamedSchema = D1 ('MetaData "NamedSchema" "Data.Swagger.Internal" "swagger2-2.8.7-inplace" 'False) (C1 ('MetaCons "NamedSchema" 'PrefixI 'True) (S1 ('MetaSel ('Just "_namedSchemaName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "_namedSchemaSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Schema)))

type Pattern = Text Source #

Regex pattern for string type.

data ParamSchema (t :: SwaggerKind *) Source #

Constructors

ParamSchema

Fields

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

Instances

Instances details

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

data Xml Source #

Constructors

Xml

Fields

_xmlName :: Maybe Text
Replaces the name of the element/attribute used for the described schema property. When defined within the SwaggerItems (items), it will affect the name of the individual XML elements within the list. When defined alongside type being array (outside the items), it will affect the wrapping element and only if wrapped is true. If wrapped is false, it will be ignored.
_xmlNamespace :: Maybe Text
The URL of the namespace definition. Value SHOULD be in the form of a URL.
_xmlPrefix :: Maybe Text
The prefix to be used for the name.
_xmlAttribute :: Maybe Bool
Declares whether the property definition translates to an attribute instead of an element. Default value is False.
_xmlWrapped :: Maybe Bool
MAY be used only for an array definition. Signifies whether the array is wrapped (for example, <books><book><book></books>) or unwrapped (<book><book>). Default value is False. The definition takes effect only when defined alongside type being array (outside the items).

Instances

Instances details

Eq Xml Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Xml -> Xml -> Bool # (/=) :: Xml -> Xml -> Bool #
Data Xml Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Xml -> c Xml # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Xml # toConstr :: Xml -> Constr # dataTypeOf :: Xml -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Xml) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Xml) # gmapT :: (forall b. Data b => b -> b) -> Xml -> Xml # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Xml -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Xml -> r # gmapQ :: (forall d. Data d => d -> u) -> Xml -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Xml -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Xml -> m Xml # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Xml -> m Xml # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Xml -> m Xml #
Show Xml Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Xml -> ShowS # show :: Xml -> String # showList :: [Xml] -> ShowS #
Generic Xml Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Xml :: Type -> Type # Methods from :: Xml -> Rep Xml x # to :: Rep Xml x -> Xml #
FromJSON Xml Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Xml parseJSONList :: Value -> Parser [Xml]
ToJSON Xml Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Xml -> Value toEncoding :: Xml -> Encoding toJSONList :: [Xml] -> Value toEncodingList :: [Xml] -> Encoding
(k ~ A_Lens, a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "attribute" k Xml Xml a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Xml Xml a b
(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "name" k Xml Xml a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Xml Xml a b
(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "namespace" k Xml Xml a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Xml Xml a b
(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "prefix" k Xml Xml a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Xml Xml a b
(k ~ A_Lens, a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "wrapped" k Xml Xml a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Xml Xml a b
HasName Xml (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods name :: Lens' Xml (Maybe Text) Source #
HasXml Schema (Maybe Xml) Source #
Instance details Defined in Data.Swagger.Lens Methods xml :: Lens' Schema (Maybe Xml) Source #
HasWrapped Xml (Maybe Bool) Source #
Instance details Defined in Data.Swagger.Lens Methods wrapped :: Lens' Xml (Maybe Bool) Source #
HasPrefix Xml (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods prefix :: Lens' Xml (Maybe Text) Source #
HasNamespace Xml (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods namespace :: Lens' Xml (Maybe Text) Source #
HasAttribute Xml (Maybe Bool) Source #
Instance details Defined in Data.Swagger.Lens Methods attribute :: Lens' Xml (Maybe Bool) Source #
type Rep Xml Source #
Instance details Defined in Data.Swagger.Internal type Rep Xml = D1 ('MetaData "Xml" "Data.Swagger.Internal" "swagger2-2.8.7-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))))))

data Responses Source #

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

Constructors

Responses

Fields

_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

Instances details

Eq Responses Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Responses -> Responses -> Bool # (/=) :: Responses -> Responses -> Bool #
Data Responses Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Responses -> c Responses # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Responses # toConstr :: Responses -> Constr # dataTypeOf :: Responses -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Responses) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Responses) # gmapT :: (forall b. Data b => b -> b) -> Responses -> Responses # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Responses -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Responses -> r # gmapQ :: (forall d. Data d => d -> u) -> Responses -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Responses -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Responses -> m Responses # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Responses -> m Responses # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Responses -> m Responses #
Show Responses Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Responses -> ShowS # show :: Responses -> String # showList :: [Responses] -> ShowS #
Generic Responses Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Responses :: Type -> Type # Methods from :: Responses -> Rep Responses x # to :: Rep Responses x -> Responses #
Semigroup Responses Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: Responses -> Responses -> Responses # sconcat :: NonEmpty Responses -> Responses # stimes :: Integral b => b -> Responses -> Responses #
Monoid Responses Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: Responses # mappend :: Responses -> Responses -> Responses # mconcat :: [Responses] -> Responses #
At Responses
Instance details Defined in Data.Swagger.Lens Methods at :: Index Responses -> Lens' Responses (Maybe (IxValue Responses))
Ixed Responses
Instance details Defined in Data.Swagger.Lens Methods ix :: Index Responses -> Traversal' Responses (IxValue Responses)
FromJSON Responses Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Responses parseJSONList :: Value -> Parser [Responses]
ToJSON Responses Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Responses -> Value toEncoding :: Responses -> Encoding toJSONList :: [Responses] -> Value toEncodingList :: [Responses] -> Encoding
Generic Responses Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Code Responses :: [[Type]] Methods from :: Responses -> Rep Responses to :: Rep Responses -> Responses
HasDatatypeInfo Responses Source #
Instance details Defined in Data.Swagger.Internal Associated Types type DatatypeInfoOf Responses :: DatatypeInfo Methods datatypeInfo :: proxy Responses -> DatatypeInfo (Code Responses)
At Responses
Instance details Defined in Data.Swagger.Optics Methods at :: Index Responses -> Lens' Responses (Maybe (IxValue Responses))
Ixed Responses
Instance details Defined in Data.Swagger.Optics Associated Types type IxKind Responses Methods ix :: Index Responses -> Optic' (IxKind Responses) NoIx Responses (IxValue Responses)
AesonDefaultValue Responses Source #
Instance details Defined in Data.Swagger.Internal Methods defaultValue :: Maybe Responses Source #
HasSwaggerAesonOptions Responses Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerAesonOptions :: Proxy Responses -> SwaggerAesonOptions Source # aesonDefaults :: Proxy Responses -> POP Maybe (Code Responses) Source #
SwaggerMonoid Responses Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: Responses Source # swaggerMappend :: Responses -> Responses -> Responses Source #
HasResponses Operation Responses Source #
Instance details Defined in Data.Swagger.Lens Methods responses :: Lens' Operation Responses Source #
(k ~ A_Lens, a ~ Maybe (Referenced Response), b ~ Maybe (Referenced Response)) => LabelOptic "default" k Responses Responses a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Responses Responses a b
(k ~ A_Lens, a ~ InsOrdHashMap HttpStatusCode (Referenced Response), b ~ InsOrdHashMap HttpStatusCode (Referenced Response)) => LabelOptic "responses" k Responses Responses a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Responses Responses a b
HasDefault Responses (Maybe (Referenced Response)) Source #
Instance details Defined in Data.Swagger.Lens Methods default_ :: Lens' Responses (Maybe (Referenced Response)) Source #
HasResponses Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) Source #
Instance details Defined in Data.Swagger.Lens Methods responses :: Lens' Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) Source #
type Rep Responses Source #
Instance details Defined in Data.Swagger.Internal type Rep Responses = D1 ('MetaData "Responses" "Data.Swagger.Internal" "swagger2-2.8.7-inplace" 'False) (C1 ('MetaCons "Responses" 'PrefixI 'True) (S1 ('MetaSel ('Just "_responsesDefault") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Referenced Response))) :*: S1 ('MetaSel ('Just "_responsesResponses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InsOrdHashMap HttpStatusCode (Referenced Response)))))
type Index Responses
Instance details Defined in Data.Swagger.Lens type Index Responses = HttpStatusCode
type IxValue Responses
Instance details Defined in Data.Swagger.Lens type IxValue Responses = Referenced Response
type Code Responses Source #
Instance details Defined in Data.Swagger.Internal type Code Responses = '['[Maybe (Referenced Response), InsOrdHashMap HttpStatusCode (Referenced Response)]]
type DatatypeInfoOf Responses Source #
Instance details Defined in Data.Swagger.Internal type DatatypeInfoOf Responses = 'ADT "Data.Swagger.Internal" "Responses" '['Record "Responses" '['FieldInfo "_responsesDefault", 'FieldInfo "_responsesResponses"]] '['['StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy]]
type Index Responses
Instance details Defined in Data.Swagger.Optics type Index Responses = HttpStatusCode
type IxValue Responses
Instance details Defined in Data.Swagger.Optics type IxValue Responses = Referenced Response
type IxKind Responses
Instance details Defined in Data.Swagger.Optics type IxKind Responses = An_AffineTraversal

type HttpStatusCode = Int Source #

data Response Source #

Describes a single response from an API Operation.

Constructors

Response

Fields

_responseDescription :: Text
A short description of the response. GFM syntax can be used for rich text representation.
_responseSchema :: Maybe (Referenced Schema)
A definition of the response structure. It can be a primitive, an array or an object. If this field does not exist, it means no content is returned as part of the response. As an extension to the Schema Object, its root type value may also be "file". This SHOULD be accompanied by a relevant produces mime-type.
_responseHeaders :: InsOrdHashMap HeaderName Header
A list of headers that are sent with the response.
_responseExamples :: Maybe Example
An example of the response message.

Instances

Instances details

Eq Response Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Response -> Response -> Bool # (/=) :: Response -> Response -> Bool #
Data Response Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Response -> c Response # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Response # toConstr :: Response -> Constr # dataTypeOf :: Response -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Response) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Response) # gmapT :: (forall b. Data b => b -> b) -> Response -> Response # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Response -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Response -> r # gmapQ :: (forall d. Data d => d -> u) -> Response -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Response -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Response -> m Response # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Response -> m Response # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Response -> m Response #
Show Response Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Response -> ShowS # show :: Response -> String # showList :: [Response] -> ShowS #
IsString Response Source #
Instance details Defined in Data.Swagger.Internal Methods fromString :: String -> Response #
Generic Response Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep Response :: Type -> Type # Methods from :: Response -> Rep Response x # to :: Rep Response x -> Response #
Semigroup Response Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: Response -> Response -> Response # sconcat :: NonEmpty Response -> Response # stimes :: Integral b => b -> Response -> Response #
Monoid Response Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: Response # mappend :: Response -> Response -> Response # mconcat :: [Response] -> Response #
FromJSON Response Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser Response parseJSONList :: Value -> Parser [Response]
ToJSON Response Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Response -> Value toEncoding :: Response -> Encoding toJSONList :: [Response] -> Value toEncodingList :: [Response] -> Encoding
Generic Response Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Code Response :: [[Type]] Methods from :: Response -> Rep Response to :: Rep Response -> Response
HasDatatypeInfo Response Source #
Instance details Defined in Data.Swagger.Internal Associated Types type DatatypeInfoOf Response :: DatatypeInfo Methods datatypeInfo :: proxy Response -> DatatypeInfo (Code Response)
HasSwaggerAesonOptions Response Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerAesonOptions :: Proxy Response -> SwaggerAesonOptions Source # aesonDefaults :: Proxy Response -> POP Maybe (Code Response) Source #
SwaggerMonoid Response Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: Response Source # swaggerMappend :: Response -> Response -> Response Source #
HasDescription Response Text Source #
Instance details Defined in Data.Swagger.Lens Methods description :: Lens' Response Text Source #
(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "description" k Response Response a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Response Response a b
(k ~ A_Lens, a ~ Maybe Example, b ~ Maybe Example) => LabelOptic "examples" k Response Response a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Response Response a b
(k ~ A_Lens, a ~ InsOrdHashMap HeaderName Header, b ~ InsOrdHashMap HeaderName Header) => LabelOptic "headers" k Response Response a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Response Response a b
(k ~ A_Lens, a ~ Maybe (Referenced Schema), b ~ Maybe (Referenced Schema)) => LabelOptic "schema" k Response Response a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx Response Response a b
HasResponses Swagger (Definitions Response) Source #
Instance details Defined in Data.Swagger.Lens Methods responses :: Lens' Swagger (Definitions Response) Source #
HasSchema Response (Maybe (Referenced Schema)) Source #
Instance details Defined in Data.Swagger.Lens Methods schema :: Lens' Response (Maybe (Referenced Schema)) Source #
HasDefault Responses (Maybe (Referenced Response)) Source #
Instance details Defined in Data.Swagger.Lens Methods default_ :: Lens' Responses (Maybe (Referenced Response)) Source #
HasExamples Response (Maybe Example) Source #
Instance details Defined in Data.Swagger.Lens Methods examples :: Lens' Response (Maybe Example) Source #
HasResponses Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) Source #
Instance details Defined in Data.Swagger.Lens Methods responses :: Lens' Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) Source #
HasHeaders Response (InsOrdHashMap HeaderName Header) Source #
Instance details Defined in Data.Swagger.Lens Methods headers :: Lens' Response (InsOrdHashMap HeaderName Header) Source #
FromJSON (Referenced Response) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (Referenced Response) parseJSONList :: Value -> Parser [Referenced Response]
ToJSON (Referenced Response) Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Referenced Response -> Value toEncoding :: Referenced Response -> Encoding toJSONList :: [Referenced Response] -> Value toEncodingList :: [Referenced Response] -> Encoding
type Rep Response Source #
Instance details Defined in Data.Swagger.Internal type Rep Response = D1 ('MetaData "Response" "Data.Swagger.Internal" "swagger2-2.8.7-inplace" 'False) (C1 ('MetaCons "Response" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_responseDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "_responseSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Referenced Schema)))) :: (S1 ('MetaSel ('Just "_responseHeaders") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InsOrdHashMap HeaderName Header)) :*: S1 ('MetaSel ('Just "_responseExamples") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Example)))))
type Code Response Source #
Instance details Defined in Data.Swagger.Internal type Code Response = '['[Text, Maybe (Referenced Schema), InsOrdHashMap HeaderName Header, Maybe Example]]
type DatatypeInfoOf Response Source #
Instance details Defined in Data.Swagger.Internal type DatatypeInfoOf Response = 'ADT "Data.Swagger.Internal" "Response" '['Record "Response" '['FieldInfo "_responseDescription", 'FieldInfo "_responseSchema", 'FieldInfo "_responseHeaders", 'FieldInfo "_responseExamples"]] '['['StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy]]

type HeaderName = Text Source #

data Header Source #

Constructors

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

Instances

Instances details

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

data Example Source #

Constructors

Example
Fields getExample :: Map MediaType Value

Instances

Instances details

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

exampleConstr :: Constr Source #

exampleDataType :: DataType Source #

data ApiKeyLocation Source #

The location of the API key.

Constructors

ApiKeyQuery
ApiKeyHeader

Instances

Instances details

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

data ApiKeyParams Source #

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

Instances details

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

type AuthorizationURL = Text Source #

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

type TokenURL = Text Source #

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

data OAuth2Flow Source #

Constructors

OAuth2Implicit AuthorizationURL
OAuth2Password TokenURL
OAuth2Application TokenURL
OAuth2AccessCode AuthorizationURL TokenURL

Instances

Instances details

Eq OAuth2Flow Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: OAuth2Flow -> OAuth2Flow -> Bool # (/=) :: OAuth2Flow -> OAuth2Flow -> Bool #
Data OAuth2Flow Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OAuth2Flow -> c OAuth2Flow # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OAuth2Flow # toConstr :: OAuth2Flow -> Constr # dataTypeOf :: OAuth2Flow -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OAuth2Flow) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OAuth2Flow) # gmapT :: (forall b. Data b => b -> b) -> OAuth2Flow -> OAuth2Flow # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OAuth2Flow -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OAuth2Flow -> r # gmapQ :: (forall d. Data d => d -> u) -> OAuth2Flow -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OAuth2Flow -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OAuth2Flow -> m OAuth2Flow # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OAuth2Flow -> m OAuth2Flow # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OAuth2Flow -> m OAuth2Flow #
Show OAuth2Flow Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> OAuth2Flow -> ShowS # show :: OAuth2Flow -> String # showList :: [OAuth2Flow] -> ShowS #
Generic OAuth2Flow Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep OAuth2Flow :: Type -> Type # Methods from :: OAuth2Flow -> Rep OAuth2Flow x # to :: Rep OAuth2Flow x -> OAuth2Flow #
FromJSON OAuth2Flow Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser OAuth2Flow parseJSONList :: Value -> Parser [OAuth2Flow]
ToJSON OAuth2Flow Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: OAuth2Flow -> Value toEncoding :: OAuth2Flow -> Encoding toJSONList :: [OAuth2Flow] -> Value toEncodingList :: [OAuth2Flow] -> Encoding
AesonDefaultValue OAuth2Flow Source #
Instance details Defined in Data.Swagger.Internal Methods defaultValue :: Maybe OAuth2Flow Source #
type Rep OAuth2Flow Source #
Instance details Defined in Data.Swagger.Internal type Rep OAuth2Flow = D1 ('MetaData "OAuth2Flow" "Data.Swagger.Internal" "swagger2-2.8.7-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))))

data OAuth2Params Source #

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

Instances details

Eq OAuth2Params Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: OAuth2Params -> OAuth2Params -> Bool # (/=) :: OAuth2Params -> OAuth2Params -> Bool #
Data OAuth2Params Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OAuth2Params -> c OAuth2Params # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OAuth2Params # toConstr :: OAuth2Params -> Constr # dataTypeOf :: OAuth2Params -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OAuth2Params) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OAuth2Params) # gmapT :: (forall b. Data b => b -> b) -> OAuth2Params -> OAuth2Params # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OAuth2Params -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OAuth2Params -> r # gmapQ :: (forall d. Data d => d -> u) -> OAuth2Params -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OAuth2Params -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OAuth2Params -> m OAuth2Params # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OAuth2Params -> m OAuth2Params # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OAuth2Params -> m OAuth2Params #
Show OAuth2Params Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> OAuth2Params -> ShowS # show :: OAuth2Params -> String # showList :: [OAuth2Params] -> ShowS #
Generic OAuth2Params Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep OAuth2Params :: Type -> Type # Methods from :: OAuth2Params -> Rep OAuth2Params x # to :: Rep OAuth2Params x -> OAuth2Params #
FromJSON OAuth2Params Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser OAuth2Params parseJSONList :: Value -> Parser [OAuth2Params]
ToJSON OAuth2Params Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: OAuth2Params -> Value toEncoding :: OAuth2Params -> Encoding toJSONList :: [OAuth2Params] -> Value toEncodingList :: [OAuth2Params] -> Encoding
Generic OAuth2Params Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Code OAuth2Params :: [[Type]] Methods from :: OAuth2Params -> Rep OAuth2Params to :: Rep OAuth2Params -> OAuth2Params
HasDatatypeInfo OAuth2Params Source #
Instance details Defined in Data.Swagger.Internal Associated Types type DatatypeInfoOf OAuth2Params :: DatatypeInfo Methods datatypeInfo :: proxy OAuth2Params -> DatatypeInfo (Code OAuth2Params)
HasSwaggerAesonOptions OAuth2Params Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerAesonOptions :: Proxy OAuth2Params -> SwaggerAesonOptions Source # aesonDefaults :: Proxy OAuth2Params -> POP Maybe (Code OAuth2Params) Source #
type Rep OAuth2Params Source #
Instance details Defined in Data.Swagger.Internal type Rep OAuth2Params = D1 ('MetaData "OAuth2Params" "Data.Swagger.Internal" "swagger2-2.8.7-inplace" 'False) (C1 ('MetaCons "OAuth2Params" 'PrefixI 'True) (S1 ('MetaSel ('Just "_oauth2Flow") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OAuth2Flow) :*: S1 ('MetaSel ('Just "_oauth2Scopes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InsOrdHashMap Text Text))))
type Code OAuth2Params Source #
Instance details Defined in Data.Swagger.Internal type Code OAuth2Params = '['[OAuth2Flow, InsOrdHashMap Text Text]]
type DatatypeInfoOf OAuth2Params Source #
Instance details Defined in Data.Swagger.Internal type DatatypeInfoOf OAuth2Params = 'ADT "Data.Swagger.Internal" "OAuth2Params" '['Record "OAuth2Params" '['FieldInfo "_oauth2Flow", 'FieldInfo "_oauth2Scopes"]] '['['StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy]]

data SecuritySchemeType Source #

Constructors

SecuritySchemeBasic
SecuritySchemeApiKey ApiKeyParams
SecuritySchemeOAuth2 OAuth2Params

Instances

Instances details

Eq SecuritySchemeType Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: SecuritySchemeType -> SecuritySchemeType -> Bool # (/=) :: SecuritySchemeType -> SecuritySchemeType -> Bool #
Data SecuritySchemeType Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SecuritySchemeType -> c SecuritySchemeType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SecuritySchemeType # toConstr :: SecuritySchemeType -> Constr # dataTypeOf :: SecuritySchemeType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SecuritySchemeType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecuritySchemeType) # gmapT :: (forall b. Data b => b -> b) -> SecuritySchemeType -> SecuritySchemeType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SecuritySchemeType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SecuritySchemeType -> r # gmapQ :: (forall d. Data d => d -> u) -> SecuritySchemeType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SecuritySchemeType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SecuritySchemeType -> m SecuritySchemeType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SecuritySchemeType -> m SecuritySchemeType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SecuritySchemeType -> m SecuritySchemeType #
Show SecuritySchemeType Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> SecuritySchemeType -> ShowS # show :: SecuritySchemeType -> String # showList :: [SecuritySchemeType] -> ShowS #
Generic SecuritySchemeType Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep SecuritySchemeType :: Type -> Type # Methods from :: SecuritySchemeType -> Rep SecuritySchemeType x # to :: Rep SecuritySchemeType x -> SecuritySchemeType #
FromJSON SecuritySchemeType Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser SecuritySchemeType parseJSONList :: Value -> Parser [SecuritySchemeType]
ToJSON SecuritySchemeType Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: SecuritySchemeType -> Value toEncoding :: SecuritySchemeType -> Encoding toJSONList :: [SecuritySchemeType] -> Value toEncodingList :: [SecuritySchemeType] -> Encoding
AesonDefaultValue SecuritySchemeType Source #
Instance details Defined in Data.Swagger.Internal Methods defaultValue :: Maybe SecuritySchemeType Source #
HasType SecurityScheme SecuritySchemeType Source #
Instance details Defined in Data.Swagger.Lens Methods type_ :: Lens' SecurityScheme SecuritySchemeType Source #
(k ~ A_Prism, a ~ ApiKeyParams, b ~ ApiKeyParams) => LabelOptic "_SecuritySchemeApiKey" k SecuritySchemeType SecuritySchemeType a b
Instance details 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
Instance details 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
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx SecuritySchemeType SecuritySchemeType a b
type Rep SecuritySchemeType Source #
Instance details Defined in Data.Swagger.Internal type Rep SecuritySchemeType = D1 ('MetaData "SecuritySchemeType" "Data.Swagger.Internal" "swagger2-2.8.7-inplace" 'False) (C1 ('MetaCons "SecuritySchemeBasic" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SecuritySchemeApiKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ApiKeyParams)) :+: C1 ('MetaCons "SecuritySchemeOAuth2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OAuth2Params))))

data SecurityScheme Source #

Constructors

SecurityScheme
Fields _securitySchemeType :: SecuritySchemeType The type of the security scheme. _securitySchemeDescription :: Maybe Text A short description for security scheme.

Instances

Instances details

Eq SecurityScheme Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: SecurityScheme -> SecurityScheme -> Bool # (/=) :: SecurityScheme -> SecurityScheme -> Bool #
Data SecurityScheme Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SecurityScheme -> c SecurityScheme # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SecurityScheme # toConstr :: SecurityScheme -> Constr # dataTypeOf :: SecurityScheme -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SecurityScheme) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecurityScheme) # gmapT :: (forall b. Data b => b -> b) -> SecurityScheme -> SecurityScheme # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SecurityScheme -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SecurityScheme -> r # gmapQ :: (forall d. Data d => d -> u) -> SecurityScheme -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SecurityScheme -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SecurityScheme -> m SecurityScheme # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SecurityScheme -> m SecurityScheme # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SecurityScheme -> m SecurityScheme #
Show SecurityScheme Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> SecurityScheme -> ShowS # show :: SecurityScheme -> String # showList :: [SecurityScheme] -> ShowS #
Generic SecurityScheme Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep SecurityScheme :: Type -> Type # Methods from :: SecurityScheme -> Rep SecurityScheme x # to :: Rep SecurityScheme x -> SecurityScheme #
Semigroup SecurityScheme Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: SecurityScheme -> SecurityScheme -> SecurityScheme # sconcat :: NonEmpty SecurityScheme -> SecurityScheme # stimes :: Integral b => b -> SecurityScheme -> SecurityScheme #
FromJSON SecurityScheme Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser SecurityScheme parseJSONList :: Value -> Parser [SecurityScheme]
ToJSON SecurityScheme Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: SecurityScheme -> Value toEncoding :: SecurityScheme -> Encoding toJSONList :: [SecurityScheme] -> Value toEncodingList :: [SecurityScheme] -> Encoding
Generic SecurityScheme Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Code SecurityScheme :: [[Type]] Methods from :: SecurityScheme -> Rep SecurityScheme to :: Rep SecurityScheme -> SecurityScheme
HasDatatypeInfo SecurityScheme Source #
Instance details Defined in Data.Swagger.Internal Associated Types type DatatypeInfoOf SecurityScheme :: DatatypeInfo Methods datatypeInfo :: proxy SecurityScheme -> DatatypeInfo (Code SecurityScheme)
HasSwaggerAesonOptions SecurityScheme Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerAesonOptions :: Proxy SecurityScheme -> SwaggerAesonOptions Source # aesonDefaults :: Proxy SecurityScheme -> POP Maybe (Code SecurityScheme) Source #
HasType SecurityScheme SecuritySchemeType Source #
Instance details Defined in Data.Swagger.Lens Methods type_ :: Lens' SecurityScheme SecuritySchemeType Source #
(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" k SecurityScheme SecurityScheme a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx SecurityScheme SecurityScheme a b
(k ~ A_Lens, a ~ SecuritySchemeType, b ~ SecuritySchemeType) => LabelOptic "type" k SecurityScheme SecurityScheme a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx SecurityScheme SecurityScheme a b
HasDescription SecurityScheme (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods description :: Lens' SecurityScheme (Maybe Text) Source #
type Rep SecurityScheme Source #
Instance details Defined in Data.Swagger.Internal type Rep SecurityScheme = D1 ('MetaData "SecurityScheme" "Data.Swagger.Internal" "swagger2-2.8.7-inplace" 'False) (C1 ('MetaCons "SecurityScheme" 'PrefixI 'True) (S1 ('MetaSel ('Just "_securitySchemeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecuritySchemeType) :*: S1 ('MetaSel ('Just "_securitySchemeDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))
type Code SecurityScheme Source #
Instance details Defined in Data.Swagger.Internal type Code SecurityScheme = '['[SecuritySchemeType, Maybe Text]]
type DatatypeInfoOf SecurityScheme Source #
Instance details Defined in Data.Swagger.Internal type DatatypeInfoOf SecurityScheme = 'ADT "Data.Swagger.Internal" "SecurityScheme" '['Record "SecurityScheme" '['FieldInfo "_securitySchemeType", 'FieldInfo "_securitySchemeDescription"]] '['['StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy, 'StrictnessInfo 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy]]

mergeSecurityScheme :: SecurityScheme -> SecurityScheme -> SecurityScheme Source #

merge scopes of two OAuth2 security schemes when their flows are identical. In other case returns first security scheme

newtype SecurityDefinitions Source #

Constructors

SecurityDefinitions (Definitions SecurityScheme)

Instances

Instances details

Eq SecurityDefinitions Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: SecurityDefinitions -> SecurityDefinitions -> Bool # (/=) :: SecurityDefinitions -> SecurityDefinitions -> Bool #
Data SecurityDefinitions Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SecurityDefinitions -> c SecurityDefinitions # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SecurityDefinitions # toConstr :: SecurityDefinitions -> Constr # dataTypeOf :: SecurityDefinitions -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SecurityDefinitions) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecurityDefinitions) # gmapT :: (forall b. Data b => b -> b) -> SecurityDefinitions -> SecurityDefinitions # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SecurityDefinitions -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SecurityDefinitions -> r # gmapQ :: (forall d. Data d => d -> u) -> SecurityDefinitions -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SecurityDefinitions -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SecurityDefinitions -> m SecurityDefinitions # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SecurityDefinitions -> m SecurityDefinitions # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SecurityDefinitions -> m SecurityDefinitions #
Show SecurityDefinitions Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> SecurityDefinitions -> ShowS # show :: SecurityDefinitions -> String # showList :: [SecurityDefinitions] -> ShowS #
Generic SecurityDefinitions Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep SecurityDefinitions :: Type -> Type # Methods from :: SecurityDefinitions -> Rep SecurityDefinitions x # to :: Rep SecurityDefinitions x -> SecurityDefinitions #
Semigroup SecurityDefinitions Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: SecurityDefinitions -> SecurityDefinitions -> SecurityDefinitions # sconcat :: NonEmpty SecurityDefinitions -> SecurityDefinitions # stimes :: Integral b => b -> SecurityDefinitions -> SecurityDefinitions #
Monoid SecurityDefinitions Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: SecurityDefinitions # mappend :: SecurityDefinitions -> SecurityDefinitions -> SecurityDefinitions # mconcat :: [SecurityDefinitions] -> SecurityDefinitions #
At SecurityDefinitions
Instance details Defined in Data.Swagger.Lens Methods at :: Index SecurityDefinitions -> Lens' SecurityDefinitions (Maybe (IxValue SecurityDefinitions))
Ixed SecurityDefinitions
Instance details Defined in Data.Swagger.Lens Methods ix :: Index SecurityDefinitions -> Traversal' SecurityDefinitions (IxValue SecurityDefinitions)
FromJSON SecurityDefinitions Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser SecurityDefinitions parseJSONList :: Value -> Parser [SecurityDefinitions]
ToJSON SecurityDefinitions Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: SecurityDefinitions -> Value toEncoding :: SecurityDefinitions -> Encoding toJSONList :: [SecurityDefinitions] -> Value toEncodingList :: [SecurityDefinitions] -> Encoding
AesonDefaultValue SecurityDefinitions Source #
Instance details Defined in Data.Swagger.Internal Methods defaultValue :: Maybe SecurityDefinitions Source #
SwaggerMonoid SecurityDefinitions Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: SecurityDefinitions Source # swaggerMappend :: SecurityDefinitions -> SecurityDefinitions -> SecurityDefinitions Source #
HasSecurityDefinitions Swagger SecurityDefinitions Source #
Instance details Defined in Data.Swagger.Lens Methods securityDefinitions :: Lens' Swagger SecurityDefinitions Source #
type Rep SecurityDefinitions Source #
Instance details Defined in Data.Swagger.Internal type Rep SecurityDefinitions = D1 ('MetaData "SecurityDefinitions" "Data.Swagger.Internal" "swagger2-2.8.7-inplace" 'True) (C1 ('MetaCons "SecurityDefinitions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Definitions SecurityScheme))))
type Index SecurityDefinitions
Instance details Defined in Data.Swagger.Lens type Index SecurityDefinitions = Text
type IxValue SecurityDefinitions
Instance details Defined in Data.Swagger.Lens type IxValue SecurityDefinitions = SecurityScheme

newtype SecurityRequirement Source #

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

Constructors

SecurityRequirement
Fields getSecurityRequirement :: InsOrdHashMap Text [Text]

Instances

Instances details

Eq SecurityRequirement Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: SecurityRequirement -> SecurityRequirement -> Bool # (/=) :: SecurityRequirement -> SecurityRequirement -> Bool #
Data SecurityRequirement Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SecurityRequirement -> c SecurityRequirement # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SecurityRequirement # toConstr :: SecurityRequirement -> Constr # dataTypeOf :: SecurityRequirement -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SecurityRequirement) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecurityRequirement) # gmapT :: (forall b. Data b => b -> b) -> SecurityRequirement -> SecurityRequirement # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SecurityRequirement -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SecurityRequirement -> r # gmapQ :: (forall d. Data d => d -> u) -> SecurityRequirement -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SecurityRequirement -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SecurityRequirement -> m SecurityRequirement # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SecurityRequirement -> m SecurityRequirement # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SecurityRequirement -> m SecurityRequirement #
Read SecurityRequirement Source #
Instance details Defined in Data.Swagger.Internal Methods readsPrec :: Int -> ReadS SecurityRequirement # readList :: ReadS [SecurityRequirement] # readPrec :: ReadPrec SecurityRequirement # readListPrec :: ReadPrec [SecurityRequirement] #
Show SecurityRequirement Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> SecurityRequirement -> ShowS # show :: SecurityRequirement -> String # showList :: [SecurityRequirement] -> ShowS #
Semigroup SecurityRequirement Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: SecurityRequirement -> SecurityRequirement -> SecurityRequirement # sconcat :: NonEmpty SecurityRequirement -> SecurityRequirement # stimes :: Integral b => b -> SecurityRequirement -> SecurityRequirement #
Monoid SecurityRequirement Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: SecurityRequirement # mappend :: SecurityRequirement -> SecurityRequirement -> SecurityRequirement # mconcat :: [SecurityRequirement] -> SecurityRequirement #
FromJSON SecurityRequirement Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser SecurityRequirement parseJSONList :: Value -> Parser [SecurityRequirement]
ToJSON SecurityRequirement Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: SecurityRequirement -> Value toEncoding :: SecurityRequirement -> Encoding toJSONList :: [SecurityRequirement] -> Value toEncodingList :: [SecurityRequirement] -> Encoding
HasSecurity Operation [SecurityRequirement] Source #
Instance details Defined in Data.Swagger.Lens Methods security :: Lens' Operation [SecurityRequirement] Source #
HasSecurity Swagger [SecurityRequirement] Source #
Instance details Defined in Data.Swagger.Lens Methods security :: Lens' Swagger [SecurityRequirement] Source #

type TagName = Text Source #

Tag name.

data Tag Source #

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

Constructors

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

Instances

Instances details

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

data ExternalDocs Source #

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

Instances details

Eq ExternalDocs Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: ExternalDocs -> ExternalDocs -> Bool # (/=) :: ExternalDocs -> ExternalDocs -> Bool #
Data ExternalDocs Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExternalDocs -> c ExternalDocs # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExternalDocs # toConstr :: ExternalDocs -> Constr # dataTypeOf :: ExternalDocs -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExternalDocs) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExternalDocs) # gmapT :: (forall b. Data b => b -> b) -> ExternalDocs -> ExternalDocs # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExternalDocs -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExternalDocs -> r # gmapQ :: (forall d. Data d => d -> u) -> ExternalDocs -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ExternalDocs -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExternalDocs -> m ExternalDocs # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExternalDocs -> m ExternalDocs # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExternalDocs -> m ExternalDocs #
Ord ExternalDocs Source #
Instance details Defined in Data.Swagger.Internal 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 #
Show ExternalDocs Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> ExternalDocs -> ShowS # show :: ExternalDocs -> String # showList :: [ExternalDocs] -> ShowS #
Generic ExternalDocs Source #
Instance details Defined in Data.Swagger.Internal Associated Types type Rep ExternalDocs :: Type -> Type # Methods from :: ExternalDocs -> Rep ExternalDocs x # to :: Rep ExternalDocs x -> ExternalDocs #
Semigroup ExternalDocs Source #
Instance details Defined in Data.Swagger.Internal Methods (<>) :: ExternalDocs -> ExternalDocs -> ExternalDocs # sconcat :: NonEmpty ExternalDocs -> ExternalDocs # stimes :: Integral b => b -> ExternalDocs -> ExternalDocs #
Monoid ExternalDocs Source #
Instance details Defined in Data.Swagger.Internal Methods mempty :: ExternalDocs # mappend :: ExternalDocs -> ExternalDocs -> ExternalDocs # mconcat :: [ExternalDocs] -> ExternalDocs #
FromJSON ExternalDocs Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser ExternalDocs parseJSONList :: Value -> Parser [ExternalDocs]
ToJSON ExternalDocs Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: ExternalDocs -> Value toEncoding :: ExternalDocs -> Encoding toJSONList :: [ExternalDocs] -> Value toEncodingList :: [ExternalDocs] -> Encoding
Hashable ExternalDocs Source #
Instance details Defined in Data.Swagger.Internal Methods hashWithSalt :: Int -> ExternalDocs -> Int hash :: ExternalDocs -> Int
SwaggerMonoid ExternalDocs Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: ExternalDocs Source # swaggerMappend :: ExternalDocs -> ExternalDocs -> ExternalDocs Source #
HasUrl ExternalDocs URL Source #
Instance details Defined in Data.Swagger.Lens Methods url :: Lens' ExternalDocs URL Source #
(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" k ExternalDocs ExternalDocs a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx ExternalDocs ExternalDocs a b
(k ~ A_Lens, a ~ URL, b ~ URL) => LabelOptic "url" k ExternalDocs ExternalDocs a b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx ExternalDocs ExternalDocs a b
HasExternalDocs Tag (Maybe ExternalDocs) Source #
Instance details Defined in Data.Swagger.Lens Methods externalDocs :: Lens' Tag (Maybe ExternalDocs) Source #
HasExternalDocs Schema (Maybe ExternalDocs) Source #
Instance details Defined in Data.Swagger.Lens Methods externalDocs :: Lens' Schema (Maybe ExternalDocs) Source #
HasExternalDocs Operation (Maybe ExternalDocs) Source #
Instance details Defined in Data.Swagger.Lens Methods externalDocs :: Lens' Operation (Maybe ExternalDocs) Source #
HasExternalDocs Swagger (Maybe ExternalDocs) Source #
Instance details Defined in Data.Swagger.Lens Methods externalDocs :: Lens' Swagger (Maybe ExternalDocs) Source #
HasDescription ExternalDocs (Maybe Text) Source #
Instance details Defined in Data.Swagger.Lens Methods description :: Lens' ExternalDocs (Maybe Text) Source #
type Rep ExternalDocs Source #
Instance details Defined in Data.Swagger.Internal type Rep ExternalDocs = D1 ('MetaData "ExternalDocs" "Data.Swagger.Internal" "swagger2-2.8.7-inplace" 'False) (C1 ('MetaCons "ExternalDocs" 'PrefixI 'True) (S1 ('MetaSel ('Just "_externalDocsDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "_externalDocsUrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 URL)))

newtype Reference Source #

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

Constructors

Reference
Fields getReference :: Text

Instances

Instances details

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

data Referenced a Source #

Constructors

Ref Reference
Inline a

Instances

Instances details

Functor Referenced Source #
Instance details Defined in Data.Swagger.Internal Methods fmap :: (a -> b) -> Referenced a -> Referenced b # (<$) :: a -> Referenced b -> Referenced a #
(k ~ A_Prism, a1 ~ a2, b ~ a3) => LabelOptic "_Inline" k (Referenced a2) (Referenced a3) a1 b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx (Referenced a2) (Referenced a3) a1 b
(k ~ A_Prism, a1 ~ Reference, b ~ Reference) => LabelOptic "_Ref" k (Referenced a2) (Referenced a2) a1 b
Instance details Defined in Data.Swagger.Optics Methods labelOptic :: Optic k NoIx (Referenced a2) (Referenced a2) a1 b
HasParameters Operation [Referenced Param] Source #
Instance details Defined in Data.Swagger.Lens Methods parameters :: Lens' Operation [Referenced Param] Source #
HasParameters PathItem [Referenced Param] Source #
Instance details Defined in Data.Swagger.Lens Methods parameters :: Lens' PathItem [Referenced Param] Source #
HasSchema Response (Maybe (Referenced Schema)) Source #
Instance details Defined in Data.Swagger.Lens Methods schema :: Lens' Response (Maybe (Referenced Schema)) Source #
HasAllOf Schema (Maybe [Referenced Schema]) Source #
Instance details Defined in Data.Swagger.Lens Methods allOf :: Lens' Schema (Maybe [Referenced Schema]) Source #
HasDefault Responses (Maybe (Referenced Response)) Source #
Instance details Defined in Data.Swagger.Lens Methods default_ :: Lens' Responses (Maybe (Referenced Response)) Source #
HasResponses Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) Source #
Instance details Defined in Data.Swagger.Lens Methods responses :: Lens' Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) Source #
HasProperties Schema (InsOrdHashMap Text (Referenced Schema)) Source #
Instance details Defined in Data.Swagger.Lens Methods properties :: Lens' Schema (InsOrdHashMap Text (Referenced Schema)) Source #
Eq a => Eq (Referenced a) Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: Referenced a -> Referenced a -> Bool # (/=) :: Referenced a -> Referenced a -> Bool #
Data a => Data (Referenced a) Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Referenced a -> c (Referenced a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Referenced a) # toConstr :: Referenced a -> Constr # dataTypeOf :: Referenced a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Referenced a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Referenced a)) # gmapT :: (forall b. Data b => b -> b) -> Referenced a -> Referenced a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Referenced a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Referenced a -> r # gmapQ :: (forall d. Data d => d -> u) -> Referenced a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Referenced a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Referenced a -> m (Referenced a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Referenced a -> m (Referenced a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Referenced a -> m (Referenced a) #
Show a => Show (Referenced a) Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> Referenced a -> ShowS # show :: Referenced a -> String # showList :: [Referenced a] -> ShowS #
IsString a => IsString (Referenced a) Source #
Instance details Defined in Data.Swagger.Internal Methods fromString :: String -> Referenced a #
FromJSON (Referenced Response) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (Referenced Response) parseJSONList :: Value -> Parser [Referenced Response]
FromJSON (Referenced Schema) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (Referenced Schema) parseJSONList :: Value -> Parser [Referenced Schema]
FromJSON (Referenced Param) Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser (Referenced Param) parseJSONList :: Value -> Parser [Referenced Param]
ToJSON (Referenced Response) Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Referenced Response -> Value toEncoding :: Referenced Response -> Encoding toJSONList :: [Referenced Response] -> Value toEncodingList :: [Referenced Response] -> Encoding
ToJSON (Referenced Schema) Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Referenced Schema -> Value toEncoding :: Referenced Schema -> Encoding toJSONList :: [Referenced Schema] -> Value toEncodingList :: [Referenced Schema] -> Encoding
ToJSON (Referenced Param) Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: Referenced Param -> Value toEncoding :: Referenced Param -> Encoding toJSONList :: [Referenced Param] -> Value toEncodingList :: [Referenced Param] -> Encoding
Monoid a => SwaggerMonoid (Referenced a) Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: Referenced a Source # swaggerMappend :: Referenced a -> Referenced a -> Referenced a Source #

newtype URL Source #

Constructors

URL
Fields getUrl :: Text

Instances

Instances details

Eq URL Source #
Instance details Defined in Data.Swagger.Internal Methods (==) :: URL -> URL -> Bool # (/=) :: URL -> URL -> Bool #
Data URL Source #
Instance details Defined in Data.Swagger.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> URL -> c URL # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c URL # toConstr :: URL -> Constr # dataTypeOf :: URL -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c URL) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c URL) # gmapT :: (forall b. Data b => b -> b) -> URL -> URL # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> URL -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> URL -> r # gmapQ :: (forall d. Data d => d -> u) -> URL -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> URL -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> URL -> m URL # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> URL -> m URL # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> URL -> m URL #
Ord URL Source #
Instance details Defined in Data.Swagger.Internal Methods compare :: URL -> URL -> Ordering # (<) :: URL -> URL -> Bool # (<=) :: URL -> URL -> Bool # (>) :: URL -> URL -> Bool # (>=) :: URL -> URL -> Bool # max :: URL -> URL -> URL # min :: URL -> URL -> URL #
Show URL Source #
Instance details Defined in Data.Swagger.Internal Methods showsPrec :: Int -> URL -> ShowS # show :: URL -> String # showList :: [URL] -> ShowS #
FromJSON URL Source #
Instance details Defined in Data.Swagger.Internal Methods parseJSON :: Value -> Parser URL parseJSONList :: Value -> Parser [URL]
ToJSON URL Source #
Instance details Defined in Data.Swagger.Internal Methods toJSON :: URL -> Value toEncoding :: URL -> Encoding toJSONList :: [URL] -> Value toEncodingList :: [URL] -> Encoding
Hashable URL Source #
Instance details Defined in Data.Swagger.Internal Methods hashWithSalt :: Int -> URL -> Int hash :: URL -> Int
SwaggerMonoid URL Source #
Instance details Defined in Data.Swagger.Internal Methods swaggerMempty :: URL Source # swaggerMappend :: URL -> URL -> URL Source #
HasUrl ExternalDocs URL Source #
Instance details Defined in Data.Swagger.Lens Methods url :: Lens' ExternalDocs URL Source #
HasUrl License (Maybe URL) Source #
Instance details Defined in Data.Swagger.Lens Methods url :: Lens' License (Maybe URL) Source #
HasUrl Contact (Maybe URL) Source #
Instance details Defined in Data.Swagger.Lens Methods url :: Lens' Contact (Maybe URL) Source #

data AdditionalProperties Source #

Constructors

AdditionalPropertiesAllowed Bool
AdditionalPropertiesSchema (Referenced Schema)

Instances

Instances details

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

referencedToJSON :: ToJSON a => Text -> Referenced a -> Value Source #

referencedParseJSON :: FromJSON a => Text -> Value -> Parser (Referenced a) Source #

Orphan instances

(Eq a, Hashable a) => SwaggerMonoid (InsOrdHashSet a) Source #
Instance details Methods swaggerMempty :: InsOrdHashSet a Source # swaggerMappend :: InsOrdHashSet a -> InsOrdHashSet a -> InsOrdHashSet a Source #