Test.QuickCheck.Instances.Solo

Orphan instances

Arbitrary1 Solo

Methods

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

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

Function a => Function (Solo a)

Methods

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

Arbitrary a => Arbitrary (Solo a)

Methods

arbitrary :: Gen (Solo a)

shrink :: Solo a -> [Solo a]

CoArbitrary a => CoArbitrary (Solo a)

Methods

coarbitrary :: Solo a -> Gen b -> Gen b