Data.OpenApi.Compare.Validate.Schema.JsonFormula

Documentation

data Bound a

Constructors

Exclusive !a

Inclusive !a

Instances

Functor Bound

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

Methods

fmap :: (a -> b) -> Bound a -> Bound b

(<$) :: a -> Bound b -> Bound a

Eq a => Eq (Bound a)

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

Methods

(==) :: Bound a -> Bound a -> Bool

(/=) :: Bound a -> Bound a -> Bool

Ord a => Ord (Bound a)

The order is lexicographical on a * Bool.

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

Methods

compare :: Bound a -> Bound a -> Ordering

(<) :: Bound a -> Bound a -> Bool

(<=) :: Bound a -> Bound a -> Bool

(>) :: Bound a -> Bound a -> Bool

(>=) :: Bound a -> Bound a -> Bool

max :: Bound a -> Bound a -> Bound a

min :: Bound a -> Bound a -> Bound a

Show a => Show (Bound a)

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

Methods

showsPrec :: Int -> Bound a -> ShowS

show :: Bound a -> String

showList :: [Bound a] -> ShowS

showBound :: Show a => Bound a -> Inlines

data Property

Constructors

Property

Fields

• propRequired :: Bool
• propFormula :: ForeachType JsonFormula
• propRefSchema :: Traced (Referenced Schema)

Instances

Eq Property

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

Methods

(==) :: Property -> Property -> Bool

(/=) :: Property -> Property -> Bool

Ord Property

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

Methods

compare :: Property -> Property -> Ordering

(<) :: Property -> Property -> Bool

(<=) :: Property -> Property -> Bool

(>) :: Property -> Property -> Bool

(>=) :: Property -> Property -> Bool

max :: Property -> Property -> Property

min :: Property -> Property -> Property

Show Property

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

Methods

showsPrec :: Int -> Property -> ShowS

show :: Property -> String

showList :: [Property] -> ShowS

data Condition :: JsonType -> Type where

A primitive structural condition for the "top level" of a JSON value (of a specific type)

Constructors

Exactly :: TypedValue t -> Condition t

Maximum :: !(Bound Scientific) -> Condition 'Number

Minimum

Fields

• :: !(Down (Bound (Down Scientific)))
• -> Condition 'Number

  this has the right Ord

MultipleOf :: !Scientific -> Condition 'Number

NumberFormat :: !Format -> Condition 'Number

MaxLength :: !Integer -> Condition 'String

MinLength :: !Integer -> Condition 'String

Pattern :: !Pattern -> Condition 'String

StringFormat :: !Format -> Condition 'String

Items :: !(ForeachType JsonFormula) -> !(Traced (Referenced Schema)) -> Condition 'Array

TupleItems :: ![(ForeachType JsonFormula, Traced (Referenced Schema))] -> Condition 'Array

MaxItems :: !Integer -> Condition 'Array

MinItems :: !Integer -> Condition 'Array

UniqueItems :: Condition 'Array

Properties

Fields

• :: !(Map Text Property)
• -> !(ForeachType JsonFormula)

  formula for additional properties

• -> !(Maybe (Traced (Referenced Schema)))

  schema for additional properties, Nothing means bottom

• -> Condition 'Object

MaxProperties :: !Integer -> Condition 'Object

MinProperties :: !Integer -> Condition 'Object

Instances

Eq (Condition t)

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

Methods

(==) :: Condition t -> Condition t -> Bool

(/=) :: Condition t -> Condition t -> Bool

Ord (Condition t)

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

Methods

compare :: Condition t -> Condition t -> Ordering

(<) :: Condition t -> Condition t -> Bool

(<=) :: Condition t -> Condition t -> Bool

(>) :: Condition t -> Condition t -> Bool

(>=) :: Condition t -> Condition t -> Bool

max :: Condition t -> Condition t -> Condition t

min :: Condition t -> Condition t -> Condition t

Show (Condition t)

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

Methods

showsPrec :: Int -> Condition t -> ShowS

show :: Condition t -> String

showList :: [Condition t] -> ShowS

showCondition :: Condition a -> Blocks

satisfiesTyped :: TypedValue t -> Condition t -> Bool

checkStringFormat :: Format -> Text -> Bool

checkNumberFormat :: Format -> Scientific -> Bool

data SomeCondition where

Constructors

SomeCondition :: Typeable t => Condition t -> SomeCondition

Instances

Eq SomeCondition

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

Methods

(==) :: SomeCondition -> SomeCondition -> Bool

(/=) :: SomeCondition -> SomeCondition -> Bool

Ord SomeCondition

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

Methods

compare :: SomeCondition -> SomeCondition -> Ordering

(<) :: SomeCondition -> SomeCondition -> Bool

(<=) :: SomeCondition -> SomeCondition -> Bool

(>) :: SomeCondition -> SomeCondition -> Bool

(>=) :: SomeCondition -> SomeCondition -> Bool

max :: SomeCondition -> SomeCondition -> SomeCondition

min :: SomeCondition -> SomeCondition -> SomeCondition

Show SomeCondition

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

Methods

showsPrec :: Int -> SomeCondition -> ShowS

show :: SomeCondition -> String

showList :: [SomeCondition] -> ShowS

newtype JsonFormula t

Constructors

JsonFormula

Fields

• getJsonFormula :: DNF (Condition t)

Instances

Eq (JsonFormula t)

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

Methods

(==) :: JsonFormula t -> JsonFormula t -> Bool

(/=) :: JsonFormula t -> JsonFormula t -> Bool

Ord (JsonFormula t)

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

Methods

compare :: JsonFormula t -> JsonFormula t -> Ordering

(<) :: JsonFormula t -> JsonFormula t -> Bool

(<=) :: JsonFormula t -> JsonFormula t -> Bool

(>) :: JsonFormula t -> JsonFormula t -> Bool

(>=) :: JsonFormula t -> JsonFormula t -> Bool

max :: JsonFormula t -> JsonFormula t -> JsonFormula t

min :: JsonFormula t -> JsonFormula t -> JsonFormula t

Show (JsonFormula t)

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

Methods

showsPrec :: Int -> JsonFormula t -> ShowS

show :: JsonFormula t -> String

showList :: [JsonFormula t] -> ShowS

Lattice (JsonFormula t)

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

Methods

(\/) :: JsonFormula t -> JsonFormula t -> JsonFormula t

(/\) :: JsonFormula t -> JsonFormula t -> JsonFormula t

BoundedJoinSemiLattice (JsonFormula t)

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

Methods

bottom :: JsonFormula t

BoundedMeetSemiLattice (JsonFormula t)

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

Methods

top :: JsonFormula t

satisfiesFormula :: TypedValue t -> JsonFormula t -> Bool

satisfies :: Value -> ForeachType JsonFormula -> Bool

showJSONValue :: Value -> Blocks

showJSONValueInline :: Value -> Inlines