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


-- | Abusing monadic syntax JSON objects generation.
--   
--   Generation of big, complex JSON objects with Text.JSON is painful. And
--   autoderivation is not always posible. Check haddock of Fields module
--   for more info.
@package fields-json
@version 0.1


-- | Unifing some structures to JSValue
module Text.JSON.ToJSON
class ToJSON a
toJSON :: ToJSON a => a -> JSValue
instance [incoherent] ToJSON a => ToJSON (Map String a)
instance [incoherent] ToJSON a => ToJSON [a]
instance [incoherent] ToJSON Integer
instance [incoherent] ToJSON Int
instance [incoherent] ToJSON Bool
instance [incoherent] ToJSON String
instance [incoherent] ToJSON JSValue


-- | Abusing monadic do notation library for generating JSON object.
--   Hard-binded to json package from hackage. Main ideas
--   
--   <ul>
--   <li>Overloaded function <a>field</a>, that may set values of fields of
--   different types - <a>Bool</a>, <a>Int</a>, <a>String</a>, lists
--   etc.</li>
--   <li>Internal IO - value of the field can be IO a, is we know how to
--   put a into JSON. That means that there is no need to do
--   prebinding</li>
--   <li>Compositionality - value of field can also be fields. Easy to do
--   embeded objects</li>
--   <li>Monadic notation - it really looks nicer then composition with
--   <a>.</a> or some magic combinator</li>
--   </ul>
--   
--   <pre>
--   json $ do
--       field "a" "a"
--       field "b" [1,2,3]
--       field "c" $ do
--           field "x" True
--           field "y" False
--   </pre>
--   
--   Will generate json object {a : <a>a</a>, b: [1,2,3], c: {x: true, y :
--   false}}
module Text.JSON.Fields

-- | Function for changing <a>JSFields</a> into real JSON object
json :: JSFields -> IO JSValue

-- | The <a>JSField</a> class instances are object that in some sence can
--   be interpreted as value of JSON object fields. To derive new instances
--   use existing instances since internal structure <a>JSFields</a> is
--   hidden.
class JSField a
field :: JSField a => String -> a -> JSFields
instance [incoherent] JSField [JSFields]
instance [incoherent] JSField JSFields
instance [incoherent] ToJSON a => JSField (IO a)
instance [incoherent] ToJSON a => JSField a