Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.QuickCheck.Instances.Strict
Contents
Orphan instances
Arbitrary1 Maybe Source # | Since: 0.3.24 |
Arbitrary2 Pair Source # | Since: 0.3.24 |
Methods liftArbitrary2 :: Gen a -> Gen b -> Gen (Pair a b) # liftShrink2 :: (a -> [a]) -> (b -> [b]) -> Pair a b -> [Pair a b] # | |
Arbitrary2 These Source # | Since: 0.3.24 |
Methods liftArbitrary2 :: Gen a -> Gen b -> Gen (These a b) # liftShrink2 :: (a -> [a]) -> (b -> [b]) -> These a b -> [These a b] # | |
Arbitrary2 Either Source # | Since: 0.3.24 |
Methods liftArbitrary2 :: Gen a -> Gen b -> Gen (Either a b) # liftShrink2 :: (a -> [a]) -> (b -> [b]) -> Either a b -> [Either a b] # | |
Function a => Function (Maybe a) Source # | Since: 0.3.24 |
Arbitrary a => Arbitrary (Maybe a) Source # | Since: 0.3.24 |
Arbitrary a => Arbitrary1 (Pair a) Source # | Since: 0.3.24 |
Methods liftArbitrary :: Gen a0 -> Gen (Pair a a0) # liftShrink :: (a0 -> [a0]) -> Pair a a0 -> [Pair a a0] # | |
Arbitrary a => Arbitrary1 (These a) Source # | Since: 0.3.24 |
Methods liftArbitrary :: Gen a0 -> Gen (These a a0) # liftShrink :: (a0 -> [a0]) -> These a a0 -> [These a a0] # | |
Arbitrary a => Arbitrary1 (Either a) Source # | Since: 0.3.24 |
Methods liftArbitrary :: Gen a0 -> Gen (Either a a0) # liftShrink :: (a0 -> [a0]) -> Either a a0 -> [Either a a0] # | |
CoArbitrary a => CoArbitrary (Maybe a) Source # | Since: 0.3.24 |
Methods coarbitrary :: Maybe a -> Gen b -> Gen b # | |
(Function a, Function b) => Function (Pair a b) Source # | Since: 0.3.24 |
(Function a, Function b) => Function (These a b) Source # | Since: 0.3.24 |
(Function a, Function b) => Function (Either a b) Source # | Since: 0.3.24 |
(Arbitrary a, Arbitrary b) => Arbitrary (Pair a b) Source # | Since: 0.3.24 |
(Arbitrary a, Arbitrary b) => Arbitrary (These a b) Source # | Since: 0.3.24 |
(Arbitrary a, Arbitrary b) => Arbitrary (Either a b) Source # | Since: 0.3.24 |
(CoArbitrary a, CoArbitrary b) => CoArbitrary (Pair a b) Source # | Since: 0.3.24 |
Methods coarbitrary :: Pair a b -> Gen b0 -> Gen b0 # | |
(CoArbitrary a, CoArbitrary b) => CoArbitrary (These a b) Source # | Since: 0.3.24 |
Methods coarbitrary :: These a b -> Gen b0 -> Gen b0 # | |
(CoArbitrary a, CoArbitrary b) => CoArbitrary (Either a b) Source # | Since: 0.3.24 |
Methods coarbitrary :: Either a b -> Gen b0 -> Gen b0 # |