Yaya.QuickCheck.Fold

Documentation

arbitrarySteppable :: (Steppable (->) t f, Functor f) => (Gen t -> Gen (f t)) -> Gen t

shrinkSteppable :: (Steppable (->) t f, Foldable f, Functor f) => ((t -> [t]) -> f t -> [f t]) -> t -> [t]

Orphan instances

Arbitrary2 AndMaybe

Methods

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

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

Arbitrary2 XNor

Methods

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

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

(Foldable f, Functor f, Arbitrary1 f) => Arbitrary (Mu f)

Methods

arbitrary :: Gen (Mu f)

shrink :: Mu f -> [Mu f]

(Foldable f, Functor f, Arbitrary1 f) => Arbitrary (Nu f)

Methods

arbitrary :: Gen (Nu f)

shrink :: Nu f -> [Nu f]

(Foldable f, Functor f, Arbitrary1 f) => Arbitrary (Fix f)

Methods

arbitrary :: Gen (Fix f)

shrink :: Fix f -> [Fix f]

(Foldable f, Functor f, Arbitrary1 f) => Arbitrary (Cofix f)

Methods

arbitrary :: Gen (Cofix f)

shrink :: Cofix f -> [Cofix f]

Arbitrary a => Arbitrary1 (AndMaybe a)

Methods

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

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

Arbitrary a => Arbitrary1 (XNor a)

Methods

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

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

(Arbitrary a, Arbitrary b) => Arbitrary (AndMaybe a b)

Methods

arbitrary :: Gen (AndMaybe a b)

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

(Arbitrary a, Arbitrary b) => Arbitrary (XNor a b)

Methods

arbitrary :: Gen (XNor a b)

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