Test.MessagePack.Spec

Documentation

data Unit

Constructors

Unit

Instances

Eq Unit

Defined in Test.MessagePack.Spec

Methods

(==) :: Unit -> Unit -> Bool

(/=) :: Unit -> Unit -> Bool

Show Unit

Defined in Test.MessagePack.Spec

Methods

showsPrec :: Int -> Unit -> ShowS

show :: Unit -> String

showList :: [Unit] -> ShowS

Generic Unit

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

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

Defined in Test.MessagePack.Spec

type Rep Unit = D1 ('MetaData "Unit" "Test.MessagePack.Spec" "msgpack-testsuite-0.0.16-inplace" 'False) (C1 ('MetaCons "Unit" 'PrefixI 'False) (U1 :: Type -> Type))

data TyConArgs

Constructors

TyConArgs Int Int Int

Instances

Eq TyConArgs

Defined in Test.MessagePack.Spec

Methods

(==) :: TyConArgs -> TyConArgs -> Bool

(/=) :: TyConArgs -> TyConArgs -> Bool

Show TyConArgs

Defined in Test.MessagePack.Spec

Methods

showsPrec :: Int -> TyConArgs -> ShowS

show :: TyConArgs -> String

showList :: [TyConArgs] -> ShowS

Generic TyConArgs

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

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

Defined in Test.MessagePack.Spec

type Rep TyConArgs = D1 ('MetaData "TyConArgs" "Test.MessagePack.Spec" "msgpack-testsuite-0.0.16-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

Constructors

Record

Fields

• recordField1 :: Int
• recordField2 :: Double
• recordField3 :: String

Instances

Eq Record

Defined in Test.MessagePack.Spec

Methods

(==) :: Record -> Record -> Bool

(/=) :: Record -> Record -> Bool

Show Record

Defined in Test.MessagePack.Spec

Methods

showsPrec :: Int -> Record -> ShowS

show :: Record -> String

showList :: [Record] -> ShowS

Generic Record

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

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

Defined in Test.MessagePack.Spec

type Rep Record = D1 ('MetaData "Record" "Test.MessagePack.Spec" "msgpack-testsuite-0.0.16-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

Constructors

Foo1

Foo2 Int

Foo3 Int

Foo4 Int

Foo5 Int

Foo6

Fields

• unFoo3 :: Int

Foo7 Int

Foo8 Int Int

Foo9 Int Int Int

Instances

Eq Foo

Defined in Test.MessagePack.Spec

Methods

(==) :: Foo -> Foo -> Bool

(/=) :: Foo -> Foo -> Bool

Show Foo

Defined in Test.MessagePack.Spec

Methods

showsPrec :: Int -> Foo -> ShowS

show :: Foo -> String

showList :: [Foo] -> ShowS

Generic Foo

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

Defined in Test.MessagePack.Spec

Methods

arbitrary :: Gen Foo

shrink :: Foo -> [Foo]

MessagePack Foo

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

Defined in Test.MessagePack.Spec

type Rep Foo = D1 ('MetaData "Foo" "Test.MessagePack.Spec" "msgpack-testsuite-0.0.16-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

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

spec :: BytePacker p => p -> Spec