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


-- | This library provides support for JSON.
--   
--   This library provides support for JSON.
@package json2
@version 0.2.2

module Data.JSON2
data Json
JString :: String -> Json
JNumber :: Rational -> Json
JBool :: Bool -> Json
JNull :: Json
JArray :: [Json] -> Json
JObject :: (Map String Json) -> Json
type Jsons = [Json]

-- | This module provides instances <tt>ToJson</tt> for : <tt>(), Char,
--   Json, Maybe, Bool, String, Integr, Int, Double, Float, Rational, Map
--   String a, List, tuples 2-5 sizes</tt> .
--   
--   Example :
--   
--   <pre>
--   table :: [(Int, Maybe String, Bool)]
--   table = [
--       (1, Just "One", False),
--       (2, Nothing,    True)
--     ]
--   jTable = toJson table
--   pprint jTable
--   [[1, "One", false], [2, null, true]]
--   </pre>
class ToJson a
toJson :: ToJson a => a -> Json

-- | This module provides instances <tt>FromJson</tt> for : <tt>Json,
--   Maybe, Bool, String, Integr, Int, Double, Float, Rational, Map String
--   a, List, tuples 2-5 sizes</tt> .
--   
--   Example :
--   
--   <pre>
--   fromJson jTable :: [(Double, Maybe String, Bool)]
--   [(1.0, Just "One", False), (2.0, Nothing, True)]
--   </pre>
class FromJson a
fromJson :: FromJson a => Json -> a

-- | Create empty JSON object.
emptyObj :: Json

-- | Create single JSON object.
singleObj :: ToJson a => String -> a -> Json

-- | <tt>(<a>==&gt;</a>)</tt> Eq <tt><a>singleObj</a></tt> .
(==>) :: ToJson a => String -> a -> Json

-- | Create JSON object from list.
fromList :: ToJson a => [(String, a)] -> Json

-- | Merge two JSON Objects.
--   
--   Example:
--   
--   <pre>
--   objA = fromList [("a", toJson "1"), ("r", fromList [("ra", "11"), ("rb", "12")])]
--   pprint objA
--   {
--     "a": "1",
--     "r": {
--       "ra": "11",
--       "rb": "12"
--     }
--   }
--   objB = fromList [("b", toJson "2"), ("r", fromList [("rb", "13"), ("rc", "14")])]
--   pprint objB
--   {
--     "b": "2",
--     "r": {
--       "rb": "13",
--       "rc": "14"
--     }
--   }
--   pprint $ objA `unionObj` objB
--   {
--     "a": "1",
--     "b": "2",
--     "r": {
--       "ra": "11",
--       "rb": "12"
--     }
--   }
--   
--   </pre>
unionObj :: Json -> Json -> Json

-- | Merge JSON objects from list.
unionsObj :: [Json] -> Json

-- | Recursive merge two JSON Objects.
--   
--   Example :
--   
--   <pre>
--   objR = objA `unionRecObj` objB
--   pprint objR
--   {
--     "a": "1",
--     "b": "2",
--     "r": {
--       "ra": "11",
--       "rb": "12",
--       "rc": "14"
--     }
--   }
--   </pre>
unionRecObj :: Json -> Json -> Json

-- | Renders JSON to String.
toString :: Json -> String

-- | Pretty-prints JSON.
pprint :: Json -> IO ()

