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


-- | A Haskell implementation of MessagePack.
--   
--   A Haskell implementation of MessagePack <a>http://msgpack.org/</a>
--   
--   This is a fork of msgpack-haskell
--   <a>https://github.com/msgpack/msgpack-haskell</a>, since the original
--   author is unreachable. This fork incorporates a number of bugfixes and
--   is actively being developed.
@package msgpack-types
@version 0.0.4

module Data.MessagePack.Types
newtype Assoc a
Assoc :: a -> Assoc a
[unAssoc] :: Assoc a -> a

-- | Object Representation of MessagePack data.
data Object

-- | represents nil
ObjectNil :: Object

-- | represents true or false
ObjectBool :: !Bool -> Object

-- | represents a negative integer
ObjectInt :: {-# UNPACK #-} !Int64 -> Object

-- | represents a positive integer
ObjectWord :: {-# UNPACK #-} !Word64 -> Object

-- | represents a floating point number
ObjectFloat :: {-# UNPACK #-} !Float -> Object

-- | represents a floating point number
ObjectDouble :: {-# UNPACK #-} !Double -> Object

-- | extending Raw type represents a UTF-8 string
ObjectStr :: !Text -> Object

-- | extending Raw type represents a byte array
ObjectBin :: !ByteString -> Object

-- | represents a sequence of objects
ObjectArray :: ![Object] -> Object

-- | represents key-value pairs of objects
ObjectMap :: ![(Object, Object)] -> Object

-- | represents a tuple of an integer and a byte array where the integer
--   represents type information and the byte array represents data.
ObjectExt :: {-# UNPACK #-} !Word8 -> !ByteString -> Object
class MessagePack a
toObject :: MessagePack a => a -> Object
fromObject :: (MessagePack a, Applicative m, Monad m) => Object -> m a
toObject :: (MessagePack a, Generic a, GMessagePack (Rep a)) => a -> Object
fromObject :: (MessagePack a, Applicative m, Monad m, Generic a, GMessagePack (Rep a)) => Object -> m a