| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.ProtoLens.Arbitrary
Description
An Arbitrary instance for protocol buffer Messages to use with QuickCheck.
Synopsis
- 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.
Constructors
| ArbitraryMessage | |
Fields
| |
Instances
| Functor ArbitraryMessage Source # | |
Defined in Data.ProtoLens.Arbitrary Methods fmap :: (a -> b) -> ArbitraryMessage a -> ArbitraryMessage b # (<$) :: a -> ArbitraryMessage b -> ArbitraryMessage a # | |
| Message a => Arbitrary (ArbitraryMessage a) Source # | |
Defined in Data.ProtoLens.Arbitrary Methods arbitrary :: Gen (ArbitraryMessage a) # shrink :: ArbitraryMessage a -> [ArbitraryMessage a] # | |
| Show a => Show (ArbitraryMessage a) Source # | |
Defined in Data.ProtoLens.Arbitrary Methods showsPrec :: Int -> ArbitraryMessage a -> ShowS # show :: ArbitraryMessage a -> String # showList :: [ArbitraryMessage a] -> ShowS # | |
| Eq a => Eq (ArbitraryMessage a) Source # | |
Defined in Data.ProtoLens.Arbitrary Methods (==) :: ArbitraryMessage a -> ArbitraryMessage a -> Bool # (/=) :: ArbitraryMessage a -> ArbitraryMessage a -> Bool # | |
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.