-- | Pretty-prints JSONs.
pprints :: [Json] -> IO ()
instance [incoherent] Eq Json
instance [incoherent] Show Json
instance [incoherent] Read Json
instance [incoherent] (FromJson t1, FromJson t2, FromJson t3, FromJson t4, FromJson t5) => FromJson (t1, t2, t3, t4, t5)
instance [incoherent] (ToJson t1, ToJson t2, ToJson t3, ToJson t4, ToJson t5) => ToJson (t1, t2, t3, t4, t5)
instance [incoherent] (FromJson t1, FromJson t2, FromJson t3, FromJson t4) => FromJson (t1, t2, t3, t4)
instance [incoherent] (ToJson t1, ToJson t2, ToJson t3, ToJson t4) => ToJson (t1, t2, t3, t4)
instance [incoherent] (FromJson t1, FromJson t2, FromJson t3) => FromJson (t1, t2, t3)
instance [incoherent] (ToJson t1, ToJson t2, ToJson t3) => ToJson (t1, t2, t3)
instance [incoherent] (FromJson t1, FromJson t2) => FromJson (t1, t2)
instance [incoherent] (ToJson t1, ToJson t2) => ToJson (t1, t2)
instance [incoherent] FromJson a => FromJson [a]
instance [incoherent] ToJson a => ToJson [a]
instance [incoherent] FromJson a => FromJson (Map String a)
instance [incoherent] ToJson a => ToJson (Map String a)
instance [incoherent] FromJson Rational
instance [incoherent] ToJson Rational
instance [incoherent] FromJson Float
instance [incoherent] ToJson Float
instance [incoherent] FromJson Double
instance [incoherent] ToJson Double
instance [incoherent] FromJson Int
instance [incoherent] ToJson Int
instance [incoherent] FromJson Integer
instance [incoherent] ToJson Integer
instance [incoherent] FromJson String
instance [incoherent] ToJson String
instance [incoherent] FromJson Bool
instance [incoherent] ToJson Bool
instance [incoherent] FromJson a => FromJson (Maybe a)
instance [incoherent] ToJson a => ToJson (Maybe a)
instance [incoherent] FromJson Json
instance [incoherent] ToJson Json
instance [incoherent] ToJson Char
instance [incoherent] ToJson ()

module Data.JSON2.FromSQL

-- | Conversion SQL-like JSON array to tree-like JSON object with use
--   column.
groupWithCol :: Json -> Json

-- | Conversion SQL-like JSON array to tree-like JSON object with use
--   columns.
--   
--   COMPLEX EXAMPLE :
--   
--   <pre>
--   import Database.HDBC
--   import Database.HDBC.Sqlite3
--   import Data.JSON2
--   
--   dbName = "..."
--   selectSql = "SELECT * from test"
--   
--   main = do
--       conn &lt;- connectSqlite3 dbName
--       stmtSel &lt;- prepare conn selectSql
--       execute stmtSel []
--       q &lt;- sFetchAllRows stmtSel
--       mapM print q
--    --   [Just "A",Just "1",Just "Pupkin",Just "1"]
--    --   [Just "A",Just "2",Just "Sidorov",Just "2"]
--    --   [Just "B",Just "22",Just "Petrov",Just "3"]
--    --   [Just "B",Just "22",Just "Ivanov",Just "4"]
--    --   [Just "B",Just "22",Just "Golubev",Just "5"]
--    --   [Just "B",Just "33",Just "Petrov",Just "6"]
--       let json = toJson (q :: [[Maybe String]])
--       pprint json
--    --   [
--    --     ["A", "1", "Pupkin", "1"],
--    --     ["A", "2", "Sidorov", "2"],
--    --     ["B", "22", "Petrov", "3"],
--    --     ["B", "22", "Ivanov", "4"],
--    --     ["B", "22", "Golubev", "5"],
--    --     ["B", "33", "Petrov", "6"]
--    --   ]
--       let json' = groupWithNCol 2 json
--       pprint json'
--    --   {
--    --     "A": {
--    --       "1": [["Pupkin", "1"]],
--    --       "2": [["Sidorov", "2"]]
--    --     },
--    --     "B": {
--    --       "22": [["Petrov", "3"], ["Ivanov", "4"], ["Golubev", "5"]],
--    --       "33": [["Petrov", "6"]]
--    --     }
--    --   }
--       disconnect conn
--   </pre>
groupWithNCol :: Int -> Json -> Json


