Data.ProtoLens.Arbitrary

An Arbitrary instance for protocol buffer Messages to use with QuickCheck.

Documentation

newtype ArbitraryMessage a

A newtype wrapper that provides an Arbitrary instance for the underlying message.

Constructors

ArbitraryMessage

Fields

• unArbitraryMessage :: a

Instances

Functor ArbitraryMessage

Defined in Data.ProtoLens.Arbitrary

Methods

fmap :: (a -> b) -> ArbitraryMessage a -> ArbitraryMessage b

(<$) :: a -> ArbitraryMessage b -> ArbitraryMessage a

Message a => Arbitrary (ArbitraryMessage a)

Defined in Data.ProtoLens.Arbitrary

Methods

arbitrary :: Gen (ArbitraryMessage a)

shrink :: ArbitraryMessage a -> [ArbitraryMessage a]

Show a => Show (ArbitraryMessage a)

Defined in Data.ProtoLens.Arbitrary

Methods

showsPrec :: Int -> ArbitraryMessage a -> ShowS

show :: ArbitraryMessage a -> String

showList :: [ArbitraryMessage a] -> ShowS

Eq a => Eq (ArbitraryMessage a)

Defined in Data.ProtoLens.Arbitrary

Methods

(==) :: ArbitraryMessage a -> ArbitraryMessage a -> Bool

(/=) :: ArbitraryMessage a -> ArbitraryMessage a -> Bool

arbitraryMessage :: Message a => Gen a

shrinkMessage :: Message a => a -> [a]

Shrink each field individually and append all shrinks together into a single list.