Skip to content

Commit

Permalink
deploy: f72463b
Browse files Browse the repository at this point in the history
  • Loading branch information
zeme-wana committed Nov 10, 2023
0 parents commit 67e8c69
Show file tree
Hide file tree
Showing 70 changed files with 3,530 additions and 0 deletions.
5 changes: 5 additions & 0 deletions quickcheck-dynamic-iosim/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
An example of how to use _quickcheck-dynamic_'s `StateModel` and `DynamicLogic` to model a multi-threaded piece of code and run fast tests exercising the concurrent aspects of the system.

> :warning: :warning: :warning:
>
> This is still work-in-progress.
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
<!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" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>Test.QuickCheck.StateModel.IOSim</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">quickcheck-dynamic-iosim-0.1.0.0: A library to implement stateful property-based testing using dynamic logic.</span><ul class="links" id="page-menu"><li id="quick-jump-button"><a href="#">Quick Jump</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Test.QuickCheck.StateModel.IOSim</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type family</span> <a id="t:RealizeIOSim" class="def">RealizeIOSim</a> s a <span class="keyword">where ...</span> <a href="#t:RealizeIOSim" class="selflink">#</a></p><div class="subs equations"><p class="caption">Equations</p><table><tr><td class="src"><a href="Test-QuickCheck-StateModel-IOSim.html#t:RealizeIOSim" title="Test.QuickCheck.StateModel.IOSim">RealizeIOSim</a> s <a href="file:///nix/store/2afgrvfg7h495x5v3dbkfx469phrchkg-ghc-9.6.2-doc/share/doc/ghc-9.6.2/html/libraries/base-4.18.0.0/Control-Concurrent.html#t:ThreadId" title="Control.Concurrent">ThreadId</a> = ThreadId (IOSim s)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Test-QuickCheck-StateModel-IOSim.html#t:RealizeIOSim" title="Test.QuickCheck.StateModel.IOSim">RealizeIOSim</a> s (<a href="file:///nix/store/2afgrvfg7h495x5v3dbkfx469phrchkg-ghc-9.6.2-doc/share/doc/ghc-9.6.2/html/libraries/base-4.18.0.0/GHC-Conc.html#t:TVar" title="GHC.Conc">TVar</a> a) = TVar (IOSim s) a</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Test-QuickCheck-StateModel-IOSim.html#t:RealizeIOSim" title="Test.QuickCheck.StateModel.IOSim">RealizeIOSim</a> s (<a href="file:///nix/store/2afgrvfg7h495x5v3dbkfx469phrchkg-ghc-9.6.2-doc/share/doc/ghc-9.6.2/html/libraries/base-4.18.0.0/Control-Concurrent-MVar.html#t:MVar" title="Control.Concurrent.MVar">MVar</a> a) = TMVar (IOSim s) a</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Test-QuickCheck-StateModel-IOSim.html#t:RealizeIOSim" title="Test.QuickCheck.StateModel.IOSim">RealizeIOSim</a> s (f a b) = f (<a href="Test-QuickCheck-StateModel-IOSim.html#t:RealizeIOSim" title="Test.QuickCheck.StateModel.IOSim">RealizeIOSim</a> s a) (<a href="Test-QuickCheck-StateModel-IOSim.html#t:RealizeIOSim" title="Test.QuickCheck.StateModel.IOSim">RealizeIOSim</a> s b)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Test-QuickCheck-StateModel-IOSim.html#t:RealizeIOSim" title="Test.QuickCheck.StateModel.IOSim">RealizeIOSim</a> s (f a) = f (<a href="Test-QuickCheck-StateModel-IOSim.html#t:RealizeIOSim" title="Test.QuickCheck.StateModel.IOSim">RealizeIOSim</a> s a)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="Test-QuickCheck-StateModel-IOSim.html#t:RealizeIOSim" title="Test.QuickCheck.StateModel.IOSim">RealizeIOSim</a> s a = a</td><td class="doc empty">&nbsp;</td></tr></table></div></div><div class="top"><p class="src"><a id="v:runIOSimProperty" class="def">runIOSimProperty</a> :: Testable a =&gt; (<span class="keyword">forall</span> s. PropertyM (IOSim s) a) -&gt; Gen (SimTrace Property, Property) <a href="#v:runIOSimProperty" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:runIOSimProperty_" class="def">runIOSimProperty_</a> :: Testable a =&gt; (<span class="keyword">forall</span> s. PropertyM (IOSim s) a) -&gt; Gen Property <a href="#v:runIOSimProperty_" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.28.0</p></div></body></html>
1 change: 1 addition & 0 deletions quickcheck-dynamic-iosim/doc-index.html
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
<!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" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>quickcheck-dynamic-iosim-0.1.0.0: A library to implement stateful property-based testing using dynamic logic. (Index)</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">quickcheck-dynamic-iosim-0.1.0.0: A library to implement stateful property-based testing using dynamic logic.</span><ul class="links" id="page-menu"><li id="quick-jump-button"><a href="#">Quick Jump</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">RealizeIOSim</td><td class="module"><a href="Test-QuickCheck-StateModel-IOSim.html#t:RealizeIOSim" title="Test.QuickCheck.StateModel.IOSim">Test.QuickCheck.StateModel.IOSim</a></td></tr><tr><td class="src">runIOSimProperty</td><td class="module"><a href="Test-QuickCheck-StateModel-IOSim.html#v:runIOSimProperty" title="Test.QuickCheck.StateModel.IOSim">Test.QuickCheck.StateModel.IOSim</a></td></tr><tr><td class="src">runIOSimProperty_</td><td class="module"><a href="Test-QuickCheck-StateModel-IOSim.html#v:runIOSimProperty_" title="Test.QuickCheck.StateModel.IOSim">Test.QuickCheck.StateModel.IOSim</a></td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.28.0</p></div></body></html>
1 change: 1 addition & 0 deletions quickcheck-dynamic-iosim/doc-index.json
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
[{"display_html":"<span class=\"keyword\">type family</span> <a href=\"#t:RealizeIOSim\">RealizeIOSim</a> s a <span class=\"keyword\">where ...</span>","name":"RealizeIOSim","module":"Test.QuickCheck.StateModel.IOSim","link":"Test-QuickCheck-StateModel-IOSim.html#t:RealizeIOSim"},{"display_html":"<a href=\"#v:runIOSimProperty\">runIOSimProperty</a> :: Testable a =&gt; (<span class=\"keyword\">forall</span> s. PropertyM (IOSim s) a) -&gt; Gen (SimTrace Property, Property)","name":"runIOSimProperty","module":"Test.QuickCheck.StateModel.IOSim","link":"Test-QuickCheck-StateModel-IOSim.html#v:runIOSimProperty"},{"display_html":"<a href=\"#v:runIOSimProperty_\">runIOSimProperty_</a> :: Testable a =&gt; (<span class=\"keyword\">forall</span> s. PropertyM (IOSim s) a) -&gt; Gen Property","name":"runIOSimProperty_","module":"Test.QuickCheck.StateModel.IOSim","link":"Test-QuickCheck-StateModel-IOSim.html#v:runIOSimProperty_"}]
2 changes: 2 additions & 0 deletions quickcheck-dynamic-iosim/haddock-bundle.min.js

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions quickcheck-dynamic-iosim/index.html
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
<!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" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>quickcheck-dynamic-iosim-0.1.0.0: A library to implement stateful property-based testing using dynamic logic.</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">quickcheck-dynamic-iosim-0.1.0.0: A library to implement stateful property-based testing using dynamic logic.</span><ul class="links" id="page-menu"><li id="quick-jump-button"><a href="#">Quick Jump</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="description"><h1>quickcheck-dynamic-iosim-0.1.0.0: A library to implement stateful property-based testing using dynamic logic.</h1><div class="doc"><p>Please see the README on GitHub at <a href="https://github.com/input-output-hk/quickcheck-dynamic#readme">https://github.com/input-output-hk/quickcheck-dynamic#readme</a></p></div></div><div id="module-list"><p class="caption">Modules</p><div id="module-list"><p class="caption">quickcheck-dynamic-iosim-0.1.0.0</p><ul><li><span class="module details-toggle-control details-toggle" data-details-id="n.1">Test</span><details id="n.1" open="open"><summary class="hide-when-js-enabled">Submodules</summary><ul><li><span class="module details-toggle-control details-toggle" data-details-id="n.1.1">QuickCheck</span><details id="n.1.1" open="open"><summary class="hide-when-js-enabled">Submodules</summary><ul><li><span class="module details-toggle-control details-toggle" data-details-id="n.1.1.1">StateModel</span><details id="n.1.1.1" open="open"><summary class="hide-when-js-enabled">Submodules</summary><ul><li><span class="module"><span class="noexpander">&nbsp;</span><a href="Test-QuickCheck-StateModel-IOSim.html">Test.QuickCheck.StateModel.IOSim</a></span></li></ul></details></li></ul></details></li></ul></details></li></ul></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.28.0</p></div></body></html>
Loading

0 comments on commit 67e8c69

Please sign in to comment.