Data.OpenApi.Compare.Validate.Link

Orphan instances

Issuable 'LinkLevel

Associated Types

data Issue 'LinkLevel

Methods

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

issueKind :: Issue 'LinkLevel -> IssueKind

relatedIssues :: Issue 'LinkLevel -> Issue 'LinkLevel -> Bool

Subtree Link

Associated Types

type CheckEnv Link :: [Type]

type SubtreeLevel Link :: BehaviorLevel

Methods

checkStructuralCompatibility :: HList (CheckEnv Link) -> ProdCons (Traced Link) -> StructuralCompatFormula ()

checkSemanticCompatibility :: HList (CheckEnv Link) -> Behavior (SubtreeLevel Link) -> ProdCons (Traced Link) -> SemanticCompatFormula ()

Eq (Issue 'LinkLevel)

Methods

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

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

Ord (Issue 'LinkLevel)

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

Show (Issue 'LinkLevel)

Methods

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

show :: Issue 'LinkLevel -> String

showList :: [Issue 'LinkLevel] -> ShowS