Data.OpenApi.Compare.Validate.Operation

Operation

data MatchedOperation

Constructors

MatchedOperation

Fields

• operation :: !Operation
• pathParams :: ![Traced Param]

  Params from the PathItem

• getPathFragments :: !([Traced Param] -> [Traced PathFragmentParam])

  Path fragments traced from PathItem. Takes full list of operation-specific parameters

Instances

Subtree MatchedOperation

Defined in Data.OpenApi.Compare.Validate.Operation

Associated Types

type CheckEnv MatchedOperation :: [Type]

type SubtreeLevel MatchedOperation :: BehaviorLevel

Methods

checkStructuralCompatibility :: HList (CheckEnv MatchedOperation) -> ProdCons (Traced MatchedOperation) -> StructuralCompatFormula ()

checkSemanticCompatibility :: HList (CheckEnv MatchedOperation) -> Behavior (SubtreeLevel MatchedOperation) -> ProdCons (Traced MatchedOperation) -> SemanticCompatFormula ()

Steppable MatchedOperation Responses

Defined in Data.OpenApi.Compare.Validate.Operation

Associated Types

data Step MatchedOperation Responses

Steppable MatchedOperation SecurityRequirement

Defined in Data.OpenApi.Compare.Validate.Operation

Associated Types

data Step MatchedOperation SecurityRequirement

Steppable MatchedOperation [Server]

Defined in Data.OpenApi.Compare.Validate.Operation

Associated Types

data Step MatchedOperation [Server]

Steppable MatchedOperation (Referenced RequestBody)

Defined in Data.OpenApi.Compare.Validate.Operation

Associated Types

data Step MatchedOperation (Referenced RequestBody)

Steppable MatchedOperation (Referenced Param)

Defined in Data.OpenApi.Compare.Validate.Operation

Associated Types

data Step MatchedOperation (Referenced Param)

Steppable MatchedOperation (Referenced Callback)

Defined in Data.OpenApi.Compare.Validate.Operation

Associated Types

data Step MatchedOperation (Referenced Callback)

Eq (Step MatchedOperation [Server])

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Bool

(/=) :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Bool

Eq (Step MatchedOperation Responses)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Bool

(/=) :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Bool

Eq (Step MatchedOperation SecurityRequirement)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Bool

(/=) :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Bool

Eq (Step MatchedOperation (Referenced RequestBody))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Bool

(/=) :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Bool

Eq (Step MatchedOperation (Referenced Param))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Bool

(/=) :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Bool

Eq (Step MatchedOperation (Referenced Callback))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Bool

(/=) :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Bool

Ord (Step MatchedOperation [Server])

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Ordering

(<) :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Bool

(<=) :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Bool

(>) :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Bool

(>=) :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Bool

max :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Step MatchedOperation [Server]

min :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Step MatchedOperation [Server]

Ord (Step MatchedOperation Responses)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Ordering

(<) :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Bool

(<=) :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Bool

(>) :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Bool

(>=) :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Bool

max :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Step MatchedOperation Responses

min :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Step MatchedOperation Responses

Ord (Step MatchedOperation SecurityRequirement)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Ordering

(<) :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Bool

(<=) :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Bool

(>) :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Bool

(>=) :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Bool

max :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement

min :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement

Ord (Step MatchedOperation (Referenced RequestBody))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Ordering

(<) :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Bool

(<=) :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Bool

(>) :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Bool

(>=) :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Bool

max :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody)

min :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody)

Ord (Step MatchedOperation (Referenced Param))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Ordering

(<) :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Bool

(<=) :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Bool

(>) :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Bool

(>=) :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Bool

max :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param)

min :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param)

Ord (Step MatchedOperation (Referenced Callback))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Ordering

(<) :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Bool

(<=) :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Bool

(>) :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Bool

(>=) :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Bool

max :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback)

min :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback)

Show (Step MatchedOperation [Server])

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Step MatchedOperation [Server] -> ShowS

show :: Step MatchedOperation [Server] -> String

showList :: [Step MatchedOperation [Server]] -> ShowS

Show (Step MatchedOperation Responses)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Step MatchedOperation Responses -> ShowS

show :: Step MatchedOperation Responses -> String

showList :: [Step MatchedOperation Responses] -> ShowS

Show (Step MatchedOperation SecurityRequirement)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Step MatchedOperation SecurityRequirement -> ShowS

show :: Step MatchedOperation SecurityRequirement -> String

showList :: [Step MatchedOperation SecurityRequirement] -> ShowS

Show (Step MatchedOperation (Referenced RequestBody))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Step MatchedOperation (Referenced RequestBody) -> ShowS

show :: Step MatchedOperation (Referenced RequestBody) -> String

showList :: [Step MatchedOperation (Referenced RequestBody)] -> ShowS

Show (Step MatchedOperation (Referenced Param))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Step MatchedOperation (Referenced Param) -> ShowS

show :: Step MatchedOperation (Referenced Param) -> String

showList :: [Step MatchedOperation (Referenced Param)] -> ShowS

Show (Step MatchedOperation (Referenced Callback))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Step MatchedOperation (Referenced Callback) -> ShowS

show :: Step MatchedOperation (Referenced Callback) -> String

showList :: [Step MatchedOperation (Referenced Callback)] -> ShowS

type CheckEnv MatchedOperation

Defined in Data.OpenApi.Compare.Validate.Operation

type CheckEnv MatchedOperation = '[ProdCons (Traced (Definitions Param)), ProdCons (Traced (Definitions RequestBody)), 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))]

type SubtreeLevel MatchedOperation

Defined in Data.OpenApi.Compare.Validate.Operation

type SubtreeLevel MatchedOperation = 'OperationLevel

data Step MatchedOperation Responses

Defined in Data.OpenApi.Compare.Validate.Operation

data Step MatchedOperation Responses = OperationResponsesStep

data Step MatchedOperation SecurityRequirement

Defined in Data.OpenApi.Compare.Validate.Operation

data Step MatchedOperation SecurityRequirement = OperationSecurityRequirementStep Int

data Step MatchedOperation [Server]

Defined in Data.OpenApi.Compare.Validate.Operation

data Step MatchedOperation [Server]

• = OperationServersStep
• | EnvServerStep

data Step MatchedOperation (Referenced RequestBody)

Defined in Data.OpenApi.Compare.Validate.Operation

data Step MatchedOperation (Referenced RequestBody) = OperationRequestBodyStep

data Step MatchedOperation (Referenced Param)

Defined in Data.OpenApi.Compare.Validate.Operation

data Step MatchedOperation (Referenced Param) = OperationParamsStep Int

data Step MatchedOperation (Referenced Callback)

Defined in Data.OpenApi.Compare.Validate.Operation

data Step MatchedOperation (Referenced Callback) = OperationCallbackStep Text

data OperationMethod

Constructors

GetMethod

PutMethod

PostMethod

DeleteMethod

OptionsMethod

HeadMethod

PatchMethod

TraceMethod

Instances

Eq OperationMethod

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: OperationMethod -> OperationMethod -> Bool

(/=) :: OperationMethod -> OperationMethod -> Bool

Ord OperationMethod

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: OperationMethod -> OperationMethod -> Ordering

(<) :: OperationMethod -> OperationMethod -> Bool

(<=) :: OperationMethod -> OperationMethod -> Bool

(>) :: OperationMethod -> OperationMethod -> Bool

(>=) :: OperationMethod -> OperationMethod -> Bool

max :: OperationMethod -> OperationMethod -> OperationMethod

min :: OperationMethod -> OperationMethod -> OperationMethod

Show OperationMethod

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> OperationMethod -> ShowS

show :: OperationMethod -> String

showList :: [OperationMethod] -> ShowS

pathItemMethod :: OperationMethod -> PathItem -> Maybe Operation

ProcessedPathItem

data ProcessedPathItem

Constructors

ProcessedPathItem

Fields

• path :: FilePath
• item :: PathItem

Instances

Eq ProcessedPathItem

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: ProcessedPathItem -> ProcessedPathItem -> Bool

(/=) :: ProcessedPathItem -> ProcessedPathItem -> Bool

Show ProcessedPathItem

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> ProcessedPathItem -> ShowS

show :: ProcessedPathItem -> String

showList :: [ProcessedPathItem] -> ShowS

newtype ProcessedPathItems

Constructors

ProcessedPathItems

Fields

• unProcessedPathItems :: [ProcessedPathItem]

Instances

Eq ProcessedPathItems

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: ProcessedPathItems -> ProcessedPathItems -> Bool

(/=) :: ProcessedPathItems -> ProcessedPathItems -> Bool

Show ProcessedPathItems

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> ProcessedPathItems -> ShowS

show :: ProcessedPathItems -> String

showList :: [ProcessedPathItems] -> ShowS

Subtree ProcessedPathItems

Defined in Data.OpenApi.Compare.Validate.Operation

Associated Types

type CheckEnv ProcessedPathItems :: [Type]

type SubtreeLevel ProcessedPathItems :: BehaviorLevel

Methods

checkStructuralCompatibility :: HList (CheckEnv ProcessedPathItems) -> ProdCons (Traced ProcessedPathItems) -> StructuralCompatFormula ()

checkSemanticCompatibility :: HList (CheckEnv ProcessedPathItems) -> Behavior (SubtreeLevel ProcessedPathItems) -> ProdCons (Traced ProcessedPathItems) -> SemanticCompatFormula ()

Steppable OpenApi ProcessedPathItems

Defined in Data.OpenApi.Compare.Validate.OpenApi

Associated Types

data Step OpenApi ProcessedPathItems

Steppable Callback ProcessedPathItems

Defined in Data.OpenApi.Compare.Validate.Operation

Associated Types

data Step Callback ProcessedPathItems

Eq (Step OpenApi ProcessedPathItems)

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

(==) :: Step OpenApi ProcessedPathItems -> Step OpenApi ProcessedPathItems -> Bool

(/=) :: Step OpenApi ProcessedPathItems -> Step OpenApi ProcessedPathItems -> Bool

Eq (Step Callback ProcessedPathItems)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Bool

(/=) :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Bool

Ord (Step OpenApi ProcessedPathItems)

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

compare :: 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

max :: Step OpenApi ProcessedPathItems -> Step OpenApi ProcessedPathItems -> Step OpenApi ProcessedPathItems

min :: Step OpenApi ProcessedPathItems -> Step OpenApi ProcessedPathItems -> Step OpenApi ProcessedPathItems

Ord (Step Callback ProcessedPathItems)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Ordering

(<) :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Bool

(<=) :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Bool

(>) :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Bool

(>=) :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Bool

max :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems

min :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems

Show (Step OpenApi ProcessedPathItems)

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

showsPrec :: Int -> Step OpenApi ProcessedPathItems -> ShowS

show :: Step OpenApi ProcessedPathItems -> String

showList :: [Step OpenApi ProcessedPathItems] -> ShowS

Show (Step Callback ProcessedPathItems)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Step Callback ProcessedPathItems -> ShowS

show :: Step Callback ProcessedPathItems -> String

showList :: [Step Callback ProcessedPathItems] -> ShowS

type CheckEnv ProcessedPathItems

Defined in Data.OpenApi.Compare.Validate.Operation

type CheckEnv ProcessedPathItems = '[ProdCons (Traced (Definitions Param)), ProdCons (Traced (Definitions RequestBody)), 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))]

type SubtreeLevel ProcessedPathItems

Defined in Data.OpenApi.Compare.Validate.Operation

type SubtreeLevel ProcessedPathItems = 'APILevel

data Step OpenApi ProcessedPathItems

Defined in Data.OpenApi.Compare.Validate.OpenApi

data Step OpenApi ProcessedPathItems = OpenApiPathsStep

data Step Callback ProcessedPathItems

Defined in Data.OpenApi.Compare.Validate.Operation

data Step Callback ProcessedPathItems = CallbackPathsStep

processPathItems :: [(FilePath, PathItem)] -> ProcessedPathItems

data family Step a b :: Type

How to get from an a node to a b node

Instances

Subtree PathFragmentParam

Defined in Data.OpenApi.Compare.Validate.PathFragment

Associated Types

type CheckEnv PathFragmentParam :: [Type]

type SubtreeLevel PathFragmentParam :: BehaviorLevel

Methods

checkStructuralCompatibility :: HList (CheckEnv PathFragmentParam) -> ProdCons (Traced PathFragmentParam) -> StructuralCompatFormula ()

checkSemanticCompatibility :: HList (CheckEnv PathFragmentParam) -> Behavior (SubtreeLevel PathFragmentParam) -> ProdCons (Traced PathFragmentParam) -> SemanticCompatFormula ()

Eq k => Eq (Step (InsOrdHashMap k v) v)

Defined in Data.OpenApi.Compare.Subtree

Methods

(==) :: Step (InsOrdHashMap k v) v -> Step (InsOrdHashMap k v) v -> Bool

(/=) :: Step (InsOrdHashMap k v) v -> Step (InsOrdHashMap k v) v -> Bool

Eq (Step OpenApi (Definitions RequestBody))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

(==) :: Step OpenApi (Definitions RequestBody) -> Step OpenApi (Definitions RequestBody) -> Bool

(/=) :: Step OpenApi (Definitions RequestBody) -> Step OpenApi (Definitions RequestBody) -> Bool

Eq (Step OpenApi (Definitions Param))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

(==) :: Step OpenApi (Definitions Param) -> Step OpenApi (Definitions Param) -> Bool

(/=) :: Step OpenApi (Definitions Param) -> Step OpenApi (Definitions Param) -> Bool

Eq (Step OpenApi (Definitions Link))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

(==) :: Step OpenApi (Definitions Link) -> Step OpenApi (Definitions Link) -> Bool

(/=) :: Step OpenApi (Definitions Link) -> Step OpenApi (Definitions Link) -> Bool

Eq (Step OpenApi (Definitions Schema))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

(==) :: Step OpenApi (Definitions Schema) -> Step OpenApi (Definitions Schema) -> Bool

(/=) :: Step OpenApi (Definitions Schema) -> Step OpenApi (Definitions Schema) -> Bool

Eq (Step OpenApi (Definitions Response))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

(==) :: Step OpenApi (Definitions Response) -> Step OpenApi (Definitions Response) -> Bool

(/=) :: Step OpenApi (Definitions Response) -> Step OpenApi (Definitions Response) -> Bool

Eq (Step OpenApi (Definitions Callback))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

(==) :: Step OpenApi (Definitions Callback) -> Step OpenApi (Definitions Callback) -> Bool

(/=) :: Step OpenApi (Definitions Callback) -> Step OpenApi (Definitions Callback) -> Bool

Eq (Step OpenApi (Definitions Header))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

(==) :: Step OpenApi (Definitions Header) -> Step OpenApi (Definitions Header) -> Bool

(/=) :: Step OpenApi (Definitions Header) -> Step OpenApi (Definitions Header) -> Bool

Eq (Step OpenApi (Definitions SecurityScheme))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

(==) :: Step OpenApi (Definitions SecurityScheme) -> Step OpenApi (Definitions SecurityScheme) -> Bool

(/=) :: Step OpenApi (Definitions SecurityScheme) -> Step OpenApi (Definitions SecurityScheme) -> Bool

Eq (Step OpenApi ProcessedPathItems)

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

