Language-Copilot-Language-RandomOps.html

<!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>Language.Copilot.Language.RandomOps</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_Language-Copilot-Language-RandomOps.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="http://github.com/leepike/Copilot/Language.Copilot.Language.RandomOps.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">copilot-1.0.2: A stream DSL for writing embedded C monitors.</p></div><div id="content"><div id="module-header"><p class="caption">Language.Copilot.Language.RandomOps</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Sets of operators for Tests.Random.hs
</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"><a href="#v:opsF">opsF</a> :: <a href="Language-Copilot-Tests-Random.html#t:Operators">Operators</a></li><li class="src short"><a href="#v:opsF2">opsF2</a> :: <a href="Language-Copilot-Tests-Random.html#t:Operators">Operators</a></li><li class="src short"><a href="#v:opsF3">opsF3</a> :: <a href="Language-Copilot-Tests-Random.html#t:Operators">Operators</a></li><li class="src short">module <a href="Language-Copilot-Tests-Random.html">Language.Copilot.Tests.Random</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:opsF" class="def">opsF</a> :: <a href="Language-Copilot-Tests-Random.html#t:Operators">Operators</a></p></div><div class="top"><p class="src"><a name="v:opsF2" class="def">opsF2</a> :: <a href="Language-Copilot-Tests-Random.html#t:Operators">Operators</a></p><div class="doc"><p>opsF, opsF2 and opsF3 are fed to Tests.Random.randomStreams.  They allows
 the random generated streams to include lots of operators.  If you add a new
 operator to Copilot, it would be nice to add it to one of those, that way it
 could be used in the random streams used for testing.  opsF holds all the
 operators of arity 1, opsF2 of arity 2 and opsF3 of arity3 They are
 StreamableMaps, because operators are sorted based on their return type.
</p></div></div><div class="top"><p class="src"><a name="v:opsF3" class="def">opsF3</a> :: <a href="Language-Copilot-Tests-Random.html#t:Operators">Operators</a></p></div><div class="top"><p class="src">module <a href="Language-Copilot-Tests-Random.html">Language.Copilot.Tests.Random</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>