Aeson.ValueParser

A parser DSL for the "aeson" model of the JSON tree.

Documentation

data Value a

A JSON Value parser.

Instances

Monad Value

Methods

(>>=) :: Value a -> (a -> Value b) -> Value b

(>>) :: Value a -> Value b -> Value b

return :: a -> Value a

fail :: String -> Value a

Functor Value

Methods

fmap :: (a -> b) -> Value a -> Value b

(<$) :: a -> Value b -> Value a

Applicative Value

Methods

pure :: a -> Value a

(<*>) :: Value (a -> b) -> Value a -> Value b

(*>) :: Value a -> Value b -> Value b

(<*) :: Value a -> Value b -> Value a

Alternative Value

Methods

empty :: Value a

(<|>) :: Value a -> Value a -> Value a

some :: Value a -> Value [a]

many :: Value a -> Value [a]

MonadPlus Value

Methods

mzero :: Value a

mplus :: Value a -> Value a -> Value a

MonadError Text Value

Methods

throwError :: Text -> Value a

catchError :: Value a -> (Text -> Value a) -> Value a

run :: Value a -> Value -> Either Text a

Value parsers

object :: Object a -> Value a

array :: Array a -> Value a

null :: Value ()

nullable :: Value a -> Value (Maybe a)

string :: Value Text

number :: Value Scientific

bool :: Value Bool

fromJSON :: FromJSON a => Value a

pointed :: JSONPointer -> Value a -> Value a

Lifts JSON Pointer.

Object parsers

data Object a

A JSON Object parser.

Instances

Monad Object

Methods

(>>=) :: Object a -> (a -> Object b) -> Object b

(>>) :: Object a -> Object b -> Object b

return :: a -> Object a

fail :: String -> Object a

Functor Object

Methods

fmap :: (a -> b) -> Object a -> Object b

(<$) :: a -> Object b -> Object a

Applicative Object

Methods

pure :: a -> Object a

(<*>) :: Object (a -> b) -> Object a -> Object b

(*>) :: Object a -> Object b -> Object b

(<*) :: Object a -> Object b -> Object a

Alternative Object

Methods

empty :: Object a

(<|>) :: Object a -> Object a -> Object a

some :: Object a -> Object [a]

many :: Object a -> Object [a]

MonadPlus Object

Methods

mzero :: Object a

mplus :: Object a -> Object a -> Object a

MonadError Text Object

Methods

throwError :: Text -> Object a

catchError :: Object a -> (Text -> Object a) -> Object a

field :: Text -> Value a -> Object a

fieldsMap :: Value a -> Object (HashMap Text a)

foldlFields :: (a -> (Text, b) -> a) -> a -> Value b -> Object a

Array parsers

data Array a

A JSON Array parser.

Instances

Monad Array

Methods

(>>=) :: Array a -> (a -> Array b) -> Array b

(>>) :: Array a -> Array b -> Array b

return :: a -> Array a

fail :: String -> Array a

Functor Array

Methods

fmap :: (a -> b) -> Array a -> Array b

(<$) :: a -> Array b -> Array a

Applicative Array

Methods

pure :: a -> Array a

(<*>) :: Array (a -> b) -> Array a -> Array b

(*>) :: Array a -> Array b -> Array b

(<*) :: Array a -> Array b -> Array a

Alternative Array

Methods

empty :: Array a

(<|>) :: Array a -> Array a -> Array a

some :: Array a -> Array [a]

many :: Array a -> Array [a]

MonadPlus Array

Methods

mzero :: Array a

mplus :: Array a -> Array a -> Array a

MonadError Text Array

Methods

throwError :: Text -> Array a

catchError :: Array a -> (Text -> Array a) -> Array a

element :: Int -> Value a -> Array a

elementsVector :: Value a -> Array (Vector a)

foldlElements :: (a -> b -> a) -> a -> Value b -> Array a

foldlElements1 :: (a -> a -> a) -> Value a -> Array a

foldrElements :: (b -> a -> a) -> a -> Value b -> Array a