JSONSchema.Validator.Draft4.Object

maxProperties

newtype MaxProperties

Constructors

MaxProperties

Fields

• _unMaxProperties :: Int

Instances

Eq MaxProperties

Methods

(==) :: MaxProperties -> MaxProperties -> Bool

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

Show MaxProperties

Methods

showsPrec :: Int -> MaxProperties -> ShowS

show :: MaxProperties -> String

showList :: [MaxProperties] -> ShowS

FromJSON MaxProperties

Methods

parseJSON :: Value -> Parser MaxProperties

parseJSONList :: Value -> Parser [MaxProperties]

data MaxPropertiesInvalid

Constructors

MaxPropertiesInvalid MaxProperties (HashMap Text Value)

Instances

Eq MaxPropertiesInvalid

Methods

(==) :: MaxPropertiesInvalid -> MaxPropertiesInvalid -> Bool

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

Show MaxPropertiesInvalid

Methods

showsPrec :: Int -> MaxPropertiesInvalid -> ShowS

show :: MaxPropertiesInvalid -> String

showList :: [MaxPropertiesInvalid] -> ShowS

maxPropertiesVal :: MaxProperties -> HashMap Text Value -> Maybe MaxPropertiesInvalid

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

minProperties

newtype MinProperties

Constructors

MinProperties

Fields

• _unMinProperties :: Int

Instances

Eq MinProperties

Methods

(==) :: MinProperties -> MinProperties -> Bool

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

Show MinProperties

Methods

showsPrec :: Int -> MinProperties -> ShowS

show :: MinProperties -> String

showList :: [MinProperties] -> ShowS

FromJSON MinProperties

Methods

parseJSON :: Value -> Parser MinProperties

parseJSONList :: Value -> Parser [MinProperties]

data MinPropertiesInvalid

Constructors

MinPropertiesInvalid MinProperties (HashMap Text Value)

Instances

Eq MinPropertiesInvalid

Methods

(==) :: MinPropertiesInvalid -> MinPropertiesInvalid -> Bool

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

Show MinPropertiesInvalid

Methods

showsPrec :: Int -> MinPropertiesInvalid -> ShowS

show :: MinPropertiesInvalid -> String

showList :: [MinPropertiesInvalid] -> ShowS

minPropertiesVal :: MinProperties -> HashMap Text Value -> Maybe MinPropertiesInvalid

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

required

newtype Required

From the spec:

The value of this keyword MUST be an array.
This array MUST have at least one element.
Elements of this array MUST be strings, and MUST be unique.

Constructors

Required

Fields

• _unRequired :: Set Text

Instances

Eq Required

Methods

(==) :: Required -> Required -> Bool

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

Show Required

Methods

showsPrec :: Int -> Required -> ShowS

show :: Required -> String

showList :: [Required] -> ShowS

Arbitrary Required

Methods

arbitrary :: Gen Required

shrink :: Required -> [Required]

FromJSON Required

Methods

parseJSON :: Value -> Parser Required

parseJSONList :: Value -> Parser [Required]

data RequiredInvalid

Constructors

RequiredInvalid Required (Set Text) (HashMap Text Value)

Instances

Eq RequiredInvalid

Methods

(==) :: RequiredInvalid -> RequiredInvalid -> Bool

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

Show RequiredInvalid

Methods

showsPrec :: Int -> RequiredInvalid -> ShowS

show :: RequiredInvalid -> String

showList :: [RequiredInvalid] -> ShowS

requiredVal :: Required -> HashMap Text Value -> Maybe RequiredInvalid

dependencies

newtype DependenciesValidator schema

Constructors

DependenciesValidator

Fields

• _unDependenciesValidator :: HashMap Text (Dependency schema)

Instances

Eq schema => Eq (DependenciesValidator schema)

Methods

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

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

Show schema => Show (DependenciesValidator schema)

Methods

showsPrec :: Int -> DependenciesValidator schema -> ShowS

show :: DependenciesValidator schema -> String

