-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | library for querying from JSON
--   
--   library(HXT-like) for querying from JSON
@package hjson-query
@version 1.0

module Text.HJson.Query
type Jsons = [Json]
type JFilter = Json -> Jsons

-- | create empty JSON object
emptyObj :: Json

-- | create JSON object
(-->) :: String -> Json -> Json

-- | merge two JSON Objects
(<>) :: Json -> Json -> Json

-- | recursive merge two JSON Objects
(<.>) :: Json -> Json -> Json

-- | merge list JSON Objects
merges :: [Json] -> Json

-- | recursive merge lists JSON Objects
--   
--   Example:
--   
--   <pre>
--   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 = putJson merg
--   </pre>
--   
--   Result:
--   
--   <pre>
--   {
--      "Africa": {
--      },
--      "America": {
--         "Canada": ["Toronto"],
--         "USA": []
--      },
--      "Asia": {
--         "Japan": ["Tokyo"]
--      },
--      "Australia": ["Melburn", "Adelaida"],
--      "Europa": {
--         "Germany": ["Berlin", "Bonn"],
--         "Ukraine": ["Kiyv", "Gitomir", "Lviv"],
--         "UnitedKingdom": ["London", "Glasgow"]
--      }
--   }
--   </pre>
mergesRec :: [Json] -> Json

-- | filter JSON objects
isObj :: JFilter

-- | filter JSON arrays
isArr :: JFilter

-- | filter JSON strings
isStr :: JFilter

-- | predicative filter JSON strings
isStrBy :: (String -> Bool) -> JFilter

-- | filter JSON numbers
isNum :: JFilter

-- | predicative filter JSON numbers
isNumBy :: Fractional a => (a -> Bool) -> JFilter

-- | filter JSON Bool
isBool :: JFilter

-- | filter JSON null
isNull :: JFilter

-- | filter primitive types
isPrimitive :: JFilter

-- | get elements from object with keys
--   
--   Example:
--   
--   <pre>
--   query1 = getFromKeys ["Europa", "America", "Africa"] 
--   json1 = query1 merg 
--   ex1 = putJsons json1
--   </pre>
--   
--   Result:
--   
--   <pre>
--   {
--      "Germany": ["Berlin", "Bonn"],
--      "Ukraine": ["Kiyv", "Gitomir", "Lviv"],
--      "UnitedKingdom": ["London", "Glasgow"]
--   }
--   {
--      "Canada": ["Toronto"],
--      "USA": []
--   }
--   {
--   
--   }
--   </pre>
getFromKeys :: [String] -> JFilter

-- | get all elements from object
getFromObj :: JFilter

-- | get all elements from array
getFromArr :: JFilter

-- | get element from array with index
getFromIndex :: Int -> JFilter

-- | get elements from array with indexes
getFromIndexes :: [Int] -> JFilter

-- | get all elements from object and array
getChildern :: JFilter

-- | get elements from object with key
getFromKey :: String -> JFilter

-- | Example:
--   
--   <pre>
--   query2 = query1 &gt;&gt;&gt; getFromObj 
--   json2 = query2 merg
--   ex2 = putJsons json2
--   </pre>
--   
--   Result:
--   
--   <pre>
--   ["Berlin", "Bonn"]
--   ["Kiyv", "Gitomir", "Lviv"]
--   ["London", "Glasgow"]
--   ["Toronto"]
--   []
--   </pre>
(>>>) :: JFilter -> JFilter -> JFilter

-- | concat result two filters
(<+>) :: JFilter -> JFilter -> JFilter
orElse :: JFilter -> JFilter -> JFilter
when :: JFilter -> JFilter -> JFilter
guards :: JFilter -> JFilter -> JFilter

-- | tree traversal filter for object
deepObj :: JFilter -> JFilter

-- | tree traversal filter for array
deepArr :: JFilter -> JFilter

-- | tree traversal filter for objects and arrays
--   
--   Example:
--   
--   <pre>
--   -- Qwery:  All city Europa, America, Australia and Africa
--   -- q31, q32, q33 is equal
--   
--   q31 = getFromKeys ["Europa", "America", "Africa", "Australia"] 
--     &gt;&gt;&gt; (getFromArr `orElse`  getFromObj)
--     &gt;&gt;&gt; (isStr `orElse` getFromArr)
--   
--   q32 = getFromKeys ["Europa", "America", "Africa", "Australia"] 
--     &gt;&gt;&gt; (getFromObj `when` isObj)
--     &gt;&gt;&gt; getFromArr
--   
--   q33 = getFromKeys ["Europa", "America", "Africa", "Australia"] 
--     &gt;&gt;&gt; 
--   deep getFromArr
--   </pre>
--   
--   See also: <a>www.haskell.org/haskellwiki/HXT</a>
deep :: JFilter -> JFilter