Safe Haskell | None |
---|---|
Language | Haskell2010 |
- maxItems :: Int -> Vector Value -> Maybe (Fail ())
- minItems :: Int -> Vector Value -> Maybe (Fail ())
- uniqueItems :: Bool -> Vector Value -> Maybe (Fail ())
- data Items schema
- = ItemsObject schema
- | ItemsArray [schema]
- data ItemsInvalid err
- items :: forall err schema. (schema -> Value -> [Fail err]) -> Maybe (AdditionalItems schema) -> Items schema -> Vector Value -> [Fail (ItemsInvalid err)]
- data AdditionalItems schema
- = AdditionalBool Bool
- | AdditionalObject schema
- data AdditionalItemsInvalid err
- additionalItems :: forall err schema. (schema -> Value -> [Fail err]) -> AdditionalItems schema -> Vector Value -> [Fail (AdditionalItemsInvalid err)]
maxItems
maxItems :: Int -> Vector Value -> Maybe (Fail ()) Source #
The spec requires "maxItems"
to be non-negative.
minItems
minItems :: Int -> Vector Value -> Maybe (Fail ()) Source #
The spec requires "minItems"
to be non-negative.
uniqueItems
items
ItemsObject schema | |
ItemsArray [schema] |
data ItemsInvalid err Source #
Eq err => Eq (ItemsInvalid err) Source # | |
Show err => Show (ItemsInvalid err) Source # | |
items :: forall err schema. (schema -> Value -> [Fail err]) -> Maybe (AdditionalItems schema) -> Items schema -> Vector Value -> [Fail (ItemsInvalid err)] Source #
additionalItems
data AdditionalItems schema Source #
AdditionalBool Bool | |
AdditionalObject schema |
Eq schema => Eq (AdditionalItems schema) Source # | |
Show schema => Show (AdditionalItems schema) Source # | |
Arbitrary schema => Arbitrary (AdditionalItems schema) Source # | |
ToJSON schema => ToJSON (AdditionalItems schema) Source # | |
FromJSON schema => FromJSON (AdditionalItems schema) Source # | |
data AdditionalItemsInvalid err Source #
Eq err => Eq (AdditionalItemsInvalid err) Source # | |
Show err => Show (AdditionalItemsInvalid err) Source # | |
additionalItems :: forall err schema. (schema -> Value -> [Fail err]) -> AdditionalItems schema -> Vector Value -> [Fail (AdditionalItemsInvalid err)] Source #