[Haskell-cafe] class Arbitrary in quickcheck

Tim Docker twd2 at dockerz.net
Wed May 5 06:38:59 EDT 2010


On 5 May 2010 09:01, Ozgur Akgun <ozgurakgun at gmail.com> wrote:
>         your quick check property (in a different way of writing) is
>         the following:
>         
>         prop_1 :: Maybe Double -> Bool
>         prop_1 v = v == v

I think you misunderstood me. The property was fabricated just for  
the example.

My question was why, when I generate random values for (Maybe t, Maybe  
t) using the Arbitrary type class, do I always see two Nothing values  
or two Just values, and never one of each?

Tim




More information about the Haskell-Cafe mailing list