Safe Haskell	None
Language	Haskell2010

JSONSchema.Validator.Draft4.Array

Contents

maxItems
minItems
uniqueItems
items
additionalItems

Synopsis

maxItems

newtype MaxItems Source #

Constructors

MaxItems
Fields _unMaxItems :: Int

Instances

Eq MaxItems Source #
Methods (==) :: MaxItems -> MaxItems -> Bool # (/=) :: MaxItems -> MaxItems -> Bool #
Show MaxItems Source #
Methods showsPrec :: Int -> MaxItems -> ShowS # show :: MaxItems -> String # showList :: [MaxItems] -> ShowS #
FromJSON MaxItems Source #
Methods parseJSON :: Value -> Parser MaxItems # parseJSONList :: Value -> Parser [MaxItems] #

data MaxItemsInvalid Source #

Constructors

MaxItemsInvalid MaxItems (Vector Value)

Instances

Eq MaxItemsInvalid Source #
Methods (==) :: MaxItemsInvalid -> MaxItemsInvalid -> Bool # (/=) :: MaxItemsInvalid -> MaxItemsInvalid -> Bool #
Show MaxItemsInvalid Source #
Methods showsPrec :: Int -> MaxItemsInvalid -> ShowS # show :: MaxItemsInvalid -> String # showList :: [MaxItemsInvalid] -> ShowS #

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

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

minItems

newtype MinItems Source #

Constructors

MinItems
Fields _unMinItems :: Int

Instances

Eq MinItems Source #
Methods (==) :: MinItems -> MinItems -> Bool # (/=) :: MinItems -> MinItems -> Bool #
Show MinItems Source #
Methods showsPrec :: Int -> MinItems -> ShowS # show :: MinItems -> String # showList :: [MinItems] -> ShowS #
FromJSON MinItems Source #
Methods parseJSON :: Value -> Parser MinItems # parseJSONList :: Value -> Parser [MinItems] #

data MinItemsInvalid Source #

Constructors

MinItemsInvalid MinItems (Vector Value)

Instances

Eq MinItemsInvalid Source #
Methods (==) :: MinItemsInvalid -> MinItemsInvalid -> Bool # (/=) :: MinItemsInvalid -> MinItemsInvalid -> Bool #
Show MinItemsInvalid Source #
Methods showsPrec :: Int -> MinItemsInvalid -> ShowS # show :: MinItemsInvalid -> String # showList :: [MinItemsInvalid] -> ShowS #

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

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

uniqueItems

newtype UniqueItems Source #

Constructors

UniqueItems
Fields _unUniqueItems :: Bool

Instances

Eq UniqueItems Source #
Methods (==) :: UniqueItems -> UniqueItems -> Bool # (/=) :: UniqueItems -> UniqueItems -> Bool #
Show UniqueItems Source #
Methods showsPrec :: Int -> UniqueItems -> ShowS # show :: UniqueItems -> String # showList :: [UniqueItems] -> ShowS #
FromJSON UniqueItems Source #
Methods parseJSON :: Value -> Parser UniqueItems # parseJSONList :: Value -> Parser [UniqueItems] #

newtype UniqueItemsInvalid Source #

Constructors

UniqueItemsInvalid (Vector Value)

Instances

Eq UniqueItemsInvalid Source #
Methods (==) :: UniqueItemsInvalid -> UniqueItemsInvalid -> Bool # (/=) :: UniqueItemsInvalid -> UniqueItemsInvalid -> Bool #
Show UniqueItemsInvalid Source #
Methods showsPrec :: Int -> UniqueItemsInvalid -> ShowS # show :: UniqueItemsInvalid -> String # showList :: [UniqueItemsInvalid] -> ShowS #

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

items

data ItemsRelated schema Source #

Constructors

ItemsRelated
Fields _irItems :: Maybe (Items schema) _irAdditional :: Maybe (AdditionalItems schema)

Instances

Eq schema => Eq (ItemsRelated schema) Source #
Methods (==) :: ItemsRelated schema -> ItemsRelated schema -> Bool # (/=) :: ItemsRelated schema -> ItemsRelated schema -> Bool #
Show schema => Show (ItemsRelated schema) Source #
Methods showsPrec :: Int -> ItemsRelated schema -> ShowS # show :: ItemsRelated schema -> String # showList :: [ItemsRelated schema] -> ShowS #
FromJSON schema => FromJSON (ItemsRelated schema) Source #
Methods parseJSON :: Value -> Parser (ItemsRelated schema) # parseJSONList :: Value -> Parser [ItemsRelated schema] #

