swagger2-2.5: Swagger 2.0 data model

MaintainerAndrzej Rybczak <andrzej@rybczak.net>
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Data.Swagger.Optics

Contents

Description

Lenses and prisms for the optics library.

>>> import Data.Aeson
>>> import Optics.Core
>>> :set -XOverloadedLabels

Example from the Data.Swagger module using optics:

>>> :{
encode $ (mempty :: Swagger)
  & #definitions .~ [ ("User", mempty & #type ?~ SwaggerString) ]
  & #paths .~
    [ ("/user", mempty & #get ?~ (mempty
        & #produces ?~ MimeList ["application/json"]
        & at 200 ?~ ("OK" & #_Inline % #schema ?~ Ref (Reference "User"))
        & at 404 ?~ "User info not found")) ]
:}
"{\"swagger\":\"2.0\",\"info\":{\"version\":\"\",\"title\":\"\"},\"paths\":{\"/user\":{\"get\":{\"produces\":[\"application/json\"],\"responses\":{\"404\":{\"description\":\"User info not found\"},\"200\":{\"schema\":{\"$ref\":\"#/definitions/User\"},\"description\":\"OK\"}}}}},\"definitions\":{\"User\":{\"type\":\"string\"}}}"

For convenience optics are defined as labels. It means that field accessor names can be overloaded for different types. One such common field is #description. Many components of a Swagger specification can have descriptions, and you can use the same name for them:

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

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

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

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

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

Orphan instances

Ixed Responses Source # 
Instance details

Associated Types

type IxKind Responses :: OpticKind #

Ixed Operation Source # 
Instance details

Associated Types

type IxKind Operation :: OpticKind #

At Responses Source # 
Instance details

At Operation Source # 
Instance details

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(a ~ Definitions SecurityScheme, b ~ Definitions SecurityScheme) => LabelOptic "securityDefinitions" A_Lens Swagger Swagger a b Source # 
Instance details

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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