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


-- | Represent hierachichal structures, called objects in JSON.
--   
--   These objects show up in different places, eg JSON, Yaml. By providing
--   a representation in a separate repository, other libraries can share a
--   single representation of these structures.
@package data-object
@version 0.2.0


-- | The core of this package is the <a>Object</a> data type, which is used
--   for handling scalars, sequences and mappings in a nested manner. This
--   is the same structure used in JSON or Yaml data.
--   
--   The <a>Object</a> data type is polymorphic in its keys and values.
--   Submodules within this package provide more concrete datatypes, such
--   as a <a>String</a> <a>Object</a> and a specialized scalar type.
--   
--   Besides the <a>Object</a> data type, there are utility functions and
--   type classes for converting objects around. Care has been taken to
--   avoid any overloaded instances for these type classes.
module Data.Object.Base

-- | Can represent nested values as scalars, sequences and mappings. A
--   sequence is synonymous with a list, while a mapping is synonymous with
--   a list of pairs.
--   
--   Note that instances of standard library type classes for this data
--   type leave the key untouched while altering the value. For example,
--   the <a>Functor</a> instance defines <a>fmap</a> to be synonymous with
--   <a>mapValues</a>.
data Object key val
Mapping :: [(key, Object key val)] -> Object key val
Sequence :: [Object key val] -> Object key val
Scalar :: val -> Object key val

-- | Apply some conversion to the keys of an <a>Object</a>, leaving the
--   values unchanged.
mapKeys :: (keyIn -> keyOut) -> Object keyIn val -> Object keyOut val

-- | Apply some conversion to the values of an <a>Object</a>, leaving the
--   keys unchanged. This is equivalent to <a>fmap</a>.
mapValues :: (valIn -> valOut) -> Object key valIn -> Object key valOut

-- | Apply a conversion to both the keys and values of an <a>Object</a>.
mapKeysValues :: (keyIn -> keyOut) -> (valIn -> valOut) -> Object keyIn valIn -> Object keyOut valOut

-- | Apply an <a>Applicative</a> conversion to both the keys and values of
--   an <a>Object</a>.
mapKeysValuesA :: (Applicative f) => (keyIn -> f keyOut) -> (valIn -> f valOut) -> Object keyIn valIn -> f (Object keyOut valOut)

-- | The same as <a>mapKeysValuesA</a>, but using a <a>Monad</a> since some
--   people are more comfortable with <a>Monad</a>s and not all
--   <a>Monad</a>s are <a>Applicative</a>.
mapKeysValuesM :: (Monad m) => (keyIn -> m keyOut) -> (valIn -> m valOut) -> Object keyIn valIn -> m (Object keyOut valOut)
convertObject :: (ConvertSuccess k k', ConvertSuccess v v') => Object k v -> Object k' v'
convertObjectM :: (ConvertAttempt k k', ConvertAttempt v v') => Object k v -> Attempt (Object k' v')

-- | An error value returned when an unexpected node is encountered, eg you
--   were expecting a <a>Scalar</a> and found a <a>Mapping</a>.
data ObjectExtractError
ExpectedScalar :: ObjectExtractError
ExpectedSequence :: ObjectExtractError
ExpectedMapping :: ObjectExtractError

-- | Extra a scalar from the input, failing if the input is a sequence or
--   mapping.
fromScalar :: (MonadFailure ObjectExtractError m) => Object k v -> m v

-- | Extra a sequence from the input, failing if the input is a scalar or
--   mapping.
fromSequence :: (MonadFailure ObjectExtractError m) => Object k v -> m [Object k v]

