/usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Arbitrary.html is in libghc-quickcheck2-doc 2.9.2-1build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 | <!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>Test.QuickCheck.Arbitrary</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Test-QuickCheck-Arbitrary.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Test-QuickCheck-Arbitrary.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">QuickCheck-2.9.2: Automatic testing of Haskell programs</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Test.QuickCheck.Arbitrary</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Arbitrary and CoArbitrary classes</a><ul><li><a href="#g:2">Helper functions for implementing arbitrary</a></li><li><a href="#g:3">Helper functions for implementing shrink</a></li><li><a href="#g:4">Helper functions for implementing coarbitrary</a></li><li><a href="#g:5">Generators which use arbitrary</a></li></ul></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Type classes for random generation of values.</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">class</span> <a href="#t:Arbitrary">Arbitrary</a> a <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:CoArbitrary">CoArbitrary</a> a <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:arbitrarySizedIntegral">arbitrarySizedIntegral</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a</li><li class="src short"><a href="#v:arbitrarySizedNatural">arbitrarySizedNatural</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a</li><li class="src short"><a href="#v:arbitraryBoundedIntegral">arbitraryBoundedIntegral</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Bounded">Bounded</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a) => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a</li><li class="src short"><a href="#v:arbitrarySizedBoundedIntegral">arbitrarySizedBoundedIntegral</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Bounded">Bounded</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a) => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a</li><li class="src short"><a href="#v:arbitrarySizedFractional">arbitrarySizedFractional</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Fractional">Fractional</a> a => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a</li><li class="src short"><a href="#v:arbitraryBoundedRandom">arbitraryBoundedRandom</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Bounded">Bounded</a> a, <a href="file:///usr/share/doc/libghc-random-doc/html/System-Random.html#t:Random">Random</a> a) => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a</li><li class="src short"><a href="#v:arbitraryBoundedEnum">arbitraryBoundedEnum</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Bounded">Bounded</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Enum">Enum</a> a) => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a</li><li class="src short"><a href="#v:genericShrink">genericShrink</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic">Generic</a> a, RecursivelyShrink (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> a), GSubterms (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> a) a) => a -> [a]</li><li class="src short"><a href="#v:subterms">subterms</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic">Generic</a> a, GSubterms (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> a) a) => a -> [a]</li><li class="src short"><a href="#v:recursivelyShrink">recursivelyShrink</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic">Generic</a> a, RecursivelyShrink (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> a)) => a -> [a]</li><li class="src short"><a href="#v:genericCoarbitrary">genericCoarbitrary</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic">Generic</a> a, GCoArbitrary (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> a)) => a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b</li><li class="src short"><a href="#v:shrinkNothing">shrinkNothing</a> :: a -> [a]</li><li class="src short"><a href="#v:shrinkList">shrinkList</a> :: (a -> [a]) -> [a] -> [[a]]</li><li class="src short"><a href="#v:shrinkIntegral">shrinkIntegral</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => a -> [a]</li><li class="src short"><a href="#v:shrinkRealFrac">shrinkRealFrac</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:RealFrac">RealFrac</a> a => a -> [a]</li><li class="src short"><a href="#v:coarbitraryIntegral">coarbitraryIntegral</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b</li><li class="src short"><a href="#v:coarbitraryReal">coarbitraryReal</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Real">Real</a> a => a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b</li><li class="src short"><a href="#v:coarbitraryShow">coarbitraryShow</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> a => a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b</li><li class="src short"><a href="#v:coarbitraryEnum">coarbitraryEnum</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Enum">Enum</a> a => a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b</li><li class="src short"><a href="#v:-62--60-">(><)</a> :: (<a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a) -> (<a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a) -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a</li><li class="src short"><a href="#v:vector">vector</a> :: <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> [a]</li><li class="src short"><a href="#v:orderedList">orderedList</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a) => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> [a]</li><li class="src short"><a href="#v:infiniteList">infiniteList</a> :: <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> [a]</li></ul></div><div id="interface"><h1 id="g:1">Arbitrary and CoArbitrary classes</h1><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Arbitrary" class="def">Arbitrary</a> a <span class="keyword">where</span> <a href="src/Test-QuickCheck-Arbitrary.html#Arbitrary" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></p><div class="doc"><p>Random generation and shrinking of values.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Test-QuickCheck-Arbitrary.html#v:arbitrary">arbitrary</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:arbitrary" class="def">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><div class="doc"><p>A generator for values of the given type.</p></div><p class="src"><a id="v:shrink" class="def">shrink</a> :: a -> [a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p><div class="doc"><p>Produces a (possibly) empty list of all the possible
immediate shrinks of the given value. The default implementation
returns the empty list, so will not try to shrink the value.</p><p>Most implementations of <code><a href="Test-QuickCheck-Arbitrary.html#v:shrink">shrink</a></code> should try at least three things:</p><ol><li>Shrink a term to any of its immediate subterms.</li><li>Recursively apply <code><a href="Test-QuickCheck-Arbitrary.html#v:shrink">shrink</a></code> to all immediate subterms.</li><li>Type-specific shrinkings such as replacing a constructor by a
simpler constructor.</li></ol><p>For example, suppose we have the following implementation of binary trees:</p><pre>data Tree a = Nil | Branch a (Tree a) (Tree a)</pre><p>We can then define <code><a href="Test-QuickCheck-Arbitrary.html#v:shrink">shrink</a></code> as follows:</p><pre>shrink Nil = []
shrink (Branch x l r) =
-- shrink Branch to Nil
[Nil] ++
-- shrink to subterms
[l, r] ++
-- recursively shrink subterms
[Branch x' l' r' | (x', l', r') <- shrink (x, l, r)]</pre><p>There are a couple of subtleties here:</p><ul><li>QuickCheck tries the shrinking candidates in the order they
appear in the list, so we put more aggressive shrinking steps
(such as replacing the whole tree by <code>Nil</code>) before smaller
ones (such as recursively shrinking the subtrees).</li><li>It is tempting to write the last line as
<code>[Branch x' l' r' | x' <- shrink x, l' <- shrink l, r' <- shrink r]</code>
but this is the <em>wrong thing</em>! It will force QuickCheck to shrink
<code>x</code>, <code>l</code> and <code>r</code> in tandem, and shrinking will stop once <em>one</em> of
the three is fully shrunk.</li></ul><p>There is a fair bit of boilerplate in the code above.
We can avoid it with the help of some generic functions;
note that these only work on GHC 7.2 and above.
The function <code><a href="Test-QuickCheck-Arbitrary.html#v:genericShrink">genericShrink</a></code> tries shrinking a term to all of its
subterms and, failing that, recursively shrinks the subterms.
Using it, we can define <code><a href="Test-QuickCheck-Arbitrary.html#v:shrink">shrink</a></code> as:</p><pre>shrink x = shrinkToNil x ++ genericShrink x
where
shrinkToNil Nil = []
shrinkToNil (Branch _ l r) = [Nil]</pre><p><code><a href="Test-QuickCheck-Arbitrary.html#v:genericShrink">genericShrink</a></code> is a combination of <code><a href="Test-QuickCheck-Arbitrary.html#v:subterms">subterms</a></code>, which shrinks
a term to any of its subterms, and <code><a href="Test-QuickCheck-Arbitrary.html#v:recursivelyShrink">recursivelyShrink</a></code>, which shrinks
all subterms of a term. These may be useful if you need a bit more
control over shrinking than <code><a href="Test-QuickCheck-Arbitrary.html#v:genericShrink">genericShrink</a></code> gives you.</p><p>A final gotcha: we cannot define <code><a href="Test-QuickCheck-Arbitrary.html#v:shrink">shrink</a></code> as simply <code><code><a href="Test-QuickCheck-Arbitrary.html#v:shrink">shrink</a></code> x = Nil:<code><a href="Test-QuickCheck-Arbitrary.html#v:genericShrink">genericShrink</a></code> x</code>
as this shrinks <code>Nil</code> to <code>Nil</code>, and shrinking will go into an
infinite loop.</p><p>If all this leaves you bewildered, you might try <code><code><a href="Test-QuickCheck-Arbitrary.html#v:shrink">shrink</a></code> = <code><a href="Test-QuickCheck-Arbitrary.html#v:genericShrink">genericShrink</a></code></code> to begin with,
after deriving <code>Generic</code> for your type. However, if your data type has any
special invariants, you will need to check that <code><a href="Test-QuickCheck-Arbitrary.html#v:genericShrink">genericShrink</a></code> can't break those invariants.</p></div></div><div class="subs instances"><p id="control.i:Arbitrary" class="caption collapser" onclick="toggleSection('i:Arbitrary')">Instances</p><div id="section.i:Arbitrary" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:1" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:1')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-333" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:2" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:2')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-566" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:3" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:3')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Double">Double</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-588" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Double">Double</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Double">Double</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Double">Double</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:4" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:4')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Float">Float</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-584" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Float">Float</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Float">Float</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Float">Float</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:5" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:5')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-526" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:6" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:6')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int8">Int8</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-530" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int8">Int8</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int8">Int8</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int8">Int8</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:7" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:7')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int16">Int16</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-534" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int16">Int16</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int16">Int16</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int16">Int16</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:8" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:8')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int32">Int32</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-538" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int32">Int32</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int32">Int32</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int32">Int32</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:9" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:9')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int64">Int64</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-542" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int64">Int64</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int64">Int64</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int64">Int64</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:10" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:10')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-516" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:11" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:11')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-338" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:12" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:12')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word">Word</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-546" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word">Word</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word">Word</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word">Word</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:13" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:13')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word8">Word8</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-550" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word8">Word8</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word8">Word8</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word8">Word8</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:14" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:14')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word16">Word16</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-554" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word16">Word16</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word16">Word16</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word16">Word16</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:15" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:15')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word32">Word32</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-558" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word32">Word32</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word32">Word32</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word32">Word32</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:16" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:16')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word64">Word64</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-562" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word64">Word64</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word64">Word64</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word64">Word64</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:17" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:17')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> ()</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-330" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:17" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> () <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: () -> [()] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:18" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:18')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Numeric-Natural.html#t:Natural">Natural</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-521" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:18" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Numeric-Natural.html#t:Natural">Natural</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Numeric-Natural.html#t:Natural">Natural</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Numeric-Natural.html#t:Natural">Natural</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:19" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:19')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Version.html#t:Version">Version</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-674" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc"><p>Generates <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Version.html#t:Version">Version</a></code> with non-empty non-negative <code>versionBranch</code>, and empty <code>versionTags</code></p></td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:19" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Version.html#t:Version">Version</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Version.html#t:Version">Version</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Version.html#t:Version">Version</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:20" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:20')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:All">All</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-639" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:20" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:All">All</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:All">All</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:All">All</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:21" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:21')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Any">Any</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-643" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:21" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Any">Any</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Any">Any</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Any">Any</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:22" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:22')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-599" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:22" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:23" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:23')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="Test-QuickCheck-Poly.html#t:OrdC">OrdC</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-125" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:23" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="Test-QuickCheck-Poly.html#t:OrdC">OrdC</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Poly.html#t:OrdC">OrdC</a> -> [<a href="Test-QuickCheck-Poly.html#t:OrdC">OrdC</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:24" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:24')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="Test-QuickCheck-Poly.html#t:OrdB">OrdB</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-106" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:24" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="Test-QuickCheck-Poly.html#t:OrdB">OrdB</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Poly.html#t:OrdB">OrdB</a> -> [<a href="Test-QuickCheck-Poly.html#t:OrdB">OrdB</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:25" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:25')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="Test-QuickCheck-Poly.html#t:OrdA">OrdA</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-87" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:25" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="Test-QuickCheck-Poly.html#t:OrdA">OrdA</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Poly.html#t:OrdA">OrdA</a> -> [<a href="Test-QuickCheck-Poly.html#t:OrdA">OrdA</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:26" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:26')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="Test-QuickCheck-Poly.html#t:C">C</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-65" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:26" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="Test-QuickCheck-Poly.html#t:C">C</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Poly.html#t:C">C</a> -> [<a href="Test-QuickCheck-Poly.html#t:C">C</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:27" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:27')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="Test-QuickCheck-Poly.html#t:B">B</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-50" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:27" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="Test-QuickCheck-Poly.html#t:B">B</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Poly.html#t:B">B</a> -> [<a href="Test-QuickCheck-Poly.html#t:B">B</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:28" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:28')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> <a href="Test-QuickCheck-Poly.html#t:A">A</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-35" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:28" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="Test-QuickCheck-Poly.html#t:A">A</a> <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Poly.html#t:A">A</a> -> [<a href="Test-QuickCheck-Poly.html#t:A">A</a>] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:29" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:29')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> [a]</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-356" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:29" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> [a] <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: [a] -> [[a]] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:30" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:30')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-344" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:30" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:31" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:31')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ratio.html#t:Ratio">Ratio</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-393" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:31" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ratio.html#t:Ratio">Ratio</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ratio.html#t:Ratio">Ratio</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ratio.html#t:Ratio">Ratio</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:32" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:32')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Identity.html#t:Identity">Identity</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-616" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:32" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Identity.html#t:Identity">Identity</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Identity.html#t:Identity">Identity</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Identity.html#t:Identity">Identity</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:33" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:33')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-361" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:33" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:34" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:34')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Fixed.html#t:HasResolution">HasResolution</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Fixed.html#t:Fixed">Fixed</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-403" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:34" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Fixed.html#t:Fixed">Fixed</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Fixed.html#t:Fixed">Fixed</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Fixed.html#t:Fixed">Fixed</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:35" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:35')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:RealFloat">RealFloat</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Complex.html#t:Complex">Complex</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-397" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:35" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Complex.html#t:Complex">Complex</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Complex.html#t:Complex">Complex</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Complex.html#t:Complex">Complex</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:36" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:36')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:ZipList">ZipList</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-610" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:36" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:ZipList">ZipList</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:ZipList">ZipList</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:ZipList">ZipList</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:37" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:37')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Dual">Dual</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-631" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:37" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Dual">Dual</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Dual">Dual</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Dual">Dual</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:38" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:38')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Endo">Endo</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-635" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:38" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Endo">Endo</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Endo">Endo</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Endo">Endo</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:39" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:39')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Sum">Sum</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-647" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:39" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Sum">Sum</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Sum">Sum</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Sum">Sum</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:40" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:40')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Product">Product</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-651" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:40" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Product">Product</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Product">Product</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Product">Product</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:41" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:41')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:First">First</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-657" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:41" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:First">First</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:First">First</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:First">First</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:42" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:42')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Last">Last</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-661" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:42" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Last">Last</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Last">Last</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Last">Last</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:43" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:43')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-602" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:43" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:44" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:44')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-605" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:44" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:45" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:45')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-593" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:45" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:46" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:46')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="Test-QuickCheck-Modifiers.html#t:Smart">Smart</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-281" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:46" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="Test-QuickCheck-Modifiers.html#t:Smart">Smart</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Modifiers.html#t:Smart">Smart</a> a -> [<a href="Test-QuickCheck-Modifiers.html#t:Smart">Smart</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:47" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:47')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="Test-QuickCheck-Modifiers.html#t:Shrink2">Shrink2</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-257" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:47" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="Test-QuickCheck-Modifiers.html#t:Shrink2">Shrink2</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Modifiers.html#t:Shrink2">Shrink2</a> a -> [<a href="Test-QuickCheck-Modifiers.html#t:Shrink2">Shrink2</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:48" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:48')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="Test-QuickCheck-Modifiers.html#t:Small">Small</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-241" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:48" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="Test-QuickCheck-Modifiers.html#t:Small">Small</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Modifiers.html#t:Small">Small</a> a -> [<a href="Test-QuickCheck-Modifiers.html#t:Small">Small</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:49" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:49')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Bounded">Bounded</a> a) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="Test-QuickCheck-Modifiers.html#t:Large">Large</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-224" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:49" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="Test-QuickCheck-Modifiers.html#t:Large">Large</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Modifiers.html#t:Large">Large</a> a -> [<a href="Test-QuickCheck-Modifiers.html#t:Large">Large</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:50" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:50')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="Test-QuickCheck-Modifiers.html#t:NonNegative">NonNegative</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-195" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:50" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="Test-QuickCheck-Modifiers.html#t:NonNegative">NonNegative</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Modifiers.html#t:NonNegative">NonNegative</a> a -> [<a href="Test-QuickCheck-Modifiers.html#t:NonNegative">NonNegative</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:51" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:51')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="Test-QuickCheck-Modifiers.html#t:NonZero">NonZero</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-178" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:51" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="Test-QuickCheck-Modifiers.html#t:NonZero">NonZero</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Modifiers.html#t:NonZero">NonZero</a> a -> [<a href="Test-QuickCheck-Modifiers.html#t:NonZero">NonZero</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:52" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:52')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="Test-QuickCheck-Modifiers.html#t:Positive">Positive</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-155" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:52" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="Test-QuickCheck-Modifiers.html#t:Positive">Positive</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Modifiers.html#t:Positive">Positive</a> a -> [<a href="Test-QuickCheck-Modifiers.html#t:Positive">Positive</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:53" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:53')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="Test-QuickCheck-Modifiers.html#t:NonEmptyList">NonEmptyList</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-134" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:53" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="Test-QuickCheck-Modifiers.html#t:NonEmptyList">NonEmptyList</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Modifiers.html#t:NonEmptyList">NonEmptyList</a> a -> [<a href="Test-QuickCheck-Modifiers.html#t:NonEmptyList">NonEmptyList</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:54" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:54')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="Test-QuickCheck-Modifiers.html#t:OrderedList">OrderedList</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-117" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:54" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="Test-QuickCheck-Modifiers.html#t:OrderedList">OrderedList</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Modifiers.html#t:OrderedList">OrderedList</a> a -> [<a href="Test-QuickCheck-Modifiers.html#t:OrderedList">OrderedList</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:55" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:55')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="Test-QuickCheck-Modifiers.html#t:Fixed">Fixed</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-104" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:55" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="Test-QuickCheck-Modifiers.html#t:Fixed">Fixed</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Modifiers.html#t:Fixed">Fixed</a> a -> [<a href="Test-QuickCheck-Modifiers.html#t:Fixed">Fixed</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:56" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:56')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="Test-QuickCheck-Modifiers.html#t:Blind">Blind</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-87" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:56" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="Test-QuickCheck-Modifiers.html#t:Blind">Blind</a> a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Modifiers.html#t:Blind">Blind</a> a -> [<a href="Test-QuickCheck-Modifiers.html#t:Blind">Blind</a> a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:57" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:57')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> b) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (a -> b)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-327" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:57" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a -> b) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: (a -> b) -> [a -> b] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:58" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:58')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> b) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a b)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-350" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:58" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a b) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a b -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a b] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:59" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:59')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> b) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (a, b)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-408" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:59" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a, b) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: (a, b) -> [(a, b)] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:60" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:60')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> k, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> k, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> v) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k v)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-596" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:60" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k v) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k v -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k v] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:61" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:61')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-QuickCheck-Modifiers.html#t:ShrinkState">ShrinkState</a> s a) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="Test-QuickCheck-Modifiers.html#t:Shrinking">Shrinking</a> s a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-333" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:61" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="Test-QuickCheck-Modifiers.html#t:Shrinking">Shrinking</a> s a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Modifiers.html#t:Shrinking">Shrinking</a> s a -> [<a href="Test-QuickCheck-Modifiers.html#t:Shrinking">Shrinking</a> s a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:62" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:62')"></span> (<a href="Test-QuickCheck-Function.html#t:Function">Function</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> b) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="Test-QuickCheck-Function.html#t:Fun">Fun</a> a b)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-473" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:62" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="Test-QuickCheck-Function.html#t:Fun">Fun</a> a b) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="Test-QuickCheck-Function.html#t:Fun">Fun</a> a b -> [<a href="Test-QuickCheck-Function.html#t:Fun">Fun</a> a b] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:63" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:63')"></span> (<a href="Test-QuickCheck-Function.html#t:Function">Function</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> b) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="Test-QuickCheck-Function.html#t::-45--62-">(:->)</a> a b)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-366" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:63" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a <a href="Test-QuickCheck-Function.html#t::-45--62-">:-></a> b) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: (a <a href="Test-QuickCheck-Function.html#t::-45--62-">:-></a> b) -> [a <a href="Test-QuickCheck-Function.html#t::-45--62-">:-></a> b] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:64" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:64')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> b, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> c) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (a, b, c)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-417" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:64" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a, b, c) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: (a, b, c) -> [(a, b, c)] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:65" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:65')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Const.html#t:Const">Const</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-626" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:65" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Const.html#t:Const">Const</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Const.html#t:Const">Const</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Const.html#t:Const">Const</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:66" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:66')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (f a) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Alt">Alt</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-667" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:66" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Alt">Alt</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Alt">Alt</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Alt">Alt</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:67" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:67')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Data-Functor-Constant.html#t:Constant">Constant</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-620" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:67" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Data-Functor-Constant.html#t:Constant">Constant</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Data-Functor-Constant.html#t:Constant">Constant</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Data-Functor-Constant.html#t:Constant">Constant</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:68" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:68')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> b, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> c, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> d) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (a, b, c, d)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-426" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:68" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a, b, c, d) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: (a, b, c, d) -> [(a, b, c, d)] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:69" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:69')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> b, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> c, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> d, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> e) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (a, b, c, d, e)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-435" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:69" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a, b, c, d, e) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: (a, b, c, d, e) -> [(a, b, c, d, e)] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:70" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:70')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> b, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> c, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> d, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> e, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> f) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (a, b, c, d, e, f)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-444" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:70" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a, b, c, d, e, f) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: (a, b, c, d, e, f) -> [(a, b, c, d, e, f)] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:71" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:71')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> b, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> c, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> d, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> e, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> f, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> g) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (a, b, c, d, e, f, g)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-457" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:71" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a, b, c, d, e, f, g) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: (a, b, c, d, e, f, g) -> [(a, b, c, d, e, f, g)] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:72" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:72')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> b, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> c, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> d, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> e, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> f, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> g, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> h) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (a, b, c, d, e, f, g, h)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-470" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:72" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a, b, c, d, e, f, g, h) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: (a, b, c, d, e, f, g, h) -> [(a, b, c, d, e, f, g, h)] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:73" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:73')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> b, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> c, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> d, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> e, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> f, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> g, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> h, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> i) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (a, b, c, d, e, f, g, h, i)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-484" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:73" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a, b, c, d, e, f, g, h, i) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: (a, b, c, d, e, f, g, h, i) -> [(a, b, c, d, e, f, g, h, i)] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Arbitrary:Arbitrary:74" class="instance expander" onclick="toggleSection('i:ic:Arbitrary:Arbitrary:74')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> b, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> c, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> d, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> e, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> f, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> g, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> h, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> i, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> j) => <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> (a, b, c, d, e, f, g, h, i, j)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-499" class="link">Source</a> <a href="#t:Arbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Arbitrary:Arbitrary:74" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:arbitrary">arbitrary</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a, b, c, d, e, f, g, h, i, j) <a href="src/Test-QuickCheck-Arbitrary.html#arbitrary" class="link">Source</a> <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: (a, b, c, d, e, f, g, h, i, j) -> [(a, b, c, d, e, f, g, h, i, j)] <a href="src/Test-QuickCheck-Arbitrary.html#shrink" class="link">Source</a> <a href="#v:shrink" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:CoArbitrary" class="def">CoArbitrary</a> a <span class="keyword">where</span> <a href="src/Test-QuickCheck-Arbitrary.html#CoArbitrary" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></p><div class="doc"><p>Used for random generation of functions.</p><p>If you are using a recent GHC, there is a default definition of
<code><a href="Test-QuickCheck-Arbitrary.html#v:coarbitrary">coarbitrary</a></code> using <code><a href="Test-QuickCheck-Arbitrary.html#v:genericCoarbitrary">genericCoarbitrary</a></code>, so if your type has a
<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic">Generic</a></code> instance it's enough to say</p><pre>instance CoArbitrary MyType</pre><p>You should only use <code><a href="Test-QuickCheck-Arbitrary.html#v:genericCoarbitrary">genericCoarbitrary</a></code> for data types where
equality is structural, i.e. if you can't have two different
representations of the same value. An example where it's not
safe is sets implemented using binary search trees: the same
set can be represented as several different trees.
Here you would have to explicitly define
<code>coarbitrary s = coarbitrary (toList s)</code>.</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:coarbitrary" class="def">coarbitrary</a> :: a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p><div class="doc"><p>Used to generate a function of type <code>a -> b</code>.
The first argument is a value, the second a generator.
You should use <code><a href="Test-QuickCheck-Gen.html#v:variant">variant</a></code> to perturb the random generator;
the goal is that different values for the first argument will
lead to different calls to <code><a href="Test-QuickCheck-Gen.html#v:variant">variant</a></code>. An example will help:</p><pre>instance CoArbitrary a => CoArbitrary [a] where
coarbitrary [] = <code><a href="Test-QuickCheck-Gen.html#v:variant">variant</a></code> 0
coarbitrary (x:xs) = <code><a href="Test-QuickCheck-Gen.html#v:variant">variant</a></code> 1 . coarbitrary (x,xs)
</pre></div><p class="src"><a id="v:coarbitrary" class="def">coarbitrary</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic">Generic</a> a, GCoArbitrary (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> a)) => a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p><div class="doc"><p>Used to generate a function of type <code>a -> b</code>.
The first argument is a value, the second a generator.
You should use <code><a href="Test-QuickCheck-Gen.html#v:variant">variant</a></code> to perturb the random generator;
the goal is that different values for the first argument will
lead to different calls to <code><a href="Test-QuickCheck-Gen.html#v:variant">variant</a></code>. An example will help:</p><pre>instance CoArbitrary a => CoArbitrary [a] where
coarbitrary [] = <code><a href="Test-QuickCheck-Gen.html#v:variant">variant</a></code> 0
coarbitrary (x:xs) = <code><a href="Test-QuickCheck-Gen.html#v:variant">variant</a></code> 1 . coarbitrary (x,xs)
</pre></div></div><div class="subs instances"><p id="control.i:CoArbitrary" class="caption collapser" onclick="toggleSection('i:CoArbitrary')">Instances</p><div id="section.i:CoArbitrary" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:1" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:1')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-874" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:2" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:2')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-981" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:3" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:3')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Double">Double</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-987" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Double">Double</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:4" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:4')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Float">Float</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-984" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Float">Float</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:5" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:5')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-951" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:6" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:6')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int8">Int8</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-954" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int8">Int8</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:7" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:7')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int16">Int16</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-957" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int16">Int16</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:8" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:8')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int32">Int32</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-960" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int32">Int32</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:9" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:9')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int64">Int64</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-963" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int64">Int64</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:10" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:10')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-943" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:11" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:11')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-878" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:12" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:12')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word">Word</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-966" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word">Word</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:13" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:13')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word8">Word8</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-969" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word8">Word8</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:14" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:14')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word16">Word16</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-972" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word16">Word16</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:15" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:15')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word32">Word32</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-975" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word32">Word32</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:16" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:16')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word64">Word64</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-978" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Word.html#t:Word64">Word64</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:17" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:17')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> ()</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-871" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:17" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: () -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:18" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:18')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Numeric-Natural.html#t:Natural">Natural</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-947" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:18" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Numeric-Natural.html#t:Natural">Natural</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:19" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:19')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Version.html#t:Version">Version</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-1053" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:19" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Version.html#t:Version">Version</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:20" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:20')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:All">All</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-1026" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:20" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:All">All</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:21" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:21')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Any">Any</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-1029" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:21" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Any">Any</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:22" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:22')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-995" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:22" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntSet.html#t:IntSet">IntSet</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:23" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:23')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="Test-QuickCheck-Poly.html#t:OrdC">OrdC</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-129" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:23" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="Test-QuickCheck-Poly.html#t:OrdC">OrdC</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:24" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:24')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="Test-QuickCheck-Poly.html#t:OrdB">OrdB</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-110" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:24" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="Test-QuickCheck-Poly.html#t:OrdB">OrdB</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:25" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:25')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="Test-QuickCheck-Poly.html#t:OrdA">OrdA</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-91" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:25" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="Test-QuickCheck-Poly.html#t:OrdA">OrdA</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:26" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:26')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="Test-QuickCheck-Poly.html#t:C">C</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-69" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:26" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="Test-QuickCheck-Poly.html#t:C">C</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:27" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:27')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="Test-QuickCheck-Poly.html#t:B">B</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-54" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:27" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="Test-QuickCheck-Poly.html#t:B">B</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:28" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:28')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> <a href="Test-QuickCheck-Poly.html#t:A">A</a></span> <a href="src/Test-QuickCheck-Arbitrary.html#line-39" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:28" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="Test-QuickCheck-Poly.html#t:A">A</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:29" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:29')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> [a]</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-891" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:29" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: [a] -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:30" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:30')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-883" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:30" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:31" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:31')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a) => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ratio.html#t:Ratio">Ratio</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-900" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:31" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ratio.html#t:Ratio">Ratio</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:32" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:32')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Identity.html#t:Identity">Identity</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-1008" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:32" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Identity.html#t:Identity">Identity</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:33" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:33')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-896" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:33" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:34" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:34')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Fixed.html#t:HasResolution">HasResolution</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Fixed.html#t:Fixed">Fixed</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-904" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:34" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Fixed.html#t:Fixed">Fixed</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:35" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:35')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:RealFloat">RealFloat</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a) => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Complex.html#t:Complex">Complex</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-908" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:35" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Complex.html#t:Complex">Complex</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:36" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:36')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:ZipList">ZipList</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-1003" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:36" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:ZipList">ZipList</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:37" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:37')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Dual">Dual</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-1020" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:37" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Dual">Dual</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:38" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:38')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a) => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Endo">Endo</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-1023" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:38" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Endo">Endo</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:39" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:39')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Sum">Sum</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-1032" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:39" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Sum">Sum</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:40" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:40')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Product">Product</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-1035" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:40" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Product">Product</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:41" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:41')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:First">First</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-1040" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:41" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:First">First</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:42" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:42')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Last">Last</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-1043" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:42" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Last">Last</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:43" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:43')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-997" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:43" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:44" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:44')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-999" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:44" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:45" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:45')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-991" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:45" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Set.html#t:Set">Set</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:46" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:46')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> b) => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (a -> b)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-866" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:46" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: (a -> b) -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:47" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:47')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> b) => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a b)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-887" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:47" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> a b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:48" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:48')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> b) => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (a, b)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-911" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:48" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: (a, b) -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:49" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:49')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> k, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> v) => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k v)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-993" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:49" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k v -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:50" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:50')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> b, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> c) => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (a, b, c)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-917" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:50" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: (a, b, c) -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:51" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:51')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Const.html#t:Const">Const</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-1016" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:51" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Const.html#t:Const">Const</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:52" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:52')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (f a) => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Alt">Alt</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-1048" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:52" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Alt">Alt</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:53" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:53')"></span> <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Data-Functor-Constant.html#t:Constant">Constant</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-1011" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:53" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Data-Functor-Constant.html#t:Constant">Constant</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:54" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:54')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> b, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> c, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> d) => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (a, b, c, d)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-924" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:54" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: (a, b, c, d) -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:CoArbitrary:CoArbitrary:55" class="instance expander" onclick="toggleSection('i:ic:CoArbitrary:CoArbitrary:55')"></span> (<a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> b, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> c, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> d, <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> e) => <a href="Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> (a, b, c, d, e)</span> <a href="src/Test-QuickCheck-Arbitrary.html#line-932" class="link">Source</a> <a href="#t:CoArbitrary" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:CoArbitrary:CoArbitrary:55" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coarbitrary">coarbitrary</a> :: (a, b, c, d, e) -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitrary" class="link">Source</a> <a href="#v:coarbitrary" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><h2 id="g:2">Helper functions for implementing arbitrary</h2><div class="top"><p class="src"><a id="v:arbitrarySizedIntegral" class="def">arbitrarySizedIntegral</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="src/Test-QuickCheck-Arbitrary.html#arbitrarySizedIntegral" class="link">Source</a> <a href="#v:arbitrarySizedIntegral" class="selflink">#</a></p><div class="doc"><p>Generates an integral number. The number can be positive or negative
and its maximum absolute value depends on the size parameter.</p></div></div><div class="top"><p class="src"><a id="v:arbitrarySizedNatural" class="def">arbitrarySizedNatural</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="src/Test-QuickCheck-Arbitrary.html#arbitrarySizedNatural" class="link">Source</a> <a href="#v:arbitrarySizedNatural" class="selflink">#</a></p><div class="doc"><p>Generates a natural number. The number's maximum value depends on
the size parameter.</p></div></div><div class="top"><p class="src"><a id="v:arbitraryBoundedIntegral" class="def">arbitraryBoundedIntegral</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Bounded">Bounded</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a) => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="src/Test-QuickCheck-Arbitrary.html#arbitraryBoundedIntegral" class="link">Source</a> <a href="#v:arbitraryBoundedIntegral" class="selflink">#</a></p><div class="doc"><p>Generates an integral number. The number is chosen uniformly from
the entire range of the type. You may want to use
<code><a href="Test-QuickCheck-Arbitrary.html#v:arbitrarySizedBoundedIntegral">arbitrarySizedBoundedIntegral</a></code> instead.</p></div></div><div class="top"><p class="src"><a id="v:arbitrarySizedBoundedIntegral" class="def">arbitrarySizedBoundedIntegral</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Bounded">Bounded</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a) => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="src/Test-QuickCheck-Arbitrary.html#arbitrarySizedBoundedIntegral" class="link">Source</a> <a href="#v:arbitrarySizedBoundedIntegral" class="selflink">#</a></p><div class="doc"><p>Generates an integral number from a bounded domain. The number is
chosen from the entire range of the type, but small numbers are
generated more often than big numbers. Inspired by demands from
Phil Wadler.</p></div></div><div class="top"><p class="src"><a id="v:arbitrarySizedFractional" class="def">arbitrarySizedFractional</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Fractional">Fractional</a> a => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="src/Test-QuickCheck-Arbitrary.html#arbitrarySizedFractional" class="link">Source</a> <a href="#v:arbitrarySizedFractional" class="selflink">#</a></p><div class="doc"><p>Generates a fractional number. The number can be positive or negative
and its maximum absolute value depends on the size parameter.</p></div></div><div class="top"><p class="src"><a id="v:arbitraryBoundedRandom" class="def">arbitraryBoundedRandom</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Bounded">Bounded</a> a, <a href="file:///usr/share/doc/libghc-random-doc/html/System-Random.html#t:Random">Random</a> a) => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="src/Test-QuickCheck-Arbitrary.html#arbitraryBoundedRandom" class="link">Source</a> <a href="#v:arbitraryBoundedRandom" class="selflink">#</a></p><div class="doc"><p>Generates an element of a bounded type. The element is
chosen from the entire range of the type.</p></div></div><div class="top"><p class="src"><a id="v:arbitraryBoundedEnum" class="def">arbitraryBoundedEnum</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Bounded">Bounded</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Enum">Enum</a> a) => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="src/Test-QuickCheck-Arbitrary.html#arbitraryBoundedEnum" class="link">Source</a> <a href="#v:arbitraryBoundedEnum" class="selflink">#</a></p><div class="doc"><p>Generates an element of a bounded enumeration.</p></div></div><h2 id="g:3">Helper functions for implementing shrink</h2><div class="top"><p class="src"><a id="v:genericShrink" class="def">genericShrink</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic">Generic</a> a, RecursivelyShrink (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> a), GSubterms (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> a) a) => a -> [a] <a href="src/Test-QuickCheck-Arbitrary.html#genericShrink" class="link">Source</a> <a href="#v:genericShrink" class="selflink">#</a></p><div class="doc"><p>Shrink a term to any of its immediate subterms,
and also recursively shrink all subterms.</p></div></div><div class="top"><p class="src"><a id="v:subterms" class="def">subterms</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic">Generic</a> a, GSubterms (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> a) a) => a -> [a] <a href="src/Test-QuickCheck-Arbitrary.html#subterms" class="link">Source</a> <a href="#v:subterms" class="selflink">#</a></p><div class="doc"><p>All immediate subterms of a term.</p></div></div><div class="top"><p class="src"><a id="v:recursivelyShrink" class="def">recursivelyShrink</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic">Generic</a> a, RecursivelyShrink (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> a)) => a -> [a] <a href="src/Test-QuickCheck-Arbitrary.html#recursivelyShrink" class="link">Source</a> <a href="#v:recursivelyShrink" class="selflink">#</a></p><div class="doc"><p>Recursively shrink all immediate subterms.</p></div></div><div class="top"><p class="src"><a id="v:genericCoarbitrary" class="def">genericCoarbitrary</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic">Generic</a> a, GCoArbitrary (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> a)) => a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#genericCoarbitrary" class="link">Source</a> <a href="#v:genericCoarbitrary" class="selflink">#</a></p><div class="doc"><p>Generic CoArbitrary implementation.</p></div></div><div class="top"><p class="src"><a id="v:shrinkNothing" class="def">shrinkNothing</a> :: a -> [a] <a href="src/Test-QuickCheck-Arbitrary.html#shrinkNothing" class="link">Source</a> <a href="#v:shrinkNothing" class="selflink">#</a></p><div class="doc"><p>Returns no shrinking alternatives.</p></div></div><div class="top"><p class="src"><a id="v:shrinkList" class="def">shrinkList</a> :: (a -> [a]) -> [a] -> [[a]] <a href="src/Test-QuickCheck-Arbitrary.html#shrinkList" class="link">Source</a> <a href="#v:shrinkList" class="selflink">#</a></p><div class="doc"><p>Shrink a list of values given a shrinking function for individual values.</p></div></div><div class="top"><p class="src"><a id="v:shrinkIntegral" class="def">shrinkIntegral</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => a -> [a] <a href="src/Test-QuickCheck-Arbitrary.html#shrinkIntegral" class="link">Source</a> <a href="#v:shrinkIntegral" class="selflink">#</a></p><div class="doc"><p>Shrink an integral number.</p></div></div><div class="top"><p class="src"><a id="v:shrinkRealFrac" class="def">shrinkRealFrac</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:RealFrac">RealFrac</a> a => a -> [a] <a href="src/Test-QuickCheck-Arbitrary.html#shrinkRealFrac" class="link">Source</a> <a href="#v:shrinkRealFrac" class="selflink">#</a></p><div class="doc"><p>Shrink a fraction.</p></div></div><h2 id="g:4">Helper functions for implementing coarbitrary</h2><div class="top"><p class="src"><a id="v:coarbitraryIntegral" class="def">coarbitraryIntegral</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> a => a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitraryIntegral" class="link">Source</a> <a href="#v:coarbitraryIntegral" class="selflink">#</a></p><div class="doc"><p>A <code><a href="Test-QuickCheck-Arbitrary.html#v:coarbitrary">coarbitrary</a></code> implementation for integral numbers.</p></div></div><div class="top"><p class="src"><a id="v:coarbitraryReal" class="def">coarbitraryReal</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Real">Real</a> a => a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitraryReal" class="link">Source</a> <a href="#v:coarbitraryReal" class="selflink">#</a></p><div class="doc"><p>A <code><a href="Test-QuickCheck-Arbitrary.html#v:coarbitrary">coarbitrary</a></code> implementation for real numbers.</p></div></div><div class="top"><p class="src"><a id="v:coarbitraryShow" class="def">coarbitraryShow</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> a => a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitraryShow" class="link">Source</a> <a href="#v:coarbitraryShow" class="selflink">#</a></p><div class="doc"><p><code><a href="Test-QuickCheck-Arbitrary.html#v:coarbitrary">coarbitrary</a></code> helper for lazy people :-).</p></div></div><div class="top"><p class="src"><a id="v:coarbitraryEnum" class="def">coarbitraryEnum</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Enum">Enum</a> a => a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="src/Test-QuickCheck-Arbitrary.html#coarbitraryEnum" class="link">Source</a> <a href="#v:coarbitraryEnum" class="selflink">#</a></p><div class="doc"><p>A <code><a href="Test-QuickCheck-Arbitrary.html#v:coarbitrary">coarbitrary</a></code> implementation for enums.</p></div></div><div class="top"><p class="src"><a id="v:-62--60-" class="def">(><)</a> :: (<a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a) -> (<a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a) -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="src/Test-QuickCheck-Arbitrary.html#%3E%3C" class="link">Source</a> <a href="#v:-62--60-" class="selflink">#</a></p><div class="doc"><div class="warning"><p>Deprecated: Use ordinary function composition instead</p></div><p>Combine two generator perturbing functions, for example the
results of calls to <code><a href="Test-QuickCheck-Gen.html#v:variant">variant</a></code> or <code><a href="Test-QuickCheck-Arbitrary.html#v:coarbitrary">coarbitrary</a></code>.</p></div></div><h2 id="g:5">Generators which use arbitrary</h2><div class="top"><p class="src"><a id="v:vector" class="def">vector</a> :: <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> [a] <a href="src/Test-QuickCheck-Arbitrary.html#vector" class="link">Source</a> <a href="#v:vector" class="selflink">#</a></p><div class="doc"><p>Generates a list of a given length.</p></div></div><div class="top"><p class="src"><a id="v:orderedList" class="def">orderedList</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a) => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> [a] <a href="src/Test-QuickCheck-Arbitrary.html#orderedList" class="link">Source</a> <a href="#v:orderedList" class="selflink">#</a></p><div class="doc"><p>Generates an ordered list.</p></div></div><div class="top"><p class="src"><a id="v:infiniteList" class="def">infiniteList</a> :: <a href="Test-QuickCheck-Arbitrary.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> [a] <a href="src/Test-QuickCheck-Arbitrary.html#infiniteList" class="link">Source</a> <a href="#v:infiniteList" class="selflink">#</a></p><div class="doc"><p>Generate an infinite list.</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
|