Repository navigation
Expand file tree
/
Copy pathmini_Language-Copilot-Core.html
More file actions
4 lines (4 loc) · 5.15 KB
/
Copy pathmini_Language-Copilot-Core.html
File metadata and controls
4 lines (4 loc) · 5.15 KB
1
2
3
4
<!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"><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: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">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:Ext" target="main">Ext</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Language-Copilot-Core.html#t:Exs" target="main">Exs</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Language-Copilot-Core.html#t:ExtRet" target="main">ExtRet</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Language-Copilot-Core.html#t:Args" target="main">Args</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Language-Copilot-Core.html#t:ArgConstVar" target="main">ArgConstVar</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: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"><span class="keyword">data</span> <a href="Language-Copilot-Core.html#t:LangElems" target="main">LangElems</a> </p></div><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"><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"><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:getTriggers" target="main">getTriggers</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:vPre" target="main">vPre</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:funcShow" target="main">funcShow</a></p></div><div class="top"><p class="src"><a href="Language-Copilot-Core.html#v:notConstVarErr" target="main">notConstVarErr</a></p></div></div></body></html>