Json.Parser

Documentation

newtype Parser a

Constructors

Parser

Fields

• runParser :: Path -> Either Path a

Instances

Monad Parser

Defined in Json.Parser

Methods

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

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

return :: a -> Parser a

Functor Parser

Defined in Json.Parser

Methods

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

(<$) :: a -> Parser b -> 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

newtype MemberParser a

Constructors

MemberParser

Fields

• runMemberParser :: Path -> SmallArray Member -> Either Path a

Instances

Functor MemberParser

Defined in Json.Parser

Methods

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

(<$) :: a -> MemberParser b -> 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

Run

run :: Parser a -> Either Path a

Object Parsing

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

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.

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

word16 :: Scientific -> Parser Word16

word64 :: Scientific -> Parser Word64

Failing

fail :: Parser a

Modified Context

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

Run a parser in a modified context.