Repository navigation
Expand file tree
/
Copy pathLanguage-Copilot-Language-Sampling.html
More file actions
9 lines (9 loc) · 17.2 KB
/
Copy pathLanguage-Copilot-Language-Sampling.html
File metadata and controls
9 lines (9 loc) · 17.2 KB
1
2
3
4
5
6
7
8
9
<!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.Sampling</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-Sampling.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.Sampling.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: A stream DSL for writing embedded C monitors.</p></div><div id="content"><div id="module-header"><p class="caption">Language.Copilot.Language.Sampling</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">The next functions provide easier access to typed external variables.
</a></li><li><a href="#g:2">The next functions provide easier access to typed external arrays.
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Functions for sampling external variables.
</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:extB">extB</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="Language-Copilot-Language.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:extI8">extI8</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int8">Int8</a></li><li class="src short"><a href="#v:extI16">extI16</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int16">Int16</a></li><li class="src short"><a href="#v:extI32">extI32</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int32">Int32</a></li><li class="src short"><a href="#v:extI64">extI64</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int64">Int64</a></li><li class="src short"><a href="#v:extW8">extW8</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word8">Word8</a></li><li class="src short"><a href="#v:extW16">extW16</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word16">Word16</a></li><li class="src short"><a href="#v:extW32">extW32</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word32">Word32</a></li><li class="src short"><a href="#v:extW64">extW64</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word64">Word64</a></li><li class="src short"><a href="#v:extF">extF</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Prelude.html#t:Float">Float</a></li><li class="src short"><a href="#v:extD">extD</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Prelude.html#t:Double">Double</a></li><li class="src short"><a href="#v:extArrB">extArrB</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="Language-Copilot-Language.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:extArrI8">extArrI8</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int8">Int8</a></li><li class="src short"><a href="#v:extArrI16">extArrI16</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int16">Int16</a></li><li class="src short"><a href="#v:extArrI32">extArrI32</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int32">Int32</a></li><li class="src short"><a href="#v:extArrI64">extArrI64</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int64">Int64</a></li><li class="src short"><a href="#v:extArrW8">extArrW8</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word8">Word8</a></li><li class="src short"><a href="#v:extArrW16">extArrW16</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word16">Word16</a></li><li class="src short"><a href="#v:extArrW32">extArrW32</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word32">Word32</a></li><li class="src short"><a href="#v:extArrW64">extArrW64</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word64">Word64</a></li><li class="src short"><a href="#v:extArrF">extArrF</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Prelude.html#t:Float">Float</a></li><li class="src short"><a href="#v:extArrD">extArrD</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Prelude.html#t:Double">Double</a></li></ul></div><div id="interface"><h1 id="g:1">The next functions provide easier access to typed external variables.
</h1><div class="top"><p class="src"><a name="v:extB" class="def">extB</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="Language-Copilot-Language.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:extI8" class="def">extI8</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int8">Int8</a></p></div><div class="top"><p class="src"><a name="v:extI16" class="def">extI16</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int16">Int16</a></p></div><div class="top"><p class="src"><a name="v:extI32" class="def">extI32</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int32">Int32</a></p></div><div class="top"><p class="src"><a name="v:extI64" class="def">extI64</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int64">Int64</a></p></div><div class="top"><p class="src"><a name="v:extW8" class="def">extW8</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word8">Word8</a></p></div><div class="top"><p class="src"><a name="v:extW16" class="def">extW16</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word16">Word16</a></p></div><div class="top"><p class="src"><a name="v:extW32" class="def">extW32</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word32">Word32</a></p></div><div class="top"><p class="src"><a name="v:extW64" class="def">extW64</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word64">Word64</a></p></div><div class="top"><p class="src"><a name="v:extF" class="def">extF</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Prelude.html#t:Float">Float</a></p></div><div class="top"><p class="src"><a name="v:extD" class="def">extD</a> :: ExtCl a => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Prelude.html#t:Double">Double</a></p></div><h1 id="g:2">The next functions provide easier access to typed external arrays.
</h1><div class="top"><p class="src"><a name="v:extArrB" class="def">extArrB</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="Language-Copilot-Language.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:extArrI8" class="def">extArrI8</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int8">Int8</a></p></div><div class="top"><p class="src"><a name="v:extArrI16" class="def">extArrI16</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int16">Int16</a></p></div><div class="top"><p class="src"><a name="v:extArrI32" class="def">extArrI32</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int32">Int32</a></p></div><div class="top"><p class="src"><a name="v:extArrI64" class="def">extArrI64</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Int.html#t:Int64">Int64</a></p></div><div class="top"><p class="src"><a name="v:extArrW8" class="def">extArrW8</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word8">Word8</a></p></div><div class="top"><p class="src"><a name="v:extArrW16" class="def">extArrW16</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word16">Word16</a></p></div><div class="top"><p class="src"><a name="v:extArrW32" class="def">extArrW32</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word32">Word32</a></p></div><div class="top"><p class="src"><a name="v:extArrW64" class="def">extArrW64</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Data-Word.html#t:Word64">Word64</a></p></div><div class="top"><p class="src"><a name="v:extArrF" class="def">extArrF</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Prelude.html#t:Float">Float</a></p></div><div class="top"><p class="src"><a name="v:extArrD" class="def">extArrD</a> :: (ExtCl a, <a href="Language-Copilot-Core.html#t:Streamable">Streamable</a> b, IntegralE b) => a -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> b -> <a href="Language-Copilot-Core.html#t:Spec">Spec</a> <a href="/Library/Frameworks/GHC.framework/Versions/7.0.1-i386/usr/share/doc/ghc/html/libraries/base-4.3.0.0/Prelude.html#t:Double">Double</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.9.0</p></div></body></html>