{-# OPTIONS_GHC -Wno-orphans #-}
{-# OPTIONS_GHC -fconstraint-solver-iterations=0 #-}
module Data.OpenApi.Compare.Validate.OpenApi
( Behave (..),
Issue (..),
)
where
import Data.HList
import qualified Data.HashMap.Strict.InsOrd as IOHM
import Data.OpenApi
import Data.OpenApi.Compare.Behavior
import Data.OpenApi.Compare.Paths
import Data.OpenApi.Compare.Subtree
import Data.OpenApi.Compare.Validate.Operation
tracedPaths :: Traced OpenApi -> Traced ProcessedPathItems
tracedPaths :: Traced OpenApi -> Traced ProcessedPathItems
tracedPaths Traced OpenApi
oa =
Trace ProcessedPathItems
-> ProcessedPathItems -> Traced ProcessedPathItems
forall a. Trace a -> a -> Traced a
traced
(Traced OpenApi -> Paths Step TraceRoot OpenApi
forall e (w :: * -> *) a. ComonadEnv e w => w a -> e
ask Traced OpenApi
oa Paths Step TraceRoot OpenApi
-> Paths Step OpenApi ProcessedPathItems
-> Trace ProcessedPathItems
forall k (cat :: k -> k -> *) (a :: k) (b :: k) (c :: k).
Category cat =>
cat a b -> cat b c -> cat a c
>>> Step OpenApi ProcessedPathItems
-> Paths Step OpenApi ProcessedPathItems
forall k (q :: k -> k -> *) (a :: k) (b :: k).
NiceQuiver q a b =>
q a b -> Paths q a b
step Step OpenApi ProcessedPathItems
OpenApiPathsStep)
([(FilePath, PathItem)] -> ProcessedPathItems
processPathItems ([(FilePath, PathItem)] -> ProcessedPathItems)
-> (Traced OpenApi -> [(FilePath, PathItem)])
-> Traced OpenApi
-> ProcessedPathItems
forall b c a. (b -> c) -> (a -> b) -> a -> c
. InsOrdHashMap FilePath PathItem -> [(FilePath, PathItem)]
forall k v. InsOrdHashMap k v -> [(k, v)]
IOHM.toList (InsOrdHashMap FilePath PathItem -> [(FilePath, PathItem)])
-> (Traced OpenApi -> InsOrdHashMap FilePath PathItem)
-> Traced OpenApi
-> [(FilePath, PathItem)]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. OpenApi -> InsOrdHashMap FilePath PathItem
_openApiPaths (OpenApi -> InsOrdHashMap FilePath PathItem)
-> (Traced OpenApi -> OpenApi)
-> Traced OpenApi
-> InsOrdHashMap FilePath PathItem
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Traced OpenApi -> OpenApi
forall (w :: * -> *) a. Comonad w => w a -> a
extract (Traced OpenApi -> ProcessedPathItems)
-> Traced OpenApi -> ProcessedPathItems
forall a b. (a -> b) -> a -> b
$ Traced OpenApi
oa)
tracedRequestBodies :: Traced OpenApi -> Traced (Definitions RequestBody)
tracedRequestBodies :: Traced OpenApi -> Traced (Definitions RequestBody)
tracedRequestBodies Traced OpenApi
oa =
Trace (Definitions RequestBody)
-> Definitions RequestBody -> Traced (Definitions RequestBody)
forall a. Trace a -> a -> Traced a
traced
(Traced OpenApi -> Paths Step TraceRoot OpenApi
forall e (w :: * -> *) a. ComonadEnv e w => w a -> e
ask Traced OpenApi
oa Paths Step TraceRoot OpenApi
-> Paths Step OpenApi (Definitions RequestBody)
-> Trace (Definitions RequestBody)
forall k (cat :: k -> k -> *) (a :: k) (b :: k) (c :: k).
Category cat =>
cat a b -> cat b c -> cat a c
>>> Step OpenApi (Definitions RequestBody)
-> Paths Step OpenApi (Definitions RequestBody)
forall k (q :: k -> k -> *) (a :: k) (b :: k).
NiceQuiver q a b =>
q a b -> Paths q a b
step Step OpenApi (Definitions RequestBody)
ComponentsRequestBody)
(Components -> Definitions RequestBody
_componentsRequestBodies (Components -> Definitions RequestBody)
-> (Traced OpenApi -> Components)
-> Traced OpenApi
-> Definitions RequestBody
forall b c a. (b -> c) -> (a -> b) -> a -> c
. OpenApi -> Components
_openApiComponents (OpenApi -> Components)
-> (Traced OpenApi -> OpenApi) -> Traced OpenApi -> Components
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Traced OpenApi -> OpenApi
forall (w :: * -> *) a. Comonad w => w a -> a
extract (Traced OpenApi -> Definitions RequestBody)
-> Traced OpenApi -> Definitions RequestBody
forall a b. (a -> b) -> a -> b
$ Traced OpenApi
oa)
tracedParameters :: Traced OpenApi -> Traced (Definitions Param)
tracedParameters :: Traced OpenApi -> Traced (Definitions Param)
tracedParameters Traced OpenApi
oa =
Trace (Definitions Param)
-> Definitions Param -> Traced (Definitions Param)
forall a. Trace a -> a -> Traced a
traced
(Traced OpenApi -> Paths Step TraceRoot OpenApi
forall e (w :: * -> *) a. ComonadEnv e w => w a -> e
ask Traced OpenApi
oa Paths Step TraceRoot OpenApi
-> Paths Step OpenApi (Definitions Param)
-> Trace (Definitions Param)
forall k (cat :: k -> k -> *) (a :: k) (b :: k) (c :: k).
Category cat =>
cat a b -> cat b c -> cat a c
>>> Step OpenApi (Definitions Param)
-> Paths Step OpenApi (Definitions Param)
forall k (q :: k -> k -> *) (a :: k) (b :: k).
NiceQuiver q a b =>
q a b -> Paths q a b
step Step OpenApi (Definitions Param)
ComponentsParam)
(Components -> Definitions Param
_componentsParameters (Components -> Definitions Param)
-> (Traced OpenApi -> Components)
-> Traced OpenApi
-> Definitions Param
forall b c a. (b -> c) -> (a -> b) -> a -> c
. OpenApi -> Components
_openApiComponents (OpenApi -> Components)
-> (Traced OpenApi -> OpenApi) -> Traced OpenApi -> Components
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Traced OpenApi -> OpenApi
forall (w :: * -> *) a. Comonad w => w a -> a
extract (Traced OpenApi -> Definitions Param)
-> Traced OpenApi -> Definitions Param
forall a b. (a -> b) -> a -> b
$ Traced OpenApi
oa)
tracedSecuritySchemes :: Traced OpenApi -> Traced (Definitions SecurityScheme)
tracedSecuritySchemes :: Traced OpenApi -> Traced (Definitions SecurityScheme)
tracedSecuritySchemes Traced OpenApi
oa =
Trace (Definitions SecurityScheme)
-> Definitions SecurityScheme
-> Traced (Definitions SecurityScheme)
forall a. Trace a -> a -> Traced a
traced
(Traced OpenApi -> Paths Step TraceRoot OpenApi
forall e (w :: * -> *) a. ComonadEnv e w => w a -> e
ask Traced OpenApi
oa Paths Step TraceRoot OpenApi
-> Paths Step OpenApi (Definitions SecurityScheme)
-> Trace (Definitions SecurityScheme)
forall k (cat :: k -> k -> *) (a :: k) (b :: k) (c :: k).
Category cat =>
cat a b -> cat b c -> cat a c
>>> Step OpenApi (Definitions SecurityScheme)
-> Paths Step OpenApi (Definitions SecurityScheme)
forall k (q :: k -> k -> *) (a :: k) (b :: k).
NiceQuiver q a b =>
q a b -> Paths q a b
step Step OpenApi (Definitions SecurityScheme)
ComponentsSecurityScheme)
(Components -> Definitions SecurityScheme
_componentsSecuritySchemes (Components -> Definitions SecurityScheme)
-> (Traced OpenApi -> Components)
-> Traced OpenApi
-> Definitions SecurityScheme
forall b c a. (b -> c) -> (a -> b) -> a -> c
. OpenApi -> Components
_openApiComponents (OpenApi -> Components)
-> (Traced OpenApi -> OpenApi) -> Traced OpenApi -> Components
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Traced OpenApi -> OpenApi
forall (w :: * -> *) a. Comonad w => w a -> a
extract (Traced OpenApi -> Definitions SecurityScheme)
-> Traced OpenApi -> Definitions SecurityScheme
forall a b. (a -> b) -> a -> b
$ Traced OpenApi
oa)
tracedResponses :: Traced OpenApi -> Traced (Definitions Response)
tracedResponses :: Traced OpenApi -> Traced (Definitions Response)
tracedResponses Traced OpenApi
oa =
Trace (Definitions Response)
-> Definitions Response -> Traced (Definitions Response)
forall a. Trace a -> a -> Traced a
traced
(Traced OpenApi -> Paths Step TraceRoot OpenApi
forall e (w :: * -> *) a. ComonadEnv e w => w a -> e
ask Traced OpenApi
oa Paths Step TraceRoot OpenApi
-> Paths Step OpenApi (Definitions Response)
-> Trace (Definitions Response)
forall k (cat :: k -> k -> *) (a :: k) (b :: k) (c :: k).
Category cat =>
cat a b -> cat b c -> cat a c
>>> Step OpenApi (Definitions Response)
-> Paths Step OpenApi (Definitions Response)
forall k (q :: k -> k -> *) (a :: k) (b :: k).
NiceQuiver q a b =>
q a b -> Paths q a b
step Step OpenApi (Definitions Response)
ComponentsResponse)
(Components -> Definitions Response
_componentsResponses (Components -> Definitions Response)
-> (Traced OpenApi -> Components)
-> Traced OpenApi
-> Definitions Response
forall b c a. (b -> c) -> (a -> b) -> a -> c
. OpenApi -> Components
_openApiComponents (OpenApi -> Components)
-> (Traced OpenApi -> OpenApi) -> Traced OpenApi -> Components
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Traced OpenApi -> OpenApi
forall (w :: * -> *) a. Comonad w => w a -> a
extract (Traced OpenApi -> Definitions Response)
-> Traced OpenApi -> Definitions Response
forall a b. (a -> b) -> a -> b
$ Traced OpenApi
oa)
tracedHeaders :: Traced OpenApi -> Traced (Definitions Header)
Traced OpenApi
oa =
Trace (Definitions Header)
-> Definitions Header -> Traced (Definitions Header)
forall a. Trace a -> a -> Traced a
traced
(Traced OpenApi -> Paths Step TraceRoot OpenApi
forall e (w :: * -> *) a. ComonadEnv e w => w a -> e
ask Traced OpenApi
oa Paths Step TraceRoot OpenApi
-> Paths Step OpenApi (Definitions Header)
-> Trace (Definitions Header)
forall k (cat :: k -> k -> *) (a :: k) (b :: k) (c :: k).
Category cat =>
cat a b -> cat b c -> cat a c
>>> Step OpenApi (Definitions Header)
-> Paths Step OpenApi (Definitions Header)
forall k (q :: k -> k -> *) (a :: k) (b :: k).
NiceQuiver q a b =>
q a b -> Paths q a b
step Step OpenApi (Definitions Header)
ComponentsHeader)
(Components -> Definitions Header
_componentsHeaders (Components -> Definitions Header)
-> (Traced OpenApi -> Components)
-> Traced OpenApi
-> Definitions Header
forall b c a. (b -> c) -> (a -> b) -> a -> c
. OpenApi -> Components
_openApiComponents (OpenApi -> Components)
-> (Traced OpenApi -> OpenApi) -> Traced OpenApi -> Components
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Traced OpenApi -> OpenApi
forall (w :: * -> *) a. Comonad w => w a -> a
extract (Traced OpenApi -> Definitions Header)
-> Traced OpenApi -> Definitions Header
forall a b. (a -> b) -> a -> b
$ Traced OpenApi
oa)
tracedSchemas :: Traced OpenApi -> Traced (Definitions Schema)
tracedSchemas :: Traced OpenApi -> Traced (Definitions Schema)
tracedSchemas Traced OpenApi
oa =
Trace (Definitions Schema)
-> Definitions Schema -> Traced (Definitions Schema)
forall a. Trace a -> a -> Traced a
traced
(Traced OpenApi -> Paths Step TraceRoot OpenApi
forall e (w :: * -> *) a. ComonadEnv e w => w a -> e
ask Traced OpenApi
oa Paths Step TraceRoot OpenApi
-> Paths Step OpenApi (Definitions Schema)
-> Trace (Definitions Schema)
forall k (cat :: k -> k -> *) (a :: k) (b :: k) (c :: k).
Category cat =>
cat a b -> cat b c -> cat a c
>>> Step OpenApi (Definitions Schema)
-> Paths Step OpenApi (Definitions Schema)
forall k (q :: k -> k -> *) (a :: k) (b :: k).
NiceQuiver q a b =>
q a b -> Paths q a b
step Step OpenApi (Definitions Schema)
ComponentsSchema)
(Components -> Definitions Schema
_componentsSchemas (Components -> Definitions Schema)
-> (Traced OpenApi -> Components)
-> Traced OpenApi
-> Definitions Schema
forall b c a. (b -> c) -> (a -> b) -> a -> c
. OpenApi -> Components
_openApiComponents (OpenApi -> Components)
-> (Traced OpenApi -> OpenApi) -> Traced OpenApi -> Components
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Traced OpenApi -> OpenApi
forall (w :: * -> *) a. Comonad w => w a -> a
extract (Traced OpenApi -> Definitions Schema)
-> Traced OpenApi -> Definitions Schema
forall a b. (a -> b) -> a -> b
$ Traced OpenApi
oa)
tracedLinks :: Traced OpenApi -> Traced (Definitions Link)
tracedLinks :: Traced OpenApi -> Traced (Definitions Link)
tracedLinks Traced OpenApi
oa =
Trace (Definitions Link)
-> Definitions Link -> Traced (Definitions Link)
forall a. Trace a -> a -> Traced a
traced
(Traced OpenApi -> Paths Step TraceRoot OpenApi
forall e (w :: * -> *) a. ComonadEnv e w => w a -> e
ask Traced OpenApi
oa Paths Step TraceRoot OpenApi
-> Paths Step OpenApi (Definitions Link)
-> Trace (Definitions Link)
forall k (cat :: k -> k -> *) (a :: k) (b :: k) (c :: k).
Category cat =>
cat a b -> cat b c -> cat a c
>>> Step OpenApi (Definitions Link)
-> Paths Step OpenApi (Definitions Link)
forall k (q :: k -> k -> *) (a :: k) (b :: k).
NiceQuiver q a b =>
q a b -> Paths q a b
step Step OpenApi (Definitions Link)
ComponentsLink)
(Components -> Definitions Link
_componentsLinks (Components -> Definitions Link)
-> (Traced OpenApi -> Components)
-> Traced OpenApi
-> Definitions Link
forall b c a. (b -> c) -> (a -> b) -> a -> c
. OpenApi -> Components
_openApiComponents (OpenApi -> Components)
-> (Traced OpenApi -> OpenApi) -> Traced OpenApi -> Components
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Traced OpenApi -> OpenApi
forall (w :: * -> *) a. Comonad w => w a -> a
extract (Traced OpenApi -> Definitions Link)
-> Traced OpenApi -> Definitions Link
forall a b. (a -> b) -> a -> b
$ Traced OpenApi
oa)
tracedCallbacks :: Traced OpenApi -> Traced (Definitions Callback)
tracedCallbacks :: Traced OpenApi -> Traced (Definitions Callback)
tracedCallbacks (Traced Paths Step TraceRoot OpenApi
t OpenApi
x) =
Trace (Definitions Callback)
-> Definitions Callback -> Traced (Definitions Callback)
forall a b. Trace a -> b -> Traced' a b
Traced
(Paths Step TraceRoot OpenApi
t Paths Step TraceRoot OpenApi
-> Paths Step OpenApi (Definitions Callback)
-> Trace (Definitions Callback)
forall k (cat :: k -> k -> *) (a :: k) (b :: k) (c :: k).
Category cat =>
cat a b -> cat b c -> cat a c
>>> Step OpenApi (Definitions Callback)
-> Paths Step OpenApi (Definitions Callback)
forall k (q :: k -> k -> *) (a :: k) (b :: k).
NiceQuiver q a b =>
q a b -> Paths q a b
step Step OpenApi (Definitions Callback)
ComponentsCallbacks)
(Components -> Definitions Callback
_componentsCallbacks (Components -> Definitions Callback)
-> (OpenApi -> Components) -> OpenApi -> Definitions Callback
forall b c a. (b -> c) -> (a -> b) -> a -> c
. OpenApi -> Components
_openApiComponents (OpenApi -> Definitions Callback)
-> OpenApi -> Definitions Callback
forall a b. (a -> b) -> a -> b
$ OpenApi
x)
instance Subtree OpenApi where
type SubtreeLevel OpenApi = 'APILevel
type CheckEnv OpenApi = '[]
checkStructuralCompatibility :: HList (CheckEnv OpenApi)
-> ProdCons (Traced OpenApi) -> StructuralCompatFormula ()
checkStructuralCompatibility HList (CheckEnv OpenApi)
_ ProdCons (Traced OpenApi)
_ = StructuralCompatFormula ()
forall a. StructuralCompatFormula a
structuralIssue
checkSemanticCompatibility :: HList (CheckEnv OpenApi)
-> Behavior (SubtreeLevel OpenApi)
-> ProdCons (Traced OpenApi)
-> SemanticCompatFormula ()
checkSemanticCompatibility HList (CheckEnv OpenApi)
_ Behavior (SubtreeLevel OpenApi)
beh ProdCons (Traced OpenApi)
prodCons = do
Behavior (SubtreeLevel ProcessedPathItems)
-> HList
'[ProdCons (Traced (Definitions RequestBody)),
ProdCons (Traced (Definitions Param)),
ProdCons (Traced (Definitions SecurityScheme)),
ProdCons (Traced (Definitions Response)),
ProdCons (Traced (Definitions Header)),
ProdCons (Traced (Definitions Schema)), ProdCons [Server],
ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
-> ProdCons (Traced ProcessedPathItems)
-> SemanticCompatFormula ()
forall t (xs :: [*]).
(ReassembleHList xs (CheckEnv t), Subtree t) =>
Behavior (SubtreeLevel t)
-> HList xs -> ProdCons (Traced t) -> SemanticCompatFormula ()
checkCompatibility @ProcessedPathItems
Behavior (SubtreeLevel OpenApi)
Behavior (SubtreeLevel ProcessedPathItems)
beh
( (Traced OpenApi -> Traced (Definitions RequestBody)
tracedRequestBodies (Traced OpenApi -> Traced (Definitions RequestBody))
-> ProdCons (Traced OpenApi)
-> ProdCons (Traced (Definitions RequestBody))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ProdCons (Traced OpenApi)
prodCons)
ProdCons (Traced (Definitions RequestBody))
-> HList
'[ProdCons (Traced (Definitions Param)),
ProdCons (Traced (Definitions SecurityScheme)),
ProdCons (Traced (Definitions Response)),
ProdCons (Traced (Definitions Header)),
ProdCons (Traced (Definitions Schema)), ProdCons [Server],
ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
-> HList
'[ProdCons (Traced (Definitions RequestBody)),
ProdCons (Traced (Definitions Param)),
ProdCons (Traced (Definitions SecurityScheme)),
ProdCons (Traced (Definitions Response)),
ProdCons (Traced (Definitions Header)),
ProdCons (Traced (Definitions Schema)), ProdCons [Server],
ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
forall x (xs :: [*]). x -> HList xs -> HList (x : xs)
`HCons` (Traced OpenApi -> Traced (Definitions Param)
tracedParameters (Traced OpenApi -> Traced (Definitions Param))
-> ProdCons (Traced OpenApi)
-> ProdCons (Traced (Definitions Param))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ProdCons (Traced OpenApi)
prodCons)
ProdCons (Traced (Definitions Param))
-> HList
'[ProdCons (Traced (Definitions SecurityScheme)),
ProdCons (Traced (Definitions Response)),
ProdCons (Traced (Definitions Header)),
ProdCons (Traced (Definitions Schema)), ProdCons [Server],
ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
-> HList
'[ProdCons (Traced (Definitions Param)),
ProdCons (Traced (Definitions SecurityScheme)),
ProdCons (Traced (Definitions Response)),
ProdCons (Traced (Definitions Header)),
ProdCons (Traced (Definitions Schema)), ProdCons [Server],
ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
forall x (xs :: [*]). x -> HList xs -> HList (x : xs)
`HCons` (Traced OpenApi -> Traced (Definitions SecurityScheme)
tracedSecuritySchemes (Traced OpenApi -> Traced (Definitions SecurityScheme))
-> ProdCons (Traced OpenApi)
-> ProdCons (Traced (Definitions SecurityScheme))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ProdCons (Traced OpenApi)
prodCons)
ProdCons (Traced (Definitions SecurityScheme))
-> HList
'[ProdCons (Traced (Definitions Response)),
ProdCons (Traced (Definitions Header)),
ProdCons (Traced (Definitions Schema)), ProdCons [Server],
ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
-> HList
'[ProdCons (Traced (Definitions SecurityScheme)),
ProdCons (Traced (Definitions Response)),
ProdCons (Traced (Definitions Header)),
ProdCons (Traced (Definitions Schema)), ProdCons [Server],
ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
forall x (xs :: [*]). x -> HList xs -> HList (x : xs)
`HCons` (Traced OpenApi -> Traced (Definitions Response)
tracedResponses (Traced OpenApi -> Traced (Definitions Response))
-> ProdCons (Traced OpenApi)
-> ProdCons (Traced (Definitions Response))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ProdCons (Traced OpenApi)
prodCons)
ProdCons (Traced (Definitions Response))
-> HList
'[ProdCons (Traced (Definitions Header)),
ProdCons (Traced (Definitions Schema)), ProdCons [Server],
ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
-> HList
'[ProdCons (Traced (Definitions Response)),
ProdCons (Traced (Definitions Header)),
ProdCons (Traced (Definitions Schema)), ProdCons [Server],
ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
forall x (xs :: [*]). x -> HList xs -> HList (x : xs)
`HCons` (Traced OpenApi -> Traced (Definitions Header)
tracedHeaders (Traced OpenApi -> Traced (Definitions Header))
-> ProdCons (Traced OpenApi)
-> ProdCons (Traced (Definitions Header))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ProdCons (Traced OpenApi)
prodCons)
ProdCons (Traced (Definitions Header))
-> HList
'[ProdCons (Traced (Definitions Schema)), ProdCons [Server],
ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
-> HList
'[ProdCons (Traced (Definitions Header)),
ProdCons (Traced (Definitions Schema)), ProdCons [Server],
ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
forall x (xs :: [*]). x -> HList xs -> HList (x : xs)
`HCons` (Traced OpenApi -> Traced (Definitions Schema)
tracedSchemas (Traced OpenApi -> Traced (Definitions Schema))
-> ProdCons (Traced OpenApi)
-> ProdCons (Traced (Definitions Schema))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ProdCons (Traced OpenApi)
prodCons)
ProdCons (Traced (Definitions Schema))
-> HList
'[ProdCons [Server], ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
-> HList
'[ProdCons (Traced (Definitions Schema)), ProdCons [Server],
ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
forall x (xs :: [*]). x -> HList xs -> HList (x : xs)
`HCons` (OpenApi -> [Server]
_openApiServers (OpenApi -> [Server])
-> (Traced OpenApi -> OpenApi) -> Traced OpenApi -> [Server]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Traced OpenApi -> OpenApi
forall (w :: * -> *) a. Comonad w => w a -> a
extract (Traced OpenApi -> [Server])
-> ProdCons (Traced OpenApi) -> ProdCons [Server]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ProdCons (Traced OpenApi)
prodCons)
ProdCons [Server]
-> HList
'[ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
-> HList
'[ProdCons [Server], ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
forall x (xs :: [*]). x -> HList xs -> HList (x : xs)
`HCons` (Traced OpenApi -> Traced (Definitions Link)
tracedLinks (Traced OpenApi -> Traced (Definitions Link))
-> ProdCons (Traced OpenApi)
-> ProdCons (Traced (Definitions Link))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ProdCons (Traced OpenApi)
prodCons)
ProdCons (Traced (Definitions Link))
-> HList '[ProdCons (Traced (Definitions Callback))]
-> HList
'[ProdCons (Traced (Definitions Link)),
ProdCons (Traced (Definitions Callback))]
forall x (xs :: [*]). x -> HList xs -> HList (x : xs)
`HCons` (Traced OpenApi -> Traced (Definitions Callback)
tracedCallbacks (Traced OpenApi -> Traced (Definitions Callback))
-> ProdCons (Traced OpenApi)
-> ProdCons (Traced (Definitions Callback))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ProdCons (Traced OpenApi)
prodCons)
ProdCons (Traced (Definitions Callback))
-> HList '[] -> HList '[ProdCons (Traced (Definitions Callback))]
forall x (xs :: [*]). x -> HList xs -> HList (x : xs)
`HCons` HList '[]
HNil
)
(Traced OpenApi -> Traced ProcessedPathItems
tracedPaths (Traced OpenApi -> Traced ProcessedPathItems)
-> ProdCons (Traced OpenApi)
-> ProdCons (Traced ProcessedPathItems)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ProdCons (Traced OpenApi)
prodCons)
instance Steppable OpenApi ProcessedPathItems where
data Step OpenApi ProcessedPathItems = OpenApiPathsStep
deriving stock (Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool
(Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool)
-> (Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool)
-> Eq (Step OpenApi ProcessedPathItems)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool
$c/= :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool
== :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool
$c== :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool
Eq, Eq (Step OpenApi ProcessedPathItems)
Eq (Step OpenApi ProcessedPathItems)
-> (Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Ordering)
-> (Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool)
-> (Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool)
-> (Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool)
-> (Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool)
-> (Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems)
-> (Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems)
-> Ord (Step OpenApi ProcessedPathItems)
Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool
Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Ordering
Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems
$cmin :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems
max :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems
$cmax :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems
>= :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool
$c>= :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool
> :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool
$c> :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool
<= :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool
$c<= :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool
< :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool
$c< :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Bool
compare :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Ordering
$ccompare :: Step OpenApi ProcessedPathItems
-> Step OpenApi ProcessedPathItems -> Ordering
$cp1Ord :: Eq (Step OpenApi ProcessedPathItems)
Ord, Int -> Step OpenApi ProcessedPathItems -> ShowS
[Step OpenApi ProcessedPathItems] -> ShowS
Step OpenApi ProcessedPathItems -> FilePath
(Int -> Step OpenApi ProcessedPathItems -> ShowS)
-> (Step OpenApi ProcessedPathItems -> FilePath)
-> ([Step OpenApi ProcessedPathItems] -> ShowS)
-> Show (Step OpenApi ProcessedPathItems)
forall a.
(Int -> a -> ShowS) -> (a -> FilePath) -> ([a] -> ShowS) -> Show a
showList :: [Step OpenApi ProcessedPathItems] -> ShowS
$cshowList :: [Step OpenApi ProcessedPathItems] -> ShowS
show :: Step OpenApi ProcessedPathItems -> FilePath
$cshow :: Step OpenApi ProcessedPathItems -> FilePath
showsPrec :: Int -> Step OpenApi ProcessedPathItems -> ShowS
$cshowsPrec :: Int -> Step OpenApi ProcessedPathItems -> ShowS
Show)
instance Steppable OpenApi (Definitions RequestBody) where
data Step OpenApi (Definitions RequestBody) = ComponentsRequestBody
deriving stock (Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool
(Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool)
-> (Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool)
-> Eq (Step OpenApi (Definitions RequestBody))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool
$c/= :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool
== :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool
$c== :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool
Eq, Eq (Step OpenApi (Definitions RequestBody))
Eq (Step OpenApi (Definitions RequestBody))
-> (Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Ordering)
-> (Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool)
-> (Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool)
-> (Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool)
-> (Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool)
-> (Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody))
-> (Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody))
-> Ord (Step OpenApi (Definitions RequestBody))
Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool
Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Ordering
Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody)
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody)
$cmin :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody)
max :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody)
$cmax :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody)
>= :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool
$c>= :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool
> :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool
$c> :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool
<= :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool
$c<= :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool
< :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool
$c< :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Bool
compare :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Ordering
$ccompare :: Step OpenApi (Definitions RequestBody)
-> Step OpenApi (Definitions RequestBody) -> Ordering
$cp1Ord :: Eq (Step OpenApi (Definitions RequestBody))
Ord, Int -> Step OpenApi (Definitions RequestBody) -> ShowS
[Step OpenApi (Definitions RequestBody)] -> ShowS
Step OpenApi (Definitions RequestBody) -> FilePath
(Int -> Step OpenApi (Definitions RequestBody) -> ShowS)
-> (Step OpenApi (Definitions RequestBody) -> FilePath)
-> ([Step OpenApi (Definitions RequestBody)] -> ShowS)
-> Show (Step OpenApi (Definitions RequestBody))
forall a.
(Int -> a -> ShowS) -> (a -> FilePath) -> ([a] -> ShowS) -> Show a
showList :: [Step OpenApi (Definitions RequestBody)] -> ShowS
$cshowList :: [Step OpenApi (Definitions RequestBody)] -> ShowS
show :: Step OpenApi (Definitions RequestBody) -> FilePath
$cshow :: Step OpenApi (Definitions RequestBody) -> FilePath
showsPrec :: Int -> Step OpenApi (Definitions RequestBody) -> ShowS
$cshowsPrec :: Int -> Step OpenApi (Definitions RequestBody) -> ShowS
Show)
instance Steppable OpenApi (Definitions Param) where
data Step OpenApi (Definitions Param) = ComponentsParam
deriving stock (Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool
(Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool)
-> (Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool)
-> Eq (Step OpenApi (Definitions Param))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool
$c/= :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool
== :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool
$c== :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool
Eq, Eq (Step OpenApi (Definitions Param))
Eq (Step OpenApi (Definitions Param))
-> (Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Ordering)
-> (Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool)
-> (Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool)
-> (Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool)
-> (Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool)
-> (Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param))
-> (Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param))
-> Ord (Step OpenApi (Definitions Param))
Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool
Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Ordering
Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param)
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param)
$cmin :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param)
max :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param)
$cmax :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param)
>= :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool
$c>= :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool
> :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool
$c> :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool
<= :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool
$c<= :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool
< :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool
$c< :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Bool
compare :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Ordering
$ccompare :: Step OpenApi (Definitions Param)
-> Step OpenApi (Definitions Param) -> Ordering
$cp1Ord :: Eq (Step OpenApi (Definitions Param))
Ord, Int -> Step OpenApi (Definitions Param) -> ShowS
[Step OpenApi (Definitions Param)] -> ShowS
Step OpenApi (Definitions Param) -> FilePath
(Int -> Step OpenApi (Definitions Param) -> ShowS)
-> (Step OpenApi (Definitions Param) -> FilePath)
-> ([Step OpenApi (Definitions Param)] -> ShowS)
-> Show (Step OpenApi (Definitions Param))
forall a.
(Int -> a -> ShowS) -> (a -> FilePath) -> ([a] -> ShowS) -> Show a
showList :: [Step OpenApi (Definitions Param)] -> ShowS
$cshowList :: [Step OpenApi (Definitions Param)] -> ShowS
show :: Step OpenApi (Definitions Param) -> FilePath
$cshow :: Step OpenApi (Definitions Param) -> FilePath
showsPrec :: Int -> Step OpenApi (Definitions Param) -> ShowS
$cshowsPrec :: Int -> Step OpenApi (Definitions Param) -> ShowS
Show)
instance Steppable OpenApi (Definitions SecurityScheme) where
data Step OpenApi (Definitions SecurityScheme) = ComponentsSecurityScheme
deriving stock (Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool
(Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool)
-> (Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool)
-> Eq (Step OpenApi (Definitions SecurityScheme))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool
$c/= :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool
== :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool
$c== :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool
Eq, Eq (Step OpenApi (Definitions SecurityScheme))
Eq (Step OpenApi (Definitions SecurityScheme))
-> (Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Ordering)
-> (Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool)
-> (Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool)
-> (Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool)
-> (Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool)
-> (Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme))
-> (Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme))
-> Ord (Step OpenApi (Definitions SecurityScheme))
Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool
Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Ordering
Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme)
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme)
$cmin :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme)
max :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme)
$cmax :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme)
>= :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool
$c>= :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool
> :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool
$c> :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool
<= :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool
$c<= :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool
< :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool
$c< :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Bool
compare :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Ordering
$ccompare :: Step OpenApi (Definitions SecurityScheme)
-> Step OpenApi (Definitions SecurityScheme) -> Ordering
$cp1Ord :: Eq (Step OpenApi (Definitions SecurityScheme))
Ord, Int -> Step OpenApi (Definitions SecurityScheme) -> ShowS
[Step OpenApi (Definitions SecurityScheme)] -> ShowS
Step OpenApi (Definitions SecurityScheme) -> FilePath
(Int -> Step OpenApi (Definitions SecurityScheme) -> ShowS)
-> (Step OpenApi (Definitions SecurityScheme) -> FilePath)
-> ([Step OpenApi (Definitions SecurityScheme)] -> ShowS)
-> Show (Step OpenApi (Definitions SecurityScheme))
forall a.
(Int -> a -> ShowS) -> (a -> FilePath) -> ([a] -> ShowS) -> Show a
showList :: [Step OpenApi (Definitions SecurityScheme)] -> ShowS
$cshowList :: [Step OpenApi (Definitions SecurityScheme)] -> ShowS
show :: Step OpenApi (Definitions SecurityScheme) -> FilePath
$cshow :: Step OpenApi (Definitions SecurityScheme) -> FilePath
showsPrec :: Int -> Step OpenApi (Definitions SecurityScheme) -> ShowS
$cshowsPrec :: Int -> Step OpenApi (Definitions SecurityScheme) -> ShowS
Show)
instance Steppable OpenApi (Definitions Response) where
data Step OpenApi (Definitions Response) = ComponentsResponse
deriving stock (Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool
(Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool)
-> (Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool)
-> Eq (Step OpenApi (Definitions Response))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool
$c/= :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool
== :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool
$c== :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool
Eq, Eq (Step OpenApi (Definitions Response))
Eq (Step OpenApi (Definitions Response))
-> (Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Ordering)
-> (Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool)
-> (Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool)
-> (Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool)
-> (Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool)
-> (Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response))
-> (Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response))
-> Ord (Step OpenApi (Definitions Response))
Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool
Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Ordering
Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response)
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response)
$cmin :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response)
max :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response)
$cmax :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response)
>= :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool
$c>= :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool
> :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool
$c> :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool
<= :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool
$c<= :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool
< :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool
$c< :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Bool
compare :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Ordering
$ccompare :: Step OpenApi (Definitions Response)
-> Step OpenApi (Definitions Response) -> Ordering
$cp1Ord :: Eq (Step OpenApi (Definitions Response))
Ord, Int -> Step OpenApi (Definitions Response) -> ShowS
[Step OpenApi (Definitions Response)] -> ShowS
Step OpenApi (Definitions Response) -> FilePath
(Int -> Step OpenApi (Definitions Response) -> ShowS)
-> (Step OpenApi (Definitions Response) -> FilePath)
-> ([Step OpenApi (Definitions Response)] -> ShowS)
-> Show (Step OpenApi (Definitions Response))
forall a.
(Int -> a -> ShowS) -> (a -> FilePath) -> ([a] -> ShowS) -> Show a
showList :: [Step OpenApi (Definitions Response)] -> ShowS
$cshowList :: [Step OpenApi (Definitions Response)] -> ShowS
show :: Step OpenApi (Definitions Response) -> FilePath
$cshow :: Step OpenApi (Definitions Response) -> FilePath
showsPrec :: Int -> Step OpenApi (Definitions Response) -> ShowS
$cshowsPrec :: Int -> Step OpenApi (Definitions Response) -> ShowS
Show)
instance Steppable OpenApi (Definitions Header) where
data Step OpenApi (Definitions Header) =
deriving stock (Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool
(Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool)
-> (Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool)
-> Eq (Step OpenApi (Definitions Header))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool
$c/= :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool
== :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool
$c== :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool
Eq, Eq (Step OpenApi (Definitions Header))
Eq (Step OpenApi (Definitions Header))
-> (Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Ordering)
-> (Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool)
-> (Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool)
-> (Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool)
-> (Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool)
-> (Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header))
-> (Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header))
-> Ord (Step OpenApi (Definitions Header))
Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool
Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Ordering
Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header)
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header)
$cmin :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header)
max :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header)
$cmax :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header)
>= :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool
$c>= :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool
> :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool
$c> :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool
<= :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool
$c<= :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool
< :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool
$c< :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Bool
compare :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Ordering
$ccompare :: Step OpenApi (Definitions Header)
-> Step OpenApi (Definitions Header) -> Ordering
$cp1Ord :: Eq (Step OpenApi (Definitions Header))
Ord, Int -> Step OpenApi (Definitions Header) -> ShowS
[Step OpenApi (Definitions Header)] -> ShowS
Step OpenApi (Definitions Header) -> FilePath
(Int -> Step OpenApi (Definitions Header) -> ShowS)
-> (Step OpenApi (Definitions Header) -> FilePath)
-> ([Step OpenApi (Definitions Header)] -> ShowS)
-> Show (Step OpenApi (Definitions Header))
forall a.
(Int -> a -> ShowS) -> (a -> FilePath) -> ([a] -> ShowS) -> Show a
showList :: [Step OpenApi (Definitions Header)] -> ShowS
$cshowList :: [Step OpenApi (Definitions Header)] -> ShowS
show :: Step OpenApi (Definitions Header) -> FilePath
$cshow :: Step OpenApi (Definitions Header) -> FilePath
showsPrec :: Int -> Step OpenApi (Definitions Header) -> ShowS
$cshowsPrec :: Int -> Step OpenApi (Definitions Header) -> ShowS
Show)
instance Steppable OpenApi (Definitions Schema) where
data Step OpenApi (Definitions Schema) = ComponentsSchema
deriving stock (Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool
(Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool)
-> (Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool)
-> Eq (Step OpenApi (Definitions Schema))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool
$c/= :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool
== :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool
$c== :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool
Eq, Eq (Step OpenApi (Definitions Schema))
Eq (Step OpenApi (Definitions Schema))
-> (Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Ordering)
-> (Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool)
-> (Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool)
-> (Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool)
-> (Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool)
-> (Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema))
-> (Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema))
-> Ord (Step OpenApi (Definitions Schema))
Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool
Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Ordering
Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema)
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema)
$cmin :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema)
max :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema)
$cmax :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema)
>= :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool
$c>= :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool
> :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool
$c> :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool
<= :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool
$c<= :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool
< :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool
$c< :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Bool
compare :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Ordering
$ccompare :: Step OpenApi (Definitions Schema)
-> Step OpenApi (Definitions Schema) -> Ordering
$cp1Ord :: Eq (Step OpenApi (Definitions Schema))
Ord, Int -> Step OpenApi (Definitions Schema) -> ShowS
[Step OpenApi (Definitions Schema)] -> ShowS
Step OpenApi (Definitions Schema) -> FilePath
(Int -> Step OpenApi (Definitions Schema) -> ShowS)
-> (Step OpenApi (Definitions Schema) -> FilePath)
-> ([Step OpenApi (Definitions Schema)] -> ShowS)
-> Show (Step OpenApi (Definitions Schema))
forall a.
(Int -> a -> ShowS) -> (a -> FilePath) -> ([a] -> ShowS) -> Show a
showList :: [Step OpenApi (Definitions Schema)] -> ShowS
$cshowList :: [Step OpenApi (Definitions Schema)] -> ShowS
show :: Step OpenApi (Definitions Schema) -> FilePath
$cshow :: Step OpenApi (Definitions Schema) -> FilePath
showsPrec :: Int -> Step OpenApi (Definitions Schema) -> ShowS
$cshowsPrec :: Int -> Step OpenApi (Definitions Schema) -> ShowS
Show)
instance Steppable OpenApi (Definitions Link) where
data Step OpenApi (Definitions Link) = ComponentsLink
deriving stock (Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool
(Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool)
-> (Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool)
-> Eq (Step OpenApi (Definitions Link))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool
$c/= :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool
== :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool
$c== :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool
Eq, Eq (Step OpenApi (Definitions Link))
Eq (Step OpenApi (Definitions Link))
-> (Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Ordering)
-> (Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool)
-> (Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool)
-> (Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool)
-> (Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool)
-> (Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link))
-> (Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link))
-> Ord (Step OpenApi (Definitions Link))
Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool
Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Ordering
Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link)
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link)
$cmin :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link)
max :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link)
$cmax :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link)
>= :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool
$c>= :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool
> :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool
$c> :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool
<= :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool
$c<= :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool
< :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool
$c< :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Bool
compare :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Ordering
$ccompare :: Step OpenApi (Definitions Link)
-> Step OpenApi (Definitions Link) -> Ordering
$cp1Ord :: Eq (Step OpenApi (Definitions Link))
Ord, Int -> Step OpenApi (Definitions Link) -> ShowS
[Step OpenApi (Definitions Link)] -> ShowS
Step OpenApi (Definitions Link) -> FilePath
(Int -> Step OpenApi (Definitions Link) -> ShowS)
-> (Step OpenApi (Definitions Link) -> FilePath)
-> ([Step OpenApi (Definitions Link)] -> ShowS)
-> Show (Step OpenApi (Definitions Link))
forall a.
(Int -> a -> ShowS) -> (a -> FilePath) -> ([a] -> ShowS) -> Show a
showList :: [Step OpenApi (Definitions Link)] -> ShowS
$cshowList :: [Step OpenApi (Definitions Link)] -> ShowS
show :: Step OpenApi (Definitions Link) -> FilePath
$cshow :: Step OpenApi (Definitions Link) -> FilePath
showsPrec :: Int -> Step OpenApi (Definitions Link) -> ShowS
$cshowsPrec :: Int -> Step OpenApi (Definitions Link) -> ShowS
Show)
instance Steppable OpenApi (Definitions Callback) where
data Step OpenApi (Definitions Callback) = ComponentsCallbacks
deriving stock (Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool
(Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool)
-> (Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool)
-> Eq (Step OpenApi (Definitions Callback))
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool
$c/= :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool
== :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool
$c== :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool
Eq, Eq (Step OpenApi (Definitions Callback))
Eq (Step OpenApi (Definitions Callback))
-> (Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Ordering)
-> (Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool)
-> (Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool)
-> (Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool)
-> (Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool)
-> (Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback))
-> (Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback))
-> Ord (Step OpenApi (Definitions Callback))
Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool
Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Ordering
Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback)
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback)
$cmin :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback)
max :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback)
$cmax :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback)
>= :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool
$c>= :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool
> :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool
$c> :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool
<= :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool
$c<= :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool
< :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool
$c< :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Bool
compare :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Ordering
$ccompare :: Step OpenApi (Definitions Callback)
-> Step OpenApi (Definitions Callback) -> Ordering
$cp1Ord :: Eq (Step OpenApi (Definitions Callback))
Ord, Int -> Step OpenApi (Definitions Callback) -> ShowS
[Step OpenApi (Definitions Callback)] -> ShowS
Step OpenApi (Definitions Callback) -> FilePath
(Int -> Step OpenApi (Definitions Callback) -> ShowS)
-> (Step OpenApi (Definitions Callback) -> FilePath)
-> ([Step OpenApi (Definitions Callback)] -> ShowS)
-> Show (Step OpenApi (Definitions Callback))
forall a.
(Int -> a -> ShowS) -> (a -> FilePath) -> ([a] -> ShowS) -> Show a
showList :: [Step OpenApi (Definitions Callback)] -> ShowS
$cshowList :: [Step OpenApi (Definitions Callback)] -> ShowS
show :: Step OpenApi (Definitions Callback) -> FilePath
$cshow :: Step OpenApi (Definitions Callback) -> FilePath
showsPrec :: Int -> Step OpenApi (Definitions Callback) -> ShowS
$cshowsPrec :: Int -> Step OpenApi (Definitions Callback) -> ShowS
Show)