-- 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-testsuite
@version 0.0.16

module Test.MessagePack.BytePacker
class BytePacker p

-- | Pack a Haskell value to MessagePack binary.
pack :: (BytePacker p, MessagePack a) => p -> a -> ByteString

-- | Unpack MessagePack binary to a Haskell value.
--   
--   On failure, returns a list of error messages.
unpackValidate :: (BytePacker p, MessagePack a) => p -> ByteString -> Validate DecodeError a
unpackEither :: (BytePacker p, MessagePack a) => p -> ByteString -> Either DecodeError a

-- | Unpack MessagePack binary to a Haskell value. If it fails, it fails in
--   the Monad. In the Maybe monad, failure returns Nothing.
unpack :: (BytePacker p, Monad m, MonadFail m, MessagePack a) => p -> ByteString -> m a

module Test.MessagePack.Spec
data Unit
Unit :: Unit
data TyConArgs
TyConArgs :: Int -> Int -> Int -> TyConArgs
data Record
Record :: Int -> Double -> String -> Record
[recordField1] :: Record -> Int
[recordField2] :: Record -> Double
[recordField3] :: Record -> String
data Foo
Foo1 :: Foo
Foo2 :: Int -> Foo
Foo3 :: Int -> Foo
Foo4 :: Int -> Foo
Foo5 :: Int -> Foo
Foo6 :: Int -> Foo
[unFoo3] :: Foo -> Int
Foo7 :: Int -> Foo
Foo8 :: Int -> Int -> Foo
Foo9 :: Int -> Int -> Int -> Foo
type UnpackResult a = Either DecodeError a
checkMessage :: Show a => UnpackResult a -> Expectation
spec :: BytePacker p => p -> Spec
instance GHC.Generics.Generic Test.MessagePack.Spec.Unit
instance GHC.Show.Show Test.MessagePack.Spec.Unit
instance GHC.Classes.Eq Test.MessagePack.Spec.Unit
instance GHC.Generics.Generic Test.MessagePack.Spec.TyConArgs
instance GHC.Show.Show Test.MessagePack.Spec.TyConArgs
instance GHC.Classes.Eq Test.MessagePack.Spec.TyConArgs
instance GHC.Generics.Generic Test.MessagePack.Spec.Record
instance GHC.Show.Show Test.MessagePack.Spec.Record
instance GHC.Classes.Eq Test.MessagePack.Spec.Record
instance GHC.Generics.Generic Test.MessagePack.Spec.Foo
instance GHC.Show.Show Test.MessagePack.Spec.Foo
instance GHC.Classes.Eq Test.MessagePack.Spec.Foo
instance Data.MessagePack.Types.Class.MessagePack Test.MessagePack.Spec.Foo
instance Test.QuickCheck.Arbitrary.Arbitrary Test.MessagePack.Spec.Foo
instance Data.MessagePack.Types.Class.MessagePack Test.MessagePack.Spec.Record
instance Data.MessagePack.Types.Class.MessagePack Test.MessagePack.Spec.TyConArgs
instance Data.MessagePack.Types.Class.MessagePack Test.MessagePack.Spec.Unit
instance (Data.Hashable.Class.Hashable k, GHC.Classes.Ord k, GHC.Classes.Eq k, Test.QuickCheck.Arbitrary.Arbitrary k, Test.QuickCheck.Arbitrary.Arbitrary v) => Test.QuickCheck.Arbitrary.Arbitrary (Data.HashMap.Internal.HashMap k v)
instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Vector.Vector a)
instance (Test.QuickCheck.Arbitrary.Arbitrary a, Foreign.Storable.Storable a) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Vector.Storable.Vector a)
instance (Test.QuickCheck.Arbitrary.Arbitrary a, Data.Vector.Unboxed.Base.Unbox a) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Vector.Unboxed.Base.Vector a)
instance Test.QuickCheck.Arbitrary.Arbitrary Data.ByteString.Internal.ByteString
instance Test.QuickCheck.Arbitrary.Arbitrary Data.ByteString.Lazy.Internal.ByteString
instance Test.QuickCheck.Arbitrary.Arbitrary Data.Text.Internal.Lazy.Text