Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.
Instances
Functor ArbitraryMessage Source # | |
Defined in Data.ProtoLens.Arbitrary fmap :: (a -> b) -> ArbitraryMessage a -> ArbitraryMessage b # (<$) :: a -> ArbitraryMessage b -> ArbitraryMessage a # | |
Eq a => Eq (ArbitraryMessage a) Source # | |
Defined in Data.ProtoLens.Arbitrary (==) :: ArbitraryMessage a -> ArbitraryMessage a -> Bool # (/=) :: ArbitraryMessage a -> ArbitraryMessage a -> Bool # | |
Show a => Show (ArbitraryMessage a) Source # | |
Defined in Data.ProtoLens.Arbitrary showsPrec :: Int -> ArbitraryMessage a -> ShowS # show :: ArbitraryMessage a -> String # showList :: [ArbitraryMessage a] -> ShowS # | |
Message a => Arbitrary (ArbitraryMessage a) Source # | |
Defined in Data.ProtoLens.Arbitrary arbitrary :: Gen (ArbitraryMessage a) # shrink :: ArbitraryMessage a -> [ArbitraryMessage a] # |
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.