Data.Validator.Draft4.Any

$ref

data RefInvalid err

Constructors

RefResolution

RefLoop

RefInvalid err

Instances

Eq err => Eq (RefInvalid err)

Methods

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

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

Show err => Show (RefInvalid err)

Methods

showsPrec :: Int -> RefInvalid err -> ShowS

show :: RefInvalid err -> String

showList :: [RefInvalid err] -> ShowS

newtype VisitedSchemas

Constructors

VisitedSchemas

Fields

• _unVisited :: [URIBaseAndFragment]

Instances

Eq VisitedSchemas

Methods

(==) :: VisitedSchemas -> VisitedSchemas -> Bool

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

Show VisitedSchemas

Methods

showsPrec :: Int -> VisitedSchemas -> ShowS

show :: VisitedSchemas -> String

showList :: [VisitedSchemas] -> ShowS

Monoid VisitedSchemas

Methods

mempty :: VisitedSchemas

mappend :: VisitedSchemas -> VisitedSchemas -> VisitedSchemas

mconcat :: [VisitedSchemas] -> VisitedSchemas

ref :: forall err schema. (FromJSON schema, ToJSON schema) => VisitedSchemas -> Maybe Text -> (Maybe Text -> Maybe schema) -> (VisitedSchemas -> Maybe Text -> schema -> Value -> [Fail err]) -> Text -> Value -> [Fail (RefInvalid err)]

enum

newtype EnumVal

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

The value of this keyword MUST be an array.
This array MUST have at least one element.
Elements in the array MUST be unique.

NOTE: We don't enforce the uniqueness constraint in the haskell code, but we do in the FromJSON instance.

Constructors

EnumVal

Fields

• _unEnumVal :: NonEmpty Value

Instances

Eq EnumVal

Methods

(==) :: EnumVal -> EnumVal -> Bool

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

Show EnumVal

Methods

showsPrec :: Int -> EnumVal -> ShowS

show :: EnumVal -> String

showList :: [EnumVal] -> ShowS

Arbitrary EnumVal

Methods

arbitrary :: Gen EnumVal

shrink :: EnumVal -> [EnumVal]

ToJSON EnumVal

Methods

toJSON :: EnumVal -> Value

toEncoding :: EnumVal -> Encoding

FromJSON EnumVal

Methods

parseJSON :: Value -> Parser EnumVal

enumVal :: EnumVal -> Value -> Maybe (Fail ())

type

data TypeVal

Constructors

TypeValString Text

TypeValArray (Set Text)

Instances

Eq TypeVal

Methods

(==) :: TypeVal -> TypeVal -> Bool

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

Show TypeVal

Methods

showsPrec :: Int -> TypeVal -> ShowS

show :: TypeVal -> String

showList :: [TypeVal] -> ShowS

Arbitrary TypeVal

Methods

arbitrary :: Gen TypeVal

shrink :: TypeVal -> [TypeVal]

ToJSON TypeVal

Methods

toJSON :: TypeVal -> Value

toEncoding :: TypeVal -> Encoding

FromJSON TypeVal

Methods

parseJSON :: Value -> Parser TypeVal

setFromTypeVal :: TypeVal -> Set Text

typeVal :: TypeVal -> Value -> Maybe (Fail ())

allOf

allOf :: (schema -> Value -> [Fail err]) -> NonEmpty schema -> Value -> [Fail err]

anyOf

anyOf :: ToJSON schema => (schema -> Value -> [Fail err]) -> NonEmpty schema -> Value -> Maybe (Fail ())

oneOf

oneOf :: forall err schema. ToJSON schema => (schema -> Value -> [Fail err]) -> NonEmpty schema -> Value -> Maybe (Fail ())

not

notVal :: ToJSON schema => (schema -> Value -> [Fail err]) -> schema -> Value -> Maybe (Fail ())