JSONSchema.Draft4.Failure

Documentation

data Invalid

Used to report an entire instance being invalidated, as opposed to the failure of a single validator.

Constructors

Invalid

Fields

• _invalidSchema :: Schema
• _invalidInstance :: Value
• _invalidFailures :: NonEmpty ValidatorFailure

Instances

Eq Invalid

Methods

(==) :: Invalid -> Invalid -> Bool

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

Show Invalid

Methods

showsPrec :: Int -> Invalid -> ShowS

show :: Invalid -> String

showList :: [Invalid] -> ShowS

data ValidatorFailure

Constructors

FailureMultipleOf MultipleOfInvalid

FailureMaximum MaximumInvalid

FailureMinimum MinimumInvalid

FailureMaxLength MaxLengthInvalid

FailureMinLength MinLengthInvalid

FailurePattern PatternInvalid

FailureMaxItems MaxItemsInvalid

FailureMinItems MinItemsInvalid

FailureUniqueItems UniqueItemsInvalid

FailureItems (ItemsInvalid ValidatorFailure)

FailureAdditionalItems (AdditionalItemsInvalid ValidatorFailure)

FailureMaxProperties MaxPropertiesInvalid

FailureMinProperties MinPropertiesInvalid

FailureRequired RequiredInvalid

FailureDependencies (DependenciesInvalid ValidatorFailure)

FailurePropertiesRelated (PropertiesRelatedInvalid ValidatorFailure)

FailureRef (RefInvalid ValidatorFailure)

FailureEnum EnumInvalid

FailureType TypeValidatorInvalid

FailureAllOf (AllOfInvalid ValidatorFailure)

FailureAnyOf (AnyOfInvalid ValidatorFailure)

FailureOneOf (OneOfInvalid ValidatorFailure)

FailureNot NotValidatorInvalid

Instances

Eq ValidatorFailure

Methods

(==) :: ValidatorFailure -> ValidatorFailure -> Bool

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

Show ValidatorFailure

Methods

showsPrec :: Int -> ValidatorFailure -> ShowS

show :: ValidatorFailure -> String

showList :: [ValidatorFailure] -> ShowS

newtype SchemaInvalid

A description of why a schema (or one of its reference) is itself invalid.

Nothing indicates the starting schema. Just indicates a referenced schema. The contents of the Just is the schema's URI.

NOTE: 'HashMap (Maybe Text) Invalid' would be a nicer way of defining this, but then we lose the guarantee that there's at least one key.

Constructors

SchemaInvalid

Fields

• _unSchemaInvalid :: NonEmpty (Maybe Text, NonEmpty ValidatorFailure)

Instances

Eq SchemaInvalid

Methods

(==) :: SchemaInvalid -> SchemaInvalid -> Bool

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

Show SchemaInvalid

Methods

showsPrec :: Int -> SchemaInvalid -> ShowS

show :: SchemaInvalid -> String

showList :: [SchemaInvalid] -> ShowS