docs/examples/test.check/doc/index.html

<!DOCTYPE html PUBLIC ""
    "">
<html><head><meta charset="UTF-8" /><title>Test.check 0.9.1-SNAPSHOT</title><link rel="stylesheet" type="text/css" href="css/default.css" /><link rel="stylesheet" type="text/css" href="css/highlight.css" /><script type="text/javascript" src="js/highlight.min.js"></script><script type="text/javascript" src="js/jquery.min.js"></script><script type="text/javascript" src="js/page_effects.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><link rel="stylesheet" type="text/css" href="https://storage.googleapis.com/app.klipse.tech/css/codemirror.css" /><div style="visibility: hidden;"><div class="klipse" data-external-libs="https://raw.githubusercontent.com/clojure/test.check/master/src/main/clojure">(ns my.test
                                                                  (:require [clojure.test.check :as tc :refer [quick-check]]
                                                                            [clojure.test.check.generators :as gen]
                                                                            [clojure.test.check.properties :as prop :include-macros true]))</div></div><div id="header"><h2>Generated by <a href="https://github.com/weavejester/codox">Codox</a></h2><h1><a href="index.html"><span class="project-title"><span class="project-name">Test.check</span> <span class="project-version">0.9.1-SNAPSHOT</span></span></a></h1></div><div class="sidebar primary"><h3 class="no-link"><span class="inner">Project</span></h3><ul class="index-link"><li class="depth-1 current"><a href="index.html"><div class="inner">Index</div></a></li></ul><h3 class="no-link"><span class="inner">Topics</span></h3><ul><li class="depth-1 "><a href="cheatsheet.html"><div class="inner"><span>test.check cheatsheet</span></div></a></li><li class="depth-1 "><a href="generator-examples.html"><div class="inner"><span>Generator Examples</span></div></a></li><li class="depth-1 "><a href="intro.html"><div class="inner"><span>Introduction to test.check</span></div></a></li><li class="depth-1 "><a href="migrating-from-simple-check.html"><div class="inner"><span>Migrating from simple-check</span></div></a></li></ul><h3 class="no-link"><span class="inner">Namespaces</span></h3><ul><li class="depth-1"><div class="no-link"><div class="inner"><span class="tree"><span class="top"></span><span class="bottom"></span></span><span>clojure</span></div></div></li><li class="depth-2"><div class="no-link"><div class="inner"><span class="tree"><span class="top"></span><span class="bottom"></span></span><span>test</span></div></div></li><li class="depth-3"><a href="clojure.test.check.html"><div class="inner"><span class="tree"><span class="top"></span><span class="bottom"></span></span><span>check</span></div></a></li><li class="depth-4 branch"><a href="clojure.test.check.clojure-test.html"><div class="inner"><span class="tree"><span class="top"></span><span class="bottom"></span></span><span>clojure-test</span></div></a></li><li class="depth-4 branch"><a href="clojure.test.check.generators.html"><div class="inner"><span class="tree"><span class="top"></span><span class="bottom"></span></span><span>generators</span></div></a></li><li class="depth-4"><a href="clojure.test.check.properties.html"><div class="inner"><span class="tree"><span class="top"></span><span class="bottom"></span></span><span>properties</span></div></a></li></ul></div><div class="namespace-index" id="content"><p id="klipse-loader-wrapper">Click <a id="klipse-loader" href="javascript:void(0)">here</a> to make these examples interactive with ClojureScript.</p><h1><span class="project-title"><span class="project-name">Test.check</span> <span class="project-version">0.9.1-SNAPSHOT</span></span></h1><div class="doc"><p>A QuickCheck inspired property-based testing library.</p></div><h2>Installation</h2><p>To install, add the following dependency to your project or build file:</p><pre class="deps">[org.clojure/test.check "0.9.1-SNAPSHOT"]</pre><h2>Topics</h2><ul class="topics"><li><a href="cheatsheet.html">test.check cheatsheet</a></li><li><a href="generator-examples.html">Generator Examples</a></li><li><a href="intro.html">Introduction to test.check</a></li><li><a href="migrating-from-simple-check.html">Migrating from simple-check</a></li></ul><h2>Namespaces</h2><div class="namespace"><h3><a href="clojure.test.check.html">clojure.test.check</a></h3><div class="doc"><div class="markdown"></div></div><div class="index"><p>Public variables and functions:</p><ul><li> <a href="clojure.test.check.html#var-quick-check">quick-check</a> </li></ul></div></div><div class="namespace"><h3><a href="clojure.test.check.clojure-test.html">clojure.test.check.clojure-test</a></h3><div class="doc"><div class="markdown"></div></div><div class="index"><p>Public variables and functions:</p><ul><li> <a href="clojure.test.check.clojure-test.html#var-*default-opts*">*default-opts*</a> </li><li> <a href="clojure.test.check.clojure-test.html#var-*default-test-count*">*default-test-count*</a> </li><li> <a href="clojure.test.check.clojure-test.html#var-*report-shrinking*">*report-shrinking*</a> </li><li> <a href="clojure.test.check.clojure-test.html#var-*report-trials*">*report-trials*</a> </li><li> <a href="clojure.test.check.clojure-test.html#var-*trial-report-period*">*trial-report-period*</a> </li><li> <a href="clojure.test.check.clojure-test.html#var-assert-check">assert-check</a> </li><li> <a href="clojure.test.check.clojure-test.html#var-default-reporter-fn">default-reporter-fn</a> </li><li> <a href="clojure.test.check.clojure-test.html#var-defspec">defspec</a> </li><li> <a href="clojure.test.check.clojure-test.html#var-trial-report-dots">trial-report-dots</a> </li><li> <a href="clojure.test.check.clojure-test.html#var-trial-report-periodic">trial-report-periodic</a> </li><li> <a href="clojure.test.check.clojure-test.html#var-with-test-out*">with-test-out*</a> </li></ul></div></div><div class="namespace"><h3><a href="clojure.test.check.generators.html">clojure.test.check.generators</a></h3><div class="doc"><div class="markdown"></div></div><div class="index"><p>Public variables and functions:</p><ul><li> <a href="clojure.test.check.generators.html#var-any">any</a> </li><li> <a href="clojure.test.check.generators.html#var-any-printable">any-printable</a> </li><li> <a href="clojure.test.check.generators.html#var-bind">bind</a> </li><li> <a href="clojure.test.check.generators.html#var-boolean">boolean</a> </li><li> <a href="clojure.test.check.generators.html#var-byte">byte</a> </li><li> <a href="clojure.test.check.generators.html#var-bytes">bytes</a> </li><li> <a href="clojure.test.check.generators.html#var-char">char</a> </li><li> <a href="clojure.test.check.generators.html#var-char-alpha">char-alpha</a> </li><li> <a href="clojure.test.check.generators.html#var-char-alpha-numeric">char-alpha-numeric</a> </li><li> <a href="clojure.test.check.generators.html#var-char-alphanumeric">char-alphanumeric</a> </li><li> <a href="clojure.test.check.generators.html#var-char-ascii">char-ascii</a> </li><li> <a href="clojure.test.check.generators.html#var-choose">choose</a> </li><li> <a href="clojure.test.check.generators.html#var-container-type">container-type</a> </li><li> <a href="clojure.test.check.generators.html#var-double">double</a> </li><li> <a href="clojure.test.check.generators.html#var-double*">double*</a> </li><li> <a href="clojure.test.check.generators.html#var-elements">elements</a> </li><li> <a href="clojure.test.check.generators.html#var-fmap">fmap</a> </li><li> <a href="clojure.test.check.generators.html#var-frequency">frequency</a> </li><li> <a href="clojure.test.check.generators.html#var-generate">generate</a> </li><li> <a href="clojure.test.check.generators.html#var-generator.3F">generator?</a> </li><li> <a href="clojure.test.check.generators.html#var-hash-map">hash-map</a> </li><li> <a href="clojure.test.check.generators.html#var-int">int</a> </li><li> <a href="clojure.test.check.generators.html#var-keyword">keyword</a> </li><li> <a href="clojure.test.check.generators.html#var-keyword-ns">keyword-ns</a> </li><li> <a href="clojure.test.check.generators.html#var-large-integer">large-integer</a> </li><li> <a href="clojure.test.check.generators.html#var-large-integer*">large-integer*</a> </li><li> <a href="clojure.test.check.generators.html#var-lazy-random-states">lazy-random-states</a> </li><li> <a href="clojure.test.check.generators.html#var-let">let</a> </li><li> <a href="clojure.test.check.generators.html#var-list">list</a> </li><li> <a href="clojure.test.check.generators.html#var-list-distinct">list-distinct</a> </li><li> <a href="clojure.test.check.generators.html#var-list-distinct-by">list-distinct-by</a> </li><li> <a href="clojure.test.check.generators.html#var-map">map</a> </li><li> <a href="clojure.test.check.generators.html#var-nat">nat</a> </li><li> <a href="clojure.test.check.generators.html#var-neg-int">neg-int</a> </li><li> <a href="clojure.test.check.generators.html#var-no-shrink">no-shrink</a> </li><li> <a href="clojure.test.check.generators.html#var-not-empty">not-empty</a> </li><li> <a href="clojure.test.check.generators.html#var-one-of">one-of</a> </li><li> <a href="clojure.test.check.generators.html#var-pos-int">pos-int</a> </li><li> <a href="clojure.test.check.generators.html#var-ratio">ratio</a> </li><li> <a href="clojure.test.check.generators.html#var-recursive-gen">recursive-gen</a> </li><li> <a href="clojure.test.check.generators.html#var-resize">resize</a> </li><li> <a href="clojure.test.check.generators.html#var-return">return</a> </li><li> <a href="clojure.test.check.generators.html#var-s-neg-int">s-neg-int</a> </li><li> <a href="clojure.test.check.generators.html#var-s-pos-int">s-pos-int</a> </li><li> <a href="clojure.test.check.generators.html#var-sample">sample</a> </li><li> <a href="clojure.test.check.generators.html#var-sample-seq">sample-seq</a> </li><li> <a href="clojure.test.check.generators.html#var-scale">scale</a> </li><li> <a href="clojure.test.check.generators.html#var-set">set</a> </li><li> <a href="clojure.test.check.generators.html#var-shrink-2">shrink-2</a> </li><li> <a href="clojure.test.check.generators.html#var-shuffle">shuffle</a> </li><li> <a href="clojure.test.check.generators.html#var-simple-type">simple-type</a> </li><li> <a href="clojure.test.check.generators.html#var-simple-type-printable">simple-type-printable</a> </li><li> <a href="clojure.test.check.generators.html#var-sized">sized</a> </li><li> <a href="clojure.test.check.generators.html#var-sorted-set">sorted-set</a> </li><li> <a href="clojure.test.check.generators.html#var-string">string</a> </li><li> <a href="clojure.test.check.generators.html#var-string-alpha-numeric">string-alpha-numeric</a> </li><li> <a href="clojure.test.check.generators.html#var-string-alphanumeric">string-alphanumeric</a> </li><li> <a href="clojure.test.check.generators.html#var-string-ascii">string-ascii</a> </li><li> <a href="clojure.test.check.generators.html#var-such-that">such-that</a> </li><li> <a href="clojure.test.check.generators.html#var-symbol">symbol</a> </li><li> <a href="clojure.test.check.generators.html#var-symbol-ns">symbol-ns</a> </li><li> <a href="clojure.test.check.generators.html#var-tuple">tuple</a> </li><li> <a href="clojure.test.check.generators.html#var-uuid">uuid</a> </li><li> <a href="clojure.test.check.generators.html#var-vector">vector</a> </li><li> <a href="clojure.test.check.generators.html#var-vector-distinct">vector-distinct</a> </li><li> <a href="clojure.test.check.generators.html#var-vector-distinct-by">vector-distinct-by</a> </li></ul></div></div><div class="namespace"><h3><a href="clojure.test.check.properties.html">clojure.test.check.properties</a></h3><div class="doc"><div class="markdown"></div></div><div class="index"><p>Public variables and functions:</p><ul><li> <a href="clojure.test.check.properties.html#var-for-all">for-all</a> </li><li> <a href="clojure.test.check.properties.html#var-for-all*">for-all*</a> </li></ul></div></div></div><script>window.klipse_settings = {
    selector: '.klipse,.clojure',
    codemirror_options_in: {
    lineWrapping: true,
    autoCloseBrackets: true
    },
    codemirror_options_out: {
    lineWrapping: true
    }
    };</script><script>
    function klipseLocalStorageEnabled() {
        var mod = 'modernizr';
        try {
          localStorage.setItem(mod, mod);
          localStorage.removeItem(mod);
          return true;
        } catch (e) {
          return false;
        }
     }
     function klipseLoad() {
      if (klipseLocalStorageEnabled()) { sessionStorage.setItem('klipse', true);}
      $('#klipse-loader-wrapper').remove();
      var s = document.createElement('script');
      s.setAttribute('src','https://storage.googleapis.com/app.klipse.tech/plugin/js/klipse_plugin.js');
      document.head.appendChild(s);
      }
    if(!true) {
      klipseLoad();
    } else {
      if((klipseLocalStorageEnabled() && sessionStorage.getItem('klipse')) || window.location.search.match(/klipse=1/)) {
        klipseLoad();
      } else {
        $('#klipse-loader').click(function(){
        klipseLoad();
       });
      }
    }
    </script></body></html>