 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 Source

Filter JSON objects .

isArr :: JFilter Source

Filter JSON arrays.

isStr :: JFilter Source

Filter JSON strings.

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

Predicative filter JSON strings.

isNum :: JFilter Source

Filter JSON numbers.

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

Predicative filter JSON numbers.

isBool :: JFilter Source

Filter JSON Bool.

isNull :: JFilter Source

Filter JSON null.

isPrimitive :: JFilter Source

Filter primitive types.

getFromKeys :: [String] -> JFilter Source

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 Source

Get all elements from object.

getFromArr :: JFilter Source

Get all elements from array.

getFromIndex :: Int -> JFilter Source

Get element from array with index.

getFromIndexes :: [Int] -> JFilter Source

Get elements from array with indexes.

getChildern :: JFilter Source

Get all elements from object and array.

getFromKey :: String -> JFilter Source

Get elements from object with key.

Filter Combinators

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

(f >>> g) - Apply filter f, later filter g .

Example:

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

Result:

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

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

Concat result two filters.

orElse :: JFilter -> JFilter -> JFilter Source

(f orElse g) - Apply f, if f returned null apply g.

when :: JFilter -> JFilter -> JFilter Source

(f when g) - When g returned not null, apply f.

guards :: JFilter -> JFilter -> JFilter Source

(f guards g ) - If f returned null then null else apply g.

deepObj :: JFilter -> JFilter Source

Tree traversal filter for object.

deepArr :: JFilter -> JFilter Source

Tree traversal filter for array.

deep :: JFilter -> JFilter Source

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