(==) :: Step OpenApi ProcessedPathItems -> Step OpenApi ProcessedPathItems -> Bool

(/=) :: Step OpenApi ProcessedPathItems -> Step OpenApi ProcessedPathItems -> Bool

Eq (Step RequestBody (InsOrdHashMap MediaType MediaTypeObject))

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

(==) :: Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Bool

(/=) :: Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Bool

Eq (Step RequestBody MediaTypeObject)

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

(==) :: Step RequestBody MediaTypeObject -> Step RequestBody MediaTypeObject -> Bool

(/=) :: Step RequestBody MediaTypeObject -> Step RequestBody MediaTypeObject -> Bool

Eq (Step MediaTypeObject (Definitions Encoding))

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

(==) :: Step MediaTypeObject (Definitions Encoding) -> Step MediaTypeObject (Definitions Encoding) -> Bool

(/=) :: Step MediaTypeObject (Definitions Encoding) -> Step MediaTypeObject (Definitions Encoding) -> Bool

Eq (Step MediaTypeObject Encoding)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

(==) :: Step MediaTypeObject Encoding -> Step MediaTypeObject Encoding -> Bool

(/=) :: Step MediaTypeObject Encoding -> Step MediaTypeObject Encoding -> Bool

Eq (Step MediaTypeObject (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

(==) :: Step MediaTypeObject (Referenced Schema) -> Step MediaTypeObject (Referenced Schema) -> Bool

(/=) :: Step MediaTypeObject (Referenced Schema) -> Step MediaTypeObject (Referenced Schema) -> Bool

Eq (Step Encoding (Definitions (Referenced Header)))

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

(==) :: Step Encoding (Definitions (Referenced Header)) -> Step Encoding (Definitions (Referenced Header)) -> Bool

(/=) :: Step Encoding (Definitions (Referenced Header)) -> Step Encoding (Definitions (Referenced Header)) -> Bool

Eq (Step Param (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.Param

Methods

(==) :: Step Param (Referenced Schema) -> Step Param (Referenced Schema) -> Bool

(/=) :: Step Param (Referenced Schema) -> Step Param (Referenced Schema) -> Bool

Eq (Step Schema (Definitions (Referenced Schema)))

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

(==) :: Step Schema (Definitions (Referenced Schema)) -> Step Schema (Definitions (Referenced Schema)) -> Bool

(/=) :: Step Schema (Definitions (Referenced Schema)) -> Step Schema (Definitions (Referenced Schema)) -> Bool

Eq (Step Schema Discriminator)

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

(==) :: Step Schema Discriminator -> Step Schema Discriminator -> Bool

(/=) :: Step Schema Discriminator -> Step Schema Discriminator -> Bool

Eq (Step Schema (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

(==) :: Step Schema (Referenced Schema) -> Step Schema (Referenced Schema) -> Bool

(/=) :: Step Schema (Referenced Schema) -> Step Schema (Referenced Schema) -> Bool

Eq (Step Discriminator (Definitions (Referenced Schema)))

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

(==) :: Step Discriminator (Definitions (Referenced Schema)) -> Step Discriminator (Definitions (Referenced Schema)) -> Bool

(/=) :: Step Discriminator (Definitions (Referenced Schema)) -> Step Discriminator (Definitions (Referenced Schema)) -> Bool

Eq (Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

(==) :: Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Bool

(/=) :: Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Bool

Eq (Step Responses (Referenced Response))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

(==) :: Step Responses (Referenced Response) -> Step Responses (Referenced Response) -> Bool

(/=) :: Step Responses (Referenced Response) -> Step Responses (Referenced Response) -> Bool

Eq (Step Response (InsOrdHashMap MediaType MediaTypeObject))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

(==) :: Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Bool

(/=) :: Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Bool

Eq (Step Response (Definitions (Referenced Link)))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

(==) :: Step Response (Definitions (Referenced Link)) -> Step Response (Definitions (Referenced Link)) -> Bool

(/=) :: Step Response (Definitions (Referenced Link)) -> Step Response (Definitions (Referenced Link)) -> Bool

Eq (Step Response (Definitions (Referenced Header)))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

(==) :: Step Response (Definitions (Referenced Header)) -> Step Response (Definitions (Referenced Header)) -> Bool

(/=) :: Step Response (Definitions (Referenced Header)) -> Step Response (Definitions (Referenced Header)) -> Bool

Eq (Step Response MediaTypeObject)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

(==) :: Step Response MediaTypeObject -> Step Response MediaTypeObject -> Bool

(/=) :: Step Response MediaTypeObject -> Step Response MediaTypeObject -> Bool

Eq (Step Response (Referenced Header))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

(==) :: Step Response (Referenced Header) -> Step Response (Referenced Header) -> Bool

(/=) :: Step Response (Referenced Header) -> Step Response (Referenced Header) -> Bool

Eq (Step Callback ProcessedPathItems)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Bool

(/=) :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Bool

Eq (Step Header (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.Header

Methods

(==) :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Bool

(/=) :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Bool

Eq (Step (OAuth2Flow t) t)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

(==) :: Step (OAuth2Flow t) t -> Step (OAuth2Flow t) t -> Bool

(/=) :: Step (OAuth2Flow t) t -> Step (OAuth2Flow t) t -> Bool

Eq (Step OAuth2Flows (OAuth2Flow t))

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

(==) :: Step OAuth2Flows (OAuth2Flow t) -> Step OAuth2Flows (OAuth2Flow t) -> Bool

(/=) :: Step OAuth2Flows (OAuth2Flow t) -> Step OAuth2Flows (OAuth2Flow t) -> Bool

Eq (Step SecuritySchemeType OAuth2Flows)

Defined in Data.OpenApi.Compare.Validate.SecurityScheme

Methods

(==) :: Step SecuritySchemeType OAuth2Flows -> Step SecuritySchemeType OAuth2Flows -> Bool

(/=) :: Step SecuritySchemeType OAuth2Flows -> Step SecuritySchemeType OAuth2Flows -> Bool

Eq (Step SecurityScheme SecuritySchemeType)

Defined in Data.OpenApi.Compare.Validate.SecurityScheme

Methods

(==) :: Step SecurityScheme SecuritySchemeType -> Step SecurityScheme SecuritySchemeType -> Bool

(/=) :: Step SecurityScheme SecuritySchemeType -> Step SecurityScheme SecuritySchemeType -> Bool

Eq (Step (Referenced a) a)

Defined in Data.OpenApi.Compare.References

Methods

(==) :: Step (Referenced a) a -> Step (Referenced a) a -> Bool

(/=) :: Step (Referenced a) a -> Step (Referenced a) a -> Bool

Eq (Step (Referenced Schema) (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

(==) :: Step (Referenced Schema) (Referenced Schema) -> Step (Referenced Schema) (Referenced Schema) -> Bool

(/=) :: Step (Referenced Schema) (Referenced Schema) -> Step (Referenced Schema) (Referenced Schema) -> Bool

Eq (Step TraceRoot OpenApi)

Defined in Data.OpenApi.Compare.Subtree

Methods

(==) :: Step TraceRoot OpenApi -> Step TraceRoot OpenApi -> Bool

(/=) :: Step TraceRoot OpenApi -> Step TraceRoot OpenApi -> Bool

Eq (Step (PathFragment param) Param)

Defined in Data.OpenApi.Compare.Validate.PathFragment

Methods

(==) :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Bool

(/=) :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Bool

Eq (Step MatchedOperation [Server])

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Bool

(/=) :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Bool

Eq (Step MatchedOperation Responses)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Bool

(/=) :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Bool

Eq (Step MatchedOperation SecurityRequirement)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Bool

(/=) :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Bool

Eq (Step MatchedOperation (Referenced RequestBody))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Bool

(/=) :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Bool

Eq (Step MatchedOperation (Referenced Param))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Bool

(/=) :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Bool

Eq (Step MatchedOperation (Referenced Callback))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Bool

(/=) :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Bool

Ord k => Ord (Step (InsOrdHashMap k v) v)

Defined in Data.OpenApi.Compare.Subtree

Methods

compare :: Step (InsOrdHashMap k v) v -> Step (InsOrdHashMap k v) v -> Ordering

(<) :: Step (InsOrdHashMap k v) v -> Step (InsOrdHashMap k v) v -> Bool

(<=) :: Step (InsOrdHashMap k v) v -> Step (InsOrdHashMap k v) v -> Bool

(>) :: Step (InsOrdHashMap k v) v -> Step (InsOrdHashMap k v) v -> Bool

(>=) :: Step (InsOrdHashMap k v) v -> Step (InsOrdHashMap k v) v -> Bool

max :: Step (InsOrdHashMap k v) v -> Step (InsOrdHashMap k v) v -> Step (InsOrdHashMap k v) v

min :: Step (InsOrdHashMap k v) v -> Step (InsOrdHashMap k v) v -> Step (InsOrdHashMap k v) v

Ord (Step OpenApi (Definitions RequestBody))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

compare :: 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

max :: Step OpenApi (Definitions RequestBody) -> Step OpenApi (Definitions RequestBody) -> Step OpenApi (Definitions RequestBody)

min :: Step OpenApi (Definitions RequestBody) -> Step OpenApi (Definitions RequestBody) -> Step OpenApi (Definitions RequestBody)

Ord (Step OpenApi (Definitions Param))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

compare :: 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

max :: Step OpenApi (Definitions Param) -> Step OpenApi (Definitions Param) -> Step OpenApi (Definitions Param)

min :: Step OpenApi (Definitions Param) -> Step OpenApi (Definitions Param) -> Step OpenApi (Definitions Param)

Ord (Step OpenApi (Definitions Link))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

compare :: 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

max :: Step OpenApi (Definitions Link) -> Step OpenApi (Definitions Link) -> Step OpenApi (Definitions Link)

min :: Step OpenApi (Definitions Link) -> Step OpenApi (Definitions Link) -> Step OpenApi (Definitions Link)

Ord (Step OpenApi (Definitions Schema))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

compare :: 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

max :: Step OpenApi (Definitions Schema) -> Step OpenApi (Definitions Schema) -> Step OpenApi (Definitions Schema)

min :: Step OpenApi (Definitions Schema) -> Step OpenApi (Definitions Schema) -> Step OpenApi (Definitions Schema)

Ord (Step OpenApi (Definitions Response))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

compare :: 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

max :: Step OpenApi (Definitions Response) -> Step OpenApi (Definitions Response) -> Step OpenApi (Definitions Response)

min :: Step OpenApi (Definitions Response) -> Step OpenApi (Definitions Response) -> Step OpenApi (Definitions Response)

Ord (Step OpenApi (Definitions Callback))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

compare :: 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

max :: Step OpenApi (Definitions Callback) -> Step OpenApi (Definitions Callback) -> Step OpenApi (Definitions Callback)

min :: Step OpenApi (Definitions Callback) -> Step OpenApi (Definitions Callback) -> Step OpenApi (Definitions Callback)

Ord (Step OpenApi (Definitions Header))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

compare :: 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

max :: Step OpenApi (Definitions Header) -> Step OpenApi (Definitions Header) -> Step OpenApi (Definitions Header)

min :: Step OpenApi (Definitions Header) -> Step OpenApi (Definitions Header) -> Step OpenApi (Definitions Header)

Ord (Step OpenApi (Definitions SecurityScheme))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

compare :: 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

max :: Step OpenApi (Definitions SecurityScheme) -> Step OpenApi (Definitions SecurityScheme) -> Step OpenApi (Definitions SecurityScheme)

min :: Step OpenApi (Definitions SecurityScheme) -> Step OpenApi (Definitions SecurityScheme) -> Step OpenApi (Definitions SecurityScheme)

Ord (Step OpenApi ProcessedPathItems)

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

compare :: 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

max :: Step OpenApi ProcessedPathItems -> Step OpenApi ProcessedPathItems -> Step OpenApi ProcessedPathItems

min :: Step OpenApi ProcessedPathItems -> Step OpenApi ProcessedPathItems -> Step OpenApi ProcessedPathItems

Ord (Step RequestBody (InsOrdHashMap MediaType MediaTypeObject))

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

compare :: Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Ordering

(<) :: Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Bool

(<=) :: Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Bool

(>) :: Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Bool

(>=) :: Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Bool

max :: Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Step RequestBody (InsOrdHashMap MediaType MediaTypeObject)

min :: Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> Step RequestBody (InsOrdHashMap MediaType MediaTypeObject)

Ord (Step RequestBody MediaTypeObject)

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

compare :: Step RequestBody MediaTypeObject -> Step RequestBody MediaTypeObject -> Ordering

(<) :: Step RequestBody MediaTypeObject -> Step RequestBody MediaTypeObject -> Bool

(<=) :: Step RequestBody MediaTypeObject -> Step RequestBody MediaTypeObject -> Bool

(>) :: Step RequestBody MediaTypeObject -> Step RequestBody MediaTypeObject -> Bool

(>=) :: Step RequestBody MediaTypeObject -> Step RequestBody MediaTypeObject -> Bool

max :: Step RequestBody MediaTypeObject -> Step RequestBody MediaTypeObject -> Step RequestBody MediaTypeObject

min :: Step RequestBody MediaTypeObject -> Step RequestBody MediaTypeObject -> Step RequestBody MediaTypeObject

Ord (Step MediaTypeObject (Definitions Encoding))

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

compare :: Step MediaTypeObject (Definitions Encoding) -> Step MediaTypeObject (Definitions Encoding) -> Ordering

(<) :: Step MediaTypeObject (Definitions Encoding) -> Step MediaTypeObject (Definitions Encoding) -> Bool

(<=) :: Step MediaTypeObject (Definitions Encoding) -> Step MediaTypeObject (Definitions Encoding) -> Bool

(>) :: Step MediaTypeObject (Definitions Encoding) -> Step MediaTypeObject (Definitions Encoding) -> Bool

(>=) :: Step MediaTypeObject (Definitions Encoding) -> Step MediaTypeObject (Definitions Encoding) -> Bool

max :: Step MediaTypeObject (Definitions Encoding) -> Step MediaTypeObject (Definitions Encoding) -> Step MediaTypeObject (Definitions Encoding)

min :: Step MediaTypeObject (Definitions Encoding) -> Step MediaTypeObject (Definitions Encoding) -> Step MediaTypeObject (Definitions Encoding)

Ord (Step MediaTypeObject Encoding)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

compare :: Step MediaTypeObject Encoding -> Step MediaTypeObject Encoding -> Ordering

(<) :: Step MediaTypeObject Encoding -> Step MediaTypeObject Encoding -> Bool

(<=) :: Step MediaTypeObject Encoding -> Step MediaTypeObject Encoding -> Bool

(>) :: Step MediaTypeObject Encoding -> Step MediaTypeObject Encoding -> Bool

(>=) :: Step MediaTypeObject Encoding -> Step MediaTypeObject Encoding -> Bool

max :: Step MediaTypeObject Encoding -> Step MediaTypeObject Encoding -> Step MediaTypeObject Encoding

min :: Step MediaTypeObject Encoding -> Step MediaTypeObject Encoding -> Step MediaTypeObject Encoding

Ord (Step MediaTypeObject (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

compare :: Step MediaTypeObject (Referenced Schema) -> Step MediaTypeObject (Referenced Schema) -> Ordering

(<) :: Step MediaTypeObject (Referenced Schema) -> Step MediaTypeObject (Referenced Schema) -> Bool

(<=) :: Step MediaTypeObject (Referenced Schema) -> Step MediaTypeObject (Referenced Schema) -> Bool

(>) :: Step MediaTypeObject (Referenced Schema) -> Step MediaTypeObject (Referenced Schema) -> Bool

(>=) :: Step MediaTypeObject (Referenced Schema) -> Step MediaTypeObject (Referenced Schema) -> Bool

max :: Step MediaTypeObject (Referenced Schema) -> Step MediaTypeObject (Referenced Schema) -> Step MediaTypeObject (Referenced Schema)

min :: Step MediaTypeObject (Referenced Schema) -> Step MediaTypeObject (Referenced Schema) -> Step MediaTypeObject (Referenced Schema)

Ord (Step Encoding (Definitions (Referenced Header)))

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

compare :: Step Encoding (Definitions (Referenced Header)) -> Step Encoding (Definitions (Referenced Header)) -> Ordering

(<) :: Step Encoding (Definitions (Referenced Header)) -> Step Encoding (Definitions (Referenced Header)) -> Bool

(<=) :: Step Encoding (Definitions (Referenced Header)) -> Step Encoding (Definitions (Referenced Header)) -> Bool

(>) :: Step Encoding (Definitions (Referenced Header)) -> Step Encoding (Definitions (Referenced Header)) -> Bool

(>=) :: Step Encoding (Definitions (Referenced Header)) -> Step Encoding (Definitions (Referenced Header)) -> Bool

max :: Step Encoding (Definitions (Referenced Header)) -> Step Encoding (Definitions (Referenced Header)) -> Step Encoding (Definitions (Referenced Header))

min :: Step Encoding (Definitions (Referenced Header)) -> Step Encoding (Definitions (Referenced Header)) -> Step Encoding (Definitions (Referenced Header))

Ord (Step Param (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.Param

Methods

compare :: Step Param (Referenced Schema) -> Step Param (Referenced Schema) -> Ordering

(<) :: Step Param (Referenced Schema) -> Step Param (Referenced Schema) -> Bool

(<=) :: Step Param (Referenced Schema) -> Step Param (Referenced Schema) -> Bool

(>) :: Step Param (Referenced Schema) -> Step Param (Referenced Schema) -> Bool

(>=) :: Step Param (Referenced Schema) -> Step Param (Referenced Schema) -> Bool

max :: Step Param (Referenced Schema) -> Step Param (Referenced Schema) -> Step Param (Referenced Schema)

min :: Step Param (Referenced Schema) -> Step Param (Referenced Schema) -> Step Param (Referenced Schema)

Ord (Step Schema (Definitions (Referenced Schema)))

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

compare :: Step Schema (Definitions (Referenced Schema)) -> Step Schema (Definitions (Referenced Schema)) -> Ordering

(<) :: Step Schema (Definitions (Referenced Schema)) -> Step Schema (Definitions (Referenced Schema)) -> Bool

(<=) :: Step Schema (Definitions (Referenced Schema)) -> Step Schema (Definitions (Referenced Schema)) -> Bool

(>) :: Step Schema (Definitions (Referenced Schema)) -> Step Schema (Definitions (Referenced Schema)) -> Bool

(>=) :: Step Schema (Definitions (Referenced Schema)) -> Step Schema (Definitions (Referenced Schema)) -> Bool

max :: Step Schema (Definitions (Referenced Schema)) -> Step Schema (Definitions (Referenced Schema)) -> Step Schema (Definitions (Referenced Schema))

min :: Step Schema (Definitions (Referenced Schema)) -> Step Schema (Definitions (Referenced Schema)) -> Step Schema (Definitions (Referenced Schema))

Ord (Step Schema Discriminator)

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

compare :: Step Schema Discriminator -> Step Schema Discriminator -> Ordering

(<) :: Step Schema Discriminator -> Step Schema Discriminator -> Bool

(<=) :: Step Schema Discriminator -> Step Schema Discriminator -> Bool

(>) :: Step Schema Discriminator -> Step Schema Discriminator -> Bool

(>=) :: Step Schema Discriminator -> Step Schema Discriminator -> Bool

max :: Step Schema Discriminator -> Step Schema Discriminator -> Step Schema Discriminator

min :: Step Schema Discriminator -> Step Schema Discriminator -> Step Schema Discriminator

Ord (Step Schema (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

compare :: Step Schema (Referenced Schema) -> Step Schema (Referenced Schema) -> Ordering

(<) :: Step Schema (Referenced Schema) -> Step Schema (Referenced Schema) -> Bool

(<=) :: Step Schema (Referenced Schema) -> Step Schema (Referenced Schema) -> Bool

(>) :: Step Schema (Referenced Schema) -> Step Schema (Referenced Schema) -> Bool

(>=) :: Step Schema (Referenced Schema) -> Step Schema (Referenced Schema) -> Bool

max :: Step Schema (Referenced Schema) -> Step Schema (Referenced Schema) -> Step Schema (Referenced Schema)

min :: Step Schema (Referenced Schema) -> Step Schema (Referenced Schema) -> Step Schema (Referenced Schema)

Ord (Step Discriminator (Definitions (Referenced Schema)))

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

compare :: Step Discriminator (Definitions (Referenced Schema)) -> Step Discriminator (Definitions (Referenced Schema)) -> Ordering

(<) :: Step Discriminator (Definitions (Referenced Schema)) -> Step Discriminator (Definitions (Referenced Schema)) -> Bool

(<=) :: Step Discriminator (Definitions (Referenced Schema)) -> Step Discriminator (Definitions (Referenced Schema)) -> Bool

(>) :: Step Discriminator (Definitions (Referenced Schema)) -> Step Discriminator (Definitions (Referenced Schema)) -> Bool

(>=) :: Step Discriminator (Definitions (Referenced Schema)) -> Step Discriminator (Definitions (Referenced Schema)) -> Bool

max :: Step Discriminator (Definitions (Referenced Schema)) -> Step Discriminator (Definitions (Referenced Schema)) -> Step Discriminator (Definitions (Referenced Schema))

min :: Step Discriminator (Definitions (Referenced Schema)) -> Step Discriminator (Definitions (Referenced Schema)) -> Step Discriminator (Definitions (Referenced Schema))

Ord (Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

compare :: Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Ordering

(<) :: Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Bool

(<=) :: Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Bool

(>) :: Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Bool

(>=) :: Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Bool

max :: Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response))

min :: Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response))

Ord (Step Responses (Referenced Response))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

compare :: Step Responses (Referenced Response) -> Step Responses (Referenced Response) -> Ordering

(<) :: Step Responses (Referenced Response) -> Step Responses (Referenced Response) -> Bool

(<=) :: Step Responses (Referenced Response) -> Step Responses (Referenced Response) -> Bool

(>) :: Step Responses (Referenced Response) -> Step Responses (Referenced Response) -> Bool

(>=) :: Step Responses (Referenced Response) -> Step Responses (Referenced Response) -> Bool

max :: Step Responses (Referenced Response) -> Step Responses (Referenced Response) -> Step Responses (Referenced Response)

min :: Step Responses (Referenced Response) -> Step Responses (Referenced Response) -> Step Responses (Referenced Response)

Ord (Step Response (InsOrdHashMap MediaType MediaTypeObject))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

compare :: Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Ordering

(<) :: Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Bool

(<=) :: Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Bool

(>) :: Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Bool

(>=) :: Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Bool

max :: Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Step Response (InsOrdHashMap MediaType MediaTypeObject)

min :: Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Step Response (InsOrdHashMap MediaType MediaTypeObject) -> Step Response (InsOrdHashMap MediaType MediaTypeObject)

Ord (Step Response (Definitions (Referenced Link)))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

compare :: Step Response (Definitions (Referenced Link)) -> Step Response (Definitions (Referenced Link)) -> Ordering

(<) :: Step Response (Definitions (Referenced Link)) -> Step Response (Definitions (Referenced Link)) -> Bool

(<=) :: Step Response (Definitions (Referenced Link)) -> Step Response (Definitions (Referenced Link)) -> Bool

(>) :: Step Response (Definitions (Referenced Link)) -> Step Response (Definitions (Referenced Link)) -> Bool

(>=) :: Step Response (Definitions (Referenced Link)) -> Step Response (Definitions (Referenced Link)) -> Bool

max :: Step Response (Definitions (Referenced Link)) -> Step Response (Definitions (Referenced Link)) -> Step Response (Definitions (Referenced Link))

min :: Step Response (Definitions (Referenced Link)) -> Step Response (Definitions (Referenced Link)) -> Step Response (Definitions (Referenced Link))

Ord (Step Response (Definitions (Referenced Header)))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

compare :: Step Response (Definitions (Referenced Header)) -> Step Response (Definitions (Referenced Header)) -> Ordering

(<) :: Step Response (Definitions (Referenced Header)) -> Step Response (Definitions (Referenced Header)) -> Bool

(<=) :: Step Response (Definitions (Referenced Header)) -> Step Response (Definitions (Referenced Header)) -> Bool

(>) :: Step Response (Definitions (Referenced Header)) -> Step Response (Definitions (Referenced Header)) -> Bool

(>=) :: Step Response (Definitions (Referenced Header)) -> Step Response (Definitions (Referenced Header)) -> Bool

max :: Step Response (Definitions (Referenced Header)) -> Step Response (Definitions (Referenced Header)) -> Step Response (Definitions (Referenced Header))

min :: Step Response (Definitions (Referenced Header)) -> Step Response (Definitions (Referenced Header)) -> Step Response (Definitions (Referenced Header))

Ord (Step Response MediaTypeObject)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

compare :: Step Response MediaTypeObject -> Step Response MediaTypeObject -> Ordering

(<) :: Step Response MediaTypeObject -> Step Response MediaTypeObject -> Bool

(<=) :: Step Response MediaTypeObject -> Step Response MediaTypeObject -> Bool

(>) :: Step Response MediaTypeObject -> Step Response MediaTypeObject -> Bool

(>=) :: Step Response MediaTypeObject -> Step Response MediaTypeObject -> Bool

max :: Step Response MediaTypeObject -> Step Response MediaTypeObject -> Step Response MediaTypeObject

min :: Step Response MediaTypeObject -> Step Response MediaTypeObject -> Step Response MediaTypeObject

Ord (Step Response (Referenced Header))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

compare :: Step Response (Referenced Header) -> Step Response (Referenced Header) -> Ordering

(<) :: Step Response (Referenced Header) -> Step Response (Referenced Header) -> Bool

(<=) :: Step Response (Referenced Header) -> Step Response (Referenced Header) -> Bool

(>) :: Step Response (Referenced Header) -> Step Response (Referenced Header) -> Bool

(>=) :: Step Response (Referenced Header) -> Step Response (Referenced Header) -> Bool

max :: Step Response (Referenced Header) -> Step Response (Referenced Header) -> Step Response (Referenced Header)

min :: Step Response (Referenced Header) -> Step Response (Referenced Header) -> Step Response (Referenced Header)

Ord (Step Callback ProcessedPathItems)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Ordering

(<) :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Bool

(<=) :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Bool

(>) :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Bool

(>=) :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Bool

max :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems

min :: Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems -> Step Callback ProcessedPathItems

Ord (Step Header (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.Header

Methods

compare :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Ordering

(<) :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Bool

(<=) :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Bool

(>) :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Bool

(>=) :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Bool

max :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Step Header (Referenced Schema)

min :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Step Header (Referenced Schema)

Ord (Step (OAuth2Flow t) t)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

compare :: Step (OAuth2Flow t) t -> Step (OAuth2Flow t) t -> Ordering

(<) :: Step (OAuth2Flow t) t -> Step (OAuth2Flow t) t -> Bool

(<=) :: Step (OAuth2Flow t) t -> Step (OAuth2Flow t) t -> Bool

(>) :: Step (OAuth2Flow t) t -> Step (OAuth2Flow t) t -> Bool

(>=) :: Step (OAuth2Flow t) t -> Step (OAuth2Flow t) t -> Bool

max :: Step (OAuth2Flow t) t -> Step (OAuth2Flow t) t -> Step (OAuth2Flow t) t

min :: Step (OAuth2Flow t) t -> Step (OAuth2Flow t) t -> Step (OAuth2Flow t) t

Ord (Step OAuth2Flows (OAuth2Flow t))

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

compare :: Step OAuth2Flows (OAuth2Flow t) -> Step OAuth2Flows (OAuth2Flow t) -> Ordering

(<) :: Step OAuth2Flows (OAuth2Flow t) -> Step OAuth2Flows (OAuth2Flow t) -> Bool

(<=) :: Step OAuth2Flows (OAuth2Flow t) -> Step OAuth2Flows (OAuth2Flow t) -> Bool

(>) :: Step OAuth2Flows (OAuth2Flow t) -> Step OAuth2Flows (OAuth2Flow t) -> Bool

(>=) :: Step OAuth2Flows (OAuth2Flow t) -> Step OAuth2Flows (OAuth2Flow t) -> Bool

max :: Step OAuth2Flows (OAuth2Flow t) -> Step OAuth2Flows (OAuth2Flow t) -> Step OAuth2Flows (OAuth2Flow t)

min :: Step OAuth2Flows (OAuth2Flow t) -> Step OAuth2Flows (OAuth2Flow t) -> Step OAuth2Flows (OAuth2Flow t)

Ord (Step SecuritySchemeType OAuth2Flows)

Defined in Data.OpenApi.Compare.Validate.SecurityScheme

Methods

compare :: Step SecuritySchemeType OAuth2Flows -> Step SecuritySchemeType OAuth2Flows -> Ordering

(<) :: Step SecuritySchemeType OAuth2Flows -> Step SecuritySchemeType OAuth2Flows -> Bool

(<=) :: Step SecuritySchemeType OAuth2Flows -> Step SecuritySchemeType OAuth2Flows -> Bool

(>) :: Step SecuritySchemeType OAuth2Flows -> Step SecuritySchemeType OAuth2Flows -> Bool

(>=) :: Step SecuritySchemeType OAuth2Flows -> Step SecuritySchemeType OAuth2Flows -> Bool

max :: Step SecuritySchemeType OAuth2Flows -> Step SecuritySchemeType OAuth2Flows -> Step SecuritySchemeType OAuth2Flows

min :: Step SecuritySchemeType OAuth2Flows -> Step SecuritySchemeType OAuth2Flows -> Step SecuritySchemeType OAuth2Flows

Ord (Step SecurityScheme SecuritySchemeType)

Defined in Data.OpenApi.Compare.Validate.SecurityScheme

Methods

compare :: Step SecurityScheme SecuritySchemeType -> Step SecurityScheme SecuritySchemeType -> Ordering

(<) :: Step SecurityScheme SecuritySchemeType -> Step SecurityScheme SecuritySchemeType -> Bool

(<=) :: Step SecurityScheme SecuritySchemeType -> Step SecurityScheme SecuritySchemeType -> Bool

(>) :: Step SecurityScheme SecuritySchemeType -> Step SecurityScheme SecuritySchemeType -> Bool

(>=) :: Step SecurityScheme SecuritySchemeType -> Step SecurityScheme SecuritySchemeType -> Bool

max :: Step SecurityScheme SecuritySchemeType -> Step SecurityScheme SecuritySchemeType -> Step SecurityScheme SecuritySchemeType

min :: Step SecurityScheme SecuritySchemeType -> Step SecurityScheme SecuritySchemeType -> Step SecurityScheme SecuritySchemeType

Ord (Step (Referenced a) a)

Defined in Data.OpenApi.Compare.References

Methods

compare :: Step (Referenced a) a -> Step (Referenced a) a -> Ordering

(<) :: Step (Referenced a) a -> Step (Referenced a) a -> Bool

(<=) :: Step (Referenced a) a -> Step (Referenced a) a -> Bool

(>) :: Step (Referenced a) a -> Step (Referenced a) a -> Bool

(>=) :: Step (Referenced a) a -> Step (Referenced a) a -> Bool

max :: Step (Referenced a) a -> Step (Referenced a) a -> Step (Referenced a) a

min :: Step (Referenced a) a -> Step (Referenced a) a -> Step (Referenced a) a

Ord (Step (Referenced Schema) (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

compare :: Step (Referenced Schema) (Referenced Schema) -> Step (Referenced Schema) (Referenced Schema) -> Ordering

(<) :: Step (Referenced Schema) (Referenced Schema) -> Step (Referenced Schema) (Referenced Schema) -> Bool

(<=) :: Step (Referenced Schema) (Referenced Schema) -> Step (Referenced Schema) (Referenced Schema) -> Bool

(>) :: Step (Referenced Schema) (Referenced Schema) -> Step (Referenced Schema) (Referenced Schema) -> Bool

(>=) :: Step (Referenced Schema) (Referenced Schema) -> Step (Referenced Schema) (Referenced Schema) -> Bool

max :: Step (Referenced Schema) (Referenced Schema) -> Step (Referenced Schema) (Referenced Schema) -> Step (Referenced Schema) (Referenced Schema)

min :: Step (Referenced Schema) (Referenced Schema) -> Step (Referenced Schema) (Referenced Schema) -> Step (Referenced Schema) (Referenced Schema)

Ord (Step TraceRoot OpenApi)

Defined in Data.OpenApi.Compare.Subtree

Methods

compare :: Step TraceRoot OpenApi -> Step TraceRoot OpenApi -> Ordering

(<) :: Step TraceRoot OpenApi -> Step TraceRoot OpenApi -> Bool

(<=) :: Step TraceRoot OpenApi -> Step TraceRoot OpenApi -> Bool

(>) :: Step TraceRoot OpenApi -> Step TraceRoot OpenApi -> Bool

(>=) :: Step TraceRoot OpenApi -> Step TraceRoot OpenApi -> Bool

max :: Step TraceRoot OpenApi -> Step TraceRoot OpenApi -> Step TraceRoot OpenApi

min :: Step TraceRoot OpenApi -> Step TraceRoot OpenApi -> Step TraceRoot OpenApi

Ord (Step (PathFragment param) Param)

Defined in Data.OpenApi.Compare.Validate.PathFragment

Methods

compare :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Ordering

(<) :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Bool

(<=) :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Bool

(>) :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Bool

(>=) :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Bool

max :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Step (PathFragment param) Param

min :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Step (PathFragment param) Param

Ord (Step MatchedOperation [Server])

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Ordering

(<) :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Bool

(<=) :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Bool

(>) :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Bool

(>=) :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Bool

max :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Step MatchedOperation [Server]

min :: Step MatchedOperation [Server] -> Step MatchedOperation [Server] -> Step MatchedOperation [Server]

Ord (Step MatchedOperation Responses)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Ordering

(<) :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Bool

(<=) :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Bool

(>) :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Bool

(>=) :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Bool

max :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Step MatchedOperation Responses

min :: Step MatchedOperation Responses -> Step MatchedOperation Responses -> Step MatchedOperation Responses

Ord (Step MatchedOperation SecurityRequirement)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Ordering

(<) :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Bool

(<=) :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Bool

(>) :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Bool

(>=) :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Bool

max :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement

min :: Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement -> Step MatchedOperation SecurityRequirement

Ord (Step MatchedOperation (Referenced RequestBody))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Ordering

(<) :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Bool

(<=) :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Bool

(>) :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Bool

(>=) :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Bool

max :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody)

min :: Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody) -> Step MatchedOperation (Referenced RequestBody)

Ord (Step MatchedOperation (Referenced Param))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Ordering

(<) :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Bool

(<=) :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Bool

(>) :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Bool

(>=) :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Bool

max :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param)

min :: Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param) -> Step MatchedOperation (Referenced Param)

Ord (Step MatchedOperation (Referenced Callback))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Ordering

(<) :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Bool

(<=) :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Bool

(>) :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Bool

(>=) :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Bool

max :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback)

min :: Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback) -> Step MatchedOperation (Referenced Callback)

Show k => Show (Step (InsOrdHashMap k v) v)

Defined in Data.OpenApi.Compare.Subtree

Methods

showsPrec :: Int -> Step (InsOrdHashMap k v) v -> ShowS

show :: Step (InsOrdHashMap k v) v -> String

showList :: [Step (InsOrdHashMap k v) v] -> ShowS

Show (Step OpenApi (Definitions RequestBody))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

showsPrec :: Int -> Step OpenApi (Definitions RequestBody) -> ShowS

show :: Step OpenApi (Definitions RequestBody) -> String

showList :: [Step OpenApi (Definitions RequestBody)] -> ShowS

Show (Step OpenApi (Definitions Param))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

showsPrec :: Int -> Step OpenApi (Definitions Param) -> ShowS

show :: Step OpenApi (Definitions Param) -> String

showList :: [Step OpenApi (Definitions Param)] -> ShowS

Show (Step OpenApi (Definitions Link))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

showsPrec :: Int -> Step OpenApi (Definitions Link) -> ShowS

show :: Step OpenApi (Definitions Link) -> String

showList :: [Step OpenApi (Definitions Link)] -> ShowS

Show (Step OpenApi (Definitions Schema))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

showsPrec :: Int -> Step OpenApi (Definitions Schema) -> ShowS

show :: Step OpenApi (Definitions Schema) -> String

showList :: [Step OpenApi (Definitions Schema)] -> ShowS

Show (Step OpenApi (Definitions Response))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

showsPrec :: Int -> Step OpenApi (Definitions Response) -> ShowS

show :: Step OpenApi (Definitions Response) -> String

showList :: [Step OpenApi (Definitions Response)] -> ShowS

Show (Step OpenApi (Definitions Callback))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

showsPrec :: Int -> Step OpenApi (Definitions Callback) -> ShowS

show :: Step OpenApi (Definitions Callback) -> String

showList :: [Step OpenApi (Definitions Callback)] -> ShowS

Show (Step OpenApi (Definitions Header))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

showsPrec :: Int -> Step OpenApi (Definitions Header) -> ShowS

show :: Step OpenApi (Definitions Header) -> String

showList :: [Step OpenApi (Definitions Header)] -> ShowS

Show (Step OpenApi (Definitions SecurityScheme))

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

showsPrec :: Int -> Step OpenApi (Definitions SecurityScheme) -> ShowS

show :: Step OpenApi (Definitions SecurityScheme) -> String

showList :: [Step OpenApi (Definitions SecurityScheme)] -> ShowS

Show (Step OpenApi ProcessedPathItems)

Defined in Data.OpenApi.Compare.Validate.OpenApi

Methods

showsPrec :: Int -> Step OpenApi ProcessedPathItems -> ShowS

show :: Step OpenApi ProcessedPathItems -> String

showList :: [Step OpenApi ProcessedPathItems] -> ShowS

Show (Step RequestBody (InsOrdHashMap MediaType MediaTypeObject))

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

showsPrec :: Int -> Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> ShowS

show :: Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) -> String

showList :: [Step RequestBody (InsOrdHashMap MediaType MediaTypeObject)] -> ShowS

Show (Step RequestBody MediaTypeObject)

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

showsPrec :: Int -> Step RequestBody MediaTypeObject -> ShowS

show :: Step RequestBody MediaTypeObject -> String

showList :: [Step RequestBody MediaTypeObject] -> ShowS

Show (Step MediaTypeObject (Definitions Encoding))

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

showsPrec :: Int -> Step MediaTypeObject (Definitions Encoding) -> ShowS

show :: Step MediaTypeObject (Definitions Encoding) -> String

showList :: [Step MediaTypeObject (Definitions Encoding)] -> ShowS

Show (Step MediaTypeObject Encoding)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

showsPrec :: Int -> Step MediaTypeObject Encoding -> ShowS

show :: Step MediaTypeObject Encoding -> String

showList :: [Step MediaTypeObject Encoding] -> ShowS

Show (Step MediaTypeObject (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

showsPrec :: Int -> Step MediaTypeObject (Referenced Schema) -> ShowS

show :: Step MediaTypeObject (Referenced Schema) -> String

showList :: [Step MediaTypeObject (Referenced Schema)] -> ShowS

Show (Step Encoding (Definitions (Referenced Header)))

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

showsPrec :: Int -> Step Encoding (Definitions (Referenced Header)) -> ShowS

show :: Step Encoding (Definitions (Referenced Header)) -> String

showList :: [Step Encoding (Definitions (Referenced Header))] -> ShowS

Show (Step Param (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.Param

Methods

showsPrec :: Int -> Step Param (Referenced Schema) -> ShowS

show :: Step Param (Referenced Schema) -> String

showList :: [Step Param (Referenced Schema)] -> ShowS

Show (Step Schema (Definitions (Referenced Schema)))

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

showsPrec :: Int -> Step Schema (Definitions (Referenced Schema)) -> ShowS

show :: Step Schema (Definitions (Referenced Schema)) -> String

showList :: [Step Schema (Definitions (Referenced Schema))] -> ShowS

Show (Step Schema Discriminator)

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

showsPrec :: Int -> Step Schema Discriminator -> ShowS

show :: Step Schema Discriminator -> String

showList :: [Step Schema Discriminator] -> ShowS

Show (Step Schema (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

showsPrec :: Int -> Step Schema (Referenced Schema) -> ShowS

show :: Step Schema (Referenced Schema) -> String

showList :: [Step Schema (Referenced Schema)] -> ShowS

Show (Step Discriminator (Definitions (Referenced Schema)))

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

showsPrec :: Int -> Step Discriminator (Definitions (Referenced Schema)) -> ShowS

show :: Step Discriminator (Definitions (Referenced Schema)) -> String

showList :: [Step Discriminator (Definitions (Referenced Schema))] -> ShowS

Show (Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

showsPrec :: Int -> Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> ShowS

show :: Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) -> String

showList :: [Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response))] -> ShowS

Show (Step Responses (Referenced Response))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

showsPrec :: Int -> Step Responses (Referenced Response) -> ShowS

show :: Step Responses (Referenced Response) -> String

showList :: [Step Responses (Referenced Response)] -> ShowS

Show (Step Response (InsOrdHashMap MediaType MediaTypeObject))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

showsPrec :: Int -> Step Response (InsOrdHashMap MediaType MediaTypeObject) -> ShowS

show :: Step Response (InsOrdHashMap MediaType MediaTypeObject) -> String

showList :: [Step Response (InsOrdHashMap MediaType MediaTypeObject)] -> ShowS

Show (Step Response (Definitions (Referenced Link)))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

showsPrec :: Int -> Step Response (Definitions (Referenced Link)) -> ShowS

show :: Step Response (Definitions (Referenced Link)) -> String

showList :: [Step Response (Definitions (Referenced Link))] -> ShowS

Show (Step Response (Definitions (Referenced Header)))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

showsPrec :: Int -> Step Response (Definitions (Referenced Header)) -> ShowS

show :: Step Response (Definitions (Referenced Header)) -> String

showList :: [Step Response (Definitions (Referenced Header))] -> ShowS

Show (Step Response MediaTypeObject)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

showsPrec :: Int -> Step Response MediaTypeObject -> ShowS

show :: Step Response MediaTypeObject -> String

showList :: [Step Response MediaTypeObject] -> ShowS

Show (Step Response (Referenced Header))

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

showsPrec :: Int -> Step Response (Referenced Header) -> ShowS

show :: Step Response (Referenced Header) -> String

showList :: [Step Response (Referenced Header)] -> ShowS

Show (Step Callback ProcessedPathItems)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Step Callback ProcessedPathItems -> ShowS

show :: Step Callback ProcessedPathItems -> String

showList :: [Step Callback ProcessedPathItems] -> ShowS

Show (Step Header (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.Header

Methods

showsPrec :: Int -> Step Header (Referenced Schema) -> ShowS

show :: Step Header (Referenced Schema) -> String

showList :: [Step Header (Referenced Schema)] -> ShowS

Show (Step (OAuth2Flow t) t)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

showsPrec :: Int -> Step (OAuth2Flow t) t -> ShowS

show :: Step (OAuth2Flow t) t -> String

showList :: [Step (OAuth2Flow t) t] -> ShowS

Show (Step OAuth2Flows (OAuth2Flow t))

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

showsPrec :: Int -> Step OAuth2Flows (OAuth2Flow t) -> ShowS

show :: Step OAuth2Flows (OAuth2Flow t) -> String

showList :: [Step OAuth2Flows (OAuth2Flow t)] -> ShowS

Show (Step SecuritySchemeType OAuth2Flows)

Defined in Data.OpenApi.Compare.Validate.SecurityScheme

Methods

showsPrec :: Int -> Step SecuritySchemeType OAuth2Flows -> ShowS

show :: Step SecuritySchemeType OAuth2Flows -> String

showList :: [Step SecuritySchemeType OAuth2Flows] -> ShowS

Show (Step SecurityScheme SecuritySchemeType)

Defined in Data.OpenApi.Compare.Validate.SecurityScheme

Methods

showsPrec :: Int -> Step SecurityScheme SecuritySchemeType -> ShowS

show :: Step SecurityScheme SecuritySchemeType -> String

showList :: [Step SecurityScheme SecuritySchemeType] -> ShowS

Show (Step (Referenced a) a)

Defined in Data.OpenApi.Compare.References

Methods

showsPrec :: Int -> Step (Referenced a) a -> ShowS

show :: Step (Referenced a) a -> String

showList :: [Step (Referenced a) a] -> ShowS

Show (Step (Referenced Schema) (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

Methods

showsPrec :: Int -> Step (Referenced Schema) (Referenced Schema) -> ShowS

show :: Step (Referenced Schema) (Referenced Schema) -> String

showList :: [Step (Referenced Schema) (Referenced Schema)] -> ShowS

Show (Step TraceRoot OpenApi)

Defined in Data.OpenApi.Compare.Subtree

Methods

showsPrec :: Int -> Step TraceRoot OpenApi -> ShowS

show :: Step TraceRoot OpenApi -> String

showList :: [Step TraceRoot OpenApi] -> ShowS

Show (Step (PathFragment param) Param)

Defined in Data.OpenApi.Compare.Validate.PathFragment

Methods

showsPrec :: Int -> Step (PathFragment param) Param -> ShowS

show :: Step (PathFragment param) Param -> String

showList :: [Step (PathFragment param) Param] -> ShowS

Show (Step MatchedOperation [Server])

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Step MatchedOperation [Server] -> ShowS

show :: Step MatchedOperation [Server] -> String

showList :: [Step MatchedOperation [Server]] -> ShowS

Show (Step MatchedOperation Responses)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Step MatchedOperation Responses -> ShowS

show :: Step MatchedOperation Responses -> String

showList :: [Step MatchedOperation Responses] -> ShowS

Show (Step MatchedOperation SecurityRequirement)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Step MatchedOperation SecurityRequirement -> ShowS

show :: Step MatchedOperation SecurityRequirement -> String

showList :: [Step MatchedOperation SecurityRequirement] -> ShowS

Show (Step MatchedOperation (Referenced RequestBody))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Step MatchedOperation (Referenced RequestBody) -> ShowS

show :: Step MatchedOperation (Referenced RequestBody) -> String

showList :: [Step MatchedOperation (Referenced RequestBody)] -> ShowS

Show (Step MatchedOperation (Referenced Param))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Step MatchedOperation (Referenced Param) -> ShowS

show :: Step MatchedOperation (Referenced Param) -> String

showList :: [Step MatchedOperation (Referenced Param)] -> ShowS

Show (Step MatchedOperation (Referenced Callback))

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Step MatchedOperation (Referenced Callback) -> ShowS

show :: Step MatchedOperation (Referenced Callback) -> String

showList :: [Step MatchedOperation (Referenced Callback)] -> ShowS

type CheckEnv PathFragmentParam

Defined in Data.OpenApi.Compare.Validate.PathFragment

type CheckEnv PathFragmentParam = '[ProdCons (Traced (Definitions Schema))]

type SubtreeLevel PathFragmentParam

Defined in Data.OpenApi.Compare.Validate.PathFragment

type SubtreeLevel PathFragmentParam = 'PathFragmentLevel

data Step OpenApi ProcessedPathItems

Defined in Data.OpenApi.Compare.Validate.OpenApi

data Step OpenApi ProcessedPathItems = OpenApiPathsStep

data Step RequestBody MediaTypeObject

Defined in Data.OpenApi.Compare.Validate.RequestBody

data Step RequestBody MediaTypeObject = RequestMediaTypeObject MediaType

data Step MediaTypeObject Encoding

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

data Step MediaTypeObject Encoding = MediaTypeParamEncoding Text

data Step Schema Discriminator

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

data Step Schema Discriminator = DiscriminatorStep

data Step Response MediaTypeObject

Defined in Data.OpenApi.Compare.Validate.Responses

data Step Response MediaTypeObject = ResponseMediaObject MediaType

data Step Callback ProcessedPathItems

Defined in Data.OpenApi.Compare.Validate.Operation

data Step Callback ProcessedPathItems = CallbackPathsStep

data Step SecuritySchemeType OAuth2Flows

Defined in Data.OpenApi.Compare.Validate.SecurityScheme

data Step SecuritySchemeType OAuth2Flows = SecurityOAuthFlowsStep

data Step SecurityScheme SecuritySchemeType

Defined in Data.OpenApi.Compare.Validate.SecurityScheme

data Step SecurityScheme SecuritySchemeType = SecuritySchemeTypeStep

data Step TraceRoot OpenApi

Defined in Data.OpenApi.Compare.Subtree

data Step TraceRoot OpenApi

• = ClientSchema
• | ServerSchema

data Step MatchedOperation Responses

Defined in Data.OpenApi.Compare.Validate.Operation

data Step MatchedOperation Responses = OperationResponsesStep

data Step MatchedOperation SecurityRequirement

Defined in Data.OpenApi.Compare.Validate.Operation

data Step MatchedOperation SecurityRequirement = OperationSecurityRequirementStep Int

type AdditionalQuiverConstraints Step (_1 :: Type) (_2 :: Type)

Defined in Data.OpenApi.Compare.Subtree

type AdditionalQuiverConstraints Step (_1 :: Type) (_2 :: Type) = ()

data Step OpenApi (Definitions RequestBody)

Defined in Data.OpenApi.Compare.Validate.OpenApi

data Step OpenApi (Definitions RequestBody) = ComponentsRequestBody

data Step OpenApi (Definitions Param)

Defined in Data.OpenApi.Compare.Validate.OpenApi

data Step OpenApi (Definitions Param) = ComponentsParam

data Step OpenApi (Definitions Link)

Defined in Data.OpenApi.Compare.Validate.OpenApi

data Step OpenApi (Definitions Link) = ComponentsLink

data Step OpenApi (Definitions Schema)

Defined in Data.OpenApi.Compare.Validate.OpenApi

data Step OpenApi (Definitions Schema) = ComponentsSchema

data Step OpenApi (Definitions Response)

Defined in Data.OpenApi.Compare.Validate.OpenApi

data Step OpenApi (Definitions Response) = ComponentsResponse

data Step OpenApi (Definitions Callback)

Defined in Data.OpenApi.Compare.Validate.OpenApi

data Step OpenApi (Definitions Callback) = ComponentsCallbacks

data Step OpenApi (Definitions Header)

Defined in Data.OpenApi.Compare.Validate.OpenApi

data Step OpenApi (Definitions Header) = ComponentsHeader

data Step OpenApi (Definitions SecurityScheme)

Defined in Data.OpenApi.Compare.Validate.OpenApi

data Step OpenApi (Definitions SecurityScheme) = ComponentsSecurityScheme

data Step MediaTypeObject (Definitions Encoding)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

data Step MediaTypeObject (Definitions Encoding) = MediaTypeEncodingMapping

data Step MediaTypeObject (Referenced Schema)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

data Step MediaTypeObject (Referenced Schema) = MediaTypeSchema

data Step Encoding (Definitions (Referenced Header))

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

data Step Encoding (Definitions (Referenced Header)) = EncodingHeaderStep

data Step Param (Referenced Schema)

Defined in Data.OpenApi.Compare.Validate.Param

data Step Param (Referenced Schema) = ParamSchema

data Step Schema (Definitions (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

data Step Schema (Definitions (Referenced Schema)) = PropertiesStep

data Step Schema (Referenced Schema)

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

data Step Schema (Referenced Schema)

• = AllOfStep Int
• | OneOfStep Int
• | AnyOfStep Int
• | ItemsObjectStep
• | ItemsArrayStep Int
• | AdditionalPropertiesStep
• | NotStep
• | ImplicitTopSchema

data Step Discriminator (Definitions (Referenced Schema))

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

data Step Discriminator (Definitions (Referenced Schema)) = DiscriminatorMapping

data Step Responses (Referenced Response)

Defined in Data.OpenApi.Compare.Validate.Responses

data Step Responses (Referenced Response)

• = ResponseCodeStep HttpStatusCode
• | ResponseDefaultStep

data Step Response (Definitions (Referenced Link))

Defined in Data.OpenApi.Compare.Validate.Responses

data Step Response (Definitions (Referenced Link)) = ResponseLinks

data Step Response (Definitions (Referenced Header))

Defined in Data.OpenApi.Compare.Validate.Responses

data Step Response (Definitions (Referenced Header)) = ResponseHeaders

data Step Response (Referenced Header)

Defined in Data.OpenApi.Compare.Validate.Responses

data Step Response (Referenced Header) = ResponseHeader HeaderName

data Step Header (Referenced Schema)

Defined in Data.OpenApi.Compare.Validate.Header

data Step Header (Referenced Schema) = HeaderSchema

data Step OAuth2Flows (OAuth2Flow t)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

data Step OAuth2Flows (OAuth2Flow t) = OAuth2FlowsFlow (Proxy t)

data Step MatchedOperation [Server]

Defined in Data.OpenApi.Compare.Validate.Operation

data Step MatchedOperation [Server]

• = OperationServersStep
• | EnvServerStep

data Step MatchedOperation (Referenced RequestBody)

Defined in Data.OpenApi.Compare.Validate.Operation

data Step MatchedOperation (Referenced RequestBody) = OperationRequestBodyStep

data Step MatchedOperation (Referenced Param)

Defined in Data.OpenApi.Compare.Validate.Operation

data Step MatchedOperation (Referenced Param) = OperationParamsStep Int

data Step MatchedOperation (Referenced Callback)

Defined in Data.OpenApi.Compare.Validate.Operation

data Step MatchedOperation (Referenced Callback) = OperationCallbackStep Text

data Step RequestBody (InsOrdHashMap MediaType MediaTypeObject)

Defined in Data.OpenApi.Compare.Validate.RequestBody

data Step RequestBody (InsOrdHashMap MediaType MediaTypeObject) = RequestMediaTypeObjectMapping

data Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response))

Defined in Data.OpenApi.Compare.Validate.Responses

data Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) = ResponsesStep

data Step Response (InsOrdHashMap MediaType MediaTypeObject)

Defined in Data.OpenApi.Compare.Validate.Responses

data Step Response (InsOrdHashMap MediaType MediaTypeObject) = ResponseMediaObjects

data Step (OAuth2Flow t) t

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

data Step (OAuth2Flow t) t = OAuth2FlowParamsStep (Proxy t)

data Step (Referenced a) a

Defined in Data.OpenApi.Compare.References

data Step (Referenced a) a = InlineStep

data Step (PathFragment param) Param

Defined in Data.OpenApi.Compare.Validate.PathFragment

data Step (PathFragment param) Param = StaticPathParam Text

data Step (Referenced Schema) (Referenced Schema)

Defined in Data.OpenApi.Compare.Validate.Schema.Traced

data Step (Referenced Schema) (Referenced Schema)

• = ConjunctedWith (NonEmpty (Trace (Referenced Schema)))
• | Partitioned Partition

data Step (InsOrdHashMap k v) v

Defined in Data.OpenApi.Compare.Subtree

data Step (InsOrdHashMap k v) v = InsOrdHashMapKeyStep k

data family Behave a b

Instances

Eq (Behave 'APILevel 'PathLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Bool

(/=) :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Bool

Eq (Behave 'SecurityRequirementLevel 'SecuritySchemeLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

(==) :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Bool

(/=) :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Bool

Eq (Behave 'PathLevel 'OperationLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Bool

(/=) :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Bool

Eq (Behave 'OperationLevel 'ServerLevel)

Defined in Data.OpenApi.Compare.Validate.Server

Methods

(==) :: Behave 'OperationLevel 'ServerLevel -> Behave 'OperationLevel 'ServerLevel -> Bool

(/=) :: Behave 'OperationLevel 'ServerLevel -> Behave 'OperationLevel 'ServerLevel -> Bool

Eq (Behave 'OperationLevel 'SecurityRequirementLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Bool

(/=) :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Bool

Eq (Behave 'OperationLevel 'PathFragmentLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Bool

(/=) :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Bool

Eq (Behave 'OperationLevel 'RequestLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Bool

(/=) :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Bool

Eq (Behave 'OperationLevel 'ResponseLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

(==) :: Behave 'OperationLevel 'ResponseLevel -> Behave 'OperationLevel 'ResponseLevel -> Bool

(/=) :: Behave 'OperationLevel 'ResponseLevel -> Behave 'OperationLevel 'ResponseLevel -> Bool

Eq (Behave 'OperationLevel 'CallbackLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Bool

(/=) :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Bool

Eq (Behave 'PathFragmentLevel 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Param

Methods

(==) :: Behave 'PathFragmentLevel 'SchemaLevel -> Behave 'PathFragmentLevel 'SchemaLevel -> Bool

(/=) :: Behave 'PathFragmentLevel 'SchemaLevel -> Behave 'PathFragmentLevel 'SchemaLevel -> Bool

Eq (Behave 'RequestLevel 'PayloadLevel)

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

(==) :: Behave 'RequestLevel 'PayloadLevel -> Behave 'RequestLevel 'PayloadLevel -> Bool

(/=) :: Behave 'RequestLevel 'PayloadLevel -> Behave 'RequestLevel 'PayloadLevel -> Bool

Eq (Behave 'ResponseLevel 'HeaderLevel)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

(==) :: Behave 'ResponseLevel 'HeaderLevel -> Behave 'ResponseLevel 'HeaderLevel -> Bool

(/=) :: Behave 'ResponseLevel 'HeaderLevel -> Behave 'ResponseLevel 'HeaderLevel -> Bool

Eq (Behave 'ResponseLevel 'PayloadLevel)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

(==) :: Behave 'ResponseLevel 'PayloadLevel -> Behave 'ResponseLevel 'PayloadLevel -> Bool

(/=) :: Behave 'ResponseLevel 'PayloadLevel -> Behave 'ResponseLevel 'PayloadLevel -> Bool

Eq (Behave 'HeaderLevel 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Header

Methods

(==) :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Bool

(/=) :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Bool

Eq (Behave 'PayloadLevel 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

(==) :: Behave 'PayloadLevel 'SchemaLevel -> Behave 'PayloadLevel 'SchemaLevel -> Bool

(/=) :: Behave 'PayloadLevel 'SchemaLevel -> Behave 'PayloadLevel 'SchemaLevel -> Bool

Eq (Behave 'SchemaLevel 'TypedSchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

(==) :: Behave 'SchemaLevel 'TypedSchemaLevel -> Behave 'SchemaLevel 'TypedSchemaLevel -> Bool

(/=) :: Behave 'SchemaLevel 'TypedSchemaLevel -> Behave 'SchemaLevel 'TypedSchemaLevel -> Bool

Eq (Behave 'TypedSchemaLevel 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

(==) :: Behave 'TypedSchemaLevel 'SchemaLevel -> Behave 'TypedSchemaLevel 'SchemaLevel -> Bool

(/=) :: Behave 'TypedSchemaLevel 'SchemaLevel -> Behave 'TypedSchemaLevel 'SchemaLevel -> Bool

Eq (Behave 'TypedSchemaLevel 'TypedSchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

(==) :: Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Bool

(/=) :: Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Bool

Ord (Behave 'APILevel 'PathLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Ordering

(<) :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Bool

(<=) :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Bool

(>) :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Bool

(>=) :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Bool

max :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel

min :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel

Ord (Behave 'SecurityRequirementLevel 'SecuritySchemeLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

compare :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Ordering

(<) :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Bool

(<=) :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Bool

(>) :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Bool

(>=) :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Bool

max :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel

min :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel

Ord (Behave 'PathLevel 'OperationLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Ordering

(<) :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Bool

(<=) :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Bool

(>) :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Bool

(>=) :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Bool

max :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel

min :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel

Ord (Behave 'OperationLevel 'ServerLevel)

Defined in Data.OpenApi.Compare.Validate.Server

Methods

compare :: Behave 'OperationLevel 'ServerLevel -> Behave 'OperationLevel 'ServerLevel -> Ordering

(<) :: Behave 'OperationLevel 'ServerLevel -> Behave 'OperationLevel 'ServerLevel -> Bool

(<=) :: Behave 'OperationLevel 'ServerLevel -> Behave 'OperationLevel 'ServerLevel -> Bool

(>) :: Behave 'OperationLevel 'ServerLevel -> Behave 'OperationLevel 'ServerLevel -> Bool

(>=) :: Behave 'OperationLevel 'ServerLevel -> Behave 'OperationLevel 'ServerLevel -> Bool

max :: Behave 'OperationLevel 'ServerLevel -> Behave 'OperationLevel 'ServerLevel -> Behave 'OperationLevel 'ServerLevel

min :: Behave 'OperationLevel 'ServerLevel -> Behave 'OperationLevel 'ServerLevel -> Behave 'OperationLevel 'ServerLevel

Ord (Behave 'OperationLevel 'SecurityRequirementLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Ordering

(<) :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Bool

(<=) :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Bool

(>) :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Bool

(>=) :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Bool

max :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel

min :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel

Ord (Behave 'OperationLevel 'PathFragmentLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Ordering

(<) :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Bool

(<=) :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Bool

(>) :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Bool

(>=) :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Bool

max :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel

min :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel

Ord (Behave 'OperationLevel 'RequestLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Ordering

(<) :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Bool

(<=) :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Bool

(>) :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Bool

(>=) :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Bool

max :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel

min :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel

Ord (Behave 'OperationLevel 'ResponseLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

compare :: Behave 'OperationLevel 'ResponseLevel -> Behave 'OperationLevel 'ResponseLevel -> Ordering

(<) :: Behave 'OperationLevel 'ResponseLevel -> Behave 'OperationLevel 'ResponseLevel -> Bool

(<=) :: Behave 'OperationLevel 'ResponseLevel -> Behave 'OperationLevel 'ResponseLevel -> Bool

(>) :: Behave 'OperationLevel 'ResponseLevel -> Behave 'OperationLevel 'ResponseLevel -> Bool

(>=) :: Behave 'OperationLevel 'ResponseLevel -> Behave 'OperationLevel 'ResponseLevel -> Bool

max :: Behave 'OperationLevel 'ResponseLevel -> Behave 'OperationLevel 'ResponseLevel -> Behave 'OperationLevel 'ResponseLevel

min :: Behave 'OperationLevel 'ResponseLevel -> Behave 'OperationLevel 'ResponseLevel -> Behave 'OperationLevel 'ResponseLevel

Ord (Behave 'OperationLevel 'CallbackLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Ordering

(<) :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Bool

(<=) :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Bool

(>) :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Bool

(>=) :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Bool

max :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel

min :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel

Ord (Behave 'PathFragmentLevel 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Param

Methods

compare :: Behave 'PathFragmentLevel 'SchemaLevel -> Behave 'PathFragmentLevel 'SchemaLevel -> Ordering

(<) :: Behave 'PathFragmentLevel 'SchemaLevel -> Behave 'PathFragmentLevel 'SchemaLevel -> Bool

(<=) :: Behave 'PathFragmentLevel 'SchemaLevel -> Behave 'PathFragmentLevel 'SchemaLevel -> Bool

(>) :: Behave 'PathFragmentLevel 'SchemaLevel -> Behave 'PathFragmentLevel 'SchemaLevel -> Bool

(>=) :: Behave 'PathFragmentLevel 'SchemaLevel -> Behave 'PathFragmentLevel 'SchemaLevel -> Bool

max :: Behave 'PathFragmentLevel 'SchemaLevel -> Behave 'PathFragmentLevel 'SchemaLevel -> Behave 'PathFragmentLevel 'SchemaLevel

min :: Behave 'PathFragmentLevel 'SchemaLevel -> Behave 'PathFragmentLevel 'SchemaLevel -> Behave 'PathFragmentLevel 'SchemaLevel

Ord (Behave 'RequestLevel 'PayloadLevel)

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

compare :: Behave 'RequestLevel 'PayloadLevel -> Behave 'RequestLevel 'PayloadLevel -> Ordering

(<) :: Behave 'RequestLevel 'PayloadLevel -> Behave 'RequestLevel 'PayloadLevel -> Bool

(<=) :: Behave 'RequestLevel 'PayloadLevel -> Behave 'RequestLevel 'PayloadLevel -> Bool

(>) :: Behave 'RequestLevel 'PayloadLevel -> Behave 'RequestLevel 'PayloadLevel -> Bool

(>=) :: Behave 'RequestLevel 'PayloadLevel -> Behave 'RequestLevel 'PayloadLevel -> Bool

max :: Behave 'RequestLevel 'PayloadLevel -> Behave 'RequestLevel 'PayloadLevel -> Behave 'RequestLevel 'PayloadLevel

min :: Behave 'RequestLevel 'PayloadLevel -> Behave 'RequestLevel 'PayloadLevel -> Behave 'RequestLevel 'PayloadLevel

Ord (Behave 'ResponseLevel 'HeaderLevel)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

compare :: Behave 'ResponseLevel 'HeaderLevel -> Behave 'ResponseLevel 'HeaderLevel -> Ordering

(<) :: Behave 'ResponseLevel 'HeaderLevel -> Behave 'ResponseLevel 'HeaderLevel -> Bool

(<=) :: Behave 'ResponseLevel 'HeaderLevel -> Behave 'ResponseLevel 'HeaderLevel -> Bool

(>) :: Behave 'ResponseLevel 'HeaderLevel -> Behave 'ResponseLevel 'HeaderLevel -> Bool

(>=) :: Behave 'ResponseLevel 'HeaderLevel -> Behave 'ResponseLevel 'HeaderLevel -> Bool

max :: Behave 'ResponseLevel 'HeaderLevel -> Behave 'ResponseLevel 'HeaderLevel -> Behave 'ResponseLevel 'HeaderLevel

min :: Behave 'ResponseLevel 'HeaderLevel -> Behave 'ResponseLevel 'HeaderLevel -> Behave 'ResponseLevel 'HeaderLevel

Ord (Behave 'ResponseLevel 'PayloadLevel)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

compare :: Behave 'ResponseLevel 'PayloadLevel -> Behave 'ResponseLevel 'PayloadLevel -> Ordering

(<) :: Behave 'ResponseLevel 'PayloadLevel -> Behave 'ResponseLevel 'PayloadLevel -> Bool

(<=) :: Behave 'ResponseLevel 'PayloadLevel -> Behave 'ResponseLevel 'PayloadLevel -> Bool

(>) :: Behave 'ResponseLevel 'PayloadLevel -> Behave 'ResponseLevel 'PayloadLevel -> Bool

(>=) :: Behave 'ResponseLevel 'PayloadLevel -> Behave 'ResponseLevel 'PayloadLevel -> Bool

max :: Behave 'ResponseLevel 'PayloadLevel -> Behave 'ResponseLevel 'PayloadLevel -> Behave 'ResponseLevel 'PayloadLevel

min :: Behave 'ResponseLevel 'PayloadLevel -> Behave 'ResponseLevel 'PayloadLevel -> Behave 'ResponseLevel 'PayloadLevel

Ord (Behave 'HeaderLevel 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Header

Methods

compare :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Ordering

(<) :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Bool

(<=) :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Bool

(>) :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Bool

(>=) :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Bool

max :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel

min :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel

Ord (Behave 'PayloadLevel 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

compare :: Behave 'PayloadLevel 'SchemaLevel -> Behave 'PayloadLevel 'SchemaLevel -> Ordering

(<) :: Behave 'PayloadLevel 'SchemaLevel -> Behave 'PayloadLevel 'SchemaLevel -> Bool

(<=) :: Behave 'PayloadLevel 'SchemaLevel -> Behave 'PayloadLevel 'SchemaLevel -> Bool

(>) :: Behave 'PayloadLevel 'SchemaLevel -> Behave 'PayloadLevel 'SchemaLevel -> Bool

(>=) :: Behave 'PayloadLevel 'SchemaLevel -> Behave 'PayloadLevel 'SchemaLevel -> Bool

max :: Behave 'PayloadLevel 'SchemaLevel -> Behave 'PayloadLevel 'SchemaLevel -> Behave 'PayloadLevel 'SchemaLevel

min :: Behave 'PayloadLevel 'SchemaLevel -> Behave 'PayloadLevel 'SchemaLevel -> Behave 'PayloadLevel 'SchemaLevel

Ord (Behave 'SchemaLevel 'TypedSchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

compare :: Behave 'SchemaLevel 'TypedSchemaLevel -> Behave 'SchemaLevel 'TypedSchemaLevel -> Ordering

(<) :: Behave 'SchemaLevel 'TypedSchemaLevel -> Behave 'SchemaLevel 'TypedSchemaLevel -> Bool

(<=) :: Behave 'SchemaLevel 'TypedSchemaLevel -> Behave 'SchemaLevel 'TypedSchemaLevel -> Bool

(>) :: Behave 'SchemaLevel 'TypedSchemaLevel -> Behave 'SchemaLevel 'TypedSchemaLevel -> Bool

(>=) :: Behave 'SchemaLevel 'TypedSchemaLevel -> Behave 'SchemaLevel 'TypedSchemaLevel -> Bool

max :: Behave 'SchemaLevel 'TypedSchemaLevel -> Behave 'SchemaLevel 'TypedSchemaLevel -> Behave 'SchemaLevel 'TypedSchemaLevel

min :: Behave 'SchemaLevel 'TypedSchemaLevel -> Behave 'SchemaLevel 'TypedSchemaLevel -> Behave 'SchemaLevel 'TypedSchemaLevel

Ord (Behave 'TypedSchemaLevel 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

compare :: Behave 'TypedSchemaLevel 'SchemaLevel -> Behave 'TypedSchemaLevel 'SchemaLevel -> Ordering

(<) :: Behave 'TypedSchemaLevel 'SchemaLevel -> Behave 'TypedSchemaLevel 'SchemaLevel -> Bool

(<=) :: Behave 'TypedSchemaLevel 'SchemaLevel -> Behave 'TypedSchemaLevel 'SchemaLevel -> Bool

(>) :: Behave 'TypedSchemaLevel 'SchemaLevel -> Behave 'TypedSchemaLevel 'SchemaLevel -> Bool

(>=) :: Behave 'TypedSchemaLevel 'SchemaLevel -> Behave 'TypedSchemaLevel 'SchemaLevel -> Bool

max :: Behave 'TypedSchemaLevel 'SchemaLevel -> Behave 'TypedSchemaLevel 'SchemaLevel -> Behave 'TypedSchemaLevel 'SchemaLevel

min :: Behave 'TypedSchemaLevel 'SchemaLevel -> Behave 'TypedSchemaLevel 'SchemaLevel -> Behave 'TypedSchemaLevel 'SchemaLevel

Ord (Behave 'TypedSchemaLevel 'TypedSchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

compare :: Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Ordering

(<) :: Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Bool

(<=) :: Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Bool

(>) :: Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Bool

(>=) :: Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Bool

max :: Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Behave 'TypedSchemaLevel 'TypedSchemaLevel

min :: Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Behave 'TypedSchemaLevel 'TypedSchemaLevel

Show (Behave 'APILevel 'PathLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Behave 'APILevel 'PathLevel -> ShowS

show :: Behave 'APILevel 'PathLevel -> String

showList :: [Behave 'APILevel 'PathLevel] -> ShowS

Show (Behave 'SecurityRequirementLevel 'SecuritySchemeLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

showsPrec :: Int -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> ShowS

show :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> String

showList :: [Behave 'SecurityRequirementLevel 'SecuritySchemeLevel] -> ShowS

Show (Behave 'PathLevel 'OperationLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Behave 'PathLevel 'OperationLevel -> ShowS

show :: Behave 'PathLevel 'OperationLevel -> String

showList :: [Behave 'PathLevel 'OperationLevel] -> ShowS

Show (Behave 'OperationLevel 'ServerLevel)

Defined in Data.OpenApi.Compare.Validate.Server

Methods

showsPrec :: Int -> Behave 'OperationLevel 'ServerLevel -> ShowS

show :: Behave 'OperationLevel 'ServerLevel -> String

showList :: [Behave 'OperationLevel 'ServerLevel] -> ShowS

Show (Behave 'OperationLevel 'SecurityRequirementLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Behave 'OperationLevel 'SecurityRequirementLevel -> ShowS

show :: Behave 'OperationLevel 'SecurityRequirementLevel -> String

showList :: [Behave 'OperationLevel 'SecurityRequirementLevel] -> ShowS

Show (Behave 'OperationLevel 'PathFragmentLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Behave 'OperationLevel 'PathFragmentLevel -> ShowS

show :: Behave 'OperationLevel 'PathFragmentLevel -> String

showList :: [Behave 'OperationLevel 'PathFragmentLevel] -> ShowS

Show (Behave 'OperationLevel 'RequestLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Behave 'OperationLevel 'RequestLevel -> ShowS

show :: Behave 'OperationLevel 'RequestLevel -> String

showList :: [Behave 'OperationLevel 'RequestLevel] -> ShowS

Show (Behave 'OperationLevel 'ResponseLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

showsPrec :: Int -> Behave 'OperationLevel 'ResponseLevel -> ShowS

show :: Behave 'OperationLevel 'ResponseLevel -> String

showList :: [Behave 'OperationLevel 'ResponseLevel] -> ShowS

Show (Behave 'OperationLevel 'CallbackLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Behave 'OperationLevel 'CallbackLevel -> ShowS

show :: Behave 'OperationLevel 'CallbackLevel -> String

showList :: [Behave 'OperationLevel 'CallbackLevel] -> ShowS

Show (Behave 'PathFragmentLevel 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Param

Methods

showsPrec :: Int -> Behave 'PathFragmentLevel 'SchemaLevel -> ShowS

show :: Behave 'PathFragmentLevel 'SchemaLevel -> String

showList :: [Behave 'PathFragmentLevel 'SchemaLevel] -> ShowS

Show (Behave 'RequestLevel 'PayloadLevel)

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

showsPrec :: Int -> Behave 'RequestLevel 'PayloadLevel -> ShowS

show :: Behave 'RequestLevel 'PayloadLevel -> String

showList :: [Behave 'RequestLevel 'PayloadLevel] -> ShowS

Show (Behave 'ResponseLevel 'HeaderLevel)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

showsPrec :: Int -> Behave 'ResponseLevel 'HeaderLevel -> ShowS

show :: Behave 'ResponseLevel 'HeaderLevel -> String

showList :: [Behave 'ResponseLevel 'HeaderLevel] -> ShowS

Show (Behave 'ResponseLevel 'PayloadLevel)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

showsPrec :: Int -> Behave 'ResponseLevel 'PayloadLevel -> ShowS

show :: Behave 'ResponseLevel 'PayloadLevel -> String

showList :: [Behave 'ResponseLevel 'PayloadLevel] -> ShowS

Show (Behave 'HeaderLevel 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Header

Methods

showsPrec :: Int -> Behave 'HeaderLevel 'SchemaLevel -> ShowS

show :: Behave 'HeaderLevel 'SchemaLevel -> String

showList :: [Behave 'HeaderLevel 'SchemaLevel] -> ShowS

Show (Behave 'PayloadLevel 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

showsPrec :: Int -> Behave 'PayloadLevel 'SchemaLevel -> ShowS

show :: Behave 'PayloadLevel 'SchemaLevel -> String

showList :: [Behave 'PayloadLevel 'SchemaLevel] -> ShowS

Show (Behave 'SchemaLevel 'TypedSchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

showsPrec :: Int -> Behave 'SchemaLevel 'TypedSchemaLevel -> ShowS

show :: Behave 'SchemaLevel 'TypedSchemaLevel -> String

showList :: [Behave 'SchemaLevel 'TypedSchemaLevel] -> ShowS

Show (Behave 'TypedSchemaLevel 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

showsPrec :: Int -> Behave 'TypedSchemaLevel 'SchemaLevel -> ShowS

show :: Behave 'TypedSchemaLevel 'SchemaLevel -> String

showList :: [Behave 'TypedSchemaLevel 'SchemaLevel] -> ShowS

Show (Behave 'TypedSchemaLevel 'TypedSchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

showsPrec :: Int -> Behave 'TypedSchemaLevel 'TypedSchemaLevel -> ShowS

show :: Behave 'TypedSchemaLevel 'TypedSchemaLevel -> String

showList :: [Behave 'TypedSchemaLevel 'TypedSchemaLevel] -> ShowS

data Behave 'APILevel 'PathLevel

Defined in Data.OpenApi.Compare.Validate.Operation

data Behave 'APILevel 'PathLevel = AtPath FilePath

data Behave 'SecurityRequirementLevel 'SecuritySchemeLevel

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

data Behave 'SecurityRequirementLevel 'SecuritySchemeLevel = SecuritySchemeStep Text

data Behave 'PathLevel 'OperationLevel

Defined in Data.OpenApi.Compare.Validate.Operation

data Behave 'PathLevel 'OperationLevel = InOperation OperationMethod

data Behave 'OperationLevel 'ServerLevel

Defined in Data.OpenApi.Compare.Validate.Server

data Behave 'OperationLevel 'ServerLevel = InServer Text

data Behave 'OperationLevel 'SecurityRequirementLevel

Defined in Data.OpenApi.Compare.Validate.Operation

data Behave 'OperationLevel 'SecurityRequirementLevel = SecurityRequirementStep Int

data Behave 'OperationLevel 'PathFragmentLevel

Defined in Data.OpenApi.Compare.Validate.Operation

data Behave 'OperationLevel 'PathFragmentLevel

• = InParam Text
• | InFragment (PathFragment Text)

data Behave 'OperationLevel 'RequestLevel

Defined in Data.OpenApi.Compare.Validate.Operation

data Behave 'OperationLevel 'RequestLevel = InRequest

data Behave 'OperationLevel 'ResponseLevel

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

data Behave 'OperationLevel 'ResponseLevel = WithStatusCode HttpStatusCode

data Behave 'OperationLevel 'CallbackLevel

Defined in Data.OpenApi.Compare.Validate.Operation

data Behave 'OperationLevel 'CallbackLevel = OperationCallback Text

data Behave 'PathFragmentLevel 'SchemaLevel

Defined in Data.OpenApi.Compare.Validate.Param

data Behave 'PathFragmentLevel 'SchemaLevel = InParamSchema

data Behave 'RequestLevel 'PayloadLevel

Defined in Data.OpenApi.Compare.Validate.RequestBody

data Behave 'RequestLevel 'PayloadLevel = InPayload

data Behave 'ResponseLevel 'HeaderLevel

Defined in Data.OpenApi.Compare.Validate.Responses

data Behave 'ResponseLevel 'HeaderLevel = InHeader HeaderName

data Behave 'ResponseLevel 'PayloadLevel

Defined in Data.OpenApi.Compare.Validate.Responses

data Behave 'ResponseLevel 'PayloadLevel = ResponsePayload

data Behave 'HeaderLevel 'SchemaLevel

Defined in Data.OpenApi.Compare.Validate.Header

data Behave 'HeaderLevel 'SchemaLevel = InSchema

data Behave 'PayloadLevel 'SchemaLevel

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

data Behave 'PayloadLevel 'SchemaLevel = PayloadSchema

data Behave 'SchemaLevel 'TypedSchemaLevel

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

data Behave 'SchemaLevel 'TypedSchemaLevel = OfType JsonType

data Behave 'TypedSchemaLevel 'SchemaLevel

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

data Behave 'TypedSchemaLevel 'SchemaLevel

• = InItems
• | InItem Integer
• | InProperty Text
• | InAdditionalProperty

data Behave 'TypedSchemaLevel 'TypedSchemaLevel

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

data Behave 'TypedSchemaLevel 'TypedSchemaLevel = InPartition Partition

type AdditionalQuiverConstraints Behave (a :: BehaviorLevel) (b :: BehaviorLevel)

Defined in Data.OpenApi.Compare.Behavior

type AdditionalQuiverConstraints Behave (a :: BehaviorLevel) (b :: BehaviorLevel) = Behavable a b

data family Issue l :: Type

Instances

Eq (Issue 'APILevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Issue 'APILevel -> Issue 'APILevel -> Bool

(/=) :: Issue 'APILevel -> Issue 'APILevel -> Bool

Eq (Issue 'ServerLevel)

Defined in Data.OpenApi.Compare.Validate.Server

Methods

(==) :: Issue 'ServerLevel -> Issue 'ServerLevel -> Bool

(/=) :: Issue 'ServerLevel -> Issue 'ServerLevel -> Bool

Eq (Issue 'SecurityRequirementLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

(==) :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Bool

(/=) :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Bool

Eq (Issue 'SecuritySchemeLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

(==) :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Bool

(/=) :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Bool

Eq (Issue 'PathLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

(/=) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

Eq (Issue 'OperationLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

(==) :: Issue 'OperationLevel -> Issue 'OperationLevel -> Bool

(/=) :: Issue 'OperationLevel -> Issue 'OperationLevel -> Bool

Eq (Issue 'PathFragmentLevel)

Defined in Data.OpenApi.Compare.Validate.Param

Methods

(==) :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Bool

(/=) :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Bool

Eq (Issue 'RequestLevel)

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

(==) :: Issue 'RequestLevel -> Issue 'RequestLevel -> Bool

(/=) :: Issue 'RequestLevel -> Issue 'RequestLevel -> Bool

Eq (Issue 'ResponseLevel)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

(==) :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Bool

(/=) :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Bool

Eq (Issue 'HeaderLevel)

Defined in Data.OpenApi.Compare.Validate.Header

Methods

(==) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool

(/=) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool

Eq (Issue 'PayloadLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

(==) :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Bool

(/=) :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Bool

Eq (Issue 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

(==) :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Bool

(/=) :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Bool

Eq (Issue 'TypedSchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

(==) :: Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel -> Bool

(/=) :: Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel -> Bool

Eq (Issue 'LinkLevel)

Defined in Data.OpenApi.Compare.Validate.Link

Methods

(==) :: Issue 'LinkLevel -> Issue 'LinkLevel -> Bool

(/=) :: Issue 'LinkLevel -> Issue 'LinkLevel -> Bool

Eq (Issue 'CallbackLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

(==) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

(/=) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

Ord (Issue 'APILevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Issue 'APILevel -> Issue 'APILevel -> Ordering

(<) :: Issue 'APILevel -> Issue 'APILevel -> Bool

(<=) :: Issue 'APILevel -> Issue 'APILevel -> Bool

(>) :: Issue 'APILevel -> Issue 'APILevel -> Bool

(>=) :: Issue 'APILevel -> Issue 'APILevel -> Bool

max :: Issue 'APILevel -> Issue 'APILevel -> Issue 'APILevel

min :: Issue 'APILevel -> Issue 'APILevel -> Issue 'APILevel

Ord (Issue 'ServerLevel)

Defined in Data.OpenApi.Compare.Validate.Server

Methods

compare :: Issue 'ServerLevel -> Issue 'ServerLevel -> Ordering

(<) :: Issue 'ServerLevel -> Issue 'ServerLevel -> Bool

(<=) :: Issue 'ServerLevel -> Issue 'ServerLevel -> Bool

(>) :: Issue 'ServerLevel -> Issue 'ServerLevel -> Bool

(>=) :: Issue 'ServerLevel -> Issue 'ServerLevel -> Bool

max :: Issue 'ServerLevel -> Issue 'ServerLevel -> Issue 'ServerLevel

min :: Issue 'ServerLevel -> Issue 'ServerLevel -> Issue 'ServerLevel

Ord (Issue 'SecurityRequirementLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

compare :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Ordering

(<) :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Bool

(<=) :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Bool

(>) :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Bool

(>=) :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Bool

max :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel

min :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel

Ord (Issue 'SecuritySchemeLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

compare :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Ordering

(<) :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Bool

(<=) :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Bool

(>) :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Bool

(>=) :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Bool

max :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel

min :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel

Ord (Issue 'PathLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Issue 'PathLevel -> Issue 'PathLevel -> Ordering

(<) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

(<=) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

(>) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

(>=) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

max :: Issue 'PathLevel -> Issue 'PathLevel -> Issue 'PathLevel

min :: Issue 'PathLevel -> Issue 'PathLevel -> Issue 'PathLevel

Ord (Issue 'OperationLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

compare :: Issue 'OperationLevel -> Issue 'OperationLevel -> Ordering

(<) :: Issue 'OperationLevel -> Issue 'OperationLevel -> Bool

(<=) :: Issue 'OperationLevel -> Issue 'OperationLevel -> Bool

(>) :: Issue 'OperationLevel -> Issue 'OperationLevel -> Bool

(>=) :: Issue 'OperationLevel -> Issue 'OperationLevel -> Bool

max :: Issue 'OperationLevel -> Issue 'OperationLevel -> Issue 'OperationLevel

min :: Issue 'OperationLevel -> Issue 'OperationLevel -> Issue 'OperationLevel

Ord (Issue 'PathFragmentLevel)

Defined in Data.OpenApi.Compare.Validate.Param

Methods

compare :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Ordering

(<) :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Bool

(<=) :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Bool

(>) :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Bool

(>=) :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Bool

max :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel

min :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel

Ord (Issue 'RequestLevel)

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

compare :: Issue 'RequestLevel -> Issue 'RequestLevel -> Ordering

(<) :: Issue 'RequestLevel -> Issue 'RequestLevel -> Bool

(<=) :: Issue 'RequestLevel -> Issue 'RequestLevel -> Bool

(>) :: Issue 'RequestLevel -> Issue 'RequestLevel -> Bool

(>=) :: Issue 'RequestLevel -> Issue 'RequestLevel -> Bool

max :: Issue 'RequestLevel -> Issue 'RequestLevel -> Issue 'RequestLevel

min :: Issue 'RequestLevel -> Issue 'RequestLevel -> Issue 'RequestLevel

Ord (Issue 'ResponseLevel)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

compare :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Ordering

(<) :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Bool

(<=) :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Bool

(>) :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Bool

(>=) :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Bool

max :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Issue 'ResponseLevel

min :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Issue 'ResponseLevel

Ord (Issue 'HeaderLevel)

Defined in Data.OpenApi.Compare.Validate.Header

Methods

compare :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Ordering

(<) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool

(<=) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool

(>) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool

(>=) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool

max :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Issue 'HeaderLevel

min :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Issue 'HeaderLevel

Ord (Issue 'PayloadLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

compare :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Ordering

(<) :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Bool

(<=) :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Bool

(>) :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Bool

(>=) :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Bool

max :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Issue 'PayloadLevel

min :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Issue 'PayloadLevel

Ord (Issue 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

compare :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Ordering

(<) :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Bool

(<=) :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Bool

(>) :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Bool

(>=) :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Bool

max :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Issue 'SchemaLevel

min :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Issue 'SchemaLevel

Ord (Issue 'TypedSchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

compare :: Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel -> Ordering

(<) :: Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel -> Bool

(<=) :: Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel -> Bool

(>) :: Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel -> Bool

(>=) :: Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel -> Bool

max :: Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel

min :: Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel

Ord (Issue 'LinkLevel)

Defined in Data.OpenApi.Compare.Validate.Link

Methods

compare :: Issue 'LinkLevel -> Issue 'LinkLevel -> Ordering

(<) :: Issue 'LinkLevel -> Issue 'LinkLevel -> Bool

(<=) :: Issue 'LinkLevel -> Issue 'LinkLevel -> Bool

(>) :: Issue 'LinkLevel -> Issue 'LinkLevel -> Bool

(>=) :: Issue 'LinkLevel -> Issue 'LinkLevel -> Bool

max :: Issue 'LinkLevel -> Issue 'LinkLevel -> Issue 'LinkLevel

min :: Issue 'LinkLevel -> Issue 'LinkLevel -> Issue 'LinkLevel

Ord (Issue 'CallbackLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Ordering

(<) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

(<=) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

(>) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

(>=) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

max :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Issue 'CallbackLevel

min :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Issue 'CallbackLevel

Show (Issue 'APILevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Issue 'APILevel -> ShowS

show :: Issue 'APILevel -> String

showList :: [Issue 'APILevel] -> ShowS

Show (Issue 'ServerLevel)

Defined in Data.OpenApi.Compare.Validate.Server

Methods

showsPrec :: Int -> Issue 'ServerLevel -> ShowS

show :: Issue 'ServerLevel -> String

showList :: [Issue 'ServerLevel] -> ShowS

Show (Issue 'SecurityRequirementLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

showsPrec :: Int -> Issue 'SecurityRequirementLevel -> ShowS

show :: Issue 'SecurityRequirementLevel -> String

showList :: [Issue 'SecurityRequirementLevel] -> ShowS

Show (Issue 'SecuritySchemeLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

showsPrec :: Int -> Issue 'SecuritySchemeLevel -> ShowS

show :: Issue 'SecuritySchemeLevel -> String

showList :: [Issue 'SecuritySchemeLevel] -> ShowS

Show (Issue 'PathLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Issue 'PathLevel -> ShowS

show :: Issue 'PathLevel -> String

showList :: [Issue 'PathLevel] -> ShowS

Show (Issue 'OperationLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

showsPrec :: Int -> Issue 'OperationLevel -> ShowS

show :: Issue 'OperationLevel -> String

showList :: [Issue 'OperationLevel] -> ShowS

Show (Issue 'PathFragmentLevel)

Defined in Data.OpenApi.Compare.Validate.Param

Methods

showsPrec :: Int -> Issue 'PathFragmentLevel -> ShowS

show :: Issue 'PathFragmentLevel -> String

showList :: [Issue 'PathFragmentLevel] -> ShowS

Show (Issue 'RequestLevel)

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

showsPrec :: Int -> Issue 'RequestLevel -> ShowS

show :: Issue 'RequestLevel -> String

showList :: [Issue 'RequestLevel] -> ShowS

Show (Issue 'ResponseLevel)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

showsPrec :: Int -> Issue 'ResponseLevel -> ShowS

show :: Issue 'ResponseLevel -> String

showList :: [Issue 'ResponseLevel] -> ShowS

Show (Issue 'HeaderLevel)

Defined in Data.OpenApi.Compare.Validate.Header

Methods

showsPrec :: Int -> Issue 'HeaderLevel -> ShowS

show :: Issue 'HeaderLevel -> String

showList :: [Issue 'HeaderLevel] -> ShowS

Show (Issue 'PayloadLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

showsPrec :: Int -> Issue 'PayloadLevel -> ShowS

show :: Issue 'PayloadLevel -> String

showList :: [Issue 'PayloadLevel] -> ShowS

Show (Issue 'SchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

showsPrec :: Int -> Issue 'SchemaLevel -> ShowS

show :: Issue 'SchemaLevel -> String

showList :: [Issue 'SchemaLevel] -> ShowS

Show (Issue 'TypedSchemaLevel)

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

Methods

showsPrec :: Int -> Issue 'TypedSchemaLevel -> ShowS

show :: Issue 'TypedSchemaLevel -> String

showList :: [Issue 'TypedSchemaLevel] -> ShowS

Show (Issue 'LinkLevel)

Defined in Data.OpenApi.Compare.Validate.Link

Methods

showsPrec :: Int -> Issue 'LinkLevel -> ShowS

show :: Issue 'LinkLevel -> String

showList :: [Issue 'LinkLevel] -> ShowS

Show (Issue 'CallbackLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

showsPrec :: Int -> Issue 'CallbackLevel -> ShowS

show :: Issue 'CallbackLevel -> String

showList :: [Issue 'CallbackLevel] -> ShowS

Issuable l => ToJSON (Issue l)

Defined in Data.OpenApi.Compare.Behavior

Methods

toJSON :: Issue l -> Value

toEncoding :: Issue l -> Encoding

toJSONList :: [Issue l] -> Value

toEncodingList :: [Issue l] -> Encoding

data Issue 'APILevel

Defined in Data.OpenApi.Compare.Validate.Operation

data Issue 'APILevel

• = NoPathsMatched FilePath
• | AllPathsFailed FilePath

data Issue 'ServerLevel

Defined in Data.OpenApi.Compare.Validate.Server

data Issue 'ServerLevel

• = EnumValueNotConsumed Int Text
• | ConsumerNotOpen Int
• | ServerVariableNotDefined Text
• | ServerNotMatched

data Issue 'SecurityRequirementLevel

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

data Issue 'SecurityRequirementLevel

• = SecurityRequirementNotMet
• | UndefinedSecurityScheme Text

data Issue 'SecuritySchemeLevel

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

data Issue 'SecuritySchemeLevel

• = RefreshUrlsDontMatch
• | HttpSchemeTypesDontMatch HttpSchemeType HttpSchemeType
• | ApiKeyParamsDontMatch ApiKeyParams ApiKeyParams
• | OpenIdConnectUrlsDontMatch URL URL
• | CustomHttpSchemesDontMatch Text Text
• | ConsumerDoesNotSupportImplicitFlow
• | ConsumerDoesNotSupportPasswordFlow
• | ConsumerDoesNotSupportClientCridentialsFlow
• | ConsumerDoesNotSupportAuthorizationCodeFlow
• | SecuritySchemeNotMatched
• | OAuth2ImplicitFlowNotEqual
• | OAuth2PasswordFlowNotEqual
• | OAuth2ClientCredentialsFlowNotEqual
• | OAuth2AuthorizationCodeFlowNotEqual
• | ScopesMissing (Set Text)
• | DifferentSecuritySchemes
• | CanNotHaveScopes
• | ScopeNotDefined Text

data Issue 'PathLevel

Defined in Data.OpenApi.Compare.Validate.Operation

data Issue 'PathLevel = OperationMissing OperationMethod

data Issue 'OperationLevel

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

data Issue 'OperationLevel

• = ConsumerDoesntHaveResponseCode HttpStatusCode
• | ParamNotMatched Text
• | PathFragmentNotMatched Int
• | NoRequestBody

data Issue 'PathFragmentLevel

Defined in Data.OpenApi.Compare.Validate.Param

data Issue 'PathFragmentLevel

• = ParamNameMismatch
• | ParamEmptinessIncompatible
• | ParamRequired
• | ParamPlaceIncompatible
• | ParamStyleMismatch
• | ParamSchemaMismatch
• | PathFragmentsDontMatch (ProdCons Text)

data Issue 'RequestLevel

Defined in Data.OpenApi.Compare.Validate.RequestBody

data Issue 'RequestLevel

• = RequestBodyRequired
• | RequestMediaTypeNotFound MediaType

data Issue 'ResponseLevel

Defined in Data.OpenApi.Compare.Validate.Responses

data Issue 'ResponseLevel

• = ConsumerDoesntHaveMediaType MediaType
• | ProducerDoesntHaveResponseHeader HeaderName

data Issue 'HeaderLevel

Defined in Data.OpenApi.Compare.Validate.Header

data Issue 'HeaderLevel

• = RequiredHeaderMissing
• | NonEmptyHeaderRequired
• | HeaderSchemaRequired

data Issue 'PayloadLevel

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

data Issue 'PayloadLevel

• = MediaTypeSchemaRequired
• | MediaEncodingMissing Text
• | EncodingNotSupported

data Issue 'SchemaLevel

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

data Issue 'SchemaLevel

• = NotSupported Text
• | OneOfNotDisjoint
• | InvalidSchema Text
• | UnguardedRecursion
• | TypesRestricted [JsonType]
• | AdditionalToProperty
• | PropertyToAdditional
• | PropertyNowRequired
• | UnexpectedProperty

data Issue 'TypedSchemaLevel

Defined in Data.OpenApi.Compare.Validate.Schema.Issues

data Issue 'TypedSchemaLevel

• = EnumDoesntSatisfy Value
• | NoMatchingEnum Value
• | NoMatchingMaximum (Bound Scientific)
• | MatchingMaximumWeak (ProdCons (Bound Scientific))
• | NoMatchingMinimum (Bound Scientific)
• | MatchingMinimumWeak (ProdCons (Bound Scientific))
• | NoMatchingMultipleOf Scientific
• | MatchingMultipleOfWeak (ProdCons Scientific)
• | NoMatchingFormat Format
• | NoMatchingMaxLength Integer
• | MatchingMaxLengthWeak (ProdCons Integer)
• | NoMatchingMinLength Integer
• | MatchingMinLengthWeak (ProdCons Integer)
• | NoMatchingPattern Pattern
• | NoMatchingItems
• | TupleItemsLengthChanged (ProdCons Integer)
• | ArrayToTuple
• | TupleToArray
• | NoMatchingTupleItems
• | NoMatchingMaxItems Integer
• | MatchingMaxItemsWeak (ProdCons Integer)
• | NoMatchingMinItems Integer
• | MatchingMinItemsWeak (ProdCons Integer)
• | NoMatchingUniqueItems
• | NoMatchingProperties
• | NoAdditionalProperties
• | NoMatchingMaxProperties Integer
• | MatchingMaxPropertiesWeak (ProdCons Integer)
• | NoMatchingMinProperties Integer
• | MatchingMinPropertiesWeak (ProdCons Integer)
• | NoMatchingCondition (Maybe Partition) [SomeCondition]
• | TypeBecomesEmpty
• | PartitionBecomesEmpty Partition

data Issue 'LinkLevel

Defined in Data.OpenApi.Compare.Validate.Link

data Issue 'LinkLevel = LinksUnsupported

data Issue 'CallbackLevel

Defined in Data.OpenApi.Compare.Validate.Operation

data Issue 'CallbackLevel = CallbacksUnsupported

Orphan instances

Issuable 'APILevel

Associated Types

data Issue 'APILevel

Methods

describeIssue :: Orientation -> Issue 'APILevel -> Blocks

issueKind :: Issue 'APILevel -> IssueKind

relatedIssues :: Issue 'APILevel -> Issue 'APILevel -> Bool

Issuable 'PathLevel

Associated Types

data Issue 'PathLevel

Methods

describeIssue :: Orientation -> Issue 'PathLevel -> Blocks

issueKind :: Issue 'PathLevel -> IssueKind

relatedIssues :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

Issuable 'CallbackLevel

Associated Types

data Issue 'CallbackLevel

Methods

describeIssue :: Orientation -> Issue 'CallbackLevel -> Blocks

issueKind :: Issue 'CallbackLevel -> IssueKind

relatedIssues :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

Subtree Callback

Associated Types

type CheckEnv Callback :: [Type]

type SubtreeLevel Callback :: BehaviorLevel

Methods

checkStructuralCompatibility :: HList (CheckEnv Callback) -> ProdCons (Traced Callback) -> StructuralCompatFormula ()

checkSemanticCompatibility :: HList (CheckEnv Callback) -> Behavior (SubtreeLevel Callback) -> ProdCons (Traced Callback) -> SemanticCompatFormula ()

Behavable 'APILevel 'PathLevel

Associated Types

data Behave 'APILevel 'PathLevel

Methods

describeBehavior :: Behave 'APILevel 'PathLevel -> Inlines

Behavable 'PathLevel 'OperationLevel

Associated Types

data Behave 'PathLevel 'OperationLevel

Methods

describeBehavior :: Behave 'PathLevel 'OperationLevel -> Inlines

Behavable 'OperationLevel 'SecurityRequirementLevel

Associated Types

data Behave 'OperationLevel 'SecurityRequirementLevel

Methods

describeBehavior :: Behave 'OperationLevel 'SecurityRequirementLevel -> Inlines

Behavable 'OperationLevel 'PathFragmentLevel

Associated Types

data Behave 'OperationLevel 'PathFragmentLevel

Methods

describeBehavior :: Behave 'OperationLevel 'PathFragmentLevel -> Inlines

Behavable 'OperationLevel 'RequestLevel

Associated Types

data Behave 'OperationLevel 'RequestLevel

Methods

describeBehavior :: Behave 'OperationLevel 'RequestLevel -> Inlines

Behavable 'OperationLevel 'CallbackLevel

Associated Types

data Behave 'OperationLevel 'CallbackLevel

Methods

describeBehavior :: Behave 'OperationLevel 'CallbackLevel -> Inlines

Eq (Issue 'APILevel)

Methods

(==) :: Issue 'APILevel -> Issue 'APILevel -> Bool

(/=) :: Issue 'APILevel -> Issue 'APILevel -> Bool

Eq (Issue 'PathLevel)

Methods

(==) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

(/=) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

Eq (Issue 'CallbackLevel)

Methods

(==) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

(/=) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

Ord (Issue 'APILevel)

Methods

compare :: Issue 'APILevel -> Issue 'APILevel -> Ordering

(<) :: Issue 'APILevel -> Issue 'APILevel -> Bool

(<=) :: Issue 'APILevel -> Issue 'APILevel -> Bool

(>) :: Issue 'APILevel -> Issue 'APILevel -> Bool

(>=) :: Issue 'APILevel -> Issue 'APILevel -> Bool

max :: Issue 'APILevel -> Issue 'APILevel -> Issue 'APILevel

min :: Issue 'APILevel -> Issue 'APILevel -> Issue 'APILevel

Ord (Issue 'PathLevel)

Methods

compare :: Issue 'PathLevel -> Issue 'PathLevel -> Ordering

(<) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

(<=) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

(>) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

(>=) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

max :: Issue 'PathLevel -> Issue 'PathLevel -> Issue 'PathLevel

min :: Issue 'PathLevel -> Issue 'PathLevel -> Issue 'PathLevel

Ord (Issue 'CallbackLevel)

Methods

compare :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Ordering

(<) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

(<=) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

(>) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

(>=) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

max :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Issue 'CallbackLevel

min :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Issue 'CallbackLevel

Show (Issue 'APILevel)

Methods

showsPrec :: Int -> Issue 'APILevel -> ShowS

show :: Issue 'APILevel -> String

showList :: [Issue 'APILevel] -> ShowS

Show (Issue 'PathLevel)

Methods

showsPrec :: Int -> Issue 'PathLevel -> ShowS

show :: Issue 'PathLevel -> String

showList :: [Issue 'PathLevel] -> ShowS

Show (Issue 'CallbackLevel)

Methods

showsPrec :: Int -> Issue 'CallbackLevel -> ShowS

show :: Issue 'CallbackLevel -> String

showList :: [Issue 'CallbackLevel] -> ShowS

Eq (Behave 'APILevel 'PathLevel)

Methods

(==) :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Bool

(/=) :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Bool

Eq (Behave 'PathLevel 'OperationLevel)

Methods

(==) :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Bool

(/=) :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Bool

Eq (Behave 'OperationLevel 'SecurityRequirementLevel)

Methods

(==) :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Bool

(/=) :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Bool

Eq (Behave 'OperationLevel 'PathFragmentLevel)

Methods

(==) :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Bool

(/=) :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Bool

Eq (Behave 'OperationLevel 'RequestLevel)

Methods

(==) :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Bool

(/=) :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Bool

Eq (Behave 'OperationLevel 'CallbackLevel)

Methods

(==) :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Bool

(/=) :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Bool

Ord (Behave 'APILevel 'PathLevel)

Methods

compare :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Ordering

(<) :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Bool

(<=) :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Bool

(>) :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Bool

(>=) :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Bool

max :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel

min :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel

Ord (Behave 'PathLevel 'OperationLevel)

Methods

compare :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Ordering

(<) :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Bool

(<=) :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Bool

(>) :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Bool

(>=) :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Bool

max :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel

min :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel

Ord (Behave 'OperationLevel 'SecurityRequirementLevel)

Methods

compare :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Ordering

(<) :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Bool

(<=) :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Bool

(>) :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Bool

(>=) :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Bool

max :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel

min :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel

Ord (Behave 'OperationLevel 'PathFragmentLevel)

Methods

compare :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Ordering

(<) :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Bool

(<=) :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Bool

(>) :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Bool

(>=) :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Bool

max :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel

min :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel

Ord (Behave 'OperationLevel 'RequestLevel)

Methods

compare :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Ordering

(<) :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Bool

(<=) :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Bool

(>) :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Bool

(>=) :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Bool

max :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel

min :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel

Ord (Behave 'OperationLevel 'CallbackLevel)

Methods

compare :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Ordering

(<) :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Bool

(<=) :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Bool

(>) :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Bool

(>=) :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Bool

max :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel

min :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel

Show (Behave 'APILevel 'PathLevel)

Methods

showsPrec :: Int -> Behave 'APILevel 'PathLevel -> ShowS

show :: Behave 'APILevel 'PathLevel -> String

showList :: [Behave 'APILevel 'PathLevel] -> ShowS

Show (Behave 'PathLevel 'OperationLevel)

Methods

showsPrec :: Int -> Behave 'PathLevel 'OperationLevel -> ShowS

show :: Behave 'PathLevel 'OperationLevel -> String

showList :: [Behave 'PathLevel 'OperationLevel] -> ShowS

Show (Behave 'OperationLevel 'SecurityRequirementLevel)

Methods

showsPrec :: Int -> Behave 'OperationLevel 'SecurityRequirementLevel -> ShowS

show :: Behave 'OperationLevel 'SecurityRequirementLevel -> String

showList :: [Behave 'OperationLevel 'SecurityRequirementLevel] -> ShowS

Show (Behave 'OperationLevel 'PathFragmentLevel)

Methods

showsPrec :: Int -> Behave 'OperationLevel 'PathFragmentLevel -> ShowS

show :: Behave 'OperationLevel 'PathFragmentLevel -> String

showList :: [Behave 'OperationLevel 'PathFragmentLevel] -> ShowS

Show (Behave 'OperationLevel 'RequestLevel)

Methods

showsPrec :: Int -> Behave 'OperationLevel 'RequestLevel -> ShowS

show :: Behave 'OperationLevel 'RequestLevel -> String

showList :: [Behave 'OperationLevel 'RequestLevel] -> ShowS

Show (Behave 'OperationLevel 'CallbackLevel)

Methods

showsPrec :: Int -> Behave 'OperationLevel 'CallbackLevel -> ShowS

show :: Behave 'OperationLevel 'CallbackLevel -> String

showList :: [Behave 'OperationLevel 'CallbackLevel] -> ShowS