Test.QuickCheck.Instances.Solo
Contents
Methods
liftArbitrary :: Gen a -> Gen (Solo a)
liftShrink :: (a -> [a]) -> Solo a -> [Solo a]
arbitrary :: Gen (Solo a)
shrink :: Solo a -> [Solo a]
coarbitrary :: Solo a -> Gen b -> Gen b
function :: (Solo a -> b) -> Solo a :-> b