{-# OPTIONS_GHC -Wno-orphans #-}
-- Does not compiles otherwise
{-# 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)
tracedHeaders :: Traced OpenApi -> Traced (Definitions Header)
tracedHeaders 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 = '[]

  -- There is no real reason to do a proper implementation
  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) = ComponentsHeader
    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)