/usr/share/doc/libghc-hspec-wai-doc/html/Test-Hspec-Wai-QuickCheck.html is in libghc-hspec-wai-doc 0.6.6-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 | <!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.Hspec.Wai.QuickCheck</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-Hspec-Wai-QuickCheck.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Test-Hspec-Wai-QuickCheck.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">hspec-wai-0.6.6: Experimental Hspec support for testing WAI applications</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Test.Hspec.Wai.QuickCheck</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Re-exports</a></li><li><a href="#g:2">Internals</a></li></ul></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"><a href="#v:property">property</a> :: <a href="Test-Hspec-Wai-QuickCheck.html#t:Testable">Testable</a> a => a -> <a href="file:///usr/share/doc/libghc-wai-doc/html/Network-Wai.html#t:Application">Application</a> -> <a href="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Property.html#t:Property">Property</a></li><li class="src short"><a href="#v:-61--61--62-">(==>)</a> :: <a href="Test-Hspec-Wai-QuickCheck.html#t:Testable">Testable</a> prop => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> -> prop -> <a href="Test-Hspec-Wai-QuickCheck.html#t:WaiProperty">WaiProperty</a></li><li class="src short"><span class="keyword">class</span> <a href="#t:Arbitrary">Arbitrary</a> a <span class="keyword">where</span><ul class="subs"><li><a href="#v:arbitrary">arbitrary</a> :: <a href="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> a</li><li><a href="#v:shrink">shrink</a> :: a -> [a]</li></ul></li><li class="src short">module <a href="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html">Test.QuickCheck.Gen</a></li><li class="src short"><span class="keyword">class</span> <a href="#t:Testable">Testable</a> a <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:WaiProperty">WaiProperty</a> = <a href="#v:WaiProperty">WaiProperty</a> {<ul class="subs"><li><a href="#v:unWaiProperty">unWaiProperty</a> :: <a href="file:///usr/share/doc/libghc-wai-doc/html/Network-Wai.html#t:Application">Application</a> -> <a href="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Property.html#t:Property">Property</a></li></ul>}</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:property" class="def">property</a> :: <a href="Test-Hspec-Wai-QuickCheck.html#t:Testable">Testable</a> a => a -> <a href="file:///usr/share/doc/libghc-wai-doc/html/Network-Wai.html#t:Application">Application</a> -> <a href="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Property.html#t:Property">Property</a> <a href="src/Test-Hspec-Wai-QuickCheck.html#property" class="link">Source</a> <a href="#v:property" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:-61--61--62-" class="def">(==>)</a> :: <a href="Test-Hspec-Wai-QuickCheck.html#t:Testable">Testable</a> prop => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> -> prop -> <a href="Test-Hspec-Wai-QuickCheck.html#t:WaiProperty">WaiProperty</a> <span class="fixity">infixr 0</span><span class="rightedge"></span> <a href="src/Test-Hspec-Wai-QuickCheck.html#%3D%3D%3E" class="link">Source</a> <a href="#v:-61--61--62-" class="selflink">#</a></p></div><h1 id="g:1">Re-exports</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="#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-Hspec-Wai-QuickCheck.html#v:arbitrary">arbitrary</a></p></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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</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.0.0/Data-Bool.html#t:Bool">Bool</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Char.html#t:Char">Char</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Char.html#t:Char">Char</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.0.0/Data-Char.html#t:Char">Char</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Char.html#t:Char">Char</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Double">Double</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Double">Double</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.0.0/Prelude.html#t:Double">Double</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Double">Double</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Float">Float</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Float">Float</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.0.0/Prelude.html#t:Float">Float</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Float">Float</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</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.0.0/Data-Int.html#t:Int">Int</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int8">Int8</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int8">Int8</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.0.0/Data-Int.html#t:Int8">Int8</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int8">Int8</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int16">Int16</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int16">Int16</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.0.0/Data-Int.html#t:Int16">Int16</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int16">Int16</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int32">Int32</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int32">Int32</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.0.0/Data-Int.html#t:Int32">Int32</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int32">Int32</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int64">Int64</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int64">Int64</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.0.0/Data-Int.html#t:Int64">Int64</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int64">Int64</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integer">Integer</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integer">Integer</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.0.0/Prelude.html#t:Integer">Integer</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integer">Integer</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ordering">Ordering</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ordering">Ordering</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.0.0/Data-Ord.html#t:Ordering">Ordering</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ordering">Ordering</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word">Word</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word">Word</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.0.0/Data-Word.html#t:Word">Word</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word">Word</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word8">Word8</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word8">Word8</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.0.0/Data-Word.html#t:Word8">Word8</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word8">Word8</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word16">Word16</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word16">Word16</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.0.0/Data-Word.html#t:Word16">Word16</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word16">Word16</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word32">Word32</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word32">Word32</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.0.0/Data-Word.html#t:Word32">Word32</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word32">Word32</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word64">Word64</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word64">Word64</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.0.0/Data-Word.html#t:Word64">Word64</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word64">Word64</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> ()</span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> () <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Numeric-Natural.html#t:Natural">Natural</a></span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Numeric-Natural.html#t:Natural">Natural</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.0.0/Numeric-Natural.html#t:Natural">Natural</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Numeric-Natural.html#t:Natural">Natural</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-Hspec-Wai-QuickCheck.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></td><td class="doc empty"> </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="file:///usr/share/doc/libghc-quickcheck2-doc/html/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="#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="#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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> [a]</span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> [a] <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: [a] -> [[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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#t:Maybe">Maybe</a> 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.0.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#t:Maybe">Maybe</a> 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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> a => <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ratio.html#t:Ratio">Ratio</a> a)</span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ratio.html#t:Ratio">Ratio</a> 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.0.0/Data-Ratio.html#t:Ratio">Ratio</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ratio.html#t:Ratio">Ratio</a> 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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Fixed.html#t:HasResolution">HasResolution</a> a => <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Fixed.html#t:Fixed">Fixed</a> a)</span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Fixed.html#t:Fixed">Fixed</a> 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.0.0/Data-Fixed.html#t:Fixed">Fixed</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Fixed.html#t:Fixed">Fixed</a> 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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:RealFloat">RealFloat</a> a, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> a) => <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Complex.html#t:Complex">Complex</a> a)</span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Complex.html#t:Complex">Complex</a> 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.0.0/Data-Complex.html#t:Complex">Complex</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Complex.html#t:Complex">Complex</a> 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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-Hspec-Wai-QuickCheck.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></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/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="#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="#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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> a => <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Strict.html#t:IntMap">IntMap</a> a)</span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/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-Strict.html#t:IntMap">IntMap</a> 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-Strict.html#t:IntMap">IntMap</a> a -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Strict.html#t:IntMap">IntMap</a> 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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> a) => <a href="Test-Hspec-Wai-QuickCheck.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></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/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="#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="#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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Arbitrary.html#t:CoArbitrary">CoArbitrary</a> a, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> b) => <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> (a -> b)</span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a -> b) <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: (a -> b) -> [a -> b] <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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> b) => <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> a b)</span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> a b) <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.0.0/Data-Either.html#t:Either">Either</a> a b -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> a b] <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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> b) => <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> (a, b)</span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a, b) <a href="#v:arbitrary" class="selflink">#</a></p><p class="src"><a href="#v:shrink">shrink</a> :: (a, b) -> [(a, b)] <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.0.0/Data-Ord.html#t:Ord">Ord</a> k, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> k, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> v) => <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k v)</span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/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-Strict.html#t:Map">Map</a> k v) <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-Strict.html#t:Map">Map</a> k v -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Strict.html#t:Map">Map</a> k v] <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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> b, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> c) => <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> (a, b, c)</span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a, b, c) <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="#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-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> b, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> c, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> d) => <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> (a, b, c, d)</span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a, b, c, d) <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="#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="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> a, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> b, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> c, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> d, <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> e) => <a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> (a, b, c, d, e)</span></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="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a, b, c, d, e) <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="#v:shrink" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src">module <a href="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html">Test.QuickCheck.Gen</a></p></div><h1 id="g:2">Internals</h1><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Testable" class="def">Testable</a> a <span class="keyword">where</span> <a href="src/Test-Hspec-Wai-QuickCheck.html#Testable" class="link">Source</a> <a href="#t:Testable" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Test-Hspec-Wai-QuickCheck.html#v:toProperty">toProperty</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:toProperty" class="def">toProperty</a> :: a -> <a href="Test-Hspec-Wai-QuickCheck.html#t:WaiProperty">WaiProperty</a> <a href="src/Test-Hspec-Wai-QuickCheck.html#toProperty" class="link">Source</a> <a href="#v:toProperty" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:Testable" class="caption collapser" onclick="toggleSection('i:Testable')">Instances</p><div id="section.i:Testable" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Testable:Testable:1" class="instance expander" onclick="toggleSection('i:ic:Testable:Testable:1')"></span> <a href="Test-Hspec-Wai-QuickCheck.html#t:Testable">Testable</a> <a href="Test-Hspec-Wai-Internal.html#t:WaiExpectation">WaiExpectation</a></span> <a href="src/Test-Hspec-Wai-QuickCheck.html#line-33" class="link">Source</a> <a href="#t:Testable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Testable:Testable:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toProperty">toProperty</a> :: <a href="Test-Hspec-Wai-Internal.html#t:WaiExpectation">WaiExpectation</a> -> <a href="Test-Hspec-Wai-QuickCheck.html#t:WaiProperty">WaiProperty</a> <a href="src/Test-Hspec-Wai-QuickCheck.html#toProperty" class="link">Source</a> <a href="#v:toProperty" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Testable:Testable:2" class="instance expander" onclick="toggleSection('i:ic:Testable:Testable:2')"></span> <a href="Test-Hspec-Wai-QuickCheck.html#t:Testable">Testable</a> <a href="Test-Hspec-Wai-QuickCheck.html#t:WaiProperty">WaiProperty</a></span> <a href="src/Test-Hspec-Wai-QuickCheck.html#line-30" class="link">Source</a> <a href="#t:Testable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Testable:Testable:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toProperty">toProperty</a> :: <a href="Test-Hspec-Wai-QuickCheck.html#t:WaiProperty">WaiProperty</a> -> <a href="Test-Hspec-Wai-QuickCheck.html#t:WaiProperty">WaiProperty</a> <a href="src/Test-Hspec-Wai-QuickCheck.html#toProperty" class="link">Source</a> <a href="#v:toProperty" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Testable:Testable:3" class="instance expander" onclick="toggleSection('i:ic:Testable:Testable:3')"></span> (<a href="Test-Hspec-Wai-QuickCheck.html#t:Arbitrary">Arbitrary</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> a, <a href="Test-Hspec-Wai-QuickCheck.html#t:Testable">Testable</a> prop) => <a href="Test-Hspec-Wai-QuickCheck.html#t:Testable">Testable</a> (a -> prop)</span> <a href="src/Test-Hspec-Wai-QuickCheck.html#line-36" class="link">Source</a> <a href="#t:Testable" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Testable:Testable:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toProperty">toProperty</a> :: (a -> prop) -> <a href="Test-Hspec-Wai-QuickCheck.html#t:WaiProperty">WaiProperty</a> <a href="src/Test-Hspec-Wai-QuickCheck.html#toProperty" class="link">Source</a> <a href="#v:toProperty" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:WaiProperty" class="def">WaiProperty</a> <a href="src/Test-Hspec-Wai-QuickCheck.html#WaiProperty" class="link">Source</a> <a href="#t:WaiProperty" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:WaiProperty" class="def">WaiProperty</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:unWaiProperty" class="def">unWaiProperty</a> :: <a href="file:///usr/share/doc/libghc-wai-doc/html/Network-Wai.html#t:Application">Application</a> -> <a href="file:///usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Property.html#t:Property">Property</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:WaiProperty" class="caption collapser" onclick="toggleSection('i:WaiProperty')">Instances</p><div id="section.i:WaiProperty" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:WaiProperty:Testable:1" class="instance expander" onclick="toggleSection('i:id:WaiProperty:Testable:1')"></span> <a href="Test-Hspec-Wai-QuickCheck.html#t:Testable">Testable</a> <a href="Test-Hspec-Wai-QuickCheck.html#t:WaiProperty">WaiProperty</a></span> <a href="src/Test-Hspec-Wai-QuickCheck.html#line-30" class="link">Source</a> <a href="#t:WaiProperty" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:WaiProperty:Testable:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toProperty">toProperty</a> :: <a href="Test-Hspec-Wai-QuickCheck.html#t:WaiProperty">WaiProperty</a> -> <a href="Test-Hspec-Wai-QuickCheck.html#t:WaiProperty">WaiProperty</a> <a href="src/Test-Hspec-Wai-QuickCheck.html#toProperty" class="link">Source</a> <a href="#v:toProperty" class="selflink">#</a></p></div></div></td></tr></table></div></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.2</p></div></body></html>
|