Repository navigation
Expand file tree
/
Copy pathmini_Language-Copilot-Language.html
More file actions
17 lines (17 loc) · 9.1 KB
/
Copy pathmini_Language-Copilot-Language.html
File metadata and controls
17 lines (17 loc) · 9.1 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
<!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</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();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Language.Copilot.Language</p></div><div id="interface"><h1>Operators and functions
</h1><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:mod" target="main">mod</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:div" target="main">div</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:mod0" target="main">mod0</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:div0" target="main">div0</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:-60-" target="main">(<)</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:-60--61-" target="main">(<=)</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:-61--61-" target="main">(==)</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:-47--61-" target="main">(/=)</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:-62--61-" target="main">(>=)</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:-62-" target="main">(>)</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:not" target="main">not</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:-124--124-" target="main">(||)</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:-38--38-" target="main">(&&)</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:-94-" target="main">(^)</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:-61--61--62-" target="main">(==>)</a></p></div><h1>Boolean constants
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Language-Copilot-Language.html#t:Bool" target="main">Bool</a> </p></div><h1>Arithmetic operators (derived)
</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Language-Copilot-Language.html#t:Num" target="main">Num</a> a</p></div><h1>Division
</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Language-Copilot-Language.html#t:Fractional" target="main">Fractional</a> a</p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:mux" target="main">mux</a></p></div><h1>Copilot variable declarations.
</h1><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:var" target="main">var</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:varB" target="main">varB</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:varI8" target="main">varI8</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:varI16" target="main">varI16</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:varI32" target="main">varI32</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:varI64" target="main">varI64</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:varW8" target="main">varW8</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:varW16" target="main">varW16</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:varW32" target="main">varW32</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:varW64" target="main">varW64</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:varF" target="main">varF</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:varD" target="main">varD</a></p></div><h1>The next functions provide easier access to typed external variables.
</h1><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extB" target="main">extB</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extI8" target="main">extI8</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extI16" target="main">extI16</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extI32" target="main">extI32</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extI64" target="main">extI64</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extW8" target="main">extW8</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extW16" target="main">extW16</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extW32" target="main">extW32</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extW64" target="main">extW64</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extF" target="main">extF</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extD" target="main">extD</a></p></div><h1>The next functions provide easier access to typed external arrays.
</h1><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extArrB" target="main">extArrB</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extArrI8" target="main">extArrI8</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extArrI16" target="main">extArrI16</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extArrI32" target="main">extArrI32</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extArrI64" target="main">extArrI64</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extArrW8" target="main">extArrW8</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extArrW16" target="main">extArrW16</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extArrW32" target="main">extArrW32</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extArrW64" target="main">extArrW64</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extArrF" target="main">extArrF</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:extArrD" target="main">extArrD</a></p></div><h1>Set of operators from which to choose during the generation of random streams
</h1><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:opsF" target="main">opsF</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:opsF2" target="main">opsF2</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:opsF3" target="main">opsF3</a></p></div><h1>Constructs of the copilot language
</h1><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:drop" target="main">drop</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:-43--43-" target="main">(++)</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:.-61-" target="main">(.=)</a></p></div><h1>The next functions help typing the send operations
</h1><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:send" target="main">send</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:port" target="main">port</a></p></div><h1>Triggers
</h1><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:trigger" target="main">trigger</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:void" target="main">void</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:-60--62-" target="main">(<>)</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:-60--62--62-" target="main">(<>>)</a></p></div><h1>Safe casting
</h1><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:cast" target="main">cast</a></p></div><h1>Boolean stream constants
</h1><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:const" target="main">const</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:true" target="main">true</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Language.html#v:false" target="main">false</a></p></div></div></body></html>