<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Agda.Utils.TestHelpers</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Agda.Utils.TestHelpers</p></div><div id="interface"><h1>Algebraic properties
</h1><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:associative" target="main">associative</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:commutative" target="main">commutative</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:isZero" target="main">isZero</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:identity" target="main">identity</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:leftDistributive" target="main">leftDistributive</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:rightDistributive" target="main">rightDistributive</a></p></div><h1>Generators
</h1><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:natural" target="main">natural</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:positive" target="main">positive</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:maybeGen" target="main">maybeGen</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:maybeCoGen" target="main">maybeCoGen</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:listOfElements" target="main">listOfElements</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:elementsUnlessEmpty" target="main">elementsUnlessEmpty</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:two" target="main">two</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:three" target="main">three</a></p></div><h1>Test driver.
</h1><div class="top"><p class="src"><a href="Agda-Utils-TestHelpers.html#v:runTests" target="main">runTests</a></p></div></div></body></html>
