<!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.Monadic</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-Monadic.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Test-QuickCheck-Monadic.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.Monadic</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Allows testing of monadic values.
</p></div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:PropertyM" class="def">PropertyM</a> m a <a href="src/Test-QuickCheck-Monadic.html#PropertyM" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:MkPropertyM" class="def">MkPropertyM</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:unPropertyM" class="def">unPropertyM</a> :: (a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (m <a href="Test-QuickCheck-Property.html#t:Property">Property</a>)) -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (m <a href="Test-QuickCheck-Property.html#t:Property">Property</a>)</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:PropertyM" class="caption collapser" onclick="toggleSection('i:PropertyM')">Instances</p><div id="section.i:PropertyM" class="show"><table><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad.html#t:Monad">Monad</a> (<a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> m)</td><td class="doc empty"> </td></tr><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-Monadic.html#t:PropertyM">PropertyM</a> m)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:stop" class="def">stop</a> :: (<a href="Test-QuickCheck-Property.html#t:Testable">Testable</a> prop, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad.html#t:Monad">Monad</a> m) => prop -> <a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> m a<a href="src/Test-QuickCheck-Monadic.html#stop" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:assert" class="def">assert</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t:-40--41-">()</a><a href="src/Test-QuickCheck-Monadic.html#assert" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:pre" class="def">pre</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t:-40--41-">()</a><a href="src/Test-QuickCheck-Monadic.html#pre" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:run" class="def">run</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad.html#t:Monad">Monad</a> m => m a -> <a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> m a<a href="src/Test-QuickCheck-Monadic.html#run" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:pick" class="def">pick</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Text-Show.html#t:Show">Show</a> a) => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> <a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> m a<a href="src/Test-QuickCheck-Monadic.html#pick" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:wp" class="def">wp</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad.html#t:Monad">Monad</a> m => m a -> (a -> <a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> m b) -> <a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> m b<a href="src/Test-QuickCheck-Monadic.html#wp" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:forAllM" class="def">forAllM</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Text-Show.html#t:Show">Show</a> a) => <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a -> (a -> <a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> m b) -> <a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> m b<a href="src/Test-QuickCheck-Monadic.html#forAllM" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:monitor" class="def">monitor</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad.html#t:Monad">Monad</a> m => (<a href="Test-QuickCheck-Property.html#t:Property">Property</a> -> <a href="Test-QuickCheck-Property.html#t:Property">Property</a>) -> <a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t:-40--41-">()</a><a href="src/Test-QuickCheck-Monadic.html#monitor" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:monadic" class="def">monadic</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad.html#t:Monad">Monad</a> m => (m <a href="Test-QuickCheck-Property.html#t:Property">Property</a> -> <a href="Test-QuickCheck-Property.html#t:Property">Property</a>) -> <a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> m a -> <a href="Test-QuickCheck-Property.html#t:Property">Property</a><a href="src/Test-QuickCheck-Monadic.html#monadic" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:monadic-39-" class="def">monadic'</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> m a -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (m <a href="Test-QuickCheck-Property.html#t:Property">Property</a>)<a href="src/Test-QuickCheck-Monadic.html#monadic%27" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:monadicIO" class="def">monadicIO</a> :: <a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/System-IO.html#t:IO">IO</a> a -> <a href="Test-QuickCheck-Property.html#t:Property">Property</a><a href="src/Test-QuickCheck-Monadic.html#monadicIO" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:monadicST" class="def">monadicST</a> :: (<span class="keyword">forall</span> s. <a href="Test-QuickCheck-Monadic.html#t:PropertyM">PropertyM</a> (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad-ST.html#t:ST">ST</a> s) a) -> <a href="Test-QuickCheck-Property.html#t:Property">Property</a><a href="src/Test-QuickCheck-Monadic.html#monadicST" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:runSTGen" class="def">runSTGen</a> :: (<span class="keyword">forall</span> s. <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad-ST.html#t:ST">ST</a> s a)) -> <a href="Test-QuickCheck-Gen.html#t:Gen">Gen</a> a<a href="src/Test-QuickCheck-Monadic.html#runSTGen" 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>
