Text.HJson.Query

Types

type Jsons = [Json]

type JFilter = Json -> Jsons

Building

emptyObj :: Json

create empty JSON object

(-->) :: String -> Json -> Json

create JSON object

(<>) :: Json -> Json -> Json

merge two JSON Objects

(<.>) :: Json -> Json -> Json

recursive merge two JSON Objects

merges :: [Json] -> Json

merge list JSON Objects

mergesRec :: [Json] -> Json

recursive merge lists JSON Objects

Example:

 j1 = jParse "{\"Europa\": {\"Ukraine\": [\"Kiyv\", \"Gitomir\", \"Lviv\"]}}"
 j2 = jParse "{\"Asia\": {\"Japan\": [\"Tokyo\"]}}"
 j3 = jParse "{\"Europa\": {\"UnitedKingdom\": [\"London\", \"Glasgow\"]}}"
 j4 = jParse "{\"Europa\": {\"Germany\": [\"Berlin\", \"Bonn\"]}}"
 j5 = jParse "{\"Africa\": {}}"
 j6 = jParse"{\"America\": {\"USA\": [], \"Canada\": [\"Toronto\"]}}"
 j7 = jParse "{\"Australia\": [\"Melburn\", \"Adelaida\"]}"
 merg = mergsRec [j1, j2, j3, j4, j5, j6, j7]
 ex0 = pputJson merg

Result:

{
   "Africa": {
   },
   "America": {
      "Canada": ["Toronto"],
      "USA": []
   },
   "Asia": {
      "Japan": ["Tokyo"]
   },
   "Australia": ["Melburn", "Adelaida"],
   "Europa": {
      "Germany": ["Berlin", "Bonn"],
      "Ukraine": ["Kiyv", "Gitomir", "Lviv"],
      "UnitedKingdom": ["London", "Glasgow"]
   }
}

Filtering

isObj :: JFilter

filter JSON objects

isArr :: JFilter

filter JSON arrays

isStr :: JFilter

filter JSON strings

isStrBy :: (String -> Bool) -> JFilter

predicative filter JSON strings

isNum :: JFilter

filter JSON numbers

isNumBy :: Fractional a => (a -> Bool) -> JFilter

predicative filter JSON numbers

isBool :: JFilter

filter JSON Bool

isNull :: JFilter

filter JSON null

isPrimitive :: JFilter

filter primitive types

getFromKeys :: [String] -> JFilter

get elements from object with keys

Example:

 query1 = getFromKeys ["Europa", "America", "Africa"] 
 json1 = query1 merg 
 ex1 = pputJsons json1

Result:

 {
    "Germany": ["Berlin", "Bonn"],
    "Ukraine": ["Kiyv", "Gitomir", "Lviv"],
    "UnitedKingdom": ["London", "Glasgow"]
 }
 {
    "Canada": ["Toronto"],
    "USA": []
 }
 {
 
 }

getFromObj :: JFilter

get all elements from object

getFromArr :: JFilter

get all elements from array

getFromIndex :: Int -> JFilter

get element from array with index

getFromIndexes :: [Int] -> JFilter

get elements from array with indexes

getChildern :: JFilter

get all elements from object and array

getFromKey :: String -> JFilter

get elements from object with key

Filter Combinators

(>>>) :: JFilter -> JFilter -> JFilter

Example:

 query2 = query1 >>> getFromObj 
 json2 = query2 merg
 ex2 = pputJsons json2

Result:

 ["Berlin", "Bonn"]
 ["Kiyv", "Gitomir", "Lviv"]
 ["London", "Glasgow"]
 ["Toronto"]
 []

(<+>) :: JFilter -> JFilter -> JFilter

concat result two filters

orElse :: JFilter -> JFilter -> JFilter

when :: JFilter -> JFilter -> JFilter

guards :: JFilter -> JFilter -> JFilter

deepObj :: JFilter -> JFilter

tree traversal filter for object

deepArr :: JFilter -> JFilter

tree traversal filter for array

deep :: JFilter -> JFilter

tree traversal filter for objects and arrays

Example:

 -- Qwery:  All city Europa, America, Australia and Africa
 -- q31, q32, q33 is equal
 
 q31 = getFromKeys ["Europa", "America", "Africa", "Australia"] 
   >>> (getFromArr `orElse`  getFromObj)
   >>> (isStr `orElse` getFromArr)
 
 q32 = getFromKeys ["Europa", "America", "Africa", "Australia"] 
   >>> (getFromObj `when` isObj)
   >>> getFromArr
 
 q33 = getFromKeys ["Europa", "America", "Africa", "Australia"] 
   >>> 
 deep getFromArr

See also: www.haskell.org/haskellwiki/HXT