{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Data.Swagger.Optics () where
import Data.Aeson (Value)
import Data.Scientific (Scientific)
import Data.Swagger.Internal
import Data.Text (Text)
import Optics.Core
import Optics.TH
makeFieldLabels ''Swagger
makeFieldLabels ''Host
makeFieldLabels ''Info
makeFieldLabels ''Contact
makeFieldLabels ''License
makeFieldLabels ''PathItem
makeFieldLabels ''Tag
makeFieldLabels ''Operation
makeFieldLabels ''Param
makeFieldLabels ''ParamOtherSchema
makeFieldLabels ''Header
makeFieldLabels ''Schema
makeFieldLabels ''NamedSchema
makeFieldLabels ''ParamSchema
makeFieldLabels ''Xml
makeFieldLabels ''Responses
makeFieldLabels ''Response
makeFieldLabels ''SecurityScheme
makeFieldLabels ''ApiKeyParams
makeFieldLabels ''OAuth2Params
makeFieldLabels ''ExternalDocs
makePrismLabels ''ParamAnySchema
makePrismLabels ''SecuritySchemeType
makePrismLabels ''Referenced
instance
( a ~ [Referenced Schema]
, b ~ [Referenced Schema]
) => LabelOptic "_SwaggerItemsArray"
A_Review
(SwaggerItems 'SwaggerKindSchema)
(SwaggerItems 'SwaggerKindSchema)
a
b where
labelOptic :: Optic
A_Review
NoIx
(SwaggerItems 'SwaggerKindSchema)
(SwaggerItems 'SwaggerKindSchema)
a
b
labelOptic = forall (b :: OpticKind) (t :: OpticKind). (b -> t) -> Review t b
unto (\a
x -> [Referenced Schema] -> SwaggerItems 'SwaggerKindSchema
SwaggerItemsArray a
x)
{-# INLINE labelOptic #-}
instance
( a ~ Referenced Schema
, b ~ Referenced Schema
) => LabelOptic "_SwaggerItemsObject"
A_Review
(SwaggerItems 'SwaggerKindSchema)
(SwaggerItems 'SwaggerKindSchema)
a
b where
labelOptic :: Optic
A_Review
NoIx
(SwaggerItems 'SwaggerKindSchema)
(SwaggerItems 'SwaggerKindSchema)
a
b
labelOptic = forall (b :: OpticKind) (t :: OpticKind). (b -> t) -> Review t b
unto (\a
x -> Referenced Schema -> SwaggerItems 'SwaggerKindSchema
SwaggerItemsObject a
x)
{-# INLINE labelOptic #-}
instance
( a ~ (Maybe (CollectionFormat t), ParamSchema t)
, b ~ (Maybe (CollectionFormat t), ParamSchema t)
) => LabelOptic "_SwaggerItemsPrimitive"
A_Review
(SwaggerItems t)
(SwaggerItems t)
a
b where
labelOptic :: Optic A_Review NoIx (SwaggerItems t) (SwaggerItems t) a b
labelOptic = forall (b :: OpticKind) (t :: OpticKind). (b -> t) -> Review t b
unto (\(Maybe (CollectionFormat t)
c, ParamSchema t
p) -> forall (t :: SwaggerKind OpticKind).
Maybe (CollectionFormat t) -> ParamSchema t -> SwaggerItems t
SwaggerItemsPrimitive Maybe (CollectionFormat t)
c ParamSchema t
p)
{-# INLINE labelOptic #-}
type instance Index Responses = HttpStatusCode
type instance Index Operation = HttpStatusCode
type instance IxValue Responses = Referenced Response
type instance IxValue Operation = Referenced Response
instance Ixed Responses where
ix :: Index Responses
-> Optic' (IxKind Responses) NoIx Responses (IxValue Responses)
ix Index Responses
n = forall (a :: OpticKind). IsLabel "responses" a => a
#responses forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (m :: OpticKind).
Ixed m =>
Index m -> Optic' (IxKind m) NoIx m (IxValue m)
ix Index Responses
n
{-# INLINE ix #-}
instance At Responses where
at :: Index Responses -> Lens' Responses (Maybe (IxValue Responses))
at Index Responses
n = forall (a :: OpticKind). IsLabel "responses" a => a
#responses forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (m :: OpticKind).
At m =>
Index m -> Lens' m (Maybe (IxValue m))
at Index Responses
n
{-# INLINE at #-}
instance Ixed Operation where
ix :: Index Operation
-> Optic' (IxKind Operation) NoIx Operation (IxValue Operation)
ix Index Operation
n = forall (a :: OpticKind). IsLabel "responses" a => a
#responses forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (m :: OpticKind).
Ixed m =>
Index m -> Optic' (IxKind m) NoIx m (IxValue m)
ix Index Operation
n
{-# INLINE ix #-}
instance At Operation where
at :: Index Operation -> Lens' Operation (Maybe (IxValue Operation))
at Index Operation
n = forall (a :: OpticKind). IsLabel "responses" a => a
#responses forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (m :: OpticKind).
At m =>
Index m -> Lens' m (Maybe (IxValue m))
at Index Operation
n
{-# INLINE at #-}
instance
( a ~ ParamSchema 'SwaggerKindSchema
, b ~ ParamSchema 'SwaggerKindSchema
) => LabelOptic "paramSchema" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "schema" a => a
#schema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema
{-# INLINE labelOptic #-}
instance
( a ~ Maybe (SwaggerType ('SwaggerKindNormal Header))
, b ~ Maybe (SwaggerType ('SwaggerKindNormal Header))
) => LabelOptic "type" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "type" a => a
#type
{-# INLINE labelOptic #-}
instance
( a ~ Maybe (SwaggerType 'SwaggerKindSchema)
, b ~ Maybe (SwaggerType 'SwaggerKindSchema)
) => LabelOptic "type" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "type" a => a
#type
{-# INLINE labelOptic #-}
instance
( a ~ Maybe (SwaggerType 'SwaggerKindSchema)
, b ~ Maybe (SwaggerType 'SwaggerKindSchema)
) => LabelOptic "type" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "type" a => a
#type
{-# INLINE labelOptic #-}
instance
( a ~ Maybe (SwaggerType 'SwaggerKindParamOtherSchema)
, b ~ Maybe (SwaggerType 'SwaggerKindParamOtherSchema)
) => LabelOptic "type" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "type" a => a
#type
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Value, b ~ Maybe Value
) => LabelOptic "default" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "default" a => a
#default
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Value, b ~ Maybe Value
) => LabelOptic "default" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "default" a => a
#default
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Value, b ~ Maybe Value
) => LabelOptic "default" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "default" a => a
#default
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Value, b ~ Maybe Value
) => LabelOptic "default" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "default" a => a
#default
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Format, b ~ Maybe Format
) => LabelOptic "format" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "format" a => a
#format
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Format, b ~ Maybe Format
) => LabelOptic "format" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "format" a => a
#format
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Format, b ~ Maybe Format
) => LabelOptic "format" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "format" a => a
#format
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Format, b ~ Maybe Format
) => LabelOptic "format" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "format" a => a
#format
{-# INLINE labelOptic #-}
instance
( a ~ Maybe (SwaggerItems ('SwaggerKindNormal Header))
, b ~ Maybe (SwaggerItems ('SwaggerKindNormal Header))
) => LabelOptic "items" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "items" a => a
#items
{-# INLINE labelOptic #-}
instance
( a ~ Maybe (SwaggerItems 'SwaggerKindSchema)
, b ~ Maybe (SwaggerItems 'SwaggerKindSchema)
) => LabelOptic "items" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "items" a => a
#items
{-# INLINE labelOptic #-}
instance
( a ~ Maybe (SwaggerItems 'SwaggerKindSchema)
, b ~ Maybe (SwaggerItems 'SwaggerKindSchema)
) => LabelOptic "items" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "items" a => a
#items
{-# INLINE labelOptic #-}
instance
( a ~ Maybe (SwaggerItems 'SwaggerKindParamOtherSchema)
, b ~ Maybe (SwaggerItems 'SwaggerKindParamOtherSchema)
) => LabelOptic "items" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "items" a => a
#items
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Scientific, b ~ Maybe Scientific
) => LabelOptic "maximum" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "maximum" a => a
#maximum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Scientific, b ~ Maybe Scientific
) => LabelOptic "maximum" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "maximum" a => a
#maximum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Scientific, b ~ Maybe Scientific
) => LabelOptic "maximum" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "maximum" a => a
#maximum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Scientific, b ~ Maybe Scientific
) => LabelOptic "maximum" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "maximum" a => a
#maximum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Bool, b ~ Maybe Bool
) => LabelOptic "exclusiveMaximum" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "exclusiveMaximum" a => a
#exclusiveMaximum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Bool, b ~ Maybe Bool
) => LabelOptic "exclusiveMaximum" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "exclusiveMaximum" a => a
#exclusiveMaximum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Bool, b ~ Maybe Bool
) => LabelOptic "exclusiveMaximum" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "exclusiveMaximum" a => a
#exclusiveMaximum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Bool, b ~ Maybe Bool
) => LabelOptic "exclusiveMaximum" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "exclusiveMaximum" a => a
#exclusiveMaximum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Scientific, b ~ Maybe Scientific
) => LabelOptic "minimum" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "minimum" a => a
#minimum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Scientific, b ~ Maybe Scientific
) => LabelOptic "minimum" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "minimum" a => a
#minimum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Scientific, b ~ Maybe Scientific
) => LabelOptic "minimum" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "minimum" a => a
#minimum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Scientific, b ~ Maybe Scientific
) => LabelOptic "minimum" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "minimum" a => a
#minimum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Bool, b ~ Maybe Bool
) => LabelOptic "exclusiveMinimum" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "exclusiveMinimum" a => a
#exclusiveMinimum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Bool, b ~ Maybe Bool
) => LabelOptic "exclusiveMinimum" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "exclusiveMinimum" a => a
#exclusiveMinimum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Bool, b ~ Maybe Bool
) => LabelOptic "exclusiveMinimum" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "exclusiveMinimum" a => a
#exclusiveMinimum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Bool, b ~ Maybe Bool
) => LabelOptic "exclusiveMinimum" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "exclusiveMinimum" a => a
#exclusiveMinimum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "maxLength" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "maxLength" a => a
#maxLength
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "maxLength" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "maxLength" a => a
#maxLength
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "maxLength" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "maxLength" a => a
#maxLength
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "maxLength" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "maxLength" a => a
#maxLength
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "minLength" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "minLength" a => a
#minLength
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "minLength" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "minLength" a => a
#minLength
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "minLength" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "minLength" a => a
#minLength
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "minLength" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "minLength" a => a
#minLength
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Text, b ~ Maybe Text
) => LabelOptic "pattern" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "pattern" a => a
#pattern
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Text, b ~ Maybe Text
) => LabelOptic "pattern" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "pattern" a => a
#pattern
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Text, b ~ Maybe Text
) => LabelOptic "pattern" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "pattern" a => a
#pattern
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Text, b ~ Maybe Text
) => LabelOptic "pattern" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "pattern" a => a
#pattern
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "maxItems" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "maxItems" a => a
#maxItems
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "maxItems" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "maxItems" a => a
#maxItems
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "maxItems" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "maxItems" a => a
#maxItems
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "maxItems" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "maxItems" a => a
#maxItems
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "minItems" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "minItems" a => a
#minItems
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "minItems" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "minItems" a => a
#minItems
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "minItems" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "minItems" a => a
#minItems
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Integer, b ~ Maybe Integer
) => LabelOptic "minItems" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "minItems" a => a
#minItems
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Bool, b ~ Maybe Bool
) => LabelOptic "uniqueItems" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "uniqueItems" a => a
#uniqueItems
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Bool, b ~ Maybe Bool
) => LabelOptic "uniqueItems" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "uniqueItems" a => a
#uniqueItems
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Bool, b ~ Maybe Bool
) => LabelOptic "uniqueItems" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "uniqueItems" a => a
#uniqueItems
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Bool, b ~ Maybe Bool
) => LabelOptic "uniqueItems" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "uniqueItems" a => a
#uniqueItems
{-# INLINE labelOptic #-}
instance
( a ~ Maybe [Value], b ~ Maybe [Value]
) => LabelOptic "enum" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "enum" a => a
#enum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe [Value], b ~ Maybe [Value]
) => LabelOptic "enum" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "enum" a => a
#enum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe [Value], b ~ Maybe [Value]
) => LabelOptic "enum" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "enum" a => a
#enum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe [Value], b ~ Maybe [Value]
) => LabelOptic "enum" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "enum" a => a
#enum
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Scientific, b ~ Maybe Scientific
) => LabelOptic "multipleOf" A_Lens Header Header a b where
labelOptic :: Optic A_Lens NoIx Header Header a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "multipleOf" a => a
#multipleOf
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Scientific, b ~ Maybe Scientific
) => LabelOptic "multipleOf" A_Lens Schema Schema a b where
labelOptic :: Optic A_Lens NoIx Schema Schema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "multipleOf" a => a
#multipleOf
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Scientific, b ~ Maybe Scientific
) => LabelOptic "multipleOf" A_Lens NamedSchema NamedSchema a b where
labelOptic :: Optic A_Lens NoIx NamedSchema NamedSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "multipleOf" a => a
#multipleOf
{-# INLINE labelOptic #-}
instance
( a ~ Maybe Scientific, b ~ Maybe Scientific
) => LabelOptic "multipleOf" A_Lens ParamOtherSchema ParamOtherSchema a b where
labelOptic :: Optic A_Lens NoIx ParamOtherSchema ParamOtherSchema a b
labelOptic = forall (a :: OpticKind). IsLabel "paramSchema" a => a
#paramSchema forall (k :: OpticKind) (l :: OpticKind) (m :: OpticKind)
(is :: IxList) (js :: IxList) (ks :: IxList) (s :: OpticKind)
(t :: OpticKind) (u :: OpticKind) (v :: OpticKind) (a :: OpticKind)
(b :: OpticKind).
(JoinKinds k l m, AppendIndices is js ks) =>
Optic k is s t u v -> Optic l js u v a b -> Optic m ks s t a b
% forall (a :: OpticKind). IsLabel "multipleOf" a => a
#multipleOf
{-# INLINE labelOptic #-}