<!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.Function</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Test-QuickCheck-Function.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Test-QuickCheck-Function.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.4.0.1: Automatic testing of Haskell programs</p></div><div id="content"><div id="module-header"><p class="caption">Test.QuickCheck.Function</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Fun" class="def">Fun</a> a b <a href="src/Test-QuickCheck-Function.html#Fun" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Fun" class="def">Fun</a> (a <a href="Test-QuickCheck-Function.html#t::-45--62-">:-></a> b, b) (a -> b)</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Fun" class="caption collapser" onclick="toggleSection('i:Fun')">Instances</p><div id="section.i:Fun" class="show"><table><tr><td class="src">(<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Text-Show.html#t:Show">Show</a> a, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Text-Show.html#t:Show">Show</a> b) => <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Text-Show.html#t:Show">Show</a> (<a href="Test-QuickCheck-Function.html#t:Fun">Fun</a> a b)</td><td class="doc empty"> </td></tr><tr><td class="src">(<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)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:apply" class="def">apply</a> :: <a href="Test-QuickCheck-Function.html#t:Fun">Fun</a> a b -> a -> b<a href="src/Test-QuickCheck-Function.html#apply" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> a <a name="t::-45--62-" class="def">:-></a> c <a href="src/Test-QuickCheck-Function.html#%3A-%3E" class="link">Source</a></p><div class="subs instances"><p id="control.i::-45--62-" class="caption collapser" onclick="toggleSection('i::-45--62-')">Instances</p><div id="section.i::-45--62-" class="show"><table><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad.html#t:Functor">Functor</a> (<a href="Test-QuickCheck-Function.html#t::-45--62-">:-></a> a)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Text-Show.html#t:Show">Show</a> a, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Text-Show.html#t:Show">Show</a> b) => <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Text-Show.html#t:Show">Show</a> (<a href="Test-QuickCheck-Function.html#t::-45--62-">:-></a> a b)</td><td class="doc empty"> </td></tr><tr><td class="src">(<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)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:Function" class="def">Function</a> a <span class="keyword">where</span><a href="src/Test-QuickCheck-Function.html#Function" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:function" class="def">function</a> :: (a -> b) -> a <a href="Test-QuickCheck-Function.html#t::-45--62-">:-></a> b<a href="src/Test-QuickCheck-Function.html#function" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:Function" class="caption collapser" onclick="toggleSection('i:Function')">Instances</p><div id="section.i:Function" class="show"><table><tr><td class="src"><a href="Test-QuickCheck-Function.html#t:Function">Function</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Bool.html#t:Bool">Bool</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Test-QuickCheck-Function.html#t:Function">Function</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Char.html#t:Char">Char</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Test-QuickCheck-Function.html#t:Function">Function</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Int.html#t:Int">Int</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Test-QuickCheck-Function.html#t:Function">Function</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Prelude.html#t:Integer">Integer</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Test-QuickCheck-Function.html#t:Function">Function</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Word.html#t:Word8">Word8</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Test-QuickCheck-Function.html#t:Function">Function</a> ()</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Test-QuickCheck-Function.html#t:Function">Function</a> <a href="Test-QuickCheck-Poly.html#t:OrdC">OrdC</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Test-QuickCheck-Function.html#t:Function">Function</a> <a href="Test-QuickCheck-Poly.html#t:OrdB">OrdB</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Test-QuickCheck-Function.html#t:Function">Function</a> <a href="Test-QuickCheck-Poly.html#t:OrdA">OrdA</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Test-QuickCheck-Function.html#t:Function">Function</a> <a href="Test-QuickCheck-Poly.html#t:C">C</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Test-QuickCheck-Function.html#t:Function">Function</a> <a href="Test-QuickCheck-Poly.html#t:B">B</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Test-QuickCheck-Function.html#t:Function">Function</a> <a href="Test-QuickCheck-Poly.html#t:A">A</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Test-QuickCheck-Function.html#t:Function">Function</a> a => <a href="Test-QuickCheck-Function.html#t:Function">Function</a> [a]</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Test-QuickCheck-Function.html#t:Function">Function</a> a => <a href="Test-QuickCheck-Function.html#t:Function">Function</a> (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Test-QuickCheck-Function.html#t:Function">Function</a> a, <a href="Test-QuickCheck-Function.html#t:Function">Function</a> b) => <a href="Test-QuickCheck-Function.html#t:Function">Function</a> (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Either.html#t:Either">Either</a> a b)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Test-QuickCheck-Function.html#t:Function">Function</a> a, <a href="Test-QuickCheck-Function.html#t:Function">Function</a> b) => <a href="Test-QuickCheck-Function.html#t:Function">Function</a> (a, b)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:functionMap" class="def">functionMap</a> :: <a href="Test-QuickCheck-Function.html#t:Function">Function</a> b => (a -> b) -> (b -> a) -> (a -> c) -> a <a href="Test-QuickCheck-Function.html#t::-45--62-">:-></a> c<a href="src/Test-QuickCheck-Function.html#functionMap" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:functionShow" class="def">functionShow</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Text-Show.html#t:Show">Show</a> a, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Text-Read.html#t:Read">Read</a> a) => (a -> c) -> a <a href="Test-QuickCheck-Function.html#t::-45--62-">:-></a> c<a href="src/Test-QuickCheck-Function.html#functionShow" class="link">Source</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.9.2</p></div></body></html>
