JSONIncrementalDecoder

A DSL for specification of a single-pass incremental and possibly partial parser of JSON.

Execution

valueToSupplementedParser :: Value a -> Supplemented Parser a

Converts the Value specification into a Supplemented Attoparsec Parser.

valueToParser :: Value a -> Parser (a, Parser ())

Essentially just a helper, which is the same as

runSupplemented . valueToSupplementedParser

valueToByteStringToEither :: Value a -> ByteString -> Either Text a

Converts the Value specification into a function, which decodes a strict ByteString.

valueToLazyByteStringToEither :: Value a -> ByteString -> Either Text a

Converts the Value specification into a function, which decodes a strict LazyByteString.

Value

data Value a

Instances

Functor Value

Methods

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

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

Monoid (Value a)

Provides support for alternatives.

E.g,

fmap Left bool <> fmap Right string

will succeed for either a Boolean or String value.

Methods

mempty :: Value a

mappend :: Value a -> Value a -> Value a

mconcat :: [Value a] -> Value a

null :: Value ()

nullable :: Value a -> Value (Maybe a)

bool :: Value Bool

numberAsInt :: Value Int

numberAsInteger :: Value Integer

numberAsDouble :: Value Double

numberAsScientific :: Value Scientific

string :: Value Text

objectRows :: ObjectRows a -> Value a

objectLookup :: ObjectLookup a -> Value a

arrayElements :: ArrayElements a -> Value a

ObjectRows

data ObjectRows a

Instances

Monad ObjectRows

Methods

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

(>>) :: ObjectRows a -> ObjectRows b -> ObjectRows b

return :: a -> ObjectRows a

fail :: String -> ObjectRows a

Functor ObjectRows

Methods

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

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

Applicative ObjectRows

Methods

pure :: a -> ObjectRows a

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

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

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

Alternative ObjectRows

Methods

empty :: ObjectRows a

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

some :: ObjectRows a -> ObjectRows [a]

many :: ObjectRows a -> ObjectRows [a]

MonadPlus ObjectRows

Methods

mzero :: ObjectRows a

mplus :: ObjectRows a -> ObjectRows a -> ObjectRows a

row :: (a -> b -> c) -> Matcher Text a -> Value b -> ObjectRows c

anyRow :: ObjectRows ()

ObjectLookup

data ObjectLookup a

Instances

Functor ObjectLookup

Methods

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

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

Applicative ObjectLookup

Methods

pure :: a -> ObjectLookup a

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

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

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

atKey :: Text -> Value a -> ObjectLookup a

ArrayElements

data ArrayElements a

Instances

Monad ArrayElements

Methods

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

(>>) :: ArrayElements a -> ArrayElements b -> ArrayElements b

return :: a -> ArrayElements a

fail :: String -> ArrayElements a

Functor ArrayElements

Methods

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

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

Applicative ArrayElements

Methods

pure :: a -> ArrayElements a

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

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

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

Alternative ArrayElements

Methods

empty :: ArrayElements a

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

some :: ArrayElements a -> ArrayElements [a]

many :: ArrayElements a -> ArrayElements [a]

MonadPlus ArrayElements

Methods

mzero :: ArrayElements a

mplus :: ArrayElements a -> ArrayElements a -> ArrayElements a

element :: Value a -> ArrayElements a

anyElement :: ArrayElements ()

Matcher

data Matcher a b :: * -> * -> *

A composable abstraction for checking or converting a context value.

Instances

Arrow Matcher

Methods

arr :: (b -> c) -> Matcher b c

first :: Matcher b c -> Matcher (b, d) (c, d)

second :: Matcher b c -> Matcher (d, b) (d, c)

(***) :: Matcher b c -> Matcher b' c' -> Matcher (b, b') (c, c')

(&&&) :: Matcher b c -> Matcher b c' -> Matcher b (c, c')

Profunctor Matcher

Methods

dimap :: (a -> b) -> (c -> d) -> Matcher b c -> Matcher a d

lmap :: (a -> b) -> Matcher b c -> Matcher a c

rmap :: (b -> c) -> Matcher a b -> Matcher a c

(#.) :: Coercible * c b => (b -> c) -> Matcher a b -> Matcher a c

(.#) :: Coercible * b a => Matcher b c -> (a -> b) -> Matcher a c

Monad (Matcher a)

Methods

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

(>>) :: Matcher a a -> Matcher a b -> Matcher a b

return :: a -> Matcher a a

fail :: String -> Matcher a a

Functor (Matcher a)

Methods

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

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

Applicative (Matcher a)

Methods

pure :: a -> Matcher a a

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

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

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

Alternative (Matcher a)

Methods

empty :: Matcher a a

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

some :: Matcher a a -> Matcher a [a]

many :: Matcher a a -> Matcher a [a]

MonadPlus (Matcher a)

Methods

mzero :: Matcher a a

mplus :: Matcher a a -> Matcher a a -> Matcher a a

Category * Matcher

Methods

id :: cat a a

(.) :: cat b c -> cat a b -> cat a c

equals :: Eq a => a -> Matcher a ()

Tests the matched value on equality with the provided value.

satisfies :: (a -> Bool) -> Matcher a ()

Checks whether the matched value satisfies the provided predicate.

converts :: (a -> Either Text b) -> Matcher a b

Tries to convert the matched value to an output value, with Either encoding the success or failure of the conversion.

whatever :: Matcher a ()

The matcher, which is always satisfied.