-- | See also: <a>www.haskell.org/haskellwiki/HXT</a>
module Data.JSON2.Query
type JFilter = Json -> Jsons

-- | 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 True.
isTrue :: JFilter

-- | Filter JSON False.
isFalse :: JFilter

-- | Filter JSON null.
isNull :: JFilter

-- | Filter primitive types.
isAtomic :: JFilter

-- | Get all elements from object.
getFromObj :: JFilter

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

-- | Get elements from object with keys.
--   
--   Examles:
--   
--   <pre>
--   citys :: Jsons
--   citys =
--     [
--       "Europa"    ==&gt; "Ukraine" ==&gt; ["Kiyv", "Gitomir", "Lviv"],
--       "Asia"      ==&gt; "Japan"   ==&gt; ["Tokyo"],
--       "Europa"    ==&gt; "UK"      ==&gt; ["London", "Glasgow"],
--       "Europa"    ==&gt; "Germany" ==&gt; ["Berlin", "Bonn"],
--       "America"   ==&gt; "USA"     ==&gt; ["NewYork"],
--       "America"   ==&gt; "Canada"  ==&gt; ["Toronto"],
--       "Australia" ==&gt; ["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"]
--     }
--   ]
--   </pre>
getFromKeys :: [String] -> 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

-- | <tt>(f &gt;&gt;&gt; g)</tt> - Apply filter f, later filter g .
--   
--   Examples:
--   
--   <pre>
--   query3 = getFromKeys ["Europa", "America"] &gt;&gt;&gt; getFromObj 
--   ex3 = pprints $ query3 jCitys
--   </pre>
--   
--   Result:
--   
--   <pre>
--   [
--     ["Berlin", "Bonn"],["London", "Glasgow"],["Kiyv", "Gitomir", "Lviv"],["Toronto"],["NewYork"]
--   ]
--   </pre>
(>>>) :: JFilter -> JFilter -> JFilter

-- | Concat results two filters.
(<+>) :: JFilter -> JFilter -> JFilter

-- | <tt>(f <a>orElse</a> g)</tt> - Apply f, if <tt>f</tt> returned
--   <tt>null</tt> apply <tt>g</tt>.
orElse :: JFilter -> JFilter -> JFilter

-- | <tt>(f <a>when</a> g)</tt> - When <tt>g</tt> returned <tt>not
--   null</tt>, apply <tt>f</tt>.
when :: JFilter -> JFilter -> JFilter

-- | <tt>(f <a>guards</a> g )</tt> - If <tt>f</tt> returned null then
--   <tt>null</tt> else apply <tt>g</tt>.
guards :: JFilter -> JFilter -> JFilter

-- | Tree traversal filter for object and array.
deep :: JFilter -> JFilter

-- | Tree traversal filter for array.
deepObj :: JFilter -> JFilter

-- | Tree traversal filter for array.
--   
--   Example:
--   
--   <pre>
--    -- Query:  All city Europa and Australia.
--    -- query31, query32, query33 is equal.
--    
--   query31 = getFromKeys ["Europa", "Australia"] 
--     &gt;&gt;&gt; (getFromArr `orElse`  getFromObj)
--     &gt;&gt;&gt; (isStr `orElse` getFromArr)
--   ex31 = pprints $ query31 jCitys
--   
--   query32 = getFromKeys ["Europa", "Australia"] 
--     &gt;&gt;&gt; (getFromObj `when` isObj)
--     &gt;&gt;&gt; getFromArr
--   ex32 = pprints $ query32 jCitys
--   
--   query33 = getFromKeys ["Europa",  "Australia"] 
--     &gt;&gt;&gt; deep getFromArr
--   ex33 = pprints $ query33 jCitys
--   </pre>
--   
--   Result:
--   
--   <pre>
--   [
--     "Berlin","Bonn","London","Glasgow","Kiyv","Gitomir","Lviv","Melburn","Adelaida"
--   ]
--   </pre>
deepArr :: JFilter -> JFilter