Data.OpenApi.Compare.Validate.Header
Contents
Associated Types
data Issue 'HeaderLevel Source #
Methods
describeIssue :: Orientation -> Issue 'HeaderLevel -> Blocks Source #
issueKind :: Issue 'HeaderLevel -> IssueKind Source #
relatedIssues :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool Source #
type CheckEnv Header :: [Type] Source #
type SubtreeLevel Header :: BehaviorLevel Source #
checkStructuralCompatibility :: HList (CheckEnv Header) -> ProdCons (Traced Header) -> StructuralCompatFormula () Source #
checkSemanticCompatibility :: HList (CheckEnv Header) -> Behavior (SubtreeLevel Header) -> ProdCons (Traced Header) -> SemanticCompatFormula () Source #
data Behave 'HeaderLevel 'SchemaLevel Source #
describeBehavior :: Behave 'HeaderLevel 'SchemaLevel -> Inlines Source #
data Step Header (Referenced Schema) Source #
(==) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool #
(/=) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool #
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 #
showsPrec :: Int -> Issue 'HeaderLevel -> ShowS #
show :: Issue 'HeaderLevel -> String #
showList :: [Issue 'HeaderLevel] -> ShowS #
(==) :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Bool #
(/=) :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Bool #
(==) :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Bool #
(/=) :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Bool #
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 :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Ordering #
(<) :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Bool #
(<=) :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Bool #
(>) :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Bool #
(>=) :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Bool #
max :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Step Header (Referenced Schema) #
min :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Step Header (Referenced Schema) #
showsPrec :: Int -> Behave 'HeaderLevel 'SchemaLevel -> ShowS #
show :: Behave 'HeaderLevel 'SchemaLevel -> String #
showList :: [Behave 'HeaderLevel 'SchemaLevel] -> ShowS #
showsPrec :: Int -> Step Header (Referenced Schema) -> ShowS #
show :: Step Header (Referenced Schema) -> String #
showList :: [Step Header (Referenced Schema)] -> ShowS #