compaREST-0.1.0.1: Compatibility checker for OpenAPI
Safe HaskellNone
LanguageHaskell2010

Data.OpenApi.Compare.Validate.Schema.Partition

Documentation

partitionSchema :: Traced Schema -> PartitionM (Lifted Partitions) Source #

partitionRefSchema :: Traced (Referenced Schema) -> PartitionM (Lifted Partitions) Source #

selectPartition :: Lifted Partitions -> Maybe (PartitionLocation, Set PartitionChoice) Source #

runPartitionM :: Traced (Definitions Schema) -> PartitionM a -> a Source #

tryPartition :: ProdCons (Traced (Definitions Schema)) -> ProdCons (JsonFormula t) -> [(Maybe Partition, ProdCons (JsonFormula t))] Source #

showPartition :: Partition -> Inlines Source #

intersectSchema :: PartitionLocation -> PartitionChoice -> Traced Schema -> IntersectionM Schema Source #

intersectRefSchema :: PartitionLocation -> PartitionChoice -> Traced (Referenced Schema) -> IntersectionM (Referenced Schema) Source #

data IntersectionResult a Source #

Constructors

Disjoint 
Same a 
New a 

Instances

Instances details
Eq a => Eq (IntersectionResult a) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Schema.Partition

Methods

(==) :: IntersectionResult a -> IntersectionResult a -> Bool #

(/=) :: IntersectionResult a -> IntersectionResult a -> Bool #

Ord a => Ord (IntersectionResult a) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Schema.Partition

Methods

compare :: IntersectionResult a -> IntersectionResult a -> Ordering #

(<) :: IntersectionResult a -> IntersectionResult a -> Bool #

(<=) :: IntersectionResult a -> IntersectionResult a -> Bool #

(>) :: IntersectionResult a -> IntersectionResult a -> Bool #

(>=) :: IntersectionResult a -> IntersectionResult a -> Bool #

max :: IntersectionResult a -> IntersectionResult a -> IntersectionResult a #

min :: IntersectionResult a -> IntersectionResult a -> IntersectionResult a #

Show a => Show (IntersectionResult a) Source # 
Instance details

Defined in Data.OpenApi.Compare.Validate.Schema.Partition

Methods

showsPrec :: Int -> IntersectionResult a -> ShowS #

show :: IntersectionResult a -> String #

showList :: [IntersectionResult a] -> ShowS #

runIntersectionM :: Traced (Definitions Schema) -> IntersectionM a -> IntersectionResult a Source #

type Partition = (PartitionLocation, PartitionChoice) Source #