Maintainer	Andrzej Rybczak <andrzej@rybczak.net>
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Data.Swagger.Optics

Contents

Orphan instances

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 # Methods ix :: Index Responses -> Optic' (IxKind Responses) NoIx Responses (IxValue Responses) #
Ixed Operation Source #
Instance details Associated Types type IxKind Operation :: OpticKind # Methods ix :: Index Operation -> Optic' (IxKind Operation) NoIx Operation (IxValue Operation) #
At Responses Source #
Instance details Methods at :: Index Responses -> Lens' Responses (Maybe (IxValue Responses)) #
At Operation Source #
Instance details Methods at :: Index Operation -> Lens' Operation (Maybe (IxValue Operation)) #
(a ~ Referenced Schema, b ~ Referenced Schema) => LabelOptic "_ParamBody" A_Prism ParamAnySchema ParamAnySchema a b Source #
Instance details Methods labelOptic :: Optic A_Prism NoIx ParamAnySchema ParamAnySchema a b #
(a ~ ParamOtherSchema, b ~ ParamOtherSchema) => LabelOptic "_ParamOther" A_Prism ParamAnySchema ParamAnySchema a b Source #
Instance details Methods labelOptic :: Optic A_Prism NoIx ParamAnySchema ParamAnySchema a b #
(a ~ ApiKeyParams, b ~ ApiKeyParams) => LabelOptic "_SecuritySchemeApiKey" A_Prism SecuritySchemeType SecuritySchemeType a b Source #
Instance details Methods labelOptic :: Optic A_Prism NoIx SecuritySchemeType SecuritySchemeType a b #
(a ~ (), b ~ ()) => LabelOptic "_SecuritySchemeBasic" A_Prism SecuritySchemeType SecuritySchemeType a b Source #
Instance details Methods labelOptic :: Optic A_Prism NoIx SecuritySchemeType SecuritySchemeType a b #
(a ~ OAuth2Params, b ~ OAuth2Params) => LabelOptic "_SecuritySchemeOAuth2" A_Prism SecuritySchemeType SecuritySchemeType a b Source #
Instance details Methods labelOptic :: Optic A_Prism NoIx SecuritySchemeType SecuritySchemeType a b #
(a ~ Maybe AdditionalProperties, b ~ Maybe AdditionalProperties) => LabelOptic "additionalProperties" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe [Referenced Schema], b ~ Maybe [Referenced Schema]) => LabelOptic "allOf" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "allowEmptyValue" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "attribute" A_Lens Xml Xml a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Xml Xml a b #
(a ~ Maybe FilePath, b ~ Maybe FilePath) => LabelOptic "basePath" A_Lens Swagger Swagger a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Swagger Swagger a b #
(a ~ Maybe MimeList, b ~ Maybe MimeList) => LabelOptic "consumes" A_Lens Operation Operation a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Operation Operation a b #
(a ~ MimeList, b ~ MimeList) => LabelOptic "consumes" A_Lens Swagger Swagger a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Swagger Swagger a b #
(a ~ Maybe Contact, b ~ Maybe Contact) => LabelOptic "contact" A_Lens Info Info a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Info Info a b #
(a ~ Maybe Value, b ~ Maybe Value) => LabelOptic "default" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe (Referenced Response), b ~ Maybe (Referenced Response)) => LabelOptic "default" A_Lens Responses Responses a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Responses Responses a b #
(a ~ Maybe Value, b ~ Maybe Value) => LabelOptic "default" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe Value, b ~ Maybe Value) => LabelOptic "default" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Value, b ~ Maybe Value) => LabelOptic "default" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Definitions Schema, b ~ Definitions Schema) => LabelOptic "definitions" A_Lens Swagger Swagger a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Swagger Swagger a b #
(a ~ Maybe Operation, b ~ Maybe Operation) => LabelOptic "delete" A_Lens PathItem PathItem a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx PathItem PathItem a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "deprecated" A_Lens Operation Operation a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Operation Operation a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" A_Lens ExternalDocs ExternalDocs a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ExternalDocs ExternalDocs a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" A_Lens Tag Tag a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Tag Tag a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" A_Lens SecurityScheme SecurityScheme a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx SecurityScheme SecurityScheme a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Text, b ~ Text) => LabelOptic "description" A_Lens Response Response a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Response Response a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" A_Lens Param Param a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Param Param a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" A_Lens Operation Operation a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Operation Operation a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "description" A_Lens Info Info a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Info Info a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "discriminator" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "email" A_Lens Contact Contact a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Contact Contact a b #
(a ~ Maybe [Value], b ~ Maybe [Value]) => LabelOptic "enum" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe [Value], b ~ Maybe [Value]) => LabelOptic "enum" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe [Value], b ~ Maybe [Value]) => LabelOptic "enum" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe [Value], b ~ Maybe [Value]) => LabelOptic "enum" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Maybe Value, b ~ Maybe Value) => LabelOptic "example" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Example, b ~ Maybe Example) => LabelOptic "examples" A_Lens Response Response a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Response Response a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMaximum" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMaximum" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMaximum" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMaximum" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMinimum" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMinimum" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMinimum" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMinimum" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Maybe ExternalDocs, b ~ Maybe ExternalDocs) => LabelOptic "externalDocs" A_Lens Tag Tag a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Tag Tag a b #
(a ~ Maybe ExternalDocs, b ~ Maybe ExternalDocs) => LabelOptic "externalDocs" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe ExternalDocs, b ~ Maybe ExternalDocs) => LabelOptic "externalDocs" A_Lens Operation Operation a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Operation Operation a b #
(a ~ Maybe ExternalDocs, b ~ Maybe ExternalDocs) => LabelOptic "externalDocs" A_Lens Swagger Swagger a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Swagger Swagger a b #
(a ~ Maybe Format, b ~ Maybe Format) => LabelOptic "format" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe Format, b ~ Maybe Format) => LabelOptic "format" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe Format, b ~ Maybe Format) => LabelOptic "format" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Format, b ~ Maybe Format) => LabelOptic "format" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Maybe Operation, b ~ Maybe Operation) => LabelOptic "get" A_Lens PathItem PathItem a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx PathItem PathItem a b #
(a ~ Maybe Operation, b ~ Maybe Operation) => LabelOptic "head" A_Lens PathItem PathItem a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx PathItem PathItem a b #
(a ~ InsOrdHashMap HeaderName Header, b ~ InsOrdHashMap HeaderName Header) => LabelOptic "headers" A_Lens Response Response a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Response Response a b #
(a ~ Maybe Host, b ~ Maybe Host) => LabelOptic "host" A_Lens Swagger Swagger a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Swagger Swagger a b #
(a ~ ParamLocation, b ~ ParamLocation) => LabelOptic "in" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Info, b ~ Info) => LabelOptic "info" A_Lens Swagger Swagger a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Swagger Swagger a b #
(a ~ Maybe (SwaggerItems (SwaggerKindNormal Header)), b ~ Maybe (SwaggerItems (SwaggerKindNormal Header))) => LabelOptic "items" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe (SwaggerItems (SwaggerKindSchema :: SwaggerKind Type)), b ~ Maybe (SwaggerItems (SwaggerKindSchema :: SwaggerKind Type))) => LabelOptic "items" A_Lens NamedSchema NamedSchema a b Source #
Instance details 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 Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe (SwaggerItems (SwaggerKindParamOtherSchema :: SwaggerKind Type)), b ~ Maybe (SwaggerItems (SwaggerKindParamOtherSchema :: SwaggerKind Type))) => LabelOptic "items" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Maybe License, b ~ Maybe License) => LabelOptic "license" A_Lens Info Info a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Info Info a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxItems" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxItems" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxItems" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxItems" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxLength" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxLength" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxLength" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxLength" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxProperties" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "maximum" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "maximum" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "maximum" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "maximum" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minItems" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minItems" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minItems" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minItems" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minLength" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minLength" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minLength" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minLength" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minProperties" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "minimum" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "minimum" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "minimum" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "minimum" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "multipleOf" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "multipleOf" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "multipleOf" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "multipleOf" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ TagName, b ~ TagName) => LabelOptic "name" A_Lens Tag Tag a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Tag Tag a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "name" A_Lens Xml Xml a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Xml Xml a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "name" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Text, b ~ Text) => LabelOptic "name" A_Lens Param Param a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Param Param a b #
(a ~ HostName, b ~ HostName) => LabelOptic "name" A_Lens Host Host a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Host Host a b #
(a ~ Text, b ~ Text) => LabelOptic "name" A_Lens License License a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx License License a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "name" A_Lens Contact Contact a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Contact Contact a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "namespace" A_Lens Xml Xml a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Xml Xml a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "operationId" A_Lens Operation Operation a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Operation Operation a b #
(a ~ Maybe Operation, b ~ Maybe Operation) => LabelOptic "options" A_Lens PathItem PathItem a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx PathItem PathItem a b #
(a ~ ParamSchema (SwaggerKindNormal Header), b ~ ParamSchema (SwaggerKindNormal Header)) => LabelOptic "paramSchema" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ ParamSchema (SwaggerKindSchema :: SwaggerKind Type), b ~ ParamSchema (SwaggerKindSchema :: SwaggerKind Type)) => LabelOptic "paramSchema" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ ParamSchema (SwaggerKindSchema :: SwaggerKind Type), b ~ ParamSchema (SwaggerKindSchema :: SwaggerKind Type)) => LabelOptic "paramSchema" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ ParamSchema (SwaggerKindParamOtherSchema :: SwaggerKind Type), b ~ ParamSchema (SwaggerKindParamOtherSchema :: SwaggerKind Type)) => LabelOptic "paramSchema" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ [Referenced Param], b ~ [Referenced Param]) => LabelOptic "parameters" A_Lens Operation Operation a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Operation Operation a b #
(a ~ [Referenced Param], b ~ [Referenced Param]) => LabelOptic "parameters" A_Lens PathItem PathItem a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx PathItem PathItem a b #
(a ~ Definitions Param, b ~ Definitions Param) => LabelOptic "parameters" A_Lens Swagger Swagger a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Swagger Swagger a b #
(a ~ Maybe Operation, b ~ Maybe Operation) => LabelOptic "patch" A_Lens PathItem PathItem a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx PathItem PathItem a b #
(a ~ InsOrdHashMap FilePath PathItem, b ~ InsOrdHashMap FilePath PathItem) => LabelOptic "paths" A_Lens Swagger Swagger a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Swagger Swagger a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "pattern" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "pattern" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "pattern" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "pattern" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Maybe PortNumber, b ~ Maybe PortNumber) => LabelOptic "port" A_Lens Host Host a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Host Host a b #
(a ~ Maybe Operation, b ~ Maybe Operation) => LabelOptic "post" A_Lens PathItem PathItem a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx PathItem PathItem a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "prefix" A_Lens Xml Xml a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Xml Xml a b #
(a ~ Maybe MimeList, b ~ Maybe MimeList) => LabelOptic "produces" A_Lens Operation Operation a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Operation Operation a b #
(a ~ MimeList, b ~ MimeList) => LabelOptic "produces" A_Lens Swagger Swagger a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Swagger Swagger a b #
(a ~ InsOrdHashMap Text (Referenced Schema), b ~ InsOrdHashMap Text (Referenced Schema)) => LabelOptic "properties" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Operation, b ~ Maybe Operation) => LabelOptic "put" A_Lens PathItem PathItem a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx PathItem PathItem a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "readOnly" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ [ParamName], b ~ [ParamName]) => LabelOptic "required" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "required" A_Lens Param Param a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Param Param a b #
(a ~ InsOrdHashMap HttpStatusCode (Referenced Response), b ~ InsOrdHashMap HttpStatusCode (Referenced Response)) => LabelOptic "responses" A_Lens Responses Responses a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Responses Responses a b #
(a ~ Responses, b ~ Responses) => LabelOptic "responses" A_Lens Operation Operation a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Operation Operation a b #
(a ~ Definitions Response, b ~ Definitions Response) => LabelOptic "responses" A_Lens Swagger Swagger a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Swagger Swagger a b #
(a ~ Maybe (Referenced Schema), b ~ Maybe (Referenced Schema)) => LabelOptic "schema" A_Lens Response Response a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Response Response a b #
(a ~ Schema, b ~ Schema) => LabelOptic "schema" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ ParamAnySchema, b ~ ParamAnySchema) => LabelOptic "schema" A_Lens Param Param a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Param Param a b #
(a ~ Maybe [Scheme], b ~ Maybe [Scheme]) => LabelOptic "schemes" A_Lens Operation Operation a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Operation Operation a b #
(a ~ Maybe [Scheme], b ~ Maybe [Scheme]) => LabelOptic "schemes" A_Lens Swagger Swagger a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Swagger Swagger a b #
(a ~ [SecurityRequirement], b ~ [SecurityRequirement]) => LabelOptic "security" A_Lens Operation Operation a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Operation Operation a b #
(a ~ [SecurityRequirement], b ~ [SecurityRequirement]) => LabelOptic "security" A_Lens Swagger Swagger a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Swagger Swagger a b #
(a ~ Definitions SecurityScheme, b ~ Definitions SecurityScheme) => LabelOptic "securityDefinitions" A_Lens Swagger Swagger a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Swagger Swagger a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "summary" A_Lens Operation Operation a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Operation Operation a b #
(a ~ InsOrdHashSet TagName, b ~ InsOrdHashSet TagName) => LabelOptic "tags" A_Lens Operation Operation a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Operation Operation a b #
(a ~ InsOrdHashSet Tag, b ~ InsOrdHashSet Tag) => LabelOptic "tags" A_Lens Swagger Swagger a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Swagger Swagger a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "termsOfService" A_Lens Info Info a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Info Info a b #
(a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "title" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Text, b ~ Text) => LabelOptic "title" A_Lens Info Info a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Info Info a b #
(a ~ SecuritySchemeType, b ~ SecuritySchemeType) => LabelOptic "type" A_Lens SecurityScheme SecurityScheme a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx SecurityScheme SecurityScheme a b #
(a ~ Maybe (SwaggerType (SwaggerKindNormal Header)), b ~ Maybe (SwaggerType (SwaggerKindNormal Header))) => LabelOptic "type" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe (SwaggerType (SwaggerKindSchema :: SwaggerKind Type)), b ~ Maybe (SwaggerType (SwaggerKindSchema :: SwaggerKind Type))) => LabelOptic "type" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe (SwaggerType (SwaggerKindSchema :: SwaggerKind Type)), b ~ Maybe (SwaggerType (SwaggerKindSchema :: SwaggerKind Type))) => LabelOptic "type" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe (SwaggerType (SwaggerKindParamOtherSchema :: SwaggerKind Type)), b ~ Maybe (SwaggerType (SwaggerKindParamOtherSchema :: SwaggerKind Type))) => LabelOptic "type" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "uniqueItems" A_Lens Header Header a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Header Header a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "uniqueItems" A_Lens NamedSchema NamedSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "uniqueItems" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "uniqueItems" A_Lens ParamOtherSchema ParamOtherSchema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b #
(a ~ URL, b ~ URL) => LabelOptic "url" A_Lens ExternalDocs ExternalDocs a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx ExternalDocs ExternalDocs a b #
(a ~ Maybe URL, b ~ Maybe URL) => LabelOptic "url" A_Lens License License a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx License License a b #
(a ~ Maybe URL, b ~ Maybe URL) => LabelOptic "url" A_Lens Contact Contact a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Contact Contact a b #
(a ~ Text, b ~ Text) => LabelOptic "version" A_Lens Info Info a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Info Info a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "wrapped" A_Lens Xml Xml a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Xml Xml a b #
(a ~ Maybe Xml, b ~ Maybe Xml) => LabelOptic "xml" A_Lens Schema Schema a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx Schema Schema a b #
(a1 ~ a2, b ~ a3) => LabelOptic "_Inline" A_Prism (Referenced a2) (Referenced a3) a1 b Source #
Instance details Methods labelOptic :: Optic A_Prism NoIx (Referenced a2) (Referenced a3) a1 b #
(a1 ~ Reference, b ~ Reference) => LabelOptic "_Ref" A_Prism (Referenced a2) (Referenced a2) a1 b Source #
Instance details Methods labelOptic :: Optic A_Prism NoIx (Referenced a2) (Referenced a2) a1 b #
(a ~ [Referenced Schema], b ~ [Referenced Schema]) => LabelOptic "_SwaggerItemsArray" A_Review (SwaggerItems (SwaggerKindSchema :: SwaggerKind Type)) (SwaggerItems (SwaggerKindSchema :: SwaggerKind Type)) a b Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Methods labelOptic :: Optic A_Review NoIx (SwaggerItems t) (SwaggerItems t) a b #
(a ~ Maybe Value, b ~ Maybe Value) => LabelOptic "default" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe [Value], b ~ Maybe [Value]) => LabelOptic "enum" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMaximum" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "exclusiveMinimum" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe Format, b ~ Maybe Format) => LabelOptic "format" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe (SwaggerItems t), b ~ Maybe (SwaggerItems t)) => LabelOptic "items" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxItems" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "maxLength" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "maximum" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minItems" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe Integer, b ~ Maybe Integer) => LabelOptic "minLength" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "minimum" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe Scientific, b ~ Maybe Scientific) => LabelOptic "multipleOf" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe Pattern, b ~ Maybe Pattern) => LabelOptic "pattern" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe (SwaggerType t), b ~ Maybe (SwaggerType t)) => LabelOptic "type" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #
(a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "uniqueItems" A_Lens (ParamSchema t) (ParamSchema t) a b Source #
Instance details Methods labelOptic :: Optic A_Lens NoIx (ParamSchema t) (ParamSchema t) a b #