Safe Haskell | None |
---|---|
Language | Haskell2010 |
An Arbitrary instance for protocol buffer Messages to use with QuickCheck.
- newtype ArbitraryMessage a = ArbitraryMessage {
- unArbitraryMessage :: a
- arbitraryMessage :: Message a => Gen a
- shrinkMessage :: Message a => a -> [a]
Documentation
newtype ArbitraryMessage a Source #
A newtype wrapper that provides an Arbitrary instance for the underlying message.
Functor ArbitraryMessage Source # | |
Eq a => Eq (ArbitraryMessage a) Source # | |
Show a => Show (ArbitraryMessage a) Source # | |
Message a => Arbitrary (ArbitraryMessage a) Source # | |
arbitraryMessage :: Message a => Gen a Source #
shrinkMessage :: Message a => a -> [a] Source #
Shrink each field individually and append all shrinks together into a single list.