showList :: [DependenciesValidator schema] -> ShowS

FromJSON schema => FromJSON (DependenciesValidator schema)

Methods

parseJSON :: Value -> Parser (DependenciesValidator schema)

parseJSONList :: Value -> Parser [DependenciesValidator schema]

data Dependency schema

Constructors

SchemaDependency schema

PropertyDependency (Set Text)

Instances

Eq schema => Eq (Dependency schema)

Methods

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

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

Show schema => Show (Dependency schema)

Methods

showsPrec :: Int -> Dependency schema -> ShowS

show :: Dependency schema -> String

showList :: [Dependency schema] -> ShowS

Arbitrary schema => Arbitrary (Dependency schema)

Methods

arbitrary :: Gen (Dependency schema)

shrink :: Dependency schema -> [Dependency schema]

ToJSON schema => ToJSON (Dependency schema)

Methods

toJSON :: Dependency schema -> Value

toEncoding :: Dependency schema -> Encoding

toJSONList :: [Dependency schema] -> Value

toEncodingList :: [Dependency schema] -> Encoding

FromJSON schema => FromJSON (Dependency schema)

Methods

parseJSON :: Value -> Parser (Dependency schema)

parseJSONList :: Value -> Parser [Dependency schema]

data DependencyMemberInvalid err

Constructors

SchemaDepInvalid (NonEmpty err)

PropertyDepInvalid (Set Text) (HashMap Text Value)

Instances

Eq err => Eq (DependencyMemberInvalid err)

Methods

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

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

Show err => Show (DependencyMemberInvalid err)

Methods

showsPrec :: Int -> DependencyMemberInvalid err -> ShowS

show :: DependencyMemberInvalid err -> String

showList :: [DependencyMemberInvalid err] -> ShowS

newtype DependenciesInvalid err

Constructors

DependenciesInvalid (HashMap Text (DependencyMemberInvalid err))

Instances

Eq err => Eq (DependenciesInvalid err)

Methods

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

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

Show err => Show (DependenciesInvalid err)

Methods

showsPrec :: Int -> DependenciesInvalid err -> ShowS

show :: DependenciesInvalid err -> String

showList :: [DependenciesInvalid err] -> ShowS

dependenciesVal :: forall err schema. (schema -> Value -> [err]) -> DependenciesValidator schema -> HashMap Text Value -> Maybe (DependenciesInvalid err)

From the spec: http://json-schema.org/latest/json-schema-validation.html#anchor70

This keyword's value MUST be an object.
Each value of this object MUST be either an object or an array.

If the value is an object, it MUST be a valid JSON Schema.
This is called a schema dependency.

If the value is an array, it MUST have at least one element.
Each element MUST be a string, and elements in the array MUST be unique.
This is called a property dependency.

data PropertiesRelated schema

Constructors

PropertiesRelated

Fields

• _propProperties :: Maybe (HashMap Text schema)

  Maybe is used to distinguish whether the key is present or not.

• _propPattern :: Maybe (HashMap Text schema)
• _propAdditional :: Maybe (AdditionalProperties schema)

Instances

Eq schema => Eq (PropertiesRelated schema)

Methods

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

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

Show schema => Show (PropertiesRelated schema)

Methods

showsPrec :: Int -> PropertiesRelated schema -> ShowS

show :: PropertiesRelated schema -> String

showList :: [PropertiesRelated schema] -> ShowS

FromJSON schema => FromJSON (PropertiesRelated schema)

Methods

parseJSON :: Value -> Parser (PropertiesRelated schema)

parseJSONList :: Value -> Parser [PropertiesRelated schema]

emptyProperties :: PropertiesRelated schema

data AdditionalProperties schema

Constructors

AdditionalPropertiesBool Bool

AdditionalPropertiesObject schema

Instances

Eq schema => Eq (AdditionalProperties schema)

Methods

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

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

Show schema => Show (AdditionalProperties schema)

Methods