emptyItems :: ItemsRelated schema Source #

data Items schema Source #

Constructors

ItemsObject schema
ItemsArray [schema]

Instances

Eq schema => Eq (Items schema) Source #
Methods (==) :: Items schema -> Items schema -> Bool # (/=) :: Items schema -> Items schema -> Bool #
Show schema => Show (Items schema) Source #
Methods showsPrec :: Int -> Items schema -> ShowS # show :: Items schema -> String # showList :: [Items schema] -> ShowS #
Arbitrary schema => Arbitrary (Items schema) Source #
Methods arbitrary :: Gen (Items schema) # shrink :: Items schema -> [Items schema] #
ToJSON schema => ToJSON (Items schema) Source #
Methods toJSON :: Items schema -> Value # toEncoding :: Items schema -> Encoding # toJSONList :: [Items schema] -> Value # toEncodingList :: [Items schema] -> Encoding #
FromJSON schema => FromJSON (Items schema) Source #
Methods parseJSON :: Value -> Parser (Items schema) # parseJSONList :: Value -> Parser [Items schema] #

data ItemsRelatedInvalid err Source #

Constructors

IRInvalidItems (ItemsInvalid err)
IRInvalidAdditional (AdditionalItemsInvalid err)

Instances

Eq err => Eq (ItemsRelatedInvalid err) Source #
Methods (==) :: ItemsRelatedInvalid err -> ItemsRelatedInvalid err -> Bool # (/=) :: ItemsRelatedInvalid err -> ItemsRelatedInvalid err -> Bool #
Show err => Show (ItemsRelatedInvalid err) Source #
Methods showsPrec :: Int -> ItemsRelatedInvalid err -> ShowS # show :: ItemsRelatedInvalid err -> String # showList :: [ItemsRelatedInvalid err] -> ShowS #

data ItemsInvalid err Source #

Constructors

ItemsObjectInvalid (NonEmpty (Index, NonEmpty err))
ItemsArrayInvalid (NonEmpty (Index, NonEmpty err))

Instances

Eq err => Eq (ItemsInvalid err) Source #
Methods (==) :: ItemsInvalid err -> ItemsInvalid err -> Bool # (/=) :: ItemsInvalid err -> ItemsInvalid err -> Bool #
Show err => Show (ItemsInvalid err) Source #
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] Source #

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

itemsVal Source #

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 Source #

Constructors

AdditionalBool Bool
AdditionalObject schema

Instances

Eq schema => Eq (AdditionalItems schema) Source #
Methods (==) :: AdditionalItems schema -> AdditionalItems schema -> Bool # (/=) :: AdditionalItems schema -> AdditionalItems schema -> Bool #
Show schema => Show (AdditionalItems schema) Source #
Methods showsPrec :: Int -> AdditionalItems schema -> ShowS # show :: AdditionalItems schema -> String # showList :: [AdditionalItems schema] -> ShowS #
Arbitrary schema => Arbitrary (AdditionalItems schema) Source #
Methods arbitrary :: Gen (AdditionalItems schema) # shrink :: AdditionalItems schema -> [AdditionalItems schema] #
ToJSON schema => ToJSON (AdditionalItems schema) Source #
Methods toJSON :: AdditionalItems schema -> Value # toEncoding :: AdditionalItems schema -> Encoding # toJSONList :: [AdditionalItems schema] -> Value # toEncodingList :: [AdditionalItems schema] -> Encoding #
FromJSON schema => FromJSON (AdditionalItems schema) Source #
Methods parseJSON :: Value -> Parser (AdditionalItems schema) # parseJSONList :: Value -> Parser [AdditionalItems schema] #

data AdditionalItemsInvalid err Source #

Constructors

AdditionalItemsBoolInvalid (NonEmpty (Index, Value))
AdditionalItemsObjectInvalid (NonEmpty (Index, NonEmpty err))

Instances

Eq err => Eq (AdditionalItemsInvalid err) Source #
Methods (==) :: AdditionalItemsInvalid err -> AdditionalItemsInvalid err -> Bool # (/=) :: AdditionalItemsInvalid err -> AdditionalItemsInvalid err -> Bool #
Show err => Show (AdditionalItemsInvalid err) Source #
Methods showsPrec :: Int -> AdditionalItemsInvalid err -> ShowS # show :: AdditionalItemsInvalid err -> String # showList :: [AdditionalItemsInvalid err] -> ShowS #

additionalItemsVal Source #

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.