Safe Haskell	Trustworthy
Language	Haskell2010

Test.MessagePack.Spec

Documentation

data Unit Source #

Constructors

Unit

Instances

Instances details

Eq Unit Source #
Instance details Defined in Test.MessagePack.Spec Methods (==) :: Unit -> Unit -> Bool # (/=) :: Unit -> Unit -> Bool #
Show Unit Source #
Instance details Defined in Test.MessagePack.Spec Methods showsPrec :: Int -> Unit -> ShowS # show :: Unit -> String # showList :: [Unit] -> ShowS #
Generic Unit Source #
Instance details Defined in Test.MessagePack.Spec Associated Types type Rep Unit :: Type -> Type # Methods from :: Unit -> Rep Unit x # to :: Rep Unit x -> Unit #
MessagePack Unit Source #
Instance details Defined in Test.MessagePack.Spec Methods toObject :: Config -> Unit -> Object # fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Unit #
type Rep Unit Source #
Instance details Defined in Test.MessagePack.Spec type Rep Unit = D1 ('MetaData "Unit" "Test.MessagePack.Spec" "msgpack-testsuite-0.1.0-inplace" 'False) (C1 ('MetaCons "Unit" 'PrefixI 'False) (U1 :: Type -> Type))

data TyConArgs Source #

Constructors

TyConArgs Int Int Int

Instances

Instances details

Eq TyConArgs Source #
Instance details Defined in Test.MessagePack.Spec Methods (==) :: TyConArgs -> TyConArgs -> Bool # (/=) :: TyConArgs -> TyConArgs -> Bool #
Show TyConArgs Source #
Instance details Defined in Test.MessagePack.Spec Methods showsPrec :: Int -> TyConArgs -> ShowS # show :: TyConArgs -> String # showList :: [TyConArgs] -> ShowS #
Generic TyConArgs Source #
Instance details Defined in Test.MessagePack.Spec Associated Types type Rep TyConArgs :: Type -> Type # Methods from :: TyConArgs -> Rep TyConArgs x # to :: Rep TyConArgs x -> TyConArgs #
MessagePack TyConArgs Source #
Instance details Defined in Test.MessagePack.Spec Methods toObject :: Config -> TyConArgs -> Object # fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m TyConArgs #
type Rep TyConArgs Source #
Instance details Defined in Test.MessagePack.Spec type Rep TyConArgs = D1 ('MetaData "TyConArgs" "Test.MessagePack.Spec" "msgpack-testsuite-0.1.0-inplace" 'False) (C1 ('MetaCons "TyConArgs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))))

data Record Source #

Constructors

Record
Fields recordField1 :: Int recordField2 :: Double recordField3 :: String

Instances

Instances details

Eq Record Source #
Instance details Defined in Test.MessagePack.Spec Methods (==) :: Record -> Record -> Bool # (/=) :: Record -> Record -> Bool #
Show Record Source #
Instance details Defined in Test.MessagePack.Spec Methods showsPrec :: Int -> Record -> ShowS # show :: Record -> String # showList :: [Record] -> ShowS #
Generic Record Source #
Instance details Defined in Test.MessagePack.Spec Associated Types type Rep Record :: Type -> Type # Methods from :: Record -> Rep Record x # to :: Rep Record x -> Record #
MessagePack Record Source #
Instance details Defined in Test.MessagePack.Spec Methods toObject :: Config -> Record -> Object # fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Record #
type Rep Record Source #
Instance details Defined in Test.MessagePack.Spec type Rep Record = D1 ('MetaData "Record" "Test.MessagePack.Spec" "msgpack-testsuite-0.1.0-inplace" 'False) (C1 ('MetaCons "Record" 'PrefixI 'True) (S1 ('MetaSel ('Just "recordField1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: (S1 ('MetaSel ('Just "recordField2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double) :: S1 ('MetaSel ('Just "recordField3") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String))))

data Foo Source #

Constructors

Foo1
Foo2 Int
Foo3 Int
Foo4 Int
Foo5 Int
Foo6
Fields unFoo3 :: Int
Foo7 Int
Foo8 Int Int
Foo9 Int Int Int

Instances

Instances details

Eq Foo Source #
Instance details Defined in Test.MessagePack.Spec Methods (==) :: Foo -> Foo -> Bool # (/=) :: Foo -> Foo -> Bool #
Show Foo Source #
Instance details Defined in Test.MessagePack.Spec Methods showsPrec :: Int -> Foo -> ShowS # show :: Foo -> String # showList :: [Foo] -> ShowS #
Generic Foo Source #
Instance details Defined in Test.MessagePack.Spec Associated Types type Rep Foo :: Type -> Type # Methods from :: Foo -> Rep Foo x # to :: Rep Foo x -> Foo #
Arbitrary Foo Source #
Instance details Defined in Test.MessagePack.Spec Methods arbitrary :: Gen Foo # shrink :: Foo -> [Foo] #
MessagePack Foo Source #
Instance details Defined in Test.MessagePack.Spec Methods toObject :: Config -> Foo -> Object # fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Foo #
type Rep Foo Source #
Instance details Defined in Test.MessagePack.Spec type Rep Foo = D1 ('MetaData "Foo" "Test.MessagePack.Spec" "msgpack-testsuite-0.1.0-inplace" 'False) (((C1 ('MetaCons "Foo1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Foo2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))) :+: (C1 ('MetaCons "Foo3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "Foo4" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))) :+: ((C1 ('MetaCons "Foo5" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "Foo6" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFoo3") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))) :+: (C1 ('MetaCons "Foo7" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: (C1 ('MetaCons "Foo8" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "Foo9" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))))))

type UnpackResult a = Either DecodeError a Source #

checkMessage :: Show a => UnpackResult a -> Expectation Source #

spec :: BytePacker p => p -> Spec Source #