Test.QuickCheck.Instances.Semigroup

quickcheck-instances-0.3.32: Common quickcheck instances

Safe Haskell | Safe-Inferred
Language | Haskell2010

Test.QuickCheck.Instances.Semigroup

Contents

- Orphan instances

# Orphan instances

Arbitrary1 First # |
Instance details Methods liftArbitrary :: Gen a -> Gen (First a) # liftShrink :: (a -> [a]) -> First a -> [First a] #
Arbitrary1 Last # |
Instance details Methods liftArbitrary :: Gen a -> Gen (Last a) # liftShrink :: (a -> [a]) -> Last a -> [Last a] #
Arbitrary1 Max # |
Instance details Methods liftArbitrary :: Gen a -> Gen (Max a) # liftShrink :: (a -> [a]) -> Max a -> [Max a] #
Arbitrary1 Min # |
Instance details Methods liftArbitrary :: Gen a -> Gen (Min a) # liftShrink :: (a -> [a]) -> Min a -> [Min a] #
Arbitrary1 WrappedMonoid # |
Instance details Methods liftArbitrary :: Gen a -> Gen (WrappedMonoid a) # liftShrink :: (a -> [a]) -> WrappedMonoid a -> [WrappedMonoid a] #
Arbitrary1 NonEmpty # |
Instance details Methods liftArbitrary :: Gen a -> Gen (NonEmpty a) # liftShrink :: (a -> [a]) -> NonEmpty a -> [NonEmpty a] #
Arbitrary a => Arbitrary (First a) # |
Instance details Methods arbitrary :: Gen (First a) # shrink :: First a -> [First a] #
Arbitrary a => Arbitrary (Last a) # |
Instance details Methods arbitrary :: Gen (Last a) # shrink :: Last a -> [Last a] #
Arbitrary a => Arbitrary (Max a) # |
Instance details Methods arbitrary :: Gen (Max a) # shrink :: Max a -> [Max a] #
Arbitrary a => Arbitrary (Min a) # |
Instance details Methods arbitrary :: Gen (Min a) # shrink :: Min a -> [Min a] #
Arbitrary a => Arbitrary (WrappedMonoid a) # |
Instance details Methods arbitrary :: Gen (WrappedMonoid a) # shrink :: WrappedMonoid a -> [WrappedMonoid a] #
Arbitrary a => Arbitrary (NonEmpty a) # |
Instance details Methods arbitrary :: Gen (NonEmpty a) # shrink :: NonEmpty a -> [NonEmpty a] #
CoArbitrary a => CoArbitrary (First a) # |
Instance details Methods coarbitrary :: First a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Last a) # |
Instance details Methods coarbitrary :: Last a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Max a) # |
Instance details Methods coarbitrary :: Max a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Min a) # |
Instance details Methods coarbitrary :: Min a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (WrappedMonoid a) # |
Instance details Methods coarbitrary :: WrappedMonoid a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (NonEmpty a) # |
Instance details Methods coarbitrary :: NonEmpty a -> Gen b -> Gen b #
Function a => Function (First a) # |
Instance details Methods function :: (First a -> b) -> First a :-> b #
Function a => Function (Last a) # |
Instance details Methods function :: (Last a -> b) -> Last a :-> b #
Function a => Function (Max a) # |
Instance details Methods function :: (Max a -> b) -> Max a :-> b #
Function a => Function (Min a) # |
Instance details Methods function :: (Min a -> b) -> Min a :-> b #
Function a => Function (WrappedMonoid a) # |
Instance details Methods function :: (WrappedMonoid a -> b) -> WrappedMonoid a :-> b #
Function a => Function (NonEmpty a) # |
Instance details Methods function :: (NonEmpty a -> b) -> NonEmpty a :-> b #