JSONSchema.Validator.Draft4.Array

maxItems

newtype MaxItems

Constructors

MaxItems

Fields

• _unMaxItems :: Int

Instances

Eq MaxItems

Methods

(==) :: MaxItems -> MaxItems -> Bool

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

Show MaxItems

Methods

showsPrec :: Int -> MaxItems -> ShowS

show :: MaxItems -> String

showList :: [MaxItems] -> ShowS

FromJSON MaxItems

Methods

parseJSON :: Value -> Parser MaxItems

data MaxItemsInvalid

Constructors

MaxItemsInvalid MaxItems (Vector Value)

Instances

Eq MaxItemsInvalid

Methods

(==) :: MaxItemsInvalid -> MaxItemsInvalid -> Bool

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

Show MaxItemsInvalid

Methods

showsPrec :: Int -> MaxItemsInvalid -> ShowS

show :: MaxItemsInvalid -> String

showList :: [MaxItemsInvalid] -> ShowS

maxItemsVal :: MaxItems -> Vector Value -> Maybe MaxItemsInvalid

The spec requires "maxItems" to be non-negative.

minItems

newtype MinItems

Constructors

MinItems

Fields

• _unMinItems :: Int

Instances

Eq MinItems

Methods

(==) :: MinItems -> MinItems -> Bool

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

Show MinItems

Methods

showsPrec :: Int -> MinItems -> ShowS

show :: MinItems -> String

showList :: [MinItems] -> ShowS

FromJSON MinItems

Methods

parseJSON :: Value -> Parser MinItems

data MinItemsInvalid

Constructors

MinItemsInvalid MinItems (Vector Value)

Instances

Eq MinItemsInvalid

Methods

(==) :: MinItemsInvalid -> MinItemsInvalid -> Bool

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

Show MinItemsInvalid

Methods

showsPrec :: Int -> MinItemsInvalid -> ShowS

show :: MinItemsInvalid -> String

showList :: [MinItemsInvalid] -> ShowS

minItemsVal :: MinItems -> Vector Value -> Maybe MinItemsInvalid

The spec requires "minItems" to be non-negative.

uniqueItems

newtype UniqueItems

Constructors

UniqueItems

Fields

• _unUniqueItems :: Bool

Instances

Eq UniqueItems

Methods

(==) :: UniqueItems -> UniqueItems -> Bool

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

Show UniqueItems

Methods

showsPrec :: Int -> UniqueItems -> ShowS

show :: UniqueItems -> String

showList :: [UniqueItems] -> ShowS

FromJSON UniqueItems

Methods

parseJSON :: Value -> Parser UniqueItems

newtype UniqueItemsInvalid

Constructors

UniqueItemsInvalid (Vector Value)

Instances

Eq UniqueItemsInvalid

Methods

(==) :: UniqueItemsInvalid -> UniqueItemsInvalid -> Bool

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

Show UniqueItemsInvalid

Methods

showsPrec :: Int -> UniqueItemsInvalid -> ShowS

show :: UniqueItemsInvalid -> String

showList :: [UniqueItemsInvalid] -> ShowS

uniqueItemsVal :: UniqueItems -> Vector Value -> Maybe UniqueItemsInvalid

items

data ItemsRelated schema

Constructors

ItemsRelated

Fields

• _irItems :: Maybe (Items schema)
• _irAdditional :: Maybe (AdditionalItems schema)

Instances

Eq schema => Eq (ItemsRelated schema)

Methods

(==) :: ItemsRelated schema -> ItemsRelated schema -> Bool

(/=) :: ItemsRelated schema -> ItemsRelated schema -> Bool

Show schema => Show (ItemsRelated schema)

Methods

showsPrec :: Int -> ItemsRelated schema -> ShowS

show :: ItemsRelated schema -> String

showList :: [ItemsRelated schema] -> ShowS

FromJSON schema => FromJSON (ItemsRelated schema)

Methods

parseJSON :: Value -> Parser (ItemsRelated schema)

emptyItems :: ItemsRelated schema

data Items schema

Constructors

ItemsObject schema

ItemsArray [schema]

Instances

Eq schema => Eq (Items schema)

Methods

(==) :: Items schema -> Items schema -> Bool

(/=) :: Items schema -> Items schema -> Bool

Show schema => Show (Items schema)

Methods

showsPrec :: Int -> Items schema -> ShowS

show :: Items schema -> String

showList :: [Items schema] -> ShowS

