Test.QuickCheck.Instances.Tagged

Orphan instances

Arbitrary1 (Proxy :: Type -> Type)

Methods

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

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

Arbitrary2 (Tagged :: Type -> Type -> Type)

Methods

liftArbitrary2 :: Gen a -> Gen b -> Gen (Tagged a b)

liftShrink2 :: (a -> [a]) -> (b -> [b]) -> Tagged a b -> [Tagged a b]

Function (Proxy a)

Methods

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

Arbitrary (Proxy a)

Methods

arbitrary :: Gen (Proxy a)

shrink :: Proxy a -> [Proxy a]

Arbitrary1 (Tagged a)

Methods

liftArbitrary :: Gen a0 -> Gen (Tagged a a0)

liftShrink :: (a0 -> [a0]) -> Tagged a a0 -> [Tagged a a0]

CoArbitrary (Proxy a)

Methods

coarbitrary :: Proxy a -> Gen b -> Gen b

Function b => Function (Tagged a b)

Methods

function :: (Tagged a b -> b0) -> Tagged a b :-> b0

Arbitrary b => Arbitrary (Tagged a b)

Methods

arbitrary :: Gen (Tagged a b)

shrink :: Tagged a b -> [Tagged a b]

CoArbitrary b => CoArbitrary (Tagged a b)

Methods

coarbitrary :: Tagged a b -> Gen b0 -> Gen b0