Data.OpenApi.Compare.Validate.Responses
Contents
data family Behave a b Source #
Defined in Data.OpenApi.Compare.Validate.Operation
Methods
(==) :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Bool #
(/=) :: Behave 'APILevel 'PathLevel -> Behave 'APILevel 'PathLevel -> Bool #
Defined in Data.OpenApi.Compare.Validate.OAuth2Flows
(==) :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Bool #
(/=) :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> Bool #
(==) :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Bool #
(/=) :: Behave 'PathLevel 'OperationLevel -> Behave 'PathLevel 'OperationLevel -> Bool #
Defined in Data.OpenApi.Compare.Validate.Server
(==) :: Behave 'OperationLevel 'ServerLevel -> Behave 'OperationLevel 'ServerLevel -> Bool #
(/=) :: Behave 'OperationLevel 'ServerLevel -> Behave 'OperationLevel 'ServerLevel -> Bool #
(==) :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Bool #
(/=) :: Behave 'OperationLevel 'SecurityRequirementLevel -> Behave 'OperationLevel 'SecurityRequirementLevel -> Bool #
(==) :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Bool #
(/=) :: Behave 'OperationLevel 'PathFragmentLevel -> Behave 'OperationLevel 'PathFragmentLevel -> Bool #
(==) :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Bool #
(/=) :: Behave 'OperationLevel 'RequestLevel -> Behave 'OperationLevel 'RequestLevel -> Bool #
Defined in Data.OpenApi.Compare.Validate.MediaTypeObject
(==) :: Behave 'OperationLevel 'ResponseLevel -> Behave 'OperationLevel 'ResponseLevel -> Bool #
(/=) :: Behave 'OperationLevel 'ResponseLevel -> Behave 'OperationLevel 'ResponseLevel -> Bool #
(==) :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Bool #
(/=) :: Behave 'OperationLevel 'CallbackLevel -> Behave 'OperationLevel 'CallbackLevel -> Bool #
Defined in Data.OpenApi.Compare.Validate.Param
(==) :: Behave 'PathFragmentLevel 'SchemaLevel -> Behave 'PathFragmentLevel 'SchemaLevel -> Bool #
(/=) :: Behave 'PathFragmentLevel 'SchemaLevel -> Behave 'PathFragmentLevel 'SchemaLevel -> Bool #
Defined in Data.OpenApi.Compare.Validate.RequestBody
(==) :: Behave 'RequestLevel 'PayloadLevel -> Behave 'RequestLevel 'PayloadLevel -> Bool #
(/=) :: Behave 'RequestLevel 'PayloadLevel -> Behave 'RequestLevel 'PayloadLevel -> Bool #
Defined in Data.OpenApi.Compare.Validate.Responses
(==) :: Behave 'ResponseLevel 'HeaderLevel -> Behave 'ResponseLevel 'HeaderLevel -> Bool #
(/=) :: Behave 'ResponseLevel 'HeaderLevel -> Behave 'ResponseLevel 'HeaderLevel -> Bool #
(==) :: Behave 'ResponseLevel 'PayloadLevel -> Behave 'ResponseLevel 'PayloadLevel -> Bool #
(/=) :: Behave 'ResponseLevel 'PayloadLevel -> Behave 'ResponseLevel 'PayloadLevel -> Bool #
Defined in Data.OpenApi.Compare.Validate.Header
(==) :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Bool #
(/=) :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Bool #
(==) :: Behave 'PayloadLevel 'SchemaLevel -> Behave 'PayloadLevel 'SchemaLevel -> Bool #
(/=) :: Behave 'PayloadLevel 'SchemaLevel -> Behave 'PayloadLevel 'SchemaLevel -> Bool #
Defined in Data.OpenApi.Compare.Validate.Schema.Issues
(==) :: Behave 'SchemaLevel 'TypedSchemaLevel -> Behave 'SchemaLevel 'TypedSchemaLevel -> Bool #
(/=) :: Behave 'SchemaLevel 'TypedSchemaLevel -> Behave 'SchemaLevel 'TypedSchemaLevel -> Bool #
(==) :: Behave 'TypedSchemaLevel 'SchemaLevel -> Behave 'TypedSchemaLevel 'SchemaLevel -> Bool #
(/=) :: Behave 'TypedSchemaLevel 'SchemaLevel -> Behave 'TypedSchemaLevel 'SchemaLevel -> Bool #
(==) :: Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Bool #
(/=) :: Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Behave 'TypedSchemaLevel 'TypedSchemaLevel -> Bool #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
showsPrec :: Int -> Behave 'APILevel 'PathLevel -> ShowS #
show :: Behave 'APILevel 'PathLevel -> String #
showList :: [Behave 'APILevel 'PathLevel] -> ShowS #
showsPrec :: Int -> Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> ShowS #
show :: Behave 'SecurityRequirementLevel 'SecuritySchemeLevel -> String #
showList :: [Behave 'SecurityRequirementLevel 'SecuritySchemeLevel] -> ShowS #
showsPrec :: Int -> Behave 'PathLevel 'OperationLevel -> ShowS #
show :: Behave 'PathLevel 'OperationLevel -> String #
showList :: [Behave 'PathLevel 'OperationLevel] -> ShowS #
showsPrec :: Int -> Behave 'OperationLevel 'ServerLevel -> ShowS #
show :: Behave 'OperationLevel 'ServerLevel -> String #
showList :: [Behave 'OperationLevel 'ServerLevel] -> ShowS #
showsPrec :: Int -> Behave 'OperationLevel 'SecurityRequirementLevel -> ShowS #
show :: Behave 'OperationLevel 'SecurityRequirementLevel -> String #
showList :: [Behave 'OperationLevel 'SecurityRequirementLevel] -> ShowS #
showsPrec :: Int -> Behave 'OperationLevel 'PathFragmentLevel -> ShowS #
show :: Behave 'OperationLevel 'PathFragmentLevel -> String #
showList :: [Behave 'OperationLevel 'PathFragmentLevel] -> ShowS #
showsPrec :: Int -> Behave 'OperationLevel 'RequestLevel -> ShowS #
show :: Behave 'OperationLevel 'RequestLevel -> String #
showList :: [Behave 'OperationLevel 'RequestLevel] -> ShowS #
showsPrec :: Int -> Behave 'OperationLevel 'ResponseLevel -> ShowS #
show :: Behave 'OperationLevel 'ResponseLevel -> String #
showList :: [Behave 'OperationLevel 'ResponseLevel] -> ShowS #
showsPrec :: Int -> Behave 'OperationLevel 'CallbackLevel -> ShowS #
show :: Behave 'OperationLevel 'CallbackLevel -> String #
showList :: [Behave 'OperationLevel 'CallbackLevel] -> ShowS #
showsPrec :: Int -> Behave 'PathFragmentLevel 'SchemaLevel -> ShowS #
show :: Behave 'PathFragmentLevel 'SchemaLevel -> String #
showList :: [Behave 'PathFragmentLevel 'SchemaLevel] -> ShowS #
showsPrec :: Int -> Behave 'RequestLevel 'PayloadLevel -> ShowS #
show :: Behave 'RequestLevel 'PayloadLevel -> String #
showList :: [Behave 'RequestLevel 'PayloadLevel] -> ShowS #
showsPrec :: Int -> Behave 'ResponseLevel 'HeaderLevel -> ShowS #
show :: Behave 'ResponseLevel 'HeaderLevel -> String #
showList :: [Behave 'ResponseLevel 'HeaderLevel] -> ShowS #
showsPrec :: Int -> Behave 'ResponseLevel 'PayloadLevel -> ShowS #
show :: Behave 'ResponseLevel 'PayloadLevel -> String #
showList :: [Behave 'ResponseLevel 'PayloadLevel] -> ShowS #
showsPrec :: Int -> Behave 'HeaderLevel 'SchemaLevel -> ShowS #
show :: Behave 'HeaderLevel 'SchemaLevel -> String #
showList :: [Behave 'HeaderLevel 'SchemaLevel] -> ShowS #
showsPrec :: Int -> Behave 'PayloadLevel 'SchemaLevel -> ShowS #
show :: Behave 'PayloadLevel 'SchemaLevel -> String #
showList :: [Behave 'PayloadLevel 'SchemaLevel] -> ShowS #
showsPrec :: Int -> Behave 'SchemaLevel 'TypedSchemaLevel -> ShowS #
show :: Behave 'SchemaLevel 'TypedSchemaLevel -> String #
showList :: [Behave 'SchemaLevel 'TypedSchemaLevel] -> ShowS #
showsPrec :: Int -> Behave 'TypedSchemaLevel 'SchemaLevel -> ShowS #
show :: Behave 'TypedSchemaLevel 'SchemaLevel -> String #
showList :: [Behave 'TypedSchemaLevel 'SchemaLevel] -> ShowS #
showsPrec :: Int -> Behave 'TypedSchemaLevel 'TypedSchemaLevel -> ShowS #
show :: Behave 'TypedSchemaLevel 'TypedSchemaLevel -> String #
showList :: [Behave 'TypedSchemaLevel 'TypedSchemaLevel] -> ShowS #
Defined in Data.OpenApi.Compare.Behavior
Associated Types
data Issue 'ResponseLevel Source #
describeIssue :: Orientation -> Issue 'ResponseLevel -> Blocks Source #
issueKind :: Issue 'ResponseLevel -> IssueKind Source #
relatedIssues :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Bool Source #
type CheckEnv Responses :: [Type] Source #
type SubtreeLevel Responses :: BehaviorLevel Source #
checkStructuralCompatibility :: HList (CheckEnv Responses) -> ProdCons (Traced Responses) -> StructuralCompatFormula () Source #
checkSemanticCompatibility :: HList (CheckEnv Responses) -> Behavior (SubtreeLevel Responses) -> ProdCons (Traced Responses) -> SemanticCompatFormula () Source #
type CheckEnv Response :: [Type] Source #
type SubtreeLevel Response :: BehaviorLevel Source #
checkStructuralCompatibility :: HList (CheckEnv Response) -> ProdCons (Traced Response) -> StructuralCompatFormula () Source #
checkSemanticCompatibility :: HList (CheckEnv Response) -> Behavior (SubtreeLevel Response) -> ProdCons (Traced Response) -> SemanticCompatFormula () Source #
data Behave 'ResponseLevel 'HeaderLevel Source #
describeBehavior :: Behave 'ResponseLevel 'HeaderLevel -> Inlines Source #
data Behave 'ResponseLevel 'PayloadLevel Source #
describeBehavior :: Behave 'ResponseLevel 'PayloadLevel -> Inlines Source #
data Step Response MediaTypeObject Source #
data Step Responses (Referenced Response) Source #
data Step Response (Definitions (Referenced Link)) Source #
data Step Response (Definitions (Referenced Header)) Source #
data Step Response (Referenced Header) Source #
data Step Responses (InsOrdHashMap HttpStatusCode (Referenced Response)) Source #
data Step Response (InsOrdHashMap MediaType MediaTypeObject) Source #
(==) :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Bool #
(/=) :: Issue 'ResponseLevel -> Issue 'ResponseLevel -> Bool #
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 #
showsPrec :: Int -> Issue 'ResponseLevel -> ShowS #
show :: Issue 'ResponseLevel -> String #
showList :: [Issue 'ResponseLevel] -> ShowS #
(==) :: 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 (Referenced Response) -> Step Responses (Referenced Response) -> Bool #
(/=) :: Step Responses (Referenced Response) -> Step Responses (Referenced Response) -> 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 (Definitions (Referenced Link)) -> Step Response (Definitions (Referenced Link)) -> Bool #
(/=) :: Step Response (Definitions (Referenced Link)) -> Step Response (Definitions (Referenced Link)) -> 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 MediaTypeObject -> Step Response MediaTypeObject -> Bool #
(/=) :: Step Response MediaTypeObject -> Step Response MediaTypeObject -> Bool #
(==) :: Step Response (Referenced Header) -> Step Response (Referenced Header) -> Bool #
(/=) :: Step Response (Referenced Header) -> Step Response (Referenced Header) -> Bool #
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)) #
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) #
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) #
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)) #
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)) #
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 #
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) #
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 #
showsPrec :: Int -> Step Responses (Referenced Response) -> ShowS #
show :: Step Responses (Referenced Response) -> String #
showList :: [Step Responses (Referenced Response)] -> ShowS #
showsPrec :: Int -> Step Response (InsOrdHashMap MediaType MediaTypeObject) -> ShowS #
show :: Step Response (InsOrdHashMap MediaType MediaTypeObject) -> String #
showList :: [Step Response (InsOrdHashMap MediaType MediaTypeObject)] -> ShowS #
showsPrec :: Int -> Step Response (Definitions (Referenced Link)) -> ShowS #
show :: Step Response (Definitions (Referenced Link)) -> String #
showList :: [Step Response (Definitions (Referenced Link))] -> ShowS #
showsPrec :: Int -> Step Response (Definitions (Referenced Header)) -> ShowS #
show :: Step Response (Definitions (Referenced Header)) -> String #
showList :: [Step Response (Definitions (Referenced Header))] -> ShowS #
showsPrec :: Int -> Step Response MediaTypeObject -> ShowS #
show :: Step Response MediaTypeObject -> String #
showList :: [Step Response MediaTypeObject] -> ShowS #
showsPrec :: Int -> Step Response (Referenced Header) -> ShowS #
show :: Step Response (Referenced Header) -> String #
showList :: [Step Response (Referenced Header)] -> ShowS #