On 5 May 2010 09:01, Ozgur Akgun <[email protected]> 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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
