Test.QuickCheck.Instances.Semigroup
Contents
Methods
liftArbitrary :: Gen a -> Gen (First a) Source #
liftShrink :: (a -> [a]) -> First a -> [First a] Source #
liftArbitrary :: Gen a -> Gen (Last a) Source #
liftShrink :: (a -> [a]) -> Last a -> [Last a] Source #
liftArbitrary :: Gen a -> Gen (Max a) Source #
liftShrink :: (a -> [a]) -> Max a -> [Max a] Source #
liftArbitrary :: Gen a -> Gen (Min a) Source #
liftShrink :: (a -> [a]) -> Min a -> [Min a] Source #
liftArbitrary :: Gen a -> Gen (Option a) Source #
liftShrink :: (a -> [a]) -> Option a -> [Option a] Source #
liftArbitrary :: Gen a -> Gen (WrappedMonoid a) Source #
liftShrink :: (a -> [a]) -> WrappedMonoid a -> [WrappedMonoid a] Source #
liftArbitrary :: Gen a -> Gen (NonEmpty a) Source #
liftShrink :: (a -> [a]) -> NonEmpty a -> [NonEmpty a] Source #
arbitrary :: Gen (First a) Source #
shrink :: First a -> [First a] Source #
arbitrary :: Gen (Last a) Source #
shrink :: Last a -> [Last a] Source #
arbitrary :: Gen (Max a) Source #
shrink :: Max a -> [Max a] Source #
arbitrary :: Gen (Min a) Source #
shrink :: Min a -> [Min a] Source #
arbitrary :: Gen (Option a) Source #
shrink :: Option a -> [Option a] Source #
arbitrary :: Gen (WrappedMonoid a) Source #
shrink :: WrappedMonoid a -> [WrappedMonoid a] Source #
arbitrary :: Gen (NonEmpty a) Source #
shrink :: NonEmpty a -> [NonEmpty a] Source #
coarbitrary :: First a -> Gen b -> Gen b Source #
coarbitrary :: Last a -> Gen b -> Gen b Source #
coarbitrary :: Max a -> Gen b -> Gen b Source #
coarbitrary :: Min a -> Gen b -> Gen b Source #
coarbitrary :: Option a -> Gen b -> Gen b Source #
coarbitrary :: WrappedMonoid a -> Gen b -> Gen b Source #
coarbitrary :: NonEmpty a -> Gen b -> Gen b Source #
function :: (First a -> b) -> First a :-> b Source #
function :: (Last a -> b) -> Last a :-> b Source #
function :: (Max a -> b) -> Max a :-> b Source #
function :: (Min a -> b) -> Min a :-> b Source #
function :: (Option a -> b) -> Option a :-> b Source #
function :: (WrappedMonoid a -> b) -> WrappedMonoid a :-> b Source #
function :: (NonEmpty a -> b) -> NonEmpty a :-> b Source #