Commits

urso  committed abb72cd

renamed documentation files to markdown

  • Participants
  • Parent commits 0c3298c

Comments (0)

Files changed (4)

File documentation/generators.md

+Generators
+==========
+
+- every generator must be an object
+- must contain field 'arb', which is a function which will generate a value
+  for a given 'seed'
+- generators may have field 'shrink' to support shrinking.
+- if 'shrink' is not defined it is assumed to be 'null'. In either case 
+  the generator will not support shrinking
+- shrinking function must return new Array of possible shrinked values.
+- input to shrinking function is the 'seed' and the generated value to be
+  shrinked
+

File documentation/generators.pdc

-Generators
-==========
-
-- every generator must be an object
-- must contain field 'arb', which is a function which will generate a value
-  for a given 'seed'
-- generators may have field 'shrink' to support shrinking.
-- if 'shrink' is not defined it is assumed to be 'null'. In either case 
-  the generator will not support shrinking
-- shrinking function must return new Array of possible shrinked values.
-- input to shrinking function is the 'seed' and the generated value to be
-  shrinked
-

File documentation/intro.md

+
+Introduction
+============
+
+## What is QuickCheck ##
+bla bla bla...
+

File documentation/intro.pdc

-
-Introduction
-============
-
-## What is QuickCheck ##
-bla bla bla...
-