-- 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 data-msgpack-types
@version 0.0.2

module Data.MessagePack.Types.Object

-- | 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
instance GHC.Generics.Generic Data.MessagePack.Types.Object.Object
instance GHC.Classes.Ord Data.MessagePack.Types.Object.Object
instance GHC.Classes.Eq Data.MessagePack.Types.Object.Object
instance GHC.Show.Show Data.MessagePack.Types.Object.Object
instance GHC.Read.Read Data.MessagePack.Types.Object.Object
instance Control.DeepSeq.NFData Data.MessagePack.Types.Object.Object
instance Test.QuickCheck.Arbitrary.Arbitrary Data.MessagePack.Types.Object.Object


-- | MessagePack object definition
module Data.MessagePack.Types.Class
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
class GMessagePack f
gToObject :: GMessagePack f => f a -> Object
gFromObject :: (GMessagePack f, Applicative m, Monad m) => Object -> m (f a)
instance Data.MessagePack.Types.Class.MessagePack GHC.Int.Int64
instance Data.MessagePack.Types.Class.MessagePack GHC.Word.Word64
instance Data.MessagePack.Types.Class.MessagePack GHC.Types.Int
instance Data.MessagePack.Types.Class.MessagePack GHC.Int.Int8
instance Data.MessagePack.Types.Class.MessagePack GHC.Int.Int16
instance Data.MessagePack.Types.Class.MessagePack GHC.Int.Int32
instance Data.MessagePack.Types.Class.MessagePack GHC.Types.Word
instance Data.MessagePack.Types.Class.MessagePack GHC.Word.Word8
instance Data.MessagePack.Types.Class.MessagePack GHC.Word.Word16
instance Data.MessagePack.Types.Class.MessagePack GHC.Word.Word32
instance Data.MessagePack.Types.Class.MessagePack Data.MessagePack.Types.Object.Object
instance Data.MessagePack.Types.Class.MessagePack ()
instance Data.MessagePack.Types.Class.MessagePack GHC.Types.Bool
instance Data.MessagePack.Types.Class.MessagePack GHC.Types.Float
instance Data.MessagePack.Types.Class.MessagePack GHC.Types.Double
instance Data.MessagePack.Types.Class.MessagePack GHC.Base.String
instance Data.MessagePack.Types.Class.MessagePack Data.ByteString.Internal.ByteString
instance Data.MessagePack.Types.Class.MessagePack Data.ByteString.Lazy.Internal.ByteString
instance Data.MessagePack.Types.Class.MessagePack Data.Text.Internal.Text
instance Data.MessagePack.Types.Class.MessagePack Data.Text.Internal.Lazy.Text
instance Data.MessagePack.Types.Class.MessagePack a => Data.MessagePack.Types.Class.MessagePack [a]
instance Data.MessagePack.Types.Class.MessagePack a => Data.MessagePack.Types.Class.MessagePack (Data.Vector.Vector a)
instance (Data.MessagePack.Types.Class.MessagePack a, Data.Vector.Unboxed.Base.Unbox a) => Data.MessagePack.Types.Class.MessagePack (Data.Vector.Unboxed.Base.Vector a)
instance (Data.MessagePack.Types.Class.MessagePack a, Foreign.Storable.Storable a) => Data.MessagePack.Types.Class.MessagePack (Data.Vector.Storable.Vector a)
instance (Data.MessagePack.Types.Class.MessagePack a, Data.MessagePack.Types.Class.MessagePack b) => Data.MessagePack.Types.Class.MessagePack (Data.MessagePack.Types.Assoc.Assoc [(a, b)])
instance (Data.MessagePack.Types.Class.MessagePack k, Data.MessagePack.Types.Class.MessagePack v, GHC.Classes.Ord k) => Data.MessagePack.Types.Class.MessagePack (Data.Map.Internal.Map k v)
instance Data.MessagePack.Types.Class.MessagePack v => Data.MessagePack.Types.Class.MessagePack (Data.IntMap.Internal.IntMap v)
instance (Data.MessagePack.Types.Class.MessagePack k, Data.MessagePack.Types.Class.MessagePack v, Data.Hashable.Class.Hashable k, GHC.Classes.Eq k) => Data.MessagePack.Types.Class.MessagePack (Data.HashMap.Base.HashMap k v)
instance (Data.MessagePack.Types.Class.MessagePack a1, Data.MessagePack.Types.Class.MessagePack a2) => Data.MessagePack.Types.Class.MessagePack (a1, a2)
instance (Data.MessagePack.Types.Class.MessagePack a1, Data.MessagePack.Types.Class.MessagePack a2, Data.MessagePack.Types.Class.MessagePack a3) => Data.MessagePack.Types.Class.MessagePack (a1, a2, a3)
instance (Data.MessagePack.Types.Class.MessagePack a1, Data.MessagePack.Types.Class.MessagePack a2, Data.MessagePack.Types.Class.MessagePack a3, Data.MessagePack.Types.Class.MessagePack a4) => Data.MessagePack.Types.Class.MessagePack (a1, a2, a3, a4)
instance (Data.MessagePack.Types.Class.MessagePack a1, Data.MessagePack.Types.Class.MessagePack a2, Data.MessagePack.Types.Class.MessagePack a3, Data.MessagePack.Types.Class.MessagePack a4, Data.MessagePack.Types.Class.MessagePack a5) => Data.MessagePack.Types.Class.MessagePack (a1, a2, a3, a4, a5)
instance (Data.MessagePack.Types.Class.MessagePack a1, Data.MessagePack.Types.Class.MessagePack a2, Data.MessagePack.Types.Class.MessagePack a3, Data.MessagePack.Types.Class.MessagePack a4, Data.MessagePack.Types.Class.MessagePack a5, Data.MessagePack.Types.Class.MessagePack a6) => Data.MessagePack.Types.Class.MessagePack (a1, a2, a3, a4, a5, a6)
instance (Data.MessagePack.Types.Class.MessagePack a1, Data.MessagePack.Types.Class.MessagePack a2, Data.MessagePack.Types.Class.MessagePack a3, Data.MessagePack.Types.Class.MessagePack a4, Data.MessagePack.Types.Class.MessagePack a5, Data.MessagePack.Types.Class.MessagePack a6, Data.MessagePack.Types.Class.MessagePack a7) => Data.MessagePack.Types.Class.MessagePack (a1, a2, a3, a4, a5, a6, a7)
instance (Data.MessagePack.Types.Class.MessagePack a1, Data.MessagePack.Types.Class.MessagePack a2, Data.MessagePack.Types.Class.MessagePack a3, Data.MessagePack.Types.Class.MessagePack a4, Data.MessagePack.Types.Class.MessagePack a5, Data.MessagePack.Types.Class.MessagePack a6, Data.MessagePack.Types.Class.MessagePack a7, Data.MessagePack.Types.Class.MessagePack a8) => Data.MessagePack.Types.Class.MessagePack (a1, a2, a3, a4, a5, a6, a7, a8)
instance (Data.MessagePack.Types.Class.MessagePack a1, Data.MessagePack.Types.Class.MessagePack a2, Data.MessagePack.Types.Class.MessagePack a3, Data.MessagePack.Types.Class.MessagePack a4, Data.MessagePack.Types.Class.MessagePack a5, Data.MessagePack.Types.Class.MessagePack a6, Data.MessagePack.Types.Class.MessagePack a7, Data.MessagePack.Types.Class.MessagePack a8, Data.MessagePack.Types.Class.MessagePack a9) => Data.MessagePack.Types.Class.MessagePack (a1, a2, a3, a4, a5, a6, a7, a8, a9)

