AesonValueParser

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 AesonValueParser

Methods

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

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

Applicative Value

Defined in AesonValueParser

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 AesonValueParser

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

runWithTextError :: Value a -> Value -> Either Text a

data Error

Constructors

Error

Fields

• [Text]

  Path

• Text

  Message

Instances

Show Error

Defined in AesonValueParser.Error

Methods

showsPrec :: Int -> Error -> ShowS

show :: Error -> String

showList :: [Error] -> ShowS

IsString Error

Defined in AesonValueParser.Error

Methods

fromString :: String -> Error

Semigroup Error

Defined in AesonValueParser.Error

Methods

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

sconcat :: NonEmpty Error -> Error

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

Monoid Error

Defined in AesonValueParser.Error

Methods

mempty :: Error

mappend :: Error -> Error -> Error

mconcat :: [Error] -> Error

MonadError Error Array

Defined in AesonValueParser

Methods

throwError :: Error -> Array a

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

MonadError Error Object

Defined in AesonValueParser

Methods

throwError :: Error -> Object a

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

parseByteString :: Value a -> ByteString -> Either Text 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 AesonValueParser

Methods

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

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

Applicative String

Defined in AesonValueParser

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 AesonValueParser

Methods

empty :: String a

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

some :: String a -> String [a]

many :: String a -> String [a]

text :: String Text

mappedText :: [(Text, a)] -> String a

narrowedText :: (Text -> Maybe a) -> String a

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

attoparsedText :: Parser a -> String a

megaparsedText :: Parsec Void Text a -> String a

Number parsers

data Number a

Instances

Functor Number

Defined in AesonValueParser

Methods

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

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

Applicative Number

Defined in AesonValueParser

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 AesonValueParser

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 Object parser.

Instances

Monad Object

Defined in AesonValueParser

Methods

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

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

return :: a -> Object a

Functor Object

Defined in AesonValueParser

Methods

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

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

MonadFail Object

Defined in AesonValueParser

Methods

fail :: String -> Object a

Applicative Object

Defined in AesonValueParser

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 AesonValueParser

Methods

empty :: Object a

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

some :: Object a -> Object [a]

many :: Object a -> Object [a]

MonadPlus Object

Defined in AesonValueParser

Methods

mzero :: Object a

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

MonadError Error Object

Defined in AesonValueParser

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 -> key -> field -> state) -> state -> String key -> Value field -> Object state

fieldsAmount :: Object Int

Array parsers

data Array a

JSON Array parser.

Instances

Monad Array

Defined in AesonValueParser

Methods

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

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

return :: a -> Array a

Functor Array

Defined in AesonValueParser

Methods

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

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

MonadFail Array

Defined in AesonValueParser

Methods

fail :: String -> Array a

Applicative Array

Defined in AesonValueParser

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 AesonValueParser

Methods

empty :: Array a

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

some :: Array a -> Array [a]

many :: Array a -> Array [a]

MonadPlus Array

Defined in AesonValueParser

Methods

mzero :: Array a

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

MonadError Error Array

Defined in AesonValueParser

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

elementsAmount :: Array Int