Data.Validity.Aeson

Documentation

parseJSONValid :: Validity a => Parser a -> Parser a

Modify a parser to fail on invalid results.

parseJSONValidWith :: Validity a => (value -> Parser a) -> value -> Parser a

Modify a parsing function to fail on invalid results.

Easy to use with the withX helper functions:

parseJSON = parseJSONValidwith . withObject "MyThing" $ \o ->
  MyThing <$> ...

Orphan instances

Validity Value

A Value is valid if the recursive components are valid.

Methods

validate :: Value -> Validation