module Data.MessagePack.Types.Option
data Option a
None :: Option a
Some :: a -> Option a
instance Data.Data.Data a => Data.Data.Data (Data.MessagePack.Types.Option.Option a)
instance Data.Traversable.Traversable Data.MessagePack.Types.Option.Option
instance GHC.Base.Functor Data.MessagePack.Types.Option.Option
instance Data.Foldable.Foldable Data.MessagePack.Types.Option.Option
instance GHC.Read.Read a => GHC.Read.Read (Data.MessagePack.Types.Option.Option a)
instance GHC.Show.Show a => GHC.Show.Show (Data.MessagePack.Types.Option.Option a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.MessagePack.Types.Option.Option a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.MessagePack.Types.Option.Option a)
instance GHC.Base.Applicative Data.MessagePack.Types.Option.Option
instance GHC.Base.Monad Data.MessagePack.Types.Option.Option
instance GHC.Base.Alternative Data.MessagePack.Types.Option.Option
instance GHC.Base.MonadPlus Data.MessagePack.Types.Option.Option
instance Data.MessagePack.Types.Class.MessagePack a => Data.MessagePack.Types.Class.MessagePack (Data.MessagePack.Types.Option.Option a)
instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.MessagePack.Types.Option.Option a)

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

module Data.MessagePack.Types.Result
data Result a
Success :: a -> Result a
Failure :: String -> Result a
instance Data.Foldable.Foldable Data.MessagePack.Types.Result.Result
instance Data.Traversable.Traversable Data.MessagePack.Types.Result.Result
instance GHC.Base.Functor Data.MessagePack.Types.Result.Result
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.MessagePack.Types.Result.Result a)
instance GHC.Show.Show a => GHC.Show.Show (Data.MessagePack.Types.Result.Result a)
instance GHC.Read.Read a => GHC.Read.Read (Data.MessagePack.Types.Result.Result a)
instance GHC.Base.Applicative Data.MessagePack.Types.Result.Result
instance GHC.Base.Alternative Data.MessagePack.Types.Result.Result
instance GHC.Base.Monad Data.MessagePack.Types.Result.Result
instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.MessagePack.Types.Result.Result a)