<br><br><div class="gmail_quote">On Sun, Mar 16, 2008 at 5:42 PM, rodrigo.bonifacio <<a href="mailto:rodrigo.bonifacio@uol.com.br">rodrigo.bonifacio@uol.com.br</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hi all,<br>
<br>
I'm trying to use the quick-check library for checking some properties of a user defined data type. Bellow the target data type:<br>
<br>
data Feature =<br>
Feature Id Name FeatureType GroupType Children Properties |<br>
FeatureError<br>
<br>
where:<br>
<br>
Id = String<br>
Name = String<br>
FeatureType = int<br>
GroupType = int<br>
Children = [Feature]<br>
Propertyes = [String]<br>
<br>
<br>
I've written the following quick-check property:<br>
<br>
prop_AlternativeFeature :: Feature -> Feature -> QuickCheck.Property<br>
prop_AlternativeFeature fm fc = length (children fc) == 0 ==> length (checkAlternativeFeature fm fc) > 0<br>
<br>
When I try to check such property, the result is:<br>
<br>
ERROR "./EshopModelChecking.hs":11 - Type error in instance member binding<br>
*** Term : arbitrary<br>
*** Type : Feature<br>
*** Does not match : Gen Feature<br>
<br>
I think that I need to write some arbitrary or generator functions, but I didn't realize how to do that with the availalble quick-checking documentation.<br>
<br>
Any help will be welcome.<br>
<br>
</blockquote><div><br>You use the available functions to build up a generator for your data type.<br><br>First, let's give the instanc itself. For this I'm just going to use the frequency function to use "featureGenNormal" five times more often than "return FeatureError". This means that will get a FeatureError every now and then, but mostly you'll get featureGenNormal (see below). You can change these frequences, of course.<br>
<br>instance Arbitrary Feature where<br> arbitrary = do<br> frequency [ (5, featureGenNormal), (1, return FeatureError) ]<br><br>In order to write featureGenNormal, we need to be able to generate random values of each of the parts of the data type. Often these types will already have Arbitrary instances, so generating an isntance for your type is quite often just a matter of calling "arbitrary" for each component, and then returning a datatype. However, there is no Arbitrary instance for String, which is a bit annoying, so let's write our own generator for strings.<br>
<br>First a generator for a single letter:<br><br>letterGen = oneof $ map return $ ['a'..'z'] ++ ['A'..'Z']<br><br>Then a combinator for generating a list of values given a generator for a single value:<br>
<br>listGen :: Gen a -> Gen [a]<br>listGen g = do<br> x <- g<br> xs <- frequency [ (1, return []), (10, listGen g) ]<br> return (x:xs)<br><br>And then we use this to build our "stringGen" generator.<br>
<br>stringGen :: Gen String<br>
stringGen = listGen letterGen<br><br>Now, we have all we need to write the featureGenNormal generator:<br><br>featureGenNormal = do<br> id <- stringGen<br> name <- stringGen<br> featuretype <- arbitrary<br>
grouptype <- arbitrary<br> children <- arbitrary<br> properties <- listGen stringGen<br> return (Feature id name featuretype grouptype children properties) <br></div></div><br><br>Note that we use "arbitrary" to generate the list of children recursively.<br>
<br>-- <br>Sebastian Sylvan<br>+44(0)7857-300802<br>UIN: 44640862