Data.OpenApi.Compare.Validate.OAuth2Flows

Documentation

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

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

Orphan instances

Issuable 'SecurityRequirementLevel

Associated Types

data Issue 'SecurityRequirementLevel

Methods

describeIssue :: Orientation -> Issue 'SecurityRequirementLevel -> Blocks

issueKind :: Issue 'SecurityRequirementLevel -> IssueKind

relatedIssues :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Bool

Issuable 'SecuritySchemeLevel

Associated Types

data Issue 'SecuritySchemeLevel

Methods

describeIssue :: Orientation -> Issue 'SecuritySchemeLevel -> Blocks

issueKind :: Issue 'SecuritySchemeLevel -> IssueKind

relatedIssues :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Bool

Subtree OAuth2ImplicitFlow

Associated Types

type CheckEnv OAuth2ImplicitFlow :: [Type]

type SubtreeLevel OAuth2ImplicitFlow :: BehaviorLevel

Methods

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

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

Subtree OAuth2PasswordFlow

Associated Types

type CheckEnv OAuth2PasswordFlow :: [Type]

type SubtreeLevel OAuth2PasswordFlow :: BehaviorLevel

Methods

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

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

Subtree OAuth2ClientCredentialsFlow

Associated Types

type CheckEnv OAuth2ClientCredentialsFlow :: [Type]

type SubtreeLevel OAuth2ClientCredentialsFlow :: BehaviorLevel

Methods

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

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

Subtree OAuth2AuthorizationCodeFlow

Associated Types

type CheckEnv OAuth2AuthorizationCodeFlow :: [Type]

type SubtreeLevel OAuth2AuthorizationCodeFlow :: BehaviorLevel

Methods

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

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

Subtree OAuth2Flows

Associated Types

type CheckEnv OAuth2Flows :: [Type]

type SubtreeLevel OAuth2Flows :: BehaviorLevel

Methods

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

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

Behavable 'SecurityRequirementLevel 'SecuritySchemeLevel

Associated Types

data Behave 'SecurityRequirementLevel 'SecuritySchemeLevel

Methods

describeBehavior :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Inlines

Typeable t => Steppable OAuth2Flows (OAuth2Flow t)

Associated Types

data Step OAuth2Flows (OAuth2Flow t)

Eq (Issue 'SecurityRequirementLevel)

Methods

(==) :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Bool

(/=) :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Bool

Eq (Issue 'SecuritySchemeLevel)

Methods

(==) :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Bool

(/=) :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Bool

Ord (Issue 'SecurityRequirementLevel)

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)

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

Show (Issue 'SecurityRequirementLevel)

Methods

showsPrec :: Int -> Issue 'SecurityRequirementLevel -> ShowS

show :: Issue 'SecurityRequirementLevel -> String

showList :: [Issue 'SecurityRequirementLevel] -> ShowS

Show (Issue 'SecuritySchemeLevel)

Methods

showsPrec :: Int -> Issue 'SecuritySchemeLevel -> ShowS

show :: Issue 'SecuritySchemeLevel -> String

showList :: [Issue 'SecuritySchemeLevel] -> ShowS

(Typeable t, Subtree t, SubtreeLevel (OAuth2Flow t) ~ SubtreeLevel t) => Subtree (OAuth2Flow t)

Associated Types

type CheckEnv (OAuth2Flow t) :: [Type]

type SubtreeLevel (OAuth2Flow t) :: BehaviorLevel

Methods

checkStructuralCompatibility :: HList (CheckEnv (OAuth2Flow t)) -> ProdCons (Traced (OAuth2Flow t)) -> StructuralCompatFormula ()

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

Typeable t => Steppable (OAuth2Flow t) t

Associated Types

data Step (OAuth2Flow t) t

Eq (Behave 'SecurityRequirementLevel 'SecuritySchemeLevel)

Methods

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

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

Eq (Step (OAuth2Flow t) t)

Methods

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

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

Eq (Step OAuth2Flows (OAuth2Flow t))

Methods

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

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

Ord (Behave 'SecurityRequirementLevel 'SecuritySchemeLevel)

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 (Step (OAuth2Flow t) t)

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))

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)

Show (Behave 'SecurityRequirementLevel 'SecuritySchemeLevel)

Methods

showsPrec :: Int -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> ShowS

show :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> String

showList :: [Behave 'SecurityRequirementLevel 'SecuritySchemeLevel] -> ShowS

Show (Step (OAuth2Flow t) t)

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))

Methods

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

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

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