Json.Parser

Documentation

newtype Parser a

Constructors

Parser

Fields

• runParser :: Context -> Either Errors a

Instances

Alternative Parser

Defined in Json.Parser

Methods

empty :: Parser a

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

some :: Parser a -> Parser [a]

many :: Parser a -> Parser [a]

Applicative Parser

Defined in Json.Parser

Methods

pure :: a -> Parser a

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

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

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

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

Functor Parser

Defined in Json.Parser

Methods

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

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

Monad Parser

Defined in Json.Parser

Methods

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

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

return :: a -> Parser a

newtype MemberParser a

Constructors

MemberParser

Fields

• runMemberParser :: Context -> SmallArray Member -> Either Errors a

Instances

Alternative MemberParser

Defined in Json.Parser

Methods

empty :: MemberParser a

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

some :: MemberParser a -> MemberParser [a]

many :: MemberParser a -> MemberParser [a]

Applicative MemberParser

Defined in Json.Parser

Methods

pure :: a -> MemberParser a

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

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

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

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

Functor MemberParser

Defined in Json.Parser

Methods

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

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

Monad MemberParser

Defined in Json.Parser

Methods

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

(>>) :: MemberParser a -> MemberParser b -> MemberParser b

return :: a -> MemberParser a

Run

run :: Parser a -> Either Errors a

Object Parsing

key :: ShortText -> (Value -> Parser a) -> MemberParser a

keyOptNull :: ShortText -> (Value -> Parser a) -> MemberParser a

Variant of key that supplies the JSON value null to the callback if the key is not found. Using this parser combinators implies that there is no distinction between null and an absent value in the encoding scheme.

members :: MemberParser a -> SmallArray Member -> Parser a

Arrays

smallArray :: (Value -> Parser a) -> SmallArray Value -> Parser (SmallArray a)

Run the same parser against every element in a SmallArray. This adjusts the context at each element.

foldSmallArray :: (b -> a -> Parser b) -> b -> SmallArray a -> Parser b

Run the parser against every element in a SmallArray, updating an accumulator at each step. Folds from left to right. This adjusts the context at each element. Typically, type a is Value.

traverseMembers :: (Member -> Parser a) -> SmallArray Member -> Parser (SmallArray a)

Traverse the members. The adjusts the context at each member.

Specific Data Constructors

object :: Value -> Parser (SmallArray Member)

array :: Value -> Parser (SmallArray Value)

number :: Value -> Parser Scientific

boolean :: Value -> Parser Bool

string :: Value -> Parser ShortText

Trivial Combinators

int :: Scientific -> Parser Int

int32 :: Scientific -> Parser Int32

word16 :: Scientific -> Parser Word16

word32 :: Scientific -> Parser Word32

word64 :: Scientific -> Parser Word64

Failing

fail :: ShortText -> Parser a

Modified Context

contextually :: (Context -> Context) -> Parser a -> Parser a

Run a parser in a modified context.