Test.QuickCheck.Instances.DataFix

Orphan instances

Arbitrary1 f => Arbitrary (Fix f)

Methods

arbitrary :: Gen (Fix f)

shrink :: Fix f -> [Fix f]

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

Methods

arbitrary :: Gen (Mu f)

shrink :: Mu f -> [Mu f]

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

Methods

arbitrary :: Gen (Nu f)

shrink :: Nu f -> [Nu f]