Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Test.QuickCheck.Instances.Semigroup
Contents
Orphan instances
Arbitrary1 WrappedMonoid Source # | |
Methods liftArbitrary :: Gen a -> Gen (WrappedMonoid a) liftShrink :: (a -> [a]) -> WrappedMonoid a -> [WrappedMonoid a] | |
Arbitrary1 Option Source # | |
Arbitrary1 Min Source # | |
Arbitrary1 Max Source # | |
Arbitrary1 Last Source # | |
Arbitrary1 First Source # | |
Arbitrary1 NonEmpty Source # | |
Methods liftArbitrary :: Gen a -> Gen (NonEmpty a) liftShrink :: (a -> [a]) -> NonEmpty a -> [NonEmpty a] | |
Arbitrary a => Arbitrary (WrappedMonoid a) Source # | |
Arbitrary a => Arbitrary (Option a) Source # | |
Arbitrary a => Arbitrary (Min a) Source # | |
Arbitrary a => Arbitrary (Max a) Source # | |
Arbitrary a => Arbitrary (Last a) Source # | |
Arbitrary a => Arbitrary (First a) Source # | |
Arbitrary a => Arbitrary (NonEmpty a) Source # | |
CoArbitrary a => CoArbitrary (WrappedMonoid a) Source # | |
Methods coarbitrary :: WrappedMonoid a -> Gen b -> Gen b | |
CoArbitrary a => CoArbitrary (Option a) Source # | |
Methods coarbitrary :: Option a -> Gen b -> Gen b | |
CoArbitrary a => CoArbitrary (Min a) Source # | |
Methods coarbitrary :: Min a -> Gen b -> Gen b | |
CoArbitrary a => CoArbitrary (Max a) Source # | |
Methods coarbitrary :: Max a -> Gen b -> Gen b | |
CoArbitrary a => CoArbitrary (Last a) Source # | |
Methods coarbitrary :: Last a -> Gen b -> Gen b | |
CoArbitrary a => CoArbitrary (First a) Source # | |
Methods coarbitrary :: First a -> Gen b -> Gen b | |
CoArbitrary a => CoArbitrary (NonEmpty a) Source # | |
Methods coarbitrary :: NonEmpty a -> Gen b -> Gen b | |
Function a => Function (WrappedMonoid a) Source # | |
Methods function :: (WrappedMonoid a -> b) -> WrappedMonoid a :-> b | |
Function a => Function (Option a) Source # | |
Function a => Function (Min a) Source # | |
Function a => Function (Max a) Source # | |
Function a => Function (Last a) Source # | |
Function a => Function (First a) Source # | |
Function a => Function (NonEmpty a) Source # | |