search

nick8325 / quickcheck

Automatic testing of Haskell programs.
Other
713 stars 119 forks source link

`Small` has no `CoArbitrary` instance #360

Open andreasabel opened 1 year ago

andreasabel commented 1 year ago

When trying to use $allProperties on a prop_Foo that uses type Small Int:

No instance for ‘CoArbitrary (Small Int)’
        arising from a use of ‘property’

Is there a reason why Small cannot have a CoArbitrary instance?

MaximilianAlgehed commented 5 months ago

@nick8325 unless there is some reason for this that I can't make sense of I'm going to add instances of CoArbitrary and Function for the types in Test.QuickCheck.Modifiers.