/usr/share/doc/libghc-quickcheck2-doc/html/Test-QuickCheck-Gen.html is in libghc-quickcheck2-doc 2.8.2-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 5 6 7 8 9 10 11 12 13 14 15 | <!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.Gen</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-Gen.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Test-QuickCheck-Gen.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.8.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.Gen</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Generator type</a></li><li><a href="#g:2">Primitive generator combinators</a></li><li><a href="#g:3">Common generator combinators</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Test case generation.</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">newtype</span> <a href="#t:Gen">Gen</a> a = <a href="#v:MkGen">MkGen</a> {<ul class="subs"><li><a href="#v:unGen">unGen</a> :: <a href="Test-QuickCheck-Random.html#t:QCGen">QCGen</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> a</li></ul>}</li><li class="src short"><a href="#v:variant">variant</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> n => n -> <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:sized">sized</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="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:resize">resize</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="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:scale">scale</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="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:choose">choose</a> :: <a href="file:///usr/share/doc/libghc-random-doc/html/System-Random.html#t:Random">Random</a> a => (a, a) -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a</li><li class="src short"><a href="#v:generate">generate</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/System-IO.html#t:IO">IO</a> a</li><li class="src short"><a href="#v:sample-39-">sample'</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/System-IO.html#t:IO">IO</a> [a]</li><li class="src short"><a href="#v:sample">sample</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-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/System-IO.html#t:IO">IO</a> ()</li><li class="src short"><a href="#v:suchThat">suchThat</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> (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="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a</li><li class="src short"><a href="#v:suchThatMaybe">suchThatMaybe</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> (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="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)</li><li class="src short"><a href="#v:oneof">oneof</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:frequency">frequency</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="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:elements">elements</a> :: [a] -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a</li><li class="src short"><a href="#v:sublistOf">sublistOf</a> :: [a] -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> [a]</li><li class="src short"><a href="#v:shuffle">shuffle</a> :: [a] -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> [a]</li><li class="src short"><a href="#v:growingElements">growingElements</a> :: [a] -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a</li><li class="src short"><a href="#v:listOf">listOf</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:listOf1">listOf1</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:vectorOf">vectorOf</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="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:infiniteListOf">infiniteListOf</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> [a]</li></ul></div><div id="interface"><h2 id="g:1">Generator type</h2><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Gen" class="def">Gen</a> a <a href="src/Test-QuickCheck-Gen.html#Gen" class="link">Source</a> <a href="#t:Gen" class="selflink">#</a></p><div class="doc"><p>A generator for values of type <code>a</code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:MkGen" class="def">MkGen</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:unGen" class="def">unGen</a> :: <a href="Test-QuickCheck-Random.html#t:QCGen">QCGen</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> a</dfn><div class="doc"><p>Run the generator on a particular seed.
If you just want to get a random value out, consider using <code><a href="Test-QuickCheck-Gen.html#v:generate">generate</a></code>.</p></div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Gen" class="caption collapser" onclick="toggleSection('i:Gen')">Instances</p><div id="section.i:Gen" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Gen:Monad:1" class="instance expander" onclick="toggleSection('i:id:Gen:Monad:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a></span> <a href="src/Test-QuickCheck-Gen.html#line-56" class="link">Source</a> <a href="#t:Gen" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Gen:Monad:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-62--62--61-">(>>=)</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</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="#v:-62--62--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62--62-">(>>)</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</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="#v:-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:return">return</a> :: a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="#v:return" class="selflink">#</a></p><p class="src"><a href="#v:fail">fail</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="#v:fail" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Gen:Functor:2" class="instance expander" onclick="toggleSection('i:id:Gen:Functor:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a></span> <a href="src/Test-QuickCheck-Gen.html#line-48" class="link">Source</a> <a href="#t:Gen" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Gen:Functor:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Gen:Applicative:3" class="instance expander" onclick="toggleSection('i:id:Gen:Applicative:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a></span> <a href="src/Test-QuickCheck-Gen.html#line-52" class="link">Source</a> <a href="#t:Gen" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Gen:Applicative:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (a -> b) -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</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="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> b -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Gen:Testable:4" class="instance expander" onclick="toggleSection('i:id:Gen:Testable:4')"></span> <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop => <a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> (<a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> prop)</span> <a href="src/Test-QuickCheck-Property.html#line-111" 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:id:Gen:Testable:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:property">property</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> prop -> <a href="Test-QuickCheck-Property.html#t:Property">Property</a> <a href="src/Test-QuickCheck-Property.html#property" class="link">Source</a> <a href="#v:property" class="selflink">#</a></p><p class="src"><a href="#v:exhaustive">exhaustive</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> prop -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Test-QuickCheck-Property.html#exhaustive" class="link">Source</a> <a href="#v:exhaustive" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><h2 id="g:2">Primitive generator combinators</h2><div class="top"><p class="src"><a id="v:variant" class="def">variant</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> n => n -> <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-Gen.html#variant" class="link">Source</a> <a href="#v:variant" class="selflink">#</a></p><div class="doc"><p>Modifies a generator using an integer seed.</p></div></div><div class="top"><p class="src"><a id="v:sized" class="def">sized</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="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-Gen.html#sized" class="link">Source</a> <a href="#v:sized" class="selflink">#</a></p><div class="doc"><p>Used to construct generators that depend on the size parameter.</p></div></div><div class="top"><p class="src"><a id="v:resize" class="def">resize</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="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-Gen.html#resize" class="link">Source</a> <a href="#v:resize" class="selflink">#</a></p><div class="doc"><p>Overrides the size parameter. Returns a generator which uses
the given size instead of the runtime-size parameter.</p></div></div><div class="top"><p class="src"><a id="v:scale" class="def">scale</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="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-Gen.html#scale" class="link">Source</a> <a href="#v:scale" class="selflink">#</a></p><div class="doc"><p>Adjust the size parameter, by transforming it with the given
function.</p></div></div><div class="top"><p class="src"><a id="v:choose" class="def">choose</a> :: <a href="file:///usr/share/doc/libghc-random-doc/html/System-Random.html#t:Random">Random</a> a => (a, a) -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="src/Test-QuickCheck-Gen.html#choose" class="link">Source</a> <a href="#v:choose" class="selflink">#</a></p><div class="doc"><p>Generates a random element in the given inclusive range.</p></div></div><div class="top"><p class="src"><a id="v:generate" class="def">generate</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/System-IO.html#t:IO">IO</a> a <a href="src/Test-QuickCheck-Gen.html#generate" class="link">Source</a> <a href="#v:generate" class="selflink">#</a></p><div class="doc"><p>Run a generator. The size passed to the generator is always 30;
if you want another size then you should explicitly use <code><a href="Test-QuickCheck-Gen.html#v:resize">resize</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:sample-39-" class="def">sample'</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/System-IO.html#t:IO">IO</a> [a] <a href="src/Test-QuickCheck-Gen.html#sample%27" class="link">Source</a> <a href="#v:sample-39-" class="selflink">#</a></p><div class="doc"><p>Generates some example values.</p></div></div><div class="top"><p class="src"><a id="v:sample" class="def">sample</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-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/System-IO.html#t:IO">IO</a> () <a href="src/Test-QuickCheck-Gen.html#sample" class="link">Source</a> <a href="#v:sample" class="selflink">#</a></p><div class="doc"><p>Generates some example values and prints them to <code>stdout</code>.</p></div></div><h2 id="g:3">Common generator combinators</h2><div class="top"><p class="src"><a id="v:suchThat" class="def">suchThat</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> (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="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="src/Test-QuickCheck-Gen.html#suchThat" class="link">Source</a> <a href="#v:suchThat" class="selflink">#</a></p><div class="doc"><p>Generates a value that satisfies a predicate.</p></div></div><div class="top"><p class="src"><a id="v:suchThatMaybe" class="def">suchThatMaybe</a> :: <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> (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="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="src/Test-QuickCheck-Gen.html#suchThatMaybe" class="link">Source</a> <a href="#v:suchThatMaybe" class="selflink">#</a></p><div class="doc"><p>Tries to generate a value that satisfies a predicate.</p></div></div><div class="top"><p class="src"><a id="v:oneof" class="def">oneof</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-Gen.html#oneof" class="link">Source</a> <a href="#v:oneof" class="selflink">#</a></p><div class="doc"><p>Randomly uses one of the given generators. The input list
must be non-empty.</p></div></div><div class="top"><p class="src"><a id="v:frequency" class="def">frequency</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="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-Gen.html#frequency" class="link">Source</a> <a href="#v:frequency" class="selflink">#</a></p><div class="doc"><p>Chooses one of the given generators, with a weighted random distribution.
The input list must be non-empty.</p></div></div><div class="top"><p class="src"><a id="v:elements" class="def">elements</a> :: [a] -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="src/Test-QuickCheck-Gen.html#elements" class="link">Source</a> <a href="#v:elements" class="selflink">#</a></p><div class="doc"><p>Generates one of the given values. The input list must be non-empty.</p></div></div><div class="top"><p class="src"><a id="v:sublistOf" class="def">sublistOf</a> :: [a] -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> [a] <a href="src/Test-QuickCheck-Gen.html#sublistOf" class="link">Source</a> <a href="#v:sublistOf" class="selflink">#</a></p><div class="doc"><p>Generates a random subsequence of the given list.</p></div></div><div class="top"><p class="src"><a id="v:shuffle" class="def">shuffle</a> :: [a] -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> [a] <a href="src/Test-QuickCheck-Gen.html#shuffle" class="link">Source</a> <a href="#v:shuffle" class="selflink">#</a></p><div class="doc"><p>Generates a random permutation of the given list.</p></div></div><div class="top"><p class="src"><a id="v:growingElements" class="def">growingElements</a> :: [a] -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a <a href="src/Test-QuickCheck-Gen.html#growingElements" class="link">Source</a> <a href="#v:growingElements" class="selflink">#</a></p><div class="doc"><p>Takes a list of elements of increasing size, and chooses
among an initial segment of the list. The size of this initial
segment increases with the size parameter.
The input list must be non-empty.</p></div></div><div class="top"><p class="src"><a id="v:listOf" class="def">listOf</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-Gen.html#listOf" class="link">Source</a> <a href="#v:listOf" class="selflink">#</a></p><div class="doc"><p>Generates a list of random length. The maximum length depends on the
size parameter.</p></div></div><div class="top"><p class="src"><a id="v:listOf1" class="def">listOf1</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-Gen.html#listOf1" class="link">Source</a> <a href="#v:listOf1" class="selflink">#</a></p><div class="doc"><p>Generates a non-empty list of random length. The maximum length
depends on the size parameter.</p></div></div><div class="top"><p class="src"><a id="v:vectorOf" class="def">vectorOf</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="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-Gen.html#vectorOf" class="link">Source</a> <a href="#v:vectorOf" class="selflink">#</a></p><div class="doc"><p>Generates a list of the given length.</p></div></div><div class="top"><p class="src"><a id="v:infiniteListOf" class="def">infiniteListOf</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-Gen.html#infiniteListOf" class="link">Source</a> <a href="#v:infiniteListOf" class="selflink">#</a></p><div class="doc"><p>Generates 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.2</p></div></body></html>
|