Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Orphan instances
Arbitrary2 These Source # | Since: 0.7.4 |
liftArbitrary2 :: Gen a -> Gen b -> Gen (These a b) # liftShrink2 :: (a -> [a]) -> (b -> [b]) -> These a b -> [These a b] # | |
Arbitrary a => Arbitrary1 (These a) Source # | Since: 0.7.4 |
liftArbitrary :: Gen a0 -> Gen (These a a0) # liftShrink :: (a0 -> [a0]) -> These a a0 -> [These a a0] # | |
(Function a, Function b) => Function (These a b) Source # | Since: 0.7.1 |
(Arbitrary a, Arbitrary b) => Arbitrary (These a b) Source # | Since: 0.7.1 |
(Arbitrary1 f, Arbitrary1 g) => Arbitrary1 (These1 f g) Source # | |
liftArbitrary :: Gen a -> Gen (These1 f g a) # liftShrink :: (a -> [a]) -> These1 f g a -> [These1 f g a] # | |
(CoArbitrary a, CoArbitrary b) => CoArbitrary (These a b) Source # | Since: 0.7.1 |
coarbitrary :: These a b -> Gen b0 -> Gen b0 # | |
(Arbitrary1 f, Arbitrary1 g, Arbitrary a) => Arbitrary (These1 f g a) Source # | |