Test.QuickCheck.Instances.Semigroup

Orphan instances

Arbitrary1 Min

Methods

liftArbitrary :: Gen a -> Gen (Min a)

liftShrink :: (a -> [a]) -> Min a -> [Min a]

Arbitrary1 Max

Methods

liftArbitrary :: Gen a -> Gen (Max a)

liftShrink :: (a -> [a]) -> Max a -> [Max a]

Arbitrary1 First

Methods

liftArbitrary :: Gen a -> Gen (First a)

liftShrink :: (a -> [a]) -> First a -> [First a]

Arbitrary1 Last

Methods

liftArbitrary :: Gen a -> Gen (Last a)

liftShrink :: (a -> [a]) -> Last a -> [Last a]

Arbitrary1 WrappedMonoid

Methods

liftArbitrary :: Gen a -> Gen (WrappedMonoid a)

liftShrink :: (a -> [a]) -> WrappedMonoid a -> [WrappedMonoid a]

Arbitrary1 Option

Methods

liftArbitrary :: Gen a -> Gen (Option a)

liftShrink :: (a -> [a]) -> Option a -> [Option a]

Arbitrary1 NonEmpty

Methods

liftArbitrary :: Gen a -> Gen (NonEmpty a)

liftShrink :: (a -> [a]) -> NonEmpty a -> [NonEmpty a]

Function a => Function (Min a)

Methods

function :: (Min a -> b) -> Min a :-> b

Function a => Function (Max a)

Methods

function :: (Max a -> b) -> Max a :-> b

Function a => Function (First a)

Methods

function :: (First a -> b) -> First a :-> b

Function a => Function (Last a)

Methods

function :: (Last a -> b) -> Last a :-> b

Function a => Function (WrappedMonoid a)

Methods

function :: (WrappedMonoid a -> b) -> WrappedMonoid a :-> b

Function a => Function (Option a)

Methods

function :: (Option a -> b) -> Option a :-> b

Function a => Function (NonEmpty a)

Methods

function :: (NonEmpty a -> b) -> NonEmpty a :-> b

Arbitrary a => Arbitrary (Min a)

Methods

arbitrary :: Gen (Min a)

shrink :: Min a -> [Min a]

Arbitrary a => Arbitrary (Max a)

Methods

arbitrary :: Gen (Max a)

shrink :: Max a -> [Max a]

Arbitrary a => Arbitrary (First a)

Methods

arbitrary :: Gen (First a)

shrink :: First a -> [First a]

Arbitrary a => Arbitrary (Last a)

Methods

arbitrary :: Gen (Last a)

shrink :: Last a -> [Last a]

Arbitrary a => Arbitrary (WrappedMonoid a)

Methods

arbitrary :: Gen (WrappedMonoid a)

shrink :: WrappedMonoid a -> [WrappedMonoid a]

Arbitrary a => Arbitrary (Option a)

Methods

arbitrary :: Gen (Option a)

shrink :: Option a -> [Option a]

Arbitrary a => Arbitrary (NonEmpty a)

Methods

arbitrary :: Gen (NonEmpty a)

shrink :: NonEmpty a -> [NonEmpty a]

CoArbitrary a => CoArbitrary (Min a)

Methods

coarbitrary :: Min a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (Max a)

Methods

coarbitrary :: Max a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (First a)

Methods

coarbitrary :: First a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (Last a)

Methods

coarbitrary :: Last a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (WrappedMonoid a)

Methods

coarbitrary :: WrappedMonoid a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (Option a)

Methods

coarbitrary :: Option a -> Gen b -> Gen b

CoArbitrary a => CoArbitrary (NonEmpty a)

Methods

coarbitrary :: NonEmpty a -> Gen b -> Gen b