var searchIndex = {};
searchIndex["quickercheck"] = {"doc":"","items":[[0,"generate","quickercheck","",null,null],[3,"GenerateCtx","quickercheck::generate","",null,null],[12,"rng","","",0,null],[12,"size","","",0,null],[3,"Constant","","",null,null],[12,"0","","",1,null],[3,"IntegerGenerator","","",null,null],[3,"UnsignedIntegerGenerator","","",null,null],[3,"FromIteratorGenerator","","",null,null],[3,"OptionGenerator","","",null,null],[3,"ResultGenerator","","",null,null],[3,"RandGenerator","","",null,null],[8,"Generator","","",null,null],[16,"Output","","",2,null],[10,"generate","","",2,null],[11,"new","","",0,{"inputs":[{"name":"r"},{"name":"usize"}],"output":{"name":"self"}}],[11,"chop","","",0,null],[11,"gen_size","","",0,null],[11,"clone","","",1,null],[11,"generate","","",1,null],[11,"new","","",3,{"inputs":[],"output":{"name":"self"}}],[11,"generate","","",3,null],[11,"generate","","",3,null],[11,"generate","","",3,null],[11,"generate","","",3,null],[11,"generate","","",3,null],[11,"generate","","",3,null],[11,"new","","",4,{"inputs":[],"output":{"name":"self"}}],[11,"generate","","",4,null],[11,"generate","","",4,null],[11,"generate","","",4,null],[11,"generate","","",4,null],[11,"generate","","",4,null],[11,"generate","","",4,null],[11,"generate","","",4,null],[11,"generate","","",4,null],[11,"generate","","",4,null],[11,"generate","","",4,null],[11,"generate","","",4,null],[11,"new","","",5,{"inputs":[{"name":"g"}],"output":{"name":"self"}}],[11,"generate","","",5,null],[11,"new","","",6,{"inputs":[{"name":"g"}],"output":{"name":"self"}}],[11,"generate","","",6,null],[11,"new","","",7,{"inputs":[{"name":"gok"},{"name":"gerr"}],"output":{"name":"self"}}],[11,"generate","","",7,null],[11,"new","","",8,{"inputs":[],"output":{"name":"self"}}],[11,"generate","","",8,null],[0,"arbitrary","quickercheck","",null,null],[8,"Arbitrary","quickercheck::arbitrary","",null,null],[16,"Generator","","",9,null],[10,"arbitrary","","",9,{"inputs":[],"output":{"name":"generator"}}],[11,"shrink","","",9,null],[0,"property","quickercheck","",null,null],[3,"Property","quickercheck::property","",null,null],[3,"ForAllProperty","","",null,null],[3,"ForAll","","",null,null],[3,"When","","",null,null],[3,"WhenFn","","",null,null],[3,"QuickFnArgs","","",null,null],[11,"clone","","",10,null],[11,"clone","","",11,null],[11,"clone","","",12,null],[11,"clone","","",13,null],[11,"clone","","",14,null],[11,"clone","","",15,null],[11,"generate","","",15,null],[11,"arbitrary","","",15,{"inputs":[],"output":{"name":"generator"}}],[11,"test","","",11,null],[11,"property","","",12,null],[11,"new","","",10,{"inputs":[{"name":"f"}],"output":{"name":"forallproperty"}}],[11,"for_all","","",10,{"inputs":[{"name":"g"}],"output":{"name":"forall"}}],[11,"when","","",10,{"inputs":[{"name":"p"}],"output":{"name":"when"}}],[11,"test","","",11,null],[11,"property","","",12,null],[11,"new","","",10,{"inputs":[{"name":"f"}],"output":{"name":"forallproperty"}}],[11,"for_all","","",10,{"inputs":[{"name":"g"}],"output":{"name":"forall"}}],[11,"when","","",10,{"inputs":[{"name":"p"}],"output":{"name":"when"}}],[11,"property","","",13,null],[11,"test","","",11,null],[11,"property","","",12,null],[11,"new","","",10,{"inputs":[{"name":"f"}],"output":{"name":"forallproperty"}}],[11,"for_all","","",10,{"inputs":[{"name":"g"}],"output":{"name":"forall"}}],[11,"when","","",10,{"inputs":[{"name":"p"}],"output":{"name":"when"}}],[11,"property","","",13,null],[11,"test","","",11,null],[11,"property","","",12,null],[11,"new","","",10,{"inputs":[{"name":"f"}],"output":{"name":"forallproperty"}}],[11,"for_all","","",10,{"inputs":[{"name":"g"}],"output":{"name":"forall"}}],[11,"when","","",10,{"inputs":[{"name":"p"}],"output":{"name":"when"}}],[11,"property","","",13,null],[11,"test","","",11,null],[11,"property","","",12,null],[11,"new","","",10,{"inputs":[{"name":"f"}],"output":{"name":"forallproperty"}}],[11,"for_all","","",10,{"inputs":[{"name":"g"}],"output":{"name":"forall"}}],[11,"when","","",10,{"inputs":[{"name":"p"}],"output":{"name":"when"}}],[11,"property","","",13,null],[11,"test","","",11,null],[11,"property","","",12,null],[11,"new","","",10,{"inputs":[{"name":"f"}],"output":{"name":"forallproperty"}}],[11,"for_all","","",10,{"inputs":[{"name":"g"}],"output":{"name":"forall"}}],[11,"when","","",10,{"inputs":[{"name":"p"}],"output":{"name":"when"}}],[11,"property","","",13,null],[11,"test","","",11,null],[11,"property","","",12,null],[11,"new","","",10,{"inputs":[{"name":"f"}],"output":{"name":"forallproperty"}}],[11,"for_all","","",10,{"inputs":[{"name":"g"}],"output":{"name":"forall"}}],[11,"when","","",10,{"inputs":[{"name":"p"}],"output":{"name":"when"}}],[11,"property","","",13,null],[11,"test","","",11,null],[11,"property","","",12,null],[11,"new","","",10,{"inputs":[{"name":"f"}],"output":{"name":"forallproperty"}}],[11,"for_all","","",10,{"inputs":[{"name":"g"}],"output":{"name":"forall"}}],[11,"when","","",10,{"inputs":[{"name":"p"}],"output":{"name":"when"}}],[11,"property","","",13,null],[11,"test","","",11,null],[11,"property","","",12,null],[11,"new","","",10,{"inputs":[{"name":"f"}],"output":{"name":"forallproperty"}}],[11,"for_all","","",10,{"inputs":[{"name":"g"}],"output":{"name":"forall"}}],[11,"when","","",10,{"inputs":[{"name":"p"}],"output":{"name":"when"}}],[11,"property","","",13,null],[11,"test","","",11,null],[11,"property","","",12,null],[11,"new","","",10,{"inputs":[{"name":"f"}],"output":{"name":"forallproperty"}}],[11,"for_all","","",10,{"inputs":[{"name":"g"}],"output":{"name":"forall"}}],[11,"when","","",10,{"inputs":[{"name":"p"}],"output":{"name":"when"}}],[11,"property","","",13,null],[11,"test","","",11,null],[11,"property","","",12,null],[11,"new","","",10,{"inputs":[{"name":"f"}],"output":{"name":"forallproperty"}}],[11,"for_all","","",10,{"inputs":[{"name":"g"}],"output":{"name":"forall"}}],[11,"when","","",10,{"inputs":[{"name":"p"}],"output":{"name":"when"}}],[11,"property","","",13,null],[11,"test","","",11,null],[11,"property","","",12,null],[11,"new","","",10,{"inputs":[{"name":"f"}],"output":{"name":"forallproperty"}}],[11,"for_all","","",10,{"inputs":[{"name":"g"}],"output":{"name":"forall"}}],[11,"when","","",10,{"inputs":[{"name":"p"}],"output":{"name":"when"}}],[11,"property","","",13,null],[11,"test","","",11,null],[11,"property","","",12,null],[11,"new","","",10,{"inputs":[{"name":"f"}],"output":{"name":"forallproperty"}}],[11,"for_all","","",10,{"inputs":[{"name":"g"}],"output":{"name":"forall"}}],[11,"when","","",10,{"inputs":[{"name":"p"}],"output":{"name":"when"}}],[11,"property","","",13,null],[11,"test","","",11,null],[11,"property","","",12,null],[11,"new","","",10,{"inputs":[{"name":"f"}],"output":{"name":"forallproperty"}}],[11,"for_all","","",10,{"inputs":[{"name":"g"}],"output":{"name":"forall"}}],[11,"when","","",10,{"inputs":[{"name":"p"}],"output":{"name":"when"}}],[11,"property","","",13,null],[0,"testable","quickercheck","",null,null],[3,"TestResult","quickercheck::testable","",null,null],[12,"input","","",16,null],[12,"status","","",16,null],[3,"ResizedTestable","","",null,null],[3,"FailureExpectedTestable","","",null,null],[4,"TestStatus","","",null,null],[13,"Pass","","",17,null],[13,"Fail","","",17,null],[13,"Discard","","",17,null],[8,"Testable","","",null,null],[10,"test","","",18,null],[11,"is_expected_to_fail","","",18,null],[8,"IntoTestable","","",null,null],[16,"Testable","","",19,null],[10,"into_testable","","",19,null],[11,"resize","","",19,null],[11,"expect_failure","","",19,null],[11,"clone","","",16,null],[11,"fmt","","",17,null],[11,"clone","","",17,null],[11,"test","","",20,null],[11,"test","","",21,null],[11,"is_expected_to_fail","","",21,null],[11,"test","","",16,null],[11,"from","","",17,{"inputs":[{"name":"bool"}],"output":{"name":"teststatus"}}],[11,"from","","",17,{"inputs":[{"name":"result"}],"output":{"name":"teststatus"}}],[11,"from","","",17,{"inputs":[{"name":"result"}],"output":{"name":"teststatus"}}],[11,"from","","",17,null],[0,"quick_check","quickercheck","",null,null],[3,"QuickCheck","quickercheck::quick_check","",null,null],[4,"QuickCheckError","","",null,null],[13,"GaveUp","","",22,null],[12,"successful_tests","quickercheck::quick_check::QuickCheckError","",22,null],[12,"attempts","","",22,null],[13,"Failure","quickercheck::quick_check","",22,null],[12,"input","quickercheck::quick_check::QuickCheckError","",22,null],[12,"successful_tests","","",22,null],[12,"seed","","",22,null],[12,"size","","",22,null],[13,"NoExpectedFailure","quickercheck::quick_check","",22,null],[5,"quicktest","","",null,{"inputs":[{"name":"t"}],"output":{"name":"result"}}],[5,"quickcheck","","",null,{"inputs":[{"name":"t"}],"output":null}],[6,"Result","","",null,null],[11,"fmt","","",22,null],[11,"clone","","",22,null],[11,"new","","",23,{"inputs":[],"output":{"name":"self"}}],[11,"max_size","","",23,null],[11,"tests","","",23,null],[11,"quicktest","","",23,null],[11,"quickcheck","","",23,null]],"paths":[[3,"GenerateCtx"],[3,"Constant"],[8,"Generator"],[3,"IntegerGenerator"],[3,"UnsignedIntegerGenerator"],[3,"FromIteratorGenerator"],[3,"OptionGenerator"],[3,"ResultGenerator"],[3,"RandGenerator"],[8,"Arbitrary"],[3,"Property"],[3,"ForAllProperty"],[3,"ForAll"],[3,"When"],[3,"WhenFn"],[3,"QuickFnArgs"],[3,"TestResult"],[4,"TestStatus"],[8,"Testable"],[8,"IntoTestable"],[3,"ResizedTestable"],[3,"FailureExpectedTestable"],[4,"QuickCheckError"],[3,"QuickCheck"]]};
initSearch(searchIndex);