Data.Aeson.Internal

Internal types and functions.

Note: all declarations in this module are unstable, and prone to being changed at any time.

Documentation

data IResult a

The internal result of running a Parser.

Constructors

IError JSONPath String

ISuccess a

Instances

Alternative IResult

Monad IResult

Functor IResult

MonadPlus IResult

Applicative IResult

Foldable IResult

Traversable IResult

Eq a => Eq (IResult a)

Show a => Show (IResult a)

Monoid (IResult a)

NFData a => NFData (IResult a)

Typeable (* -> *) IResult

data JSONPathElement

Elements of a JSON path used to describe the location of an error.

Instances

Eq JSONPathElement

Show JSONPathElement

NFData JSONPathElement

Typeable * JSONPathElement

type JSONPath = [JSONPathElement]

formatError :: JSONPath -> String -> String

Annotate an error message with a JSONPath error location.

ifromJSON :: FromJSON a => Value -> IResult a

Convert a value from JSON, failing if the types do not match.

iparse :: (a -> Parser b) -> a -> IResult b

Run a Parser.