Safe Haskell	None
Language	Haskell2010

Data.OpenApi.Compare.Validate.Header

Contents

Orphan instances

Orphan instances

Issuable 'HeaderLevel Source #
Instance details 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 #
Subtree Header Source #
Instance details Associated Types type CheckEnv Header :: [Type] Source # type SubtreeLevel Header :: BehaviorLevel Source # Methods checkStructuralCompatibility :: HList (CheckEnv Header) -> ProdCons (Traced Header) -> StructuralCompatFormula () Source # checkSemanticCompatibility :: HList (CheckEnv Header) -> Behavior (SubtreeLevel Header) -> ProdCons (Traced Header) -> SemanticCompatFormula () Source #
Behavable 'HeaderLevel 'SchemaLevel Source #
Instance details Associated Types data Behave 'HeaderLevel 'SchemaLevel Source # Methods describeBehavior :: Behave 'HeaderLevel 'SchemaLevel -> Inlines Source #
Steppable Header (Referenced Schema) Source #
Instance details Associated Types data Step Header (Referenced Schema) Source #
Eq (Issue 'HeaderLevel) Source #
Instance details Methods (==) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool # (/=) :: Issue 'HeaderLevel -> Issue 'HeaderLevel -> Bool #
Ord (Issue 'HeaderLevel) Source #
Instance details 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 #
Show (Issue 'HeaderLevel) Source #
Instance details Methods showsPrec :: Int -> Issue 'HeaderLevel -> ShowS # show :: Issue 'HeaderLevel -> String # showList :: [Issue 'HeaderLevel] -> ShowS #
Eq (Behave 'HeaderLevel 'SchemaLevel) Source #
Instance details Methods (==) :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Bool # (/=) :: Behave 'HeaderLevel 'SchemaLevel -> Behave 'HeaderLevel 'SchemaLevel -> Bool #
Eq (Step Header (Referenced Schema)) Source #
Instance details Methods (==) :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Bool # (/=) :: Step Header (Referenced Schema) -> Step Header (Referenced Schema) -> Bool #
Ord (Behave 'HeaderLevel 'SchemaLevel) Source #
Instance details Methods 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 #
Ord (Step Header (Referenced Schema)) Source #
Instance details Methods 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) #
Show (Behave 'HeaderLevel 'SchemaLevel) Source #
Instance details Methods showsPrec :: Int -> Behave 'HeaderLevel 'SchemaLevel -> ShowS # show :: Behave 'HeaderLevel 'SchemaLevel -> String # showList :: [Behave 'HeaderLevel 'SchemaLevel] -> ShowS #
Show (Step Header (Referenced Schema)) Source #
Instance details Methods showsPrec :: Int -> Step Header (Referenced Schema) -> ShowS # show :: Step Header (Referenced Schema) -> String # showList :: [Step Header (Referenced Schema)] -> ShowS #