showsPrec :: Int -> AdditionalProperties schema -> ShowS

show :: AdditionalProperties schema -> String

showList :: [AdditionalProperties schema] -> ShowS

Arbitrary schema => Arbitrary (AdditionalProperties schema)

Methods

arbitrary :: Gen (AdditionalProperties schema)

shrink :: AdditionalProperties schema -> [AdditionalProperties schema]

ToJSON schema => ToJSON (AdditionalProperties schema)

Methods

toJSON :: AdditionalProperties schema -> Value

toEncoding :: AdditionalProperties schema -> Encoding

toJSONList :: [AdditionalProperties schema] -> Value

toEncodingList :: [AdditionalProperties schema] -> Encoding

FromJSON schema => FromJSON (AdditionalProperties schema)

Methods

parseJSON :: Value -> Parser (AdditionalProperties schema)

parseJSONList :: Value -> Parser [AdditionalProperties schema]

newtype Regex

A glorified type alias.

Constructors

Regex

Fields

• _unRegex :: Text

Instances

Eq Regex

Methods

(==) :: Regex -> Regex -> Bool

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

Show Regex

Methods

showsPrec :: Int -> Regex -> ShowS

show :: Regex -> String

showList :: [Regex] -> ShowS

Generic Regex

Associated Types

type Rep Regex :: * -> *

Methods

from :: Regex -> Rep Regex x

to :: Rep Regex x -> Regex

Hashable Regex

Methods

hashWithSalt :: Int -> Regex -> Int

hash :: Regex -> Int

type Rep Regex

type Rep Regex = D1 (MetaData "Regex" "JSONSchema.Validator.Draft4.Object.Properties" "hjsonschema-1.6.3-7fJ3ZtAkaGF5swnMLiAgXs" True) (C1 (MetaCons "Regex" PrefixI True) (S1 (MetaSel (Just Symbol "_unRegex") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data PropertiesRelatedInvalid err

Constructors

PropertiesRelatedInvalid

Fields

• _prInvalidProperties :: HashMap Text [err]
• _prInvalidPattern :: HashMap (Regex, Key) [err]
• _prInvalidAdditional :: Maybe (APInvalid err)

Instances

Eq err => Eq (PropertiesRelatedInvalid err)

Methods

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

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

Show err => Show (PropertiesRelatedInvalid err)

Methods

showsPrec :: Int -> PropertiesRelatedInvalid err -> ShowS

show :: PropertiesRelatedInvalid err -> String

showList :: [PropertiesRelatedInvalid err] -> ShowS

data APInvalid err

Constructors

APBoolInvalid (HashMap Text Value)

APObjectInvalid (HashMap Text (NonEmpty err))

Instances

Eq err => Eq (APInvalid err)

Methods

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

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

Show err => Show (APInvalid err)

Methods

showsPrec :: Int -> APInvalid err -> ShowS

show :: APInvalid err -> String

showList :: [APInvalid err] -> ShowS

propertiesRelatedVal :: forall err schema. (schema -> Value -> [err]) -> PropertiesRelated schema -> HashMap Text Value -> Maybe (PropertiesRelatedInvalid err)

First "properties" and "patternProperties" are run simultaneously on the data, then "additionalProperties" is run on the remainder.

newtype Remaining

Internal.

Constructors

Remaining

Fields

• _unRemaining :: HashMap Text Value

patternAndUnmatched :: forall err schema. (schema -> Value -> [err]) -> HashMap Text schema -> HashMap Text Value -> (HashMap (Regex, Key) [err], Remaining)

Internal.

additionalProperties :: forall err schema. (schema -> Value -> [err]) -> AdditionalProperties schema -> Remaining -> Maybe (APInvalid err)

additionalPropertiesBool :: Bool -> Remaining -> Maybe (HashMap Text Value)

Internal.

additionalPropertiesObject :: forall err schema. (schema -> Value -> [err]) -> schema -> Remaining -> Maybe (HashMap Text (NonEmpty err))

Internal.