Arbitrary schema => Arbitrary (Items schema)

Methods

arbitrary :: Gen (Items schema)

shrink :: Items schema -> [Items schema]

ToJSON schema => ToJSON (Items schema)

Methods

toJSON :: Items schema -> Value

toEncoding :: Items schema -> Encoding

FromJSON schema => FromJSON (Items schema)

Methods

parseJSON :: Value -> Parser (Items schema)

data ItemsRelatedInvalid err

Constructors

IRInvalidItems (ItemsInvalid err)

IRInvalidAdditional (AdditionalItemsInvalid err)

Instances

Eq err => Eq (ItemsRelatedInvalid err)

Methods

(==) :: ItemsRelatedInvalid err -> ItemsRelatedInvalid err -> Bool

(/=) :: ItemsRelatedInvalid err -> ItemsRelatedInvalid err -> Bool

Show err => Show (ItemsRelatedInvalid err)

Methods

showsPrec :: Int -> ItemsRelatedInvalid err -> ShowS

show :: ItemsRelatedInvalid err -> String

showList :: [ItemsRelatedInvalid err] -> ShowS

data ItemsInvalid err

Constructors

ItemsObjectInvalid (NonEmpty (Index, NonEmpty err))

ItemsArrayInvalid (NonEmpty (Index, NonEmpty err))

Instances

Eq err => Eq (ItemsInvalid err)

Methods

(==) :: ItemsInvalid err -> ItemsInvalid err -> Bool

(/=) :: ItemsInvalid err -> ItemsInvalid err -> Bool

Show err => Show (ItemsInvalid err)

Methods

showsPrec :: Int -> ItemsInvalid err -> ShowS

show :: ItemsInvalid err -> String

showList :: [ItemsInvalid err] -> ShowS

itemsRelatedVal :: forall err schema. (schema -> Value -> [err]) -> ItemsRelated schema -> Vector Value -> [ItemsRelatedInvalid err]

"additionalItems" only matters if "items" exists and is a JSON Array.

itemsVal

Arguments

:: (schema -> Value -> [err])

-> Items schema

-> Vector Value

-> (Maybe (ItemsInvalid err), [(Index, Value)])

The second item in the tuple is the elements of the original JSON Array still remaining to be checked by "additionalItems".

Internal.

This is because itemsRelated handles "items" validation.

additionalItems

data AdditionalItems schema

Constructors

AdditionalBool Bool

AdditionalObject schema

Instances

Eq schema => Eq (AdditionalItems schema)

Methods

(==) :: AdditionalItems schema -> AdditionalItems schema -> Bool

(/=) :: AdditionalItems schema -> AdditionalItems schema -> Bool

Show schema => Show (AdditionalItems schema)

Methods

showsPrec :: Int -> AdditionalItems schema -> ShowS

show :: AdditionalItems schema -> String

showList :: [AdditionalItems schema] -> ShowS

Arbitrary schema => Arbitrary (AdditionalItems schema)

Methods

arbitrary :: Gen (AdditionalItems schema)

shrink :: AdditionalItems schema -> [AdditionalItems schema]

ToJSON schema => ToJSON (AdditionalItems schema)

Methods

toJSON :: AdditionalItems schema -> Value

toEncoding :: AdditionalItems schema -> Encoding

FromJSON schema => FromJSON (AdditionalItems schema)

Methods

parseJSON :: Value -> Parser (AdditionalItems schema)

data AdditionalItemsInvalid err

Constructors

AdditionalItemsBoolInvalid (NonEmpty (Index, Value))

AdditionalItemsObjectInvalid (NonEmpty (Index, NonEmpty err))

Instances

Eq err => Eq (AdditionalItemsInvalid err)

Methods

(==) :: AdditionalItemsInvalid err -> AdditionalItemsInvalid err -> Bool

(/=) :: AdditionalItemsInvalid err -> AdditionalItemsInvalid err -> Bool

Show err => Show (AdditionalItemsInvalid err)

Methods

showsPrec :: Int -> AdditionalItemsInvalid err -> ShowS

show :: AdditionalItemsInvalid err -> String

showList :: [AdditionalItemsInvalid err] -> ShowS

additionalItemsVal

Arguments

:: (schema -> Value -> [err])

-> AdditionalItems schema

-> [(Index, Value)]

The elements remaining to validate after the ones covered by "items" have been removed.

-> Maybe (AdditionalItemsInvalid err)

Internal.

This is because itemsRelated handles "additionalItems" validation.