JSONSchema.Validator.Draft4

Turn the validation functions into actual Validators.

This is frankly a lot of busywork. It can perhaps be moved into the validator modules themselves once we're sure this is the right design.

Documentation

run :: FromJSON b => (a -> b -> Maybe c) -> Maybe a -> Value -> [c]

For internal use.

Take a validation function, a possibly existing validator, and some data. If the validator is exists and can validate the type of data we have, attempt to do so and return any failures.

noEmbedded :: a -> ([b], [b])

For internal use.

Numbers

multipleOfValidator :: Validator a (Maybe MultipleOf) MultipleOfInvalid

maximumValidator :: Validator a (Maybe Maximum) MaximumInvalid

minimumValidator :: Validator a (Maybe Minimum) MinimumInvalid

Strings

maxLengthValidator :: Validator a (Maybe MaxLength) MaxLengthInvalid

minLengthValidator :: Validator a (Maybe MinLength) MinLengthInvalid

patternValidator :: Validator a (Maybe PatternValidator) PatternInvalid

Arrays

maxItemsValidator :: Validator a (Maybe MaxItems) MaxItemsInvalid

minItemsValidator :: Validator a (Maybe MinItems) MinItemsInvalid

uniqueItemsValidator :: Validator a (Maybe UniqueItems) UniqueItemsInvalid

itemsRelatedValidator :: (schema -> Value -> [err]) -> Validator schema (ItemsRelated schema) (ItemsRelatedInvalid err)

Objects

maxPropertiesValidator :: Validator a (Maybe MaxProperties) MaxPropertiesInvalid

minPropertiesValidator :: Validator a (Maybe MinProperties) MinPropertiesInvalid

requiredValidator :: Validator a (Maybe Required) RequiredInvalid

dependenciesValidator :: (schema -> Value -> [err]) -> Validator schema (Maybe (DependenciesValidator schema)) (DependenciesInvalid err)

propertiesRelatedValidator :: (schema -> Value -> [err]) -> Validator schema (PropertiesRelated schema) (PropertiesRelatedInvalid err)

newtype Definitions schema

Constructors

Definitions

Fields

• _unDefinitions :: HashMap Text schema

Instances

Eq schema => Eq (Definitions schema)

Methods

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

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

Show schema => Show (Definitions schema)

Methods

showsPrec :: Int -> Definitions schema -> ShowS

show :: Definitions schema -> String

showList :: [Definitions schema] -> ShowS

FromJSON schema => FromJSON (Definitions schema)

Methods

parseJSON :: Value -> Parser (Definitions schema)

parseJSONList :: Value -> Parser [Definitions schema]

definitionsEmbedded :: Validator schema (Maybe (Definitions schema)) err

Any

refValidator :: (FromJSON schema, ToJSON schema) => (Text -> Maybe schema) -> (BaseURI -> schema -> BaseURI) -> (VisitedSchemas -> Scope schema -> schema -> Value -> [err]) -> VisitedSchemas -> Scope schema -> Validator a (Maybe Ref) (RefInvalid err)

enumValidator :: Validator a (Maybe EnumValidator) EnumInvalid

typeValidator :: Validator a (Maybe TypeContext) TypeValidatorInvalid

allOfValidator :: (schema -> Value -> [err]) -> Validator schema (Maybe (AllOf schema)) (AllOfInvalid err)

anyOfValidator :: (schema -> Value -> [err]) -> Validator schema (Maybe (AnyOf schema)) (AnyOfInvalid err)

oneOfValidator :: ToJSON schema => (schema -> Value -> [err]) -> Validator schema (Maybe (OneOf schema)) (OneOfInvalid err)

notValidator :: ToJSON schema => (schema -> Value -> [err]) -> Validator schema (Maybe (NotValidator schema)) NotValidatorInvalid