var searchIndex = {};
searchIndex["quickcheck"] = {"doc":"This crate is a port of\n[Haskell's QuickCheck](http://hackage.haskell.org/package/QuickCheck).","items":[[3,"StdGen","quickcheck","StdGen is the default implementation of `Gen`.",null,null],[3,"QuickCheck","","The main QuickCheck type for setting configuration and running QuickCheck.",null,null],[3,"TestResult","","Describes the status of a single instance of a test.",null,null],[5,"empty_shrinker","","Creates a shrinker with zero elements.",null,{"inputs":[],"output":{"name":"box"}}],[5,"single_shrinker","","Creates a shrinker with a single element.",null,{"inputs":[{"name":"a"}],"output":{"name":"box"}}],[5,"quickcheck","","Convenience function for running QuickCheck.",null,{"inputs":[{"name":"a"}],"output":null}],[11,"new","","",0,{"inputs":[{"name":"r"},{"name":"usize"}],"output":{"name":"stdgen"}}],[11,"next_u32","","",0,null],[11,"next_u64","","",0,null],[11,"fill_bytes","","",0,null],[11,"size","","",0,null],[11,"new","","Creates a new QuickCheck value.",1,{"inputs":[],"output":{"name":"quickcheck"}}],[11,"tests","","Set the number of tests to run.",1,null],[11,"max_tests","","Set the maximum number of tests to run.",1,null],[11,"gen","","Set the random number generator to be used by QuickCheck.",1,null],[11,"quicktest","","Tests a property and returns the result.",1,null],[11,"quickcheck","","Tests a property and calls `panic!` on failure.",1,null],[11,"fmt","","",2,null],[11,"clone","","",2,null],[11,"passed","","Produces a test result that indicates the current test has passed.",2,{"inputs":[],"output":{"name":"testresult"}}],[11,"failed","","Produces a test result that indicates the current test has failed.",2,{"inputs":[],"output":{"name":"testresult"}}],[11,"error","","Produces a test result that indicates failure from a runtime\nerror.",2,{"inputs":[{"name":"str"}],"output":{"name":"testresult"}}],[11,"discard","","Produces a test result that instructs `quickcheck` to ignore it.\nThis is useful for restricting the domain of your properties.\nWhen a test is discarded, `quickcheck` will replace it with a\nfresh one (up to a certain limit).",2,{"inputs":[],"output":{"name":"testresult"}}],[11,"from_bool","","Converts a `bool` to a `TestResult`. A `true` value indicates that\nthe test has passed and a `false` value indicates that the test\nhas failed.",2,{"inputs":[{"name":"bool"}],"output":{"name":"testresult"}}],[11,"must_fail","","Tests if a "procedure" fails when executed. The test passes only if\n`f` generates a task failure during its execution.",2,{"inputs":[{"name":"f"}],"output":{"name":"testresult"}}],[11,"is_failure","","Returns `true` if and only if this test result describes a failing\ntest.",2,null],[11,"is_error","","Returns `true` if and only if this test result describes a failing\ntest as a result of a run time error.",2,null],[11,"result","","",2,null],[8,"Arbitrary","","`Arbitrary` describes types whose values can be randomly generated and\nshrunk.",null,null],[10,"arbitrary","","",3,{"inputs":[{"name":"g"}],"output":{"name":"self"}}],[11,"shrink","","",3,null],[8,"Gen","","`Gen` wraps a `rand::Rng` with parameters to control the distribution of\nrandom values.",null,null],[10,"size","","",4,null],[8,"Testable","","`Testable` describes types (e.g., a function) whose values can be\ntested.",null,null],[10,"result","","",5,null],[11,"shrink","","",3,null]],"paths":[[3,"StdGen"],[3,"QuickCheck"],[3,"TestResult"],[8,"Arbitrary"],[8,"Gen"],[8,"Testable"]]};
initSearch(searchIndex);