Data.OpenApi.Compare.Validate.Server

Documentation

data family Issue l :: Type

Instances

Eq (Issue 'APILevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

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

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

Eq (Issue 'ServerLevel)

Defined in Data.OpenApi.Compare.Validate.Server

Methods

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

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

Eq (Issue 'SecurityRequirementLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

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

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

Eq (Issue 'SecuritySchemeLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

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

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

Eq (Issue 'PathLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

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

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

Eq (Issue 'OperationLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

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

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

Eq (Issue 'PathFragmentLevel)

Defined in Data.OpenApi.Compare.Validate.Param

Methods

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

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

Eq (Issue 'RequestLevel)

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

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

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

Eq (Issue 'ResponseLevel)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

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

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

Eq (Issue 'HeaderLevel)

Defined in Data.OpenApi.Compare.Validate.Header

Methods

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

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

Eq (Issue 'PayloadLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

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

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

Eq (Issue 'SchemaLevel)

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

Methods

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

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

Eq (Issue 'TypedSchemaLevel)

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

Methods

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

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

Eq (Issue 'LinkLevel)

Defined in Data.OpenApi.Compare.Validate.Link

Methods

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

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

Eq (Issue 'CallbackLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

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

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

Ord (Issue 'APILevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Issue 'APILevel -> Issue 'APILevel -> Ordering

(<) :: Issue 'APILevel -> Issue 'APILevel -> Bool

(<=) :: Issue 'APILevel -> Issue 'APILevel -> Bool

(>) :: Issue 'APILevel -> Issue 'APILevel -> Bool

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

max :: Issue 'APILevel -> Issue 'APILevel -> Issue 'APILevel

min :: Issue 'APILevel -> Issue 'APILevel -> Issue 'APILevel

Ord (Issue 'ServerLevel)

Defined in Data.OpenApi.Compare.Validate.Server

Methods

compare :: Issue 'ServerLevel -> Issue 'ServerLevel -> Ordering

(<) :: Issue 'ServerLevel -> Issue 'ServerLevel -> Bool

(<=) :: Issue 'ServerLevel -> Issue 'ServerLevel -> Bool

(>) :: Issue 'ServerLevel -> Issue 'ServerLevel -> Bool

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

max :: Issue 'ServerLevel -> Issue 'ServerLevel -> Issue 'ServerLevel

min :: Issue 'ServerLevel -> Issue 'ServerLevel -> Issue 'ServerLevel

Ord (Issue 'SecurityRequirementLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

compare :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Ordering

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

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

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

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

max :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel

min :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel

Ord (Issue 'SecuritySchemeLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

compare :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Ordering

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

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

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

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

max :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel

min :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel

Ord (Issue 'PathLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Issue 'PathLevel -> Issue 'PathLevel -> Ordering

(<) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

(<=) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

(>) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool

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

max :: Issue 'PathLevel -> Issue 'PathLevel -> Issue 'PathLevel

min :: Issue 'PathLevel -> Issue 'PathLevel -> Issue 'PathLevel

Ord (Issue 'OperationLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

compare :: Issue 'OperationLevel -> Issue 'OperationLevel -> Ordering

(<) :: Issue 'OperationLevel -> Issue 'OperationLevel -> Bool

(<=) :: Issue 'OperationLevel -> Issue 'OperationLevel -> Bool

(>) :: Issue 'OperationLevel -> Issue 'OperationLevel -> Bool

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

max :: Issue 'OperationLevel -> Issue 'OperationLevel -> Issue 'OperationLevel

min :: Issue 'OperationLevel -> Issue 'OperationLevel -> Issue 'OperationLevel

Ord (Issue 'PathFragmentLevel)

Defined in Data.OpenApi.Compare.Validate.Param

Methods

compare :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Ordering

(<) :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Bool

(<=) :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Bool

(>) :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Bool

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

max :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel

min :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel

Ord (Issue 'RequestLevel)

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

compare :: Issue 'RequestLevel -> Issue 'RequestLevel -> Ordering

(<) :: Issue 'RequestLevel -> Issue 'RequestLevel -> Bool

(<=) :: Issue 'RequestLevel -> Issue 'RequestLevel -> Bool

(>) :: Issue 'RequestLevel -> Issue 'RequestLevel -> Bool

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

max :: Issue 'RequestLevel -> Issue 'RequestLevel -> Issue 'RequestLevel

min :: Issue 'RequestLevel -> Issue 'RequestLevel -> Issue 'RequestLevel

Ord (Issue 'ResponseLevel)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

compare :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Ordering

(<) :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Bool

(<=) :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Bool

(>) :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Bool

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

max :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Issue 'ResponseLevel

min :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Issue 'ResponseLevel

Ord (Issue 'HeaderLevel)

Defined in Data.OpenApi.Compare.Validate.Header

Methods

compare :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Ordering

(<) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool

(<=) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool

(>) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool

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

max :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Issue 'HeaderLevel

min :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Issue 'HeaderLevel

Ord (Issue 'PayloadLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

compare :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Ordering

(<) :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Bool

(<=) :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Bool

(>) :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Bool

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

max :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Issue 'PayloadLevel

min :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Issue 'PayloadLevel

Ord (Issue 'SchemaLevel)

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

Methods

compare :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Ordering

(<) :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Bool

(<=) :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Bool

(>) :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Bool

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

max :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Issue 'SchemaLevel

min :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Issue 'SchemaLevel

Ord (Issue 'TypedSchemaLevel)

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

Methods

compare :: Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel -> Ordering

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

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

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

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

max :: Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel

min :: Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel

Ord (Issue 'LinkLevel)

Defined in Data.OpenApi.Compare.Validate.Link

Methods

compare :: Issue 'LinkLevel -> Issue 'LinkLevel -> Ordering

(<) :: Issue 'LinkLevel -> Issue 'LinkLevel -> Bool

(<=) :: Issue 'LinkLevel -> Issue 'LinkLevel -> Bool

(>) :: Issue 'LinkLevel -> Issue 'LinkLevel -> Bool

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

max :: Issue 'LinkLevel -> Issue 'LinkLevel -> Issue 'LinkLevel

min :: Issue 'LinkLevel -> Issue 'LinkLevel -> Issue 'LinkLevel

Ord (Issue 'CallbackLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

compare :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Ordering

(<) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

(<=) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

(>) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool

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

max :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Issue 'CallbackLevel

min :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Issue 'CallbackLevel

Show (Issue 'APILevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

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

show :: Issue 'APILevel -> String

showList :: [Issue 'APILevel] -> ShowS

Show (Issue 'ServerLevel)

Defined in Data.OpenApi.Compare.Validate.Server

Methods

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

show :: Issue 'ServerLevel -> String

showList :: [Issue 'ServerLevel] -> ShowS

Show (Issue 'SecurityRequirementLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

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

show :: Issue 'SecurityRequirementLevel -> String

showList :: [Issue 'SecurityRequirementLevel] -> ShowS

Show (Issue 'SecuritySchemeLevel)

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

Methods

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

show :: Issue 'SecuritySchemeLevel -> String

showList :: [Issue 'SecuritySchemeLevel] -> ShowS

Show (Issue 'PathLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

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

show :: Issue 'PathLevel -> String

showList :: [Issue 'PathLevel] -> ShowS

Show (Issue 'OperationLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

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

show :: Issue 'OperationLevel -> String

showList :: [Issue 'OperationLevel] -> ShowS

Show (Issue 'PathFragmentLevel)

Defined in Data.OpenApi.Compare.Validate.Param

Methods

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

show :: Issue 'PathFragmentLevel -> String

showList :: [Issue 'PathFragmentLevel] -> ShowS

Show (Issue 'RequestLevel)

Defined in Data.OpenApi.Compare.Validate.RequestBody

Methods

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

show :: Issue 'RequestLevel -> String

showList :: [Issue 'RequestLevel] -> ShowS

Show (Issue 'ResponseLevel)

Defined in Data.OpenApi.Compare.Validate.Responses

Methods

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

show :: Issue 'ResponseLevel -> String

showList :: [Issue 'ResponseLevel] -> ShowS

Show (Issue 'HeaderLevel)

Defined in Data.OpenApi.Compare.Validate.Header

Methods

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

show :: Issue 'HeaderLevel -> String

showList :: [Issue 'HeaderLevel] -> ShowS

Show (Issue 'PayloadLevel)

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

Methods

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

show :: Issue 'PayloadLevel -> String

showList :: [Issue 'PayloadLevel] -> ShowS

Show (Issue 'SchemaLevel)

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

Methods

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

show :: Issue 'SchemaLevel -> String

showList :: [Issue 'SchemaLevel] -> ShowS

Show (Issue 'TypedSchemaLevel)

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

Methods

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

show :: Issue 'TypedSchemaLevel -> String

showList :: [Issue 'TypedSchemaLevel] -> ShowS

Show (Issue 'LinkLevel)

Defined in Data.OpenApi.Compare.Validate.Link

Methods

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

show :: Issue 'LinkLevel -> String

showList :: [Issue 'LinkLevel] -> ShowS

Show (Issue 'CallbackLevel)

Defined in Data.OpenApi.Compare.Validate.Operation

Methods

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

show :: Issue 'CallbackLevel -> String

showList :: [Issue 'CallbackLevel] -> ShowS

Issuable l => ToJSON (Issue l)

Defined in Data.OpenApi.Compare.Behavior

Methods

toJSON :: Issue l -> Value

toEncoding :: Issue l -> Encoding

toJSONList :: [Issue l] -> Value

toEncodingList :: [Issue l] -> Encoding

data Issue 'APILevel

Defined in Data.OpenApi.Compare.Validate.Operation

data Issue 'APILevel

• = NoPathsMatched FilePath
• | AllPathsFailed FilePath

data Issue 'ServerLevel

Defined in Data.OpenApi.Compare.Validate.Server

data Issue 'ServerLevel

• = EnumValueNotConsumed Int Text
• | ConsumerNotOpen Int
• | ServerVariableNotDefined Text
• | ServerNotMatched

data Issue 'SecurityRequirementLevel

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

data Issue 'SecurityRequirementLevel

• = SecurityRequirementNotMet
• | UndefinedSecurityScheme Text

data Issue 'SecuritySchemeLevel

Defined in Data.OpenApi.Compare.Validate.OAuth2Flows

data Issue 'SecuritySchemeLevel

• = RefreshUrlsDontMatch
• | HttpSchemeTypesDontMatch HttpSchemeType HttpSchemeType
• | ApiKeyParamsDontMatch ApiKeyParams ApiKeyParams
• | OpenIdConnectUrlsDontMatch URL URL
• | CustomHttpSchemesDontMatch Text Text
• | ConsumerDoesNotSupportImplicitFlow
• | ConsumerDoesNotSupportPasswordFlow
• | ConsumerDoesNotSupportClientCridentialsFlow
• | ConsumerDoesNotSupportAuthorizationCodeFlow
• | SecuritySchemeNotMatched
• | OAuth2ImplicitFlowNotEqual
• | OAuth2PasswordFlowNotEqual
• | OAuth2ClientCredentialsFlowNotEqual
• | OAuth2AuthorizationCodeFlowNotEqual
• | ScopesMissing (Set Text)
• | DifferentSecuritySchemes
• | CanNotHaveScopes
• | ScopeNotDefined Text

data Issue 'PathLevel

Defined in Data.OpenApi.Compare.Validate.Operation

data Issue 'PathLevel = OperationMissing OperationMethod

data Issue 'OperationLevel

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

data Issue 'OperationLevel

• = ConsumerDoesntHaveResponseCode HttpStatusCode
• | ParamNotMatched Text
• | PathFragmentNotMatched Int
• | NoRequestBody

data Issue 'PathFragmentLevel

Defined in Data.OpenApi.Compare.Validate.Param

data Issue 'PathFragmentLevel

• = ParamNameMismatch
• | ParamEmptinessIncompatible
• | ParamRequired
• | ParamPlaceIncompatible
• | ParamStyleMismatch
• | ParamSchemaMismatch
• | PathFragmentsDontMatch (ProdCons Text)

data Issue 'RequestLevel

Defined in Data.OpenApi.Compare.Validate.RequestBody

data Issue 'RequestLevel

• = RequestBodyRequired
• | RequestMediaTypeNotFound MediaType

data Issue 'ResponseLevel

Defined in Data.OpenApi.Compare.Validate.Responses

data Issue 'ResponseLevel

• = ConsumerDoesntHaveMediaType MediaType
• | ProducerDoesntHaveResponseHeader HeaderName

data Issue 'HeaderLevel

Defined in Data.OpenApi.Compare.Validate.Header

data Issue 'HeaderLevel

• = RequiredHeaderMissing
• | NonEmptyHeaderRequired
• | HeaderSchemaRequired

data Issue 'PayloadLevel

Defined in Data.OpenApi.Compare.Validate.MediaTypeObject

data Issue 'PayloadLevel

• = MediaTypeSchemaRequired
• | MediaEncodingMissing Text
• | EncodingNotSupported

data Issue 'SchemaLevel

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

data Issue 'SchemaLevel

• = NotSupported Text
• | OneOfNotDisjoint
• | InvalidSchema Text
• | UnguardedRecursion
• | TypesRestricted [JsonType]
• | AdditionalToProperty
• | PropertyToAdditional
• | PropertyNowRequired
• | UnexpectedProperty

data Issue 'TypedSchemaLevel

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

data Issue 'TypedSchemaLevel

• = EnumDoesntSatisfy Value
• | NoMatchingEnum Value
• | NoMatchingMaximum (Bound Scientific)
• | MatchingMaximumWeak (ProdCons (Bound Scientific))
• | NoMatchingMinimum (Bound Scientific)
• | MatchingMinimumWeak (ProdCons (Bound Scientific))
• | NoMatchingMultipleOf Scientific
• | MatchingMultipleOfWeak (ProdCons Scientific)
• | NoMatchingFormat Format
• | NoMatchingMaxLength Integer
• | MatchingMaxLengthWeak (ProdCons Integer)
• | NoMatchingMinLength Integer
• | MatchingMinLengthWeak (ProdCons Integer)
• | NoMatchingPattern Pattern
• | NoMatchingItems
• | TupleItemsLengthChanged (ProdCons Integer)
• | ArrayToTuple
• | TupleToArray
• | NoMatchingTupleItems
• | NoMatchingMaxItems Integer
• | MatchingMaxItemsWeak (ProdCons Integer)
• | NoMatchingMinItems Integer
• | MatchingMinItemsWeak (ProdCons Integer)
• | NoMatchingUniqueItems
• | NoMatchingProperties
• | NoAdditionalProperties
• | NoMatchingMaxProperties Integer
• | MatchingMaxPropertiesWeak (ProdCons Integer)
• | NoMatchingMinProperties Integer
• | MatchingMinPropertiesWeak (ProdCons Integer)
• | NoMatchingCondition (Maybe Partition) [SomeCondition]
• | TypeBecomesEmpty
• | PartitionBecomesEmpty Partition

data Issue 'LinkLevel

Defined in Data.OpenApi.Compare.Validate.Link

data Issue 'LinkLevel = LinksUnsupported

data Issue 'CallbackLevel

Defined in Data.OpenApi.Compare.Validate.Operation

data Issue 'CallbackLevel = CallbacksUnsupported

Orphan instances

Issuable 'ServerLevel

Associated Types

data Issue 'ServerLevel

Methods

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

issueKind :: Issue 'ServerLevel -> IssueKind

relatedIssues :: Issue 'ServerLevel -> Issue 'ServerLevel -> Bool

Behavable 'OperationLevel 'ServerLevel

Associated Types

data Behave 'OperationLevel 'ServerLevel

Methods

describeBehavior :: Behave 'OperationLevel 'ServerLevel -> Inlines

Eq (Issue 'ServerLevel)

Methods

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

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

Ord (Issue 'ServerLevel)

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

Show (Issue 'ServerLevel)

Methods

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

show :: Issue 'ServerLevel -> String

showList :: [Issue 'ServerLevel] -> ShowS

Subtree [Server]

Associated Types

type CheckEnv [Server] :: [Type]

type SubtreeLevel [Server] :: BehaviorLevel

Methods

checkStructuralCompatibility :: HList (CheckEnv [Server]) -> ProdCons (Traced [Server]) -> StructuralCompatFormula ()

checkSemanticCompatibility :: HList (CheckEnv [Server]) -> Behavior (SubtreeLevel [Server]) -> ProdCons (Traced [Server]) -> SemanticCompatFormula ()

Eq (Behave 'OperationLevel 'ServerLevel)

Methods

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

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

Ord (Behave 'OperationLevel 'ServerLevel)

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

Show (Behave 'OperationLevel 'ServerLevel)

Methods

showsPrec :: Int -> Behave 'OperationLevel 'ServerLevel -> ShowS

show :: Behave 'OperationLevel 'ServerLevel -> String

showList :: [Behave 'OperationLevel 'ServerLevel] -> ShowS