documentation/code_VALValue.string_of_value.html

   1 <html><head>
   2 <link rel="stylesheet" href="style.css" type="text/css">
   3 <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
   4 <link rel="Start" href="index.html">
   5 <link title="Index of types" rel=Appendix href="index_types.html">
   6 <link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
   7 <link title="Index of values" rel=Appendix href="index_values.html">
   8 <link title="Index of modules" rel=Appendix href="index_modules.html">
   9 <link title="Types" rel="Chapter" href="Types.html">
  10 <link title="Parser" rel="Chapter" href="Parser.html">
  11 <link title="Lexer" rel="Chapter" href="Lexer.html">
  12 <link title="Value" rel="Chapter" href="Value.html">
  13 <link title="Signal" rel="Chapter" href="Signal.html">
  14 <link title="Faustexp" rel="Chapter" href="Faustexp.html">
  15 <link title="Interpreter" rel="Chapter" href="Interpreter.html">
  16 <link title="Preprocess" rel="Chapter" href="Preprocess.html">
  17 <link title="Main" rel="Chapter" href="Main.html"><title>Value.string_of_value</title>
  18 </head>
  19 <body>
  20 <code class="code"><span class="keyword">let</span>&nbsp;<span class="keyword">rec</span>&nbsp;string_of_value&nbsp;v&nbsp;=&nbsp;<span class="keyword">match</span>&nbsp;v&nbsp;<span class="keyword">with</span><br>
  21 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span><span class="constructor">N</span>&nbsp;i1&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="string">"N&nbsp;"</span>&nbsp;^&nbsp;(string_of_int&nbsp;i1)<br>
  22 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span><span class="constructor">R</span>&nbsp;f1&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="string">"R&nbsp;"</span>&nbsp;^&nbsp;(string_of_float&nbsp;f1)<br>
  23 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span><span class="constructor">Vec</span>&nbsp;(size,&nbsp;vec)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="string">"Vec"</span><br>
  24 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span><span class="constructor">Zero</span>&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="string">"Zero"</span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<br>
  25 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span><span class="constructor">W</span>&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="string">"W"</span></code></body></html>