Safe Haskell	None
Language	Haskell2010

Data.OpenApi.Compare.Validate.SecurityRequirement

Contents

Orphan instances

Documentation

data family Issue l :: Type Source #

Instances

Instances details

Eq (Issue 'APILevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Operation Methods (==) :: Issue 'APILevel -> Issue 'APILevel -> Bool # (/=) :: Issue 'APILevel -> Issue 'APILevel -> Bool #
Eq (Issue 'ServerLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Server Methods (==) :: Issue 'ServerLevel -> Issue 'ServerLevel -> Bool # (/=) :: Issue 'ServerLevel -> Issue 'ServerLevel -> Bool #
Eq (Issue 'SecurityRequirementLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.OAuth2Flows Methods (==) :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Bool # (/=) :: Issue 'SecurityRequirementLevel -> Issue 'SecurityRequirementLevel -> Bool #
Eq (Issue 'SecuritySchemeLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.OAuth2Flows Methods (==) :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Bool # (/=) :: Issue 'SecuritySchemeLevel -> Issue 'SecuritySchemeLevel -> Bool #
Eq (Issue 'PathLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Operation Methods (==) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool # (/=) :: Issue 'PathLevel -> Issue 'PathLevel -> Bool #
Eq (Issue 'OperationLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.MediaTypeObject Methods (==) :: Issue 'OperationLevel -> Issue 'OperationLevel -> Bool # (/=) :: Issue 'OperationLevel -> Issue 'OperationLevel -> Bool #
Eq (Issue 'PathFragmentLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Param Methods (==) :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Bool # (/=) :: Issue 'PathFragmentLevel -> Issue 'PathFragmentLevel -> Bool #
Eq (Issue 'RequestLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.RequestBody Methods (==) :: Issue 'RequestLevel -> Issue 'RequestLevel -> Bool # (/=) :: Issue 'RequestLevel -> Issue 'RequestLevel -> Bool #
Eq (Issue 'ResponseLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Responses Methods (==) :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Bool # (/=) :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Bool #
Eq (Issue 'HeaderLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Header Methods (==) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool # (/=) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool #
Eq (Issue 'PayloadLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.MediaTypeObject Methods (==) :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Bool # (/=) :: Issue 'PayloadLevel -> Issue 'PayloadLevel -> Bool #
Eq (Issue 'SchemaLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.Issues Methods (==) :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Bool # (/=) :: Issue 'SchemaLevel -> Issue 'SchemaLevel -> Bool #
Eq (Issue 'TypedSchemaLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.Issues Methods (==) :: Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel -> Bool # (/=) :: Issue 'TypedSchemaLevel -> Issue 'TypedSchemaLevel -> Bool #
Eq (Issue 'LinkLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Link Methods (==) :: Issue 'LinkLevel -> Issue 'LinkLevel -> Bool # (/=) :: Issue 'LinkLevel -> Issue 'LinkLevel -> Bool #
Eq (Issue 'CallbackLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Operation Methods (==) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool # (/=) :: Issue 'CallbackLevel -> Issue 'CallbackLevel -> Bool #
Ord (Issue 'APILevel) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Operation Methods showsPrec :: Int -> Issue 'APILevel -> ShowS # show :: Issue 'APILevel -> String # showList :: [Issue 'APILevel] -> ShowS #
Show (Issue 'ServerLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Server Methods showsPrec :: Int -> Issue 'ServerLevel -> ShowS # show :: Issue 'ServerLevel -> String # showList :: [Issue 'ServerLevel] -> ShowS #
Show (Issue 'SecurityRequirementLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.OAuth2Flows Methods showsPrec :: Int -> Issue 'SecurityRequirementLevel -> ShowS # show :: Issue 'SecurityRequirementLevel -> String # showList :: [Issue 'SecurityRequirementLevel] -> ShowS #
Show (Issue 'SecuritySchemeLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.OAuth2Flows Methods showsPrec :: Int -> Issue 'SecuritySchemeLevel -> ShowS # show :: Issue 'SecuritySchemeLevel -> String # showList :: [Issue 'SecuritySchemeLevel] -> ShowS #
Show (Issue 'PathLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Operation Methods showsPrec :: Int -> Issue 'PathLevel -> ShowS # show :: Issue 'PathLevel -> String # showList :: [Issue 'PathLevel] -> ShowS #
Show (Issue 'OperationLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.MediaTypeObject Methods showsPrec :: Int -> Issue 'OperationLevel -> ShowS # show :: Issue 'OperationLevel -> String # showList :: [Issue 'OperationLevel] -> ShowS #
Show (Issue 'PathFragmentLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Param Methods showsPrec :: Int -> Issue 'PathFragmentLevel -> ShowS # show :: Issue 'PathFragmentLevel -> String # showList :: [Issue 'PathFragmentLevel] -> ShowS #
Show (Issue 'RequestLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.RequestBody Methods showsPrec :: Int -> Issue 'RequestLevel -> ShowS # show :: Issue 'RequestLevel -> String # showList :: [Issue 'RequestLevel] -> ShowS #
Show (Issue 'ResponseLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Responses Methods showsPrec :: Int -> Issue 'ResponseLevel -> ShowS # show :: Issue 'ResponseLevel -> String # showList :: [Issue 'ResponseLevel] -> ShowS #
Show (Issue 'HeaderLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Header Methods showsPrec :: Int -> Issue 'HeaderLevel -> ShowS # show :: Issue 'HeaderLevel -> String # showList :: [Issue 'HeaderLevel] -> ShowS #
Show (Issue 'PayloadLevel) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.MediaTypeObject Methods showsPrec :: Int -> Issue 'PayloadLevel -> ShowS # show :: Issue 'PayloadLevel -> String # showList :: [Issue 'PayloadLevel] -> ShowS #
Show (Issue 'SchemaLevel) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Link Methods showsPrec :: Int -> Issue 'LinkLevel -> ShowS # show :: Issue 'LinkLevel -> String # showList :: [Issue 'LinkLevel] -> ShowS #
Show (Issue 'CallbackLevel) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Operation data Issue 'APILevel = NoPathsMatched FilePath \| AllPathsFailed FilePath
data Issue 'ServerLevel Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Server data Issue 'ServerLevel = EnumValueNotConsumed Int Text \| ConsumerNotOpen Int \| ServerVariableNotDefined Text \| ServerNotMatched
data Issue 'SecurityRequirementLevel Source #
Instance details Defined in Data.OpenApi.Compare.Validate.OAuth2Flows data Issue 'SecurityRequirementLevel = SecurityRequirementNotMet \| UndefinedSecurityScheme Text
data Issue 'SecuritySchemeLevel Source #
Instance details 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 Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Operation data Issue 'PathLevel = OperationMissing OperationMethod
data Issue 'OperationLevel Source #
Instance details Defined in Data.OpenApi.Compare.Validate.MediaTypeObject data Issue 'OperationLevel = ConsumerDoesntHaveResponseCode HttpStatusCode \| ParamNotMatched Text \| PathFragmentNotMatched Int \| NoRequestBody
data Issue 'PathFragmentLevel Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Param data Issue 'PathFragmentLevel = ParamNameMismatch \| ParamEmptinessIncompatible \| ParamRequired \| ParamPlaceIncompatible \| ParamStyleMismatch \| ParamSchemaMismatch \| PathFragmentsDontMatch (ProdCons Text)
data Issue 'RequestLevel Source #
Instance details Defined in Data.OpenApi.Compare.Validate.RequestBody data Issue 'RequestLevel = RequestBodyRequired \| RequestMediaTypeNotFound MediaType
data Issue 'ResponseLevel Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Responses data Issue 'ResponseLevel = ConsumerDoesntHaveMediaType MediaType \| ProducerDoesntHaveResponseHeader HeaderName
data Issue 'HeaderLevel Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Header data Issue 'HeaderLevel = RequiredHeaderMissing \| NonEmptyHeaderRequired \| HeaderSchemaRequired
data Issue 'PayloadLevel Source #
Instance details Defined in Data.OpenApi.Compare.Validate.MediaTypeObject data Issue 'PayloadLevel = MediaTypeSchemaRequired \| MediaEncodingMissing Text \| EncodingNotSupported
data Issue 'SchemaLevel Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Link data Issue 'LinkLevel = LinksUnsupported
data Issue 'CallbackLevel Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Operation data Issue 'CallbackLevel = CallbacksUnsupported

Orphan instances

Subtree SecurityRequirement Source #

Instance details

Associated Types

type CheckEnv SecurityRequirement :: [Type] Source #

type SubtreeLevel SecurityRequirement :: BehaviorLevel Source #

Methods

checkStructuralCompatibility :: HList (CheckEnv SecurityRequirement) -> ProdCons (Traced SecurityRequirement) -> StructuralCompatFormula () Source #

checkSemanticCompatibility :: HList (CheckEnv SecurityRequirement) -> Behavior (SubtreeLevel SecurityRequirement) -> ProdCons (Traced SecurityRequirement) -> SemanticCompatFormula () Source #