Safe Haskell	Safe-Inferred
Language	Haskell2010

Json.Parser

Contents

Run
Object Parsing
Arrays
Specific Data Constructors
Trivial Combinators
Failing
Modified Context

Synopsis

newtype Parser a = Parser {
- runParser :: Context -> Either Errors a
}
newtype MemberParser a = MemberParser {
- runMemberParser :: Context -> SmallArray Member -> Either Errors a
}
run :: Parser a -> Either Errors a
key :: ShortText -> (Value -> Parser a) -> MemberParser a
keyOptNull :: ShortText -> (Value -> Parser a) -> MemberParser a
members :: MemberParser a -> SmallArray Member -> Parser a
smallArray :: (Value -> Parser a) -> SmallArray Value -> Parser (SmallArray a)
foldSmallArray :: (b -> a -> Parser b) -> b -> SmallArray a -> Parser b
traverseMembers :: (Member -> Parser a) -> SmallArray Member -> Parser (SmallArray a)
object :: Value -> Parser (SmallArray Member)
array :: Value -> Parser (SmallArray Value)
number :: Value -> Parser Scientific
boolean :: Value -> Parser Bool
string :: Value -> Parser ShortText
int :: Scientific -> Parser Int
int32 :: Scientific -> Parser Int32
word16 :: Scientific -> Parser Word16
word32 :: Scientific -> Parser Word32
word64 :: Scientific -> Parser Word64
fail :: ShortText -> Parser a
contextually :: (Context -> Context) -> Parser a -> Parser a

Documentation

newtype Parser a Source #

Constructors

Parser
Fields runParser :: Context -> Either Errors a

Instances

Instances details

Alternative Parser Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Json.Parser Methods fmap :: (a -> b) -> Parser a -> Parser b # (<$) :: a -> Parser b -> Parser a #
Monad Parser Source #
Instance details 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 Source #

Constructors

MemberParser
Fields runMemberParser :: Context -> SmallArray Member -> Either Errors a

Instances

Instances details

Alternative MemberParser Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Json.Parser Methods fmap :: (a -> b) -> MemberParser a -> MemberParser b # (<$) :: a -> MemberParser b -> MemberParser a #
Monad MemberParser Source #
Instance details 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 Source #

Object Parsing

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

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

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 Source #

Arrays

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

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 Source #

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) Source #

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