(index ("gen-int" 0) ("gen-bool" 127) ("gen-char" 236) ("gen-list" 349) ("gen-string" 696) ("for-all" 968))
(def (sig (procedure "(gen-int)" (id gen-int))) (p "Generate a random integer.") (pre "> (use cluckcheck)\n> (gen-int)\n180"))
(def (sig (procedure "(gen-bool)" (id gen-bool))) (p "Generate a random boolean.") (pre "> (gen-bool)\n#t"))
(def (sig (procedure "(gen-char)" (id gen-char))) (p "Generate a random character.") (pre "> (gen-char)\n#\\g"))
(def (sig (procedure "(gen-list gen)" (id gen-list))) (p "Generate a random list populated by gen.") (pre "> (gen-list gen-int)\n(103 24 45 253 227 28 92 45 235 193 212 27 9 195 224 228 103 255)") (p "gen-list can be combined with other generators, including custom generators, to create generators for complex data structures. See gen-string."))
(def (sig (procedure "(gen-string)" (id gen-string))) (p "Generate a random string. gen-string is a wrapper around (gen-list gen-char).") (pre "> (gen-string)\n\"\\x05&o@\\by\\x00J &\\x00\\v\\x1691\\x05\\x19\\x14z\\r<VxU\\x1b\\x06~(wE\\x05\\x03LB&T\\x1fLl-\\x15\\x06\""))
(def (sig (procedure "(for-all property gen1 gen2 gen3...)" (id for-all))) (p "Tests a property function with values generated by the generator functions. If the property returns false, testing halts and the offending input values are printed to the screen.") (pre "> (for-all even? gen-int)\n*** Failed!\n(57)") (p "Here, the test fails because an integer (57) is found, that is not even.") (p "For more examples, see " (link "https://github.com/mcandre/cluckcheck/blob/master/example.scm" "example.scm") "."))
