Data.JSON2.Query

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

Data Types

type JFilter = Json -> Jsons

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.

isTrue :: JFilter

Filter JSON True.

isFalse :: JFilter

Filter JSON False.

isNull :: JFilter

Filter JSON null.

isAtomic :: JFilter

Filter primitive types.

getFromObj :: JFilter

Get all elements from object.

getFromKey :: String -> JFilter

Get elements from object with key.

getFromKeys :: [String] -> JFilter

Get elements from object with keys.

Examles:

 citys :: Jsons
 citys =
   [
     "Europa"    ==> "Ukraine" ==> ["Kiyv", "Gitomir", "Lviv"],
     "Asia"      ==> "Japan"   ==> ["Tokyo"],
     "Europa"    ==> "UK"      ==> ["London", "Glasgow"],
     "Europa"    ==> "Germany" ==> ["Berlin", "Bonn"],
     "America"   ==> "USA"     ==> ["NewYork"],
     "America"   ==> "Canada"  ==> ["Toronto"],
     "Australia" ==> ["Melburn", "Adelaida"]
   ]
 jCitys = foldl unionRecObj emptyObj citys
 ex1 = pprint jCitys
 {
   "America": {
     "Canada": ["Toronto"],
     "USA": ["NewYork"]
   },
   "Asia": {
     "Japan": ["Tokyo"]
   },
   "Australia": ["Melburn", "Adelaida"],
   "Europa": {
     "Germany": ["Berlin", "Bonn"],
     "UK": ["London", "Glasgow"],
     "Ukraine": ["Kiyv", "Gitomir", "Lviv"]
   }
 }
 query2 = getFromKeys ["Europa", "America", "Atlantida"]
 ex2 = pprints $ query2 jCitys
 [
   {
     "Germany": ["Berlin", "Bonn"],
     "UK": ["London", "Glasgow"],
     "Ukraine": ["Kiyv", "Gitomir", "Lviv"]
   },{
     "Canada": ["Toronto"],
     "USA": ["NewYork"]
   }
 ]

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.

Filter Combinators

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

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

Examples:

 query3 = getFromKeys ["Europa", "America"] >>> getFromObj 
 ex3 = pprints $ query3 jCitys

Result:

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

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

Concat results two filters.

orElse :: JFilter -> JFilter -> JFilter

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

when :: JFilter -> JFilter -> JFilter

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

guards :: JFilter -> JFilter -> JFilter

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

deep :: JFilter -> JFilter

Tree traversal filter for object and array.

deepObj :: JFilter -> JFilter

Tree traversal filter for array.

deepArr :: JFilter -> JFilter

Tree traversal filter for array.

Example:

  -- Query:  All city Europa and Australia.
  -- query31, query32, query33 is equal.
  
 query31 = getFromKeys ["Europa", "Australia"] 
   >>> (getFromArr `orElse`  getFromObj)
   >>> (isStr `orElse` getFromArr)
 ex31 = pprints $ query31 jCitys
 
 query32 = getFromKeys ["Europa", "Australia"] 
   >>> (getFromObj `when` isObj)
   >>> getFromArr
 ex32 = pprints $ query32 jCitys
 
 query33 = getFromKeys ["Europa",  "Australia"] 
   >>> deep getFromArr
 ex33 = pprints $ query33 jCitys

Result:

 [
   "Berlin","Bonn","London","Glasgow","Kiyv","Gitomir","Lviv","Melburn","Adelaida"
 ]