Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Test.QuickCheck.Instances.Tagged
Contents
Orphan instances
Arbitrary1 (Proxy :: Type -> Type) Source # | |
Arbitrary2 (Tagged :: Type -> Type -> Type) Source # | |
Methods liftArbitrary2 :: Gen a -> Gen b -> Gen (Tagged a b) # liftShrink2 :: (a -> [a]) -> (b -> [b]) -> Tagged a b -> [Tagged a b] # | |
Function (Proxy a) Source # | |
Arbitrary (Proxy a) Source # | |
Arbitrary1 (Tagged a) Source # | |
Methods liftArbitrary :: Gen a0 -> Gen (Tagged a a0) # liftShrink :: (a0 -> [a0]) -> Tagged a a0 -> [Tagged a a0] # | |
CoArbitrary (Proxy a) Source # | |
Methods coarbitrary :: Proxy a -> Gen b -> Gen b # | |
Function b => Function (Tagged a b) Source # | |
Arbitrary b => Arbitrary (Tagged a b) Source # | |
CoArbitrary b => CoArbitrary (Tagged a b) Source # | |
Methods coarbitrary :: Tagged a b -> Gen b0 -> Gen b0 # |