Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data RefInvalid err
- = RefResolution
- | RefLoop
- | RefInvalid err
- newtype 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)]
- newtype EnumVal = EnumVal {}
- enumVal :: EnumVal -> Value -> Maybe (Fail ())
- data TypeVal
- = TypeValString Text
- | TypeValArray (Set Text)
- setFromTypeVal :: TypeVal -> Set Text
- typeVal :: TypeVal -> Value -> Maybe (Fail ())
- allOf :: (schema -> Value -> [Fail err]) -> NonEmpty schema -> Value -> [Fail err]
- anyOf :: forall err schema. (schema -> Value -> [Fail err]) -> NonEmpty schema -> Value -> [Fail err]
- data OneOfInvalid err
- = TooManySuccesses
- | NoSuccesses err
- oneOf :: forall err schema. ToJSON schema => (schema -> Value -> [Fail err]) -> NonEmpty schema -> Value -> [Fail (OneOfInvalid err)]
- notVal :: ToJSON schema => (schema -> Value -> [Fail err]) -> schema -> Value -> Maybe (Fail ())
$ref
data RefInvalid err Source #
Eq err => Eq (RefInvalid err) Source # | |
Show err => Show (RefInvalid err) Source # | |
newtype VisitedSchemas Source #
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)] Source #
enum
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.
type
allOf
anyOf
anyOf :: forall err schema. (schema -> Value -> [Fail err]) -> NonEmpty schema -> Value -> [Fail err] Source #
oneOf
data OneOfInvalid err Source #
Eq err => Eq (OneOfInvalid err) Source # | |
Show err => Show (OneOfInvalid err) Source # | |
oneOf :: forall err schema. ToJSON schema => (schema -> Value -> [Fail err]) -> NonEmpty schema -> Value -> [Fail (OneOfInvalid err)] Source #