compaREST-0.1.0.1: Compatibility checker for OpenAPI
Safe HaskellNone
LanguageHaskell2010

Data.OpenApi.Compare.Validate.OpenApi

Documentation

data family Behave a b Source #

Instances

Instances details
Eq (Behave 'APILevel 'PathLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Eq (Behave 'SecurityRequirementLevel 'SecuritySchemeLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Eq (Behave 'PathLevel 'OperationLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Eq (Behave 'OperationLevel 'ServerLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Server

Eq (Behave 'OperationLevel 'SecurityRequirementLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Eq (Behave 'OperationLevel 'PathFragmentLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Eq (Behave 'OperationLevel 'RequestLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Eq (Behave 'OperationLevel 'ResponseLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Eq (Behave 'OperationLevel 'CallbackLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Eq (Behave 'PathFragmentLevel 'SchemaLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Param

Eq (Behave 'RequestLevel 'PayloadLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.RequestBody

Eq (Behave 'ResponseLevel 'HeaderLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Responses

Eq (Behave 'ResponseLevel 'PayloadLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Responses

Eq (Behave 'HeaderLevel 'SchemaLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Header

Eq (Behave 'PayloadLevel 'SchemaLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Eq (Behave 'SchemaLevel 'TypedSchemaLevel) Source # 
Instance details

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

Eq (Behave 'TypedSchemaLevel 'SchemaLevel) Source # 
Instance details

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

Eq (Behave 'TypedSchemaLevel 'TypedSchemaLevel) Source # 
Instance details

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

Ord (Behave 'APILevel 'PathLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Ord (Behave 'SecurityRequirementLevel 'SecuritySchemeLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Ord (Behave 'PathLevel 'OperationLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Ord (Behave 'OperationLevel 'ServerLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Server

Ord (Behave 'OperationLevel 'SecurityRequirementLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Ord (Behave 'OperationLevel 'PathFragmentLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Ord (Behave 'OperationLevel 'RequestLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Ord (Behave 'OperationLevel 'ResponseLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Ord (Behave 'OperationLevel 'CallbackLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Ord (Behave 'PathFragmentLevel 'SchemaLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Param

Ord (Behave 'RequestLevel 'PayloadLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.RequestBody

Ord (Behave 'ResponseLevel 'HeaderLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Responses

Ord (Behave 'ResponseLevel 'PayloadLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Responses

Ord (Behave 'HeaderLevel 'SchemaLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Header

Ord (Behave 'PayloadLevel 'SchemaLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Ord (Behave 'SchemaLevel 'TypedSchemaLevel) Source # 
Instance details

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

Ord (Behave 'TypedSchemaLevel 'SchemaLevel) Source # 
Instance details

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

Ord (Behave 'TypedSchemaLevel 'TypedSchemaLevel) Source # 
Instance details

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

Show (Behave 'APILevel 'PathLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Show (Behave 'SecurityRequirementLevel 'SecuritySchemeLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Show (Behave 'PathLevel 'OperationLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Show (Behave 'OperationLevel 'ServerLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Server

Show (Behave 'OperationLevel 'SecurityRequirementLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Show (Behave 'OperationLevel 'PathFragmentLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Show (Behave 'OperationLevel 'RequestLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Show (Behave 'OperationLevel 'ResponseLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Show (Behave 'OperationLevel 'CallbackLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Show (Behave 'PathFragmentLevel 'SchemaLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Param

Show (Behave 'RequestLevel 'PayloadLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.RequestBody

Show (Behave 'ResponseLevel 'HeaderLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Responses

Show (Behave 'ResponseLevel 'PayloadLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Responses

Show (Behave 'HeaderLevel 'SchemaLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Header

Show (Behave 'PayloadLevel 'SchemaLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Show (Behave 'SchemaLevel 'TypedSchemaLevel) Source # 
Instance details

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

Show (Behave 'TypedSchemaLevel 'SchemaLevel) Source # 
Instance details

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

Show (Behave 'TypedSchemaLevel 'TypedSchemaLevel) Source # 
Instance details

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

data Behave 'APILevel 'PathLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

data Behave 'SecurityRequirementLevel 'SecuritySchemeLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

data Behave 'PathLevel 'OperationLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

data Behave 'OperationLevel 'ServerLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Server

data Behave 'OperationLevel 'SecurityRequirementLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

data Behave 'OperationLevel 'PathFragmentLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

data Behave 'OperationLevel 'RequestLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

data Behave 'OperationLevel 'ResponseLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

data Behave 'OperationLevel 'CallbackLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

data Behave 'PathFragmentLevel 'SchemaLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Param

data Behave 'RequestLevel 'PayloadLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.RequestBody

data Behave 'ResponseLevel 'HeaderLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Responses

data Behave 'ResponseLevel 'PayloadLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Responses

data Behave 'HeaderLevel 'SchemaLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Header

data Behave 'PayloadLevel 'SchemaLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

data Behave 'SchemaLevel 'TypedSchemaLevel Source # 
Instance details

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

data Behave 'TypedSchemaLevel 'SchemaLevel Source # 
Instance details

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

data Behave 'TypedSchemaLevel 'TypedSchemaLevel Source # 
Instance details

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

type AdditionalQuiverConstraints Behave (a :: BehaviorLevel) (b :: BehaviorLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Behavior

data family Issue l :: Type Source #

Instances

Instances details
Eq (Issue 'APILevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Eq (Issue 'ServerLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Server

Eq (Issue 'SecurityRequirementLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Eq (Issue 'SecuritySchemeLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Eq (Issue 'PathLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Eq (Issue 'OperationLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Eq (Issue 'PathFragmentLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Param

Eq (Issue 'RequestLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.RequestBody

Eq (Issue 'ResponseLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Responses

Eq (Issue 'HeaderLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Header

Eq (Issue 'PayloadLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Eq (Issue 'SchemaLevel) Source # 
Instance details

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

Eq (Issue 'TypedSchemaLevel) Source # 
Instance details

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

Eq (Issue 'LinkLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Link

Eq (Issue 'CallbackLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Ord (Issue 'APILevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Ord (Issue 'ServerLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Server

Ord (Issue 'SecurityRequirementLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Ord (Issue 'SecuritySchemeLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Ord (Issue 'PathLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Ord (Issue 'OperationLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Ord (Issue 'PathFragmentLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Param

Ord (Issue 'RequestLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.RequestBody

Ord (Issue 'ResponseLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Responses

Ord (Issue 'HeaderLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Header

Ord (Issue 'PayloadLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Ord (Issue 'SchemaLevel) Source # 
Instance details

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

Ord (Issue 'TypedSchemaLevel) Source # 
Instance details

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

Ord (Issue 'LinkLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Link

Ord (Issue 'CallbackLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Show (Issue 'APILevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Show (Issue 'ServerLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Server

Show (Issue 'SecurityRequirementLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Show (Issue 'SecuritySchemeLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Show (Issue 'PathLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Show (Issue 'OperationLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Show (Issue 'PathFragmentLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Param

Show (Issue 'RequestLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.RequestBody

Show (Issue 'ResponseLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Responses

Show (Issue 'HeaderLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Header

Show (Issue 'PayloadLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Show (Issue 'SchemaLevel) Source # 
Instance details

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

Show (Issue 'TypedSchemaLevel) Source # 
Instance details

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

Show (Issue 'LinkLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Link

Show (Issue 'CallbackLevel) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Issuable l => ToJSON (Issue l) Source # 
Instance details

Defined in Data.OpenApi.Compare.Behavior

data Issue 'APILevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

data Issue 'ServerLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Server

data Issue 'SecurityRequirementLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

data Issue 'SecuritySchemeLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

data Issue 'PathLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

data Issue 'OperationLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

data Issue 'PathFragmentLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Param

data Issue 'RequestLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.RequestBody

data Issue 'ResponseLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Responses

data Issue 'HeaderLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Header

data Issue 'PayloadLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

data Issue 'SchemaLevel Source # 
Instance details

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

data Issue 'TypedSchemaLevel Source # 
Instance details

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

data Issue 'LinkLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Link

data Issue 'CallbackLevel Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Operation

Orphan instances

Subtree OpenApi Source # 
Instance details

Steppable OpenApi ProcessedPathItems Source # 
Instance details

Associated Types

data Step OpenApi ProcessedPathItems Source #

Steppable OpenApi (Definitions RequestBody) Source # 
Instance details

Associated Types

data Step OpenApi (Definitions RequestBody) Source #

Steppable OpenApi (Definitions Param) Source # 
Instance details

Associated Types

data Step OpenApi (Definitions Param) Source #

Steppable OpenApi (Definitions Link) Source # 
Instance details

Associated Types

data Step OpenApi (Definitions Link) Source #

Steppable OpenApi (Definitions Schema) Source # 
Instance details

Associated Types

data Step OpenApi (Definitions Schema) Source #

Steppable OpenApi (Definitions Response) Source # 
Instance details

Associated Types

data Step OpenApi (Definitions Response) Source #

Steppable OpenApi (Definitions Callback) Source # 
Instance details

Associated Types

data Step OpenApi (Definitions Callback) Source #

Steppable OpenApi (Definitions Header) Source # 
Instance details

Associated Types

data Step OpenApi (Definitions Header) Source #

Steppable OpenApi (Definitions SecurityScheme) Source # 
Instance details

Eq (Step OpenApi (Definitions RequestBody)) Source # 
Instance details

Eq (Step OpenApi (Definitions Param)) Source # 
Instance details

Eq (Step OpenApi (Definitions Link)) Source # 
Instance details

Eq (Step OpenApi (Definitions Schema)) Source # 
Instance details

Eq (Step OpenApi (Definitions Response)) Source # 
Instance details

Eq (Step OpenApi (Definitions Callback)) Source # 
Instance details

Eq (Step OpenApi (Definitions Header)) Source # 
Instance details

Eq (Step OpenApi (Definitions SecurityScheme)) Source # 
Instance details

Eq (Step OpenApi ProcessedPathItems) Source # 
Instance details

Ord (Step OpenApi (Definitions RequestBody)) Source # 
Instance details

Ord (Step OpenApi (Definitions Param)) Source # 
Instance details

Ord (Step OpenApi (Definitions Link)) Source # 
Instance details

Ord (Step OpenApi (Definitions Schema)) Source # 
Instance details

Ord (Step OpenApi (Definitions Response)) Source # 
Instance details

Ord (Step OpenApi (Definitions Callback)) Source # 
Instance details

Ord (Step OpenApi (Definitions Header)) Source # 
Instance details

Ord (Step OpenApi (Definitions SecurityScheme)) Source # 
Instance details

Ord (Step OpenApi ProcessedPathItems) Source # 
Instance details

Show (Step OpenApi (Definitions RequestBody)) Source # 
Instance details

Show (Step OpenApi (Definitions Param)) Source # 
Instance details

Show (Step OpenApi (Definitions Link)) Source # 
Instance details

Show (Step OpenApi (Definitions Schema)) Source # 
Instance details

Show (Step OpenApi (Definitions Response)) Source # 
Instance details

Show (Step OpenApi (Definitions Callback)) Source # 
Instance details

Show (Step OpenApi (Definitions Header)) Source # 
Instance details

Show (Step OpenApi (Definitions SecurityScheme)) Source # 
Instance details

Show (Step OpenApi ProcessedPathItems) Source # 
Instance details