quickcheck icon indicating copy to clipboard operation
quickcheck copied to clipboard

`Small` has no `CoArbitrary` instance

Open andreasabel opened this issue 1 year ago • 1 comments

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?

andreasabel avatar Jul 25 '23 13:07 andreasabel

@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.

MaximilianAlgehed avatar Mar 21 '24 11:03 MaximilianAlgehed