Documentation

primProps :: (Prim a, Eq a, Arbitrary a, Show a) => Proxy a -> [(String, Property)] Source #

storableProps :: (Storable a, Eq a, Arbitrary a, Show a) => Proxy a -> [(String, Property)] Source #

semigroupProps :: (Semigroup a, Eq a, Arbitrary a, Show a) => Proxy a -> [(String, Property)] Source #

monoidProps :: (Monoid a, Eq a, Arbitrary a, Show a) => Proxy a -> [(String, Property)] Source #

showReadProps :: (Show a, Read a, Eq a, Arbitrary a) => Proxy a -> [(String, Property)] Source #

jsonProps :: (ToJSON a, FromJSON a, Show a, Arbitrary a, Eq a) => Proxy a -> [(String, Property)] Source #