mini_Language-Copilot-Core.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.Core</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.Core</p></div><div id="interface"><h1>Type hierarchy for the copilot language
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="Language-Copilot-Core.html#t:Var" target="main">Var</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Language-Copilot-Core.html#t:Name" target="main">Name</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Language-Copilot-Core.html#t:Period" target="main">Period</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Language-Copilot-Core.html#t:Phase" target="main">Phase</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Language-Copilot-Core.html#t:Port" target="main">Port</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Language-Copilot-Core.html#t:Spec" target="main">Spec</a> a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Language-Copilot-Core.html#t:Streams" target="main">Streams</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Language-Copilot-Core.html#t:Stream" target="main">Stream</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Language-Copilot-Core.html#t:Send" target="main">Send</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Language-Copilot-Core.html#t:Trigger" target="main">Trigger</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Language-Copilot-Core.html#t:Triggers" target="main">Triggers</a> </p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:notVarErr" target="main">notVarErr</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Language-Copilot-Core.html#t:LangElems" target="main">LangElems</a> </p></div><h1>General functions on <code><a href="Language-Copilot-Core.html#t:Streams">Streams</a></code> and <code><a href="Language-Copilot-Core.html#t:StreamableMaps">StreamableMaps</a></code>
</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Language-Copilot-Core.html#t:Streamable" target="main">Streamable</a> a</p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:mkSend" target="main">mkSend</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Language-Copilot-Core.html#t:StreamableMaps" target="main">StreamableMaps</a> a</p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:emptySM" target="main">emptySM</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:isEmptySM" target="main">isEmptySM</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:getMaybeElem" target="main">getMaybeElem</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:getElem" target="main">getElem</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:foldStreamableMaps" target="main">foldStreamableMaps</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:mapStreamableMaps" target="main">mapStreamableMaps</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:mapStreamableMapsM" target="main">mapStreamableMapsM</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:filterStreamableMaps" target="main">filterStreamableMaps</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:normalizeVar" target="main">normalizeVar</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:getVars" target="main">getVars</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Language-Copilot-Core.html#t:Vars" target="main">Vars</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Language-Copilot-Core.html#t:BoundedArray" target="main">BoundedArray</a> a</p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:nextSt" target="main">nextSt</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Language-Copilot-Core.html#t:Outputs" target="main">Outputs</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Language-Copilot-Core.html#t:TmpSamples" target="main">TmpSamples</a> </p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:emptyTmpSamples" target="main">emptyTmpSamples</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Language-Copilot-Core.html#t:ProphArrs" target="main">ProphArrs</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Language-Copilot-Core.html#t:Indexes" target="main">Indexes</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Language-Copilot-Core.html#t:PhasedValueVar" target="main">PhasedValueVar</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Language-Copilot-Core.html#t:PhasedValueArr" target="main">PhasedValueArr</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Language-Copilot-Core.html#t:PhasedValueIdx" target="main">PhasedValueIdx</a> a</p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:tmpVarName" target="main">tmpVarName</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:tmpArrName" target="main">tmpArrName</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:getAtomType" target="main">getAtomType</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:getSpecs" target="main">getSpecs</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:getSends" target="main">getSends</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:getTriggers" target="main">getTriggers</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:makeTrigger" target="main">makeTrigger</a></p></div></div></body></html>