Jordan.FromJSON.Megaparsec

Documentation

type Parser = Parsec ErrorContext Text

type ParseError = ParseErrorBundle Text ErrorContext

newtype ErrorContext

Constructors

ErrorContext

Fields

• getErrorContext :: [Text]

Instances

Eq ErrorContext

Defined in Jordan.FromJSON.Megaparsec

Methods

(==) :: ErrorContext -> ErrorContext -> Bool

(/=) :: ErrorContext -> ErrorContext -> Bool

Ord ErrorContext

Defined in Jordan.FromJSON.Megaparsec

Methods

compare :: ErrorContext -> ErrorContext -> Ordering

(<) :: ErrorContext -> ErrorContext -> Bool

(<=) :: ErrorContext -> ErrorContext -> Bool

(>) :: ErrorContext -> ErrorContext -> Bool

(>=) :: ErrorContext -> ErrorContext -> Bool

max :: ErrorContext -> ErrorContext -> ErrorContext

min :: ErrorContext -> ErrorContext -> ErrorContext

Show ErrorContext

Defined in Jordan.FromJSON.Megaparsec

Methods

showsPrec :: Int -> ErrorContext -> ShowS

show :: ErrorContext -> String

showList :: [ErrorContext] -> ShowS

ShowErrorComponent ErrorContext

Defined in Jordan.FromJSON.Megaparsec

Methods

showErrorComponent :: ErrorContext -> String

errorComponentLen :: ErrorContext -> Int

newtype ObjectParser a

Constructors

ObjectParser

Fields

• getObjectParser :: Permutation Parser a

Instances

Functor ObjectParser

Defined in Jordan.FromJSON.Megaparsec

Methods

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

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

Applicative ObjectParser

Defined in Jordan.FromJSON.Megaparsec

Methods

pure :: a -> ObjectParser a

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

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

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

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

JSONObjectParser ObjectParser

Defined in Jordan.FromJSON.Megaparsec

Methods

parseFieldWith :: Text -> (forall (valueParser :: Type -> Type). JSONParser valueParser => valueParser a) -> ObjectParser a

parseField :: FromJSON v => Text -> ObjectParser v

newtype ArrayParser a

Constructors

ArrayParser

Fields

• getArrayParser :: Parser a

Instances

Functor ArrayParser

Defined in Jordan.FromJSON.Megaparsec

Methods

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

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

Applicative ArrayParser

Defined in Jordan.FromJSON.Megaparsec

Methods

pure :: a -> ArrayParser a

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

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

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

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

JSONTupleParser ArrayParser

Defined in Jordan.FromJSON.Megaparsec

Methods

consumeItemWith :: (forall (valueParser :: Type -> Type). JSONParser valueParser => valueParser a) -> ArrayParser a

consumeItem :: FromJSON v => ArrayParser v

lexeme :: Parser a -> Parser a

takeSpace :: Parser ()

parseAnyField :: Parser ()

objectKey :: Text -> Parser ()

parseCharInText :: Char -> Parser ()

parseDictField :: Parser a -> Parser (Text, a)

parseObjectField :: Text -> Parser a -> Parser a

parseJSONText :: Parser Text

innerText :: Parser Text

parseEscape :: Parser Text

parseHexDigit :: Parser Int

comma :: Parser ()

labelSep :: Parser ()

parseAnyObject :: Parser ()

parseAnyArray :: Parser ()

consumeJunkValue :: Parser ()

parseJSONNumber :: Parser Scientific

parseJSONNull :: Parser ()

parseJSONBool :: Parser Bool

junkFieldsAtEnd :: Parser ()

newtype MegaparsecParser a

Constructors

MegaparsecParser

Fields

• getMegaparsecParser :: Parser a

Instances

Functor MegaparsecParser

Defined in Jordan.FromJSON.Megaparsec

Methods

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

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

JSONParser MegaparsecParser

Defined in Jordan.FromJSON.Megaparsec

Methods

parseObject :: Text -> (forall (objectParser :: Type -> Type). JSONObjectParser objectParser => objectParser a) -> MegaparsecParser a

parseObjectStrict :: Text -> (forall (objectParser :: Type -> Type). JSONObjectParser objectParser => objectParser a) -> MegaparsecParser a

parseDictionary :: (forall (jsonParser :: Type -> Type). JSONParser jsonParser => jsonParser a) -> MegaparsecParser [(Text, a)]

parseText :: MegaparsecParser Text

parseTextConstant :: Text -> MegaparsecParser ()

parseTuple :: (forall (arrayParser :: Type -> Type). JSONTupleParser arrayParser => arrayParser o) -> MegaparsecParser o

parseArray :: FromJSON a => MegaparsecParser [a]

parseArrayWith :: (forall (jsonParser :: Type -> Type). JSONParser jsonParser => jsonParser a) -> MegaparsecParser [a]

parseNumber :: MegaparsecParser Scientific

parseNull :: MegaparsecParser ()

parseBool :: MegaparsecParser Bool

validateJSON :: MegaparsecParser (Either Text a) -> MegaparsecParser a

Semigroup (MegaparsecParser a)

Defined in Jordan.FromJSON.Megaparsec

Methods

(<>) :: MegaparsecParser a -> MegaparsecParser a -> MegaparsecParser a

sconcat :: NonEmpty (MegaparsecParser a) -> MegaparsecParser a

stimes :: Integral b => b -> MegaparsecParser a -> MegaparsecParser a

Monoid (MegaparsecParser a)

Defined in Jordan.FromJSON.Megaparsec

Methods

mempty :: MegaparsecParser a

mappend :: MegaparsecParser a -> MegaparsecParser a -> MegaparsecParser a

mconcat :: [MegaparsecParser a] -> MegaparsecParser a

convertParserToMegaparsecParser :: (forall parser. JSONParser parser => parser a) -> Parser a

Convert an abstract JSONParser to a Megaparsec parser.

megaparsecParser :: FromJSON val => Parser val

Get a megaparsec parser for your JSON value. This parser will not construct any intermediate maps or other structures - your object will be parsed directly!

Note: this parser, until the ones that are built into the class, can consume whitespace at the start of the JSON.

runParserViaMegaparsec :: (forall parser. JSONParser parser => parser a) -> Text -> Either String a

Run an abstract JSONParser via Megaparsec.

parseViaMegaparsec :: forall val. FromJSON val => Text -> Either String val

Parse an object for which FromJSON is defined via Megaparsec.