JSOP.Parse

Documentation

type Preview a = Getting (First a) Value a

data Parser p a

A parser that can handle missing values

Constructors

Parser

Fields

• parser_path :: p
• parser_default :: Maybe a
• parser_prism :: Preview a

required :: p -> Preview a -> Parser p a

shortcut for a parser that handle missing values

optional :: p -> a -> Preview a -> Parser p a

shortcut for parsers that have a default if value is missing

data ParseGIssue

what wrong can happen

Constructors

ParseGIssue (Int, Maybe Value, TypeRep)

ParseGWrongNumberOfValues

Instances

Eq ParseGIssue

Defined in JSOP.Parse

Methods

(==) :: ParseGIssue -> ParseGIssue -> Bool

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

Show ParseGIssue

Defined in JSOP.Parse

Methods

showsPrec :: Int -> ParseGIssue -> ShowS

show :: ParseGIssue -> String

showList :: [ParseGIssue] -> ShowS

jSOP

Arguments

:: (All Typeable xs, IsProductType a xs)

=> (path -> [Text])

-> NP (Parser path) xs

parsers for the indexed subvalues

-> Value

json structure

-> Either ParseGIssue a

parseSField :: forall a p. Typeable a => Parser p a -> K (Int, Maybe Value) a -> Either ParseGIssue a

type Paths = Trie Text (First Int, [Int])

mkPath :: Int -> [Text] -> Paths

mkPaths :: [[Text]] -> Paths

treequery :: Paths -> Value -> ([(Int, Value)], [Int])

getValues :: (p -> [Text]) -> [p] -> Value -> [Maybe Value]

close over paths argument to get an efficient Value -> [Maybe Value]