compaREST-0.1.0.1: Compatibility checker for OpenAPI

Safe Haskell	None
Language	Haskell2010

Data.OpenApi.Compare.Validate.Schema

Contents

Orphan instances

Orphan instances

Subtree Schema Source #

Instance details

Associated Types

type CheckEnv Schema :: [Type] Source #

type SubtreeLevel Schema :: BehaviorLevel Source #

Methods

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

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