-- | Extra a mapping from the input, failing if the input is a scalar or
--   sequence.
fromMapping :: (MonadFailure ObjectExtractError m) => Object k v -> m [(k, Object k v)]
sTO :: (ConvertSuccess v v') => v -> Object k v'
sFO :: (ConvertAttempt v' v) => Object k v' -> Attempt v
lTO :: (ConvertSuccess v v') => [v] -> Object k v'
lFO :: (ConvertAttempt v' v) => Object k v' -> Attempt [v]
mTO :: (ConvertSuccess k k', ConvertSuccess v v') => [(k, v)] -> Object k' v'
mFO :: (ConvertAttempt k' k, ConvertAttempt v' v) => Object k' v' -> Attempt [(k, v)]
olTO :: (ConvertSuccess x (Object k v)) => [x] -> Object k v
olFO :: (ConvertAttempt (Object k v) x) => Object k v -> Attempt [x]
omTO :: (ConvertSuccess k' k, ConvertSuccess x (Object k v)) => [(k', x)] -> Object k v
omFO :: (ConvertAttempt k k', ConvertAttempt (Object k v) x) => Object k v -> Attempt [(k', x)]
deriveSuccessConvs :: Name -> Name -> [Name] -> [Name] -> Q [Dec]

-- | An equivalent of <a>lookup</a> to deal specifically with maps of
--   <a>Object</a>s. In particular, it will:
--   
--   1. Automatically convert the lookup key as necesary. For example-
--   assuming you have the appropriate <a>ConvertSuccess</a> instances, you
--   could lookup an <a>Int</a> in a map that has <a>String</a> keys.
--   
--   2. Return the result in an <a>Attempt</a>, not <a>Maybe</a>. This is
--   especially useful when creating FromObject instances.
--   
--   3. Show a more useful error message. Since this function requires the
--   key to be <a>Show</a>able, the fail message states what key was not
--   found.
--   
--   4. Calls fromObject automatically, so you get out the value type that
--   you want, not just an <a>Object</a>.
lookupObject :: (ConvertSuccess k' k, ConvertAttempt (Object k v) o, Typeable k, Typeable v, Show k, Eq k) => k' -> [(k, Object k v)] -> Attempt o
instance Typeable ObjectExtractError
instance Typeable2 Object
instance Show ObjectExtractError
instance (Show key, Show val) => Show (Object key val)
instance (Eq key, Eq val) => Eq (Object key val)
instance (Data key, Data val) => Data (Object key val)
instance Exception ObjectExtractError
instance Applicative (Object key)
instance Monad (Object key)
instance Traversable (Object key)
instance Foldable (Object key)
instance Functor (Object key)

module Data.Object.String
type StringObject = Object String String

-- | toObject specialized for <a>StringObject</a>s
toStringObject :: (ConvertSuccess a StringObject) => a -> StringObject

-- | fromObject specialized for <a>StringObject</a>s
fromStringObject :: (ConvertAttempt StringObject a) => StringObject -> Attempt a
instance ConvertAttempt (Object String String) [(String, Object String String)]
instance ConvertSuccess [(String, Object String String)] (Object String String)
instance ConvertAttempt (Object String String) [(String, Object String Bool)]
instance ConvertSuccess [(String, Object String Bool)] (Object String String)
instance ConvertAttempt (Object String String) (Object String Bool)
instance ConvertSuccess (Object String Bool) (Object String String)
instance ConvertAttempt (Object String String) [Object String Bool]
instance ConvertSuccess [Object String Bool] (Object String String)
instance ConvertAttempt (Object String String) [(String, Bool)]
instance ConvertSuccess [(String, Bool)] (Object String String)
instance ConvertAttempt (Object String String) [(String, Object String Rational)]
instance ConvertSuccess [(String, Object String Rational)] (Object String String)
instance ConvertAttempt (Object String String) (Object String Rational)
instance ConvertSuccess (Object String Rational) (Object String String)
instance ConvertAttempt (Object String String) [Object String Rational]
instance ConvertSuccess [Object String Rational] (Object String String)
instance ConvertAttempt (Object String String) [(String, Rational)]
instance ConvertSuccess [(String, Rational)] (Object String String)
instance ConvertAttempt (Object String String) [(String, Object String Int)]
instance ConvertSuccess [(String, Object String Int)] (Object String String)
instance ConvertAttempt (Object String String) (Object String Int)
instance ConvertSuccess (Object String Int) (Object String String)
instance ConvertAttempt (Object String String) [Object String Int]
instance ConvertSuccess [Object String Int] (Object String String)
instance ConvertAttempt (Object String String) [(String, Int)]
instance ConvertSuccess [(String, Int)] (Object String String)
instance ConvertAttempt (Object String String) [(String, Object String Day)]
instance ConvertSuccess [(String, Object String Day)] (Object String String)
instance ConvertAttempt (Object String String) (Object String Day)
instance ConvertSuccess (Object String Day) (Object String String)
instance ConvertAttempt (Object String String) [Object String Day]
instance ConvertSuccess [Object String Day] (Object String String)
instance ConvertAttempt (Object String String) [(String, Day)]
instance ConvertSuccess [(String, Day)] (Object String String)
instance ConvertAttempt (Object String String) [Object String String]
instance ConvertSuccess [Object String String] (Object String String)
instance ConvertAttempt (Object String String) [(String, String)]
instance ConvertSuccess [(String, String)] (Object String String)
instance ConvertAttempt (Object String String) [Bool]
instance ConvertSuccess [Bool] (Object String String)
instance ConvertAttempt (Object String String) Bool
instance ConvertSuccess Bool (Object String String)
instance ConvertAttempt (Object String String) [Rational]
instance ConvertSuccess [Rational] (Object String String)
instance ConvertAttempt (Object String String) Rational
instance ConvertSuccess Rational (Object String String)
instance ConvertAttempt (Object String String) [Int]
instance ConvertSuccess [Int] (Object String String)
instance ConvertAttempt (Object String String) Int
instance ConvertSuccess Int (Object String String)
instance ConvertAttempt (Object String String) [Day]
instance ConvertSuccess [Day] (Object String String)
instance ConvertAttempt (Object String String) Day
instance ConvertSuccess Day (Object String String)
instance ConvertAttempt (Object String String) [String]
instance ConvertSuccess [String] (Object String String)
instance ConvertAttempt (Object String String) String
instance ConvertSuccess String (Object String String)


-- | Keys and values are lazy <a>Text</a>s.
module Data.Object.Text

-- | <a>Object</a>s with keys and values of type <a>Text</a>.
type TextObject = Object Text Text

-- | <a>convertSuccess</a> specialized for <a>TextObject</a>s
toTextObject :: (ConvertSuccess a TextObject) => a -> TextObject

-- | <a>convertAttempt</a> specialized for <a>TextObject</a>s
fromTextObject :: (ConvertAttempt TextObject a) => TextObject -> Attempt a
data Text :: *
instance ConvertAttempt (Object Text Text) [(Text, Object Text Text)]
instance ConvertSuccess [(Text, Object Text Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object Text Text)]
instance ConvertSuccess [(ByteString, Object Text Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object Text Text)]
instance ConvertSuccess [(ByteString, Object Text Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Object Text Text)]
instance ConvertSuccess [(String, Object Text Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text Text)]
instance ConvertSuccess [(Text, Object Text Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text Text)]
instance ConvertSuccess [(Text, Object Text Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text Text)
instance ConvertSuccess (Object Text Text) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text Text]
instance ConvertSuccess [Object Text Text] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Text)]
instance ConvertSuccess [(Text, Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text Text)]
instance ConvertSuccess [(Text, Object Text Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text Text)
instance ConvertSuccess (Object Text Text) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text Text]
instance ConvertSuccess [Object Text Text] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Text)]
instance ConvertSuccess [(Text, Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text ByteString)]
instance ConvertSuccess [(Text, Object Text ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text ByteString)
instance ConvertSuccess (Object Text ByteString) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text ByteString]
instance ConvertSuccess [Object Text ByteString] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, ByteString)]
instance ConvertSuccess [(Text, ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text ByteString)]
instance ConvertSuccess [(Text, Object Text ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text ByteString)
instance ConvertSuccess (Object Text ByteString) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text ByteString]
instance ConvertSuccess [Object Text ByteString] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, ByteString)]
instance ConvertSuccess [(Text, ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text Bool)]
instance ConvertSuccess [(Text, Object Text Bool)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text Bool)
instance ConvertSuccess (Object Text Bool) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text Bool]
instance ConvertSuccess [Object Text Bool] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Bool)]
instance ConvertSuccess [(Text, Bool)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text Rational)]
instance ConvertSuccess [(Text, Object Text Rational)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text Rational)
instance ConvertSuccess (Object Text Rational) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text Rational]
instance ConvertSuccess [Object Text Rational] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Rational)]
instance ConvertSuccess [(Text, Rational)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text Int)]
instance ConvertSuccess [(Text, Object Text Int)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text Int)
instance ConvertSuccess (Object Text Int) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text Int]
instance ConvertSuccess [Object Text Int] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Int)]
instance ConvertSuccess [(Text, Int)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text Day)]
instance ConvertSuccess [(Text, Object Text Day)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text Day)
instance ConvertSuccess (Object Text Day) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text Day]
instance ConvertSuccess [Object Text Day] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Day)]
instance ConvertSuccess [(Text, Day)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text String)]
instance ConvertSuccess [(Text, Object Text String)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text String)
instance ConvertSuccess (Object Text String) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text String]
instance ConvertSuccess [Object Text String] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, String)]
instance ConvertSuccess [(Text, String)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString Text)]
instance ConvertSuccess [(ByteString, Object ByteString Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString Text)
instance ConvertSuccess (Object ByteString Text) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString Text]
instance ConvertSuccess [Object ByteString Text] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Text)]
instance ConvertSuccess [(ByteString, Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString Text)]
instance ConvertSuccess [(ByteString, Object ByteString Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString Text)
instance ConvertSuccess (Object ByteString Text) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString Text]
instance ConvertSuccess [Object ByteString Text] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Text)]
instance ConvertSuccess [(ByteString, Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString ByteString)]
instance ConvertSuccess [(ByteString, Object ByteString ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString ByteString)
instance ConvertSuccess (Object ByteString ByteString) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString ByteString]
instance ConvertSuccess [Object ByteString ByteString] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, ByteString)]
instance ConvertSuccess [(ByteString, ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString ByteString)]
instance ConvertSuccess [(ByteString, Object ByteString ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString ByteString)
instance ConvertSuccess (Object ByteString ByteString) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString ByteString]
instance ConvertSuccess [Object ByteString ByteString] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, ByteString)]
instance ConvertSuccess [(ByteString, ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString Bool)]
instance ConvertSuccess [(ByteString, Object ByteString Bool)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString Bool)
instance ConvertSuccess (Object ByteString Bool) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString Bool]
instance ConvertSuccess [Object ByteString Bool] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Bool)]
instance ConvertSuccess [(ByteString, Bool)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString Rational)]
instance ConvertSuccess [(ByteString, Object ByteString Rational)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString Rational)
instance ConvertSuccess (Object ByteString Rational) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString Rational]
instance ConvertSuccess [Object ByteString Rational] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Rational)]
instance ConvertSuccess [(ByteString, Rational)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString Int)]
instance ConvertSuccess [(ByteString, Object ByteString Int)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString Int)
instance ConvertSuccess (Object ByteString Int) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString Int]
instance ConvertSuccess [Object ByteString Int] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Int)]
instance ConvertSuccess [(ByteString, Int)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString Day)]
instance ConvertSuccess [(ByteString, Object ByteString Day)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString Day)
instance ConvertSuccess (Object ByteString Day) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString Day]
instance ConvertSuccess [Object ByteString Day] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Day)]
instance ConvertSuccess [(ByteString, Day)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString String)]
instance ConvertSuccess [(ByteString, Object ByteString String)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString String)
instance ConvertSuccess (Object ByteString String) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString String]
instance ConvertSuccess [Object ByteString String] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, String)]
instance ConvertSuccess [(ByteString, String)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString Text)]
instance ConvertSuccess [(ByteString, Object ByteString Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString Text)
instance ConvertSuccess (Object ByteString Text) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString Text]
instance ConvertSuccess [Object ByteString Text] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Text)]
instance ConvertSuccess [(ByteString, Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString Text)]
instance ConvertSuccess [(ByteString, Object ByteString Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString Text)
instance ConvertSuccess (Object ByteString Text) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString Text]
instance ConvertSuccess [Object ByteString Text] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Text)]
instance ConvertSuccess [(ByteString, Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString ByteString)]
instance ConvertSuccess [(ByteString, Object ByteString ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString ByteString)
instance ConvertSuccess (Object ByteString ByteString) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString ByteString]
instance ConvertSuccess [Object ByteString ByteString] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, ByteString)]
instance ConvertSuccess [(ByteString, ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString ByteString)]
instance ConvertSuccess [(ByteString, Object ByteString ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString ByteString)
instance ConvertSuccess (Object ByteString ByteString) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString ByteString]
instance ConvertSuccess [Object ByteString ByteString] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, ByteString)]
instance ConvertSuccess [(ByteString, ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString Bool)]
instance ConvertSuccess [(ByteString, Object ByteString Bool)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString Bool)
instance ConvertSuccess (Object ByteString Bool) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString Bool]
instance ConvertSuccess [Object ByteString Bool] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Bool)]
instance ConvertSuccess [(ByteString, Bool)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString Rational)]
instance ConvertSuccess [(ByteString, Object ByteString Rational)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString Rational)
instance ConvertSuccess (Object ByteString Rational) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString Rational]
instance ConvertSuccess [Object ByteString Rational] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Rational)]
instance ConvertSuccess [(ByteString, Rational)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString Int)]
instance ConvertSuccess [(ByteString, Object ByteString Int)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString Int)
instance ConvertSuccess (Object ByteString Int) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString Int]
instance ConvertSuccess [Object ByteString Int] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Int)]
instance ConvertSuccess [(ByteString, Int)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString Day)]
instance ConvertSuccess [(ByteString, Object ByteString Day)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString Day)
instance ConvertSuccess (Object ByteString Day) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString Day]
instance ConvertSuccess [Object ByteString Day] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Day)]
instance ConvertSuccess [(ByteString, Day)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, Object ByteString String)]
instance ConvertSuccess [(ByteString, Object ByteString String)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object ByteString String)
instance ConvertSuccess (Object ByteString String) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object ByteString String]
instance ConvertSuccess [Object ByteString String] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(ByteString, String)]
instance ConvertSuccess [(ByteString, String)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Object String Text)]
instance ConvertSuccess [(String, Object String Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object String Text)
instance ConvertSuccess (Object String Text) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object String Text]
instance ConvertSuccess [Object String Text] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Text)]
instance ConvertSuccess [(String, Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Object String Text)]
instance ConvertSuccess [(String, Object String Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object String Text)
instance ConvertSuccess (Object String Text) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object String Text]
instance ConvertSuccess [Object String Text] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Text)]
instance ConvertSuccess [(String, Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Object String ByteString)]
instance ConvertSuccess [(String, Object String ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object String ByteString)
instance ConvertSuccess (Object String ByteString) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object String ByteString]
instance ConvertSuccess [Object String ByteString] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, ByteString)]
instance ConvertSuccess [(String, ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Object String ByteString)]
instance ConvertSuccess [(String, Object String ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object String ByteString)
instance ConvertSuccess (Object String ByteString) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object String ByteString]
instance ConvertSuccess [Object String ByteString] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, ByteString)]
instance ConvertSuccess [(String, ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Object String Bool)]
instance ConvertSuccess [(String, Object String Bool)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object String Bool)
instance ConvertSuccess (Object String Bool) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object String Bool]
instance ConvertSuccess [Object String Bool] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Bool)]
instance ConvertSuccess [(String, Bool)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Object String Rational)]
instance ConvertSuccess [(String, Object String Rational)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object String Rational)
instance ConvertSuccess (Object String Rational) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object String Rational]
instance ConvertSuccess [Object String Rational] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Rational)]
instance ConvertSuccess [(String, Rational)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Object String Int)]
instance ConvertSuccess [(String, Object String Int)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object String Int)
instance ConvertSuccess (Object String Int) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object String Int]
instance ConvertSuccess [Object String Int] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Int)]
instance ConvertSuccess [(String, Int)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Object String Day)]
instance ConvertSuccess [(String, Object String Day)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object String Day)
instance ConvertSuccess (Object String Day) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object String Day]
instance ConvertSuccess [Object String Day] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Day)]
instance ConvertSuccess [(String, Day)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, Object String String)]
instance ConvertSuccess [(String, Object String String)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object String String)
instance ConvertSuccess (Object String String) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object String String]
instance ConvertSuccess [Object String String] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(String, String)]
instance ConvertSuccess [(String, String)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text Text]
instance ConvertSuccess [Object Text Text] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Text)]
instance ConvertSuccess [(Text, Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text Text)]
instance ConvertSuccess [(Text, Object Text Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text Text)
instance ConvertSuccess (Object Text Text) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text Text]
instance ConvertSuccess [Object Text Text] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Text)]
instance ConvertSuccess [(Text, Text)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text ByteString)]
instance ConvertSuccess [(Text, Object Text ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text ByteString)
instance ConvertSuccess (Object Text ByteString) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text ByteString]
instance ConvertSuccess [Object Text ByteString] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, ByteString)]
instance ConvertSuccess [(Text, ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text ByteString)]
instance ConvertSuccess [(Text, Object Text ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text ByteString)
instance ConvertSuccess (Object Text ByteString) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text ByteString]
instance ConvertSuccess [Object Text ByteString] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, ByteString)]
instance ConvertSuccess [(Text, ByteString)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text Bool)]
instance ConvertSuccess [(Text, Object Text Bool)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text Bool)
instance ConvertSuccess (Object Text Bool) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text Bool]
instance ConvertSuccess [Object Text Bool] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Bool)]
instance ConvertSuccess [(Text, Bool)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text Rational)]
instance ConvertSuccess [(Text, Object Text Rational)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text Rational)
instance ConvertSuccess (Object Text Rational) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text Rational]
instance ConvertSuccess [Object Text Rational] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Rational)]
instance ConvertSuccess [(Text, Rational)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text Int)]
instance ConvertSuccess [(Text, Object Text Int)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text Int)
instance ConvertSuccess (Object Text Int) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text Int]
instance ConvertSuccess [Object Text Int] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Int)]
instance ConvertSuccess [(Text, Int)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text Day)]
instance ConvertSuccess [(Text, Object Text Day)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text Day)
instance ConvertSuccess (Object Text Day) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text Day]
instance ConvertSuccess [Object Text Day] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Day)]
instance ConvertSuccess [(Text, Day)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, Object Text String)]
instance ConvertSuccess [(Text, Object Text String)] (Object Text Text)
instance ConvertAttempt (Object Text Text) (Object Text String)
instance ConvertSuccess (Object Text String) (Object Text Text)
instance ConvertAttempt (Object Text Text) [Object Text String]
instance ConvertSuccess [Object Text String] (Object Text Text)
instance ConvertAttempt (Object Text Text) [(Text, String)]
instance ConvertSuccess [(Text, String)] (Object Text Text)
instance ConvertAttempt (Object Text Text) [Text]
instance ConvertSuccess [Text] (Object Text Text)
instance ConvertAttempt (Object Text Text) Text
instance ConvertSuccess Text (Object Text Text)
instance ConvertAttempt (Object Text Text) [Text]
instance ConvertSuccess [Text] (Object Text Text)
instance ConvertAttempt (Object Text Text) Text
instance ConvertSuccess Text (Object Text Text)
instance ConvertAttempt (Object Text Text) [ByteString]
instance ConvertSuccess [ByteString] (Object Text Text)
instance ConvertAttempt (Object Text Text) ByteString
instance ConvertSuccess ByteString (Object Text Text)
instance ConvertAttempt (Object Text Text) [ByteString]
instance ConvertSuccess [ByteString] (Object Text Text)
instance ConvertAttempt (Object Text Text) ByteString
instance ConvertSuccess ByteString (Object Text Text)
instance ConvertAttempt (Object Text Text) [Bool]
instance ConvertSuccess [Bool] (Object Text Text)
instance ConvertAttempt (Object Text Text) Bool
instance ConvertSuccess Bool (Object Text Text)
instance ConvertAttempt (Object Text Text) [Rational]
instance ConvertSuccess [Rational] (Object Text Text)
instance ConvertAttempt (Object Text Text) Rational
instance ConvertSuccess Rational (Object Text Text)
instance ConvertAttempt (Object Text Text) [Int]
instance ConvertSuccess [Int] (Object Text Text)
instance ConvertAttempt (Object Text Text) Int
instance ConvertSuccess Int (Object Text Text)
instance ConvertAttempt (Object Text Text) [Day]
instance ConvertSuccess [Day] (Object Text Text)
instance ConvertAttempt (Object Text Text) Day
instance ConvertSuccess Day (Object Text Text)
instance ConvertAttempt (Object Text Text) [String]
instance ConvertSuccess [String] (Object Text Text)
instance ConvertAttempt (Object Text Text) String
instance ConvertSuccess String (Object Text Text)

module Data.Object.Scalar
data Scalar
Numeric :: Rational -> Scalar
Text :: Text -> Scalar
Binary :: ByteString -> Scalar
Bool :: Bool -> Scalar
Timestamp :: UTCTime -> Scalar
Null :: Scalar
type ScalarObject = Object String Scalar

-- | toObject specialized for <a>ScalarObject</a>s
toScalarObject :: (ConvertSuccess a ScalarObject) => a -> ScalarObject

-- | fromObject specialized for <a>ScalarObject</a>s
fromScalarObject :: (ConvertAttempt ScalarObject a) => ScalarObject -> Attempt a
instance ConvertSuccess Scalar Text


-- | Imports all instances provided in this package.
module Data.Object