Data.Validator.Draft4.Array

maxItems

maxItems :: Int -> Vector Value -> Maybe (Fail ())

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

minItems

minItems :: Int -> Vector Value -> Maybe (Fail ())

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

uniqueItems

uniqueItems :: Bool -> Vector Value -> Maybe (Fail ())

items

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 ItemsInvalid err

Constructors

Items err

AdditionalItemsBoolInvalid

AdditionalItemsObjectInvalid 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

items :: forall err schema. (schema -> Value -> [Fail err]) -> Maybe (AdditionalItems schema) -> Items schema -> Vector Value -> [Fail (ItemsInvalid err)]

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

AdditionalBoolInvalid

AdditionalObjectInvalid 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

additionalItems :: forall err schema. (schema -> Value -> [Fail err]) -> AdditionalItems schema -> Vector Value -> [Fail (AdditionalItemsInvalid err)]