Aeson.ValueParser

Documentation

data Value a

JSON Value AST parser.

Its Alternative instance implements the logic of choosing between the possible types of JSON values.

Instances

Functor Value

Defined in Aeson.ValueParser

Methods

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

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

Applicative Value

Defined in Aeson.ValueParser

Methods

pure :: a -> Value a

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

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

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

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

Alternative Value

Implements the logic of choosing between the possible types of JSON values.

If you have multiple parsers of the same type of JSON value composed, only the leftmost will be affective. The errors from deeper parsers do not trigger the alternation, instead they get propagated to the top.

Defined in Aeson.ValueParser

Methods

empty :: Value a

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

some :: Value a -> Value [a]

many :: Value a -> Value [a]

run :: Value a -> Value -> Either Error a

data Error

Constructors

Error

Fields

• [Text]

  Path

• Text

  Message

Instances

IsString Error

Defined in Aeson.ValueParser.Error

Methods

fromString :: String -> Error

Semigroup Error

Defined in Aeson.ValueParser.Error

Methods

(<>) :: Error -> Error -> Error

sconcat :: NonEmpty Error -> Error

stimes :: Integral b => b -> Error -> Error

Monoid Error

Defined in Aeson.ValueParser.Error

Methods

mempty :: Error

mappend :: Error -> Error -> Error

mconcat :: [Error] -> Error

MonadError Error Array

Defined in Aeson.ValueParser

Methods

throwError :: Error -> Array a

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

MonadError Error Object

Defined in Aeson.ValueParser

Methods

throwError :: Error -> Object a

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

Value parsers

object :: Object a -> Value a

array :: Array a -> Value a

null :: Value ()

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

nullableMonoid :: Monoid a => Value a -> Value a

string :: String a -> Value a

number :: Number a -> Value a

bool :: Value Bool

fromJSON :: FromJSON a => Value a

String parsers

data String a

Instances

Functor String

Defined in Aeson.ValueParser

Methods

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

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

Applicative String

Defined in Aeson.ValueParser

Methods

pure :: a -> String a

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

liftA2 :: (a -> b -> c) -> String a -> String b -> String c

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

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

Alternative String

Defined in Aeson.ValueParser

Methods

empty :: String a

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

some :: String a -> String [a]

many :: String a -> String [a]

text :: String Text

matchedText :: (Text -> Either Text a) -> String a

parsedText :: Parser a -> String a

Number parsers

data Number a

Instances

Functor Number

Defined in Aeson.ValueParser

Methods

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

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

Applicative Number

Defined in Aeson.ValueParser

Methods

pure :: a -> Number a

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

liftA2 :: (a -> b -> c) -> Number a -> Number b -> Number c

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

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

Alternative Number

Defined in Aeson.ValueParser

Methods

empty :: Number a

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

some :: Number a -> Number [a]

many :: Number a -> Number [a]

scientific :: Number Scientific

integer :: (Integral a, Bounded a) => Number a

floating :: RealFloat a => Number a

matchedScientific :: (Scientific -> Either Text a) -> Number a

matchedInteger :: (Integral integer, Bounded integer) => (integer -> Either Text a) -> Number a

matchedFloating :: RealFloat floating => (floating -> Either Text a) -> Number a

Object parsers

data Object a

JSON Value parser.

Instances

Monad Object

Defined in Aeson.ValueParser

Methods

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

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

return :: a -> Object a

fail :: String -> Object a

Functor Object

Defined in Aeson.ValueParser

Methods

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

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

MonadFail Object

Defined in Aeson.ValueParser

Methods

fail :: String -> Object a

Applicative Object

Defined in Aeson.ValueParser

Methods

pure :: a -> Object a

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

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

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

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

Alternative Object

Defined in Aeson.ValueParser

Methods

empty :: Object a

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

some :: Object a -> Object [a]

many :: Object a -> Object [a]

MonadPlus Object

Defined in Aeson.ValueParser

Methods

mzero :: Object a

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

MonadError Error Object

Defined in Aeson.ValueParser

Methods

throwError :: Error -> Object a

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

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

oneOfFields :: [Text] -> Value a -> Object a

fieldMap :: (Eq a, Hashable a) => String a -> Value b -> Object (HashMap a b)

foldlFields :: (state -> Text -> field -> state) -> state -> Value field -> Object state

Array parsers

data Array a

JSON Value parser.

Instances

Monad Array

Defined in Aeson.ValueParser

Methods

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

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

return :: a -> Array a

fail :: String -> Array a

Functor Array

Defined in Aeson.ValueParser

Methods

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

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

MonadFail Array

Defined in Aeson.ValueParser

Methods

fail :: String -> Array a

Applicative Array

Defined in Aeson.ValueParser

Methods

pure :: a -> Array a

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

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

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

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

Alternative Array

Defined in Aeson.ValueParser

Methods

empty :: Array a

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

some :: Array a -> Array [a]

many :: Array a -> Array [a]

MonadPlus Array

Defined in Aeson.ValueParser

Methods

mzero :: Array a

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

MonadError Error Array

Defined in Aeson.ValueParser

Methods

throwError :: Error -> Array a

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

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

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

foldlElements :: (state -> Int -> element -> state) -> state -> Value element -> Array state

foldrElements :: (Int -> element -> state -> state) -> state -> Value element -> Array state