You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@thrift.apache.org by bu...@apache.org on 2014/03/22 19:57:04 UTC
svn commit: r902914 [7/14] - in /websites/staging/thrift/trunk/content: ./
tutorial/
Modified: websites/staging/thrift/trunk/content/tutorial/hs.html
==============================================================================
--- websites/staging/thrift/trunk/content/tutorial/hs.html (original)
+++ websites/staging/thrift/trunk/content/tutorial/hs.html Sat Mar 22 18:57:03 2014
@@ -87,152 +87,124 @@
</ol>
<h3 id="prerequisites">Prerequisites</h3>
<h3 id="client">Client</h3>
-<div class="codehilite"><pre> <span class="p">:::</span><span class="n">cpp</span>
-<span class="n">import</span> <span class="n">qualified</span> <span class="n">Calculator</span>
+<p><div class="codehilite"><pre><span class="n">import</span> <span class="n">qualified</span> <span class="n">Calculator</span>
<span class="n">import</span> <span class="n">qualified</span> <span class="n">Calculator_Client</span> <span class="n">as</span> <span class="n">Client</span>
<span class="n">import</span> <span class="n">qualified</span> <span class="n">SharedService_Client</span> <span class="n">as</span> <span class="n">SClient</span>
<span class="n">import</span> <span class="n">Tutorial_Types</span>
<span class="n">import</span> <span class="n">SharedService_Iface</span>
-<span class="n">import</span> <span class="n">Shared_Types</span>
-
-<span class="n">import</span> <span class="n">Thrift</span>
+<span class="n">import</span> <span class="n">Shared_Types</span></p>
+<p><span class="n">import</span> <span class="n">Thrift</span>
<span class="n">import</span> <span class="n">Thrift</span><span class="p">.</span><span class="n">Protocol</span><span class="p">.</span><span class="n">Binary</span>
<span class="n">import</span> <span class="n">Thrift</span><span class="p">.</span><span class="n">Transport</span>
<span class="n">import</span> <span class="n">Thrift</span><span class="p">.</span><span class="n">Transport</span><span class="p">.</span><span class="n">Handle</span>
-<span class="n">import</span> <span class="n">Thrift</span><span class="p">.</span><span class="n">Server</span>
-
-<span class="n">import</span> <span class="n">Data</span><span class="p">.</span><span class="n">Maybe</span>
+<span class="n">import</span> <span class="n">Thrift</span><span class="p">.</span><span class="n">Server</span></p>
+<p><span class="n">import</span> <span class="n">Data</span><span class="p">.</span><span class="n">Maybe</span>
<span class="n">import</span> <span class="n">Text</span><span class="p">.</span><span class="n">Printf</span>
-<span class="n">import</span> <span class="n">Network</span>
-
-<span class="n">main</span> <span class="p">=</span> <span class="n">do</span>
- <span class="n">transport</span> <span class="o">&</span><span class="n">lt</span><span class="p">;</span><span class="o">-</span> <span class="n">hOpen</span> <span class="p">(</span><span class="o">&</span><span class="n">quot</span><span class="p">;</span><span class="n">localhost</span><span class="o">&</span><span class="n">quot</span><span class="p">;,</span> <span class="n">PortNumber</span> 9090<span class="p">)</span>
- <span class="n">let</span> <span class="n">binProto</span> <span class="p">=</span> <span class="n">BinaryProtocol</span> <span class="n">transport</span>
- <span class="n">let</span> <span class="n">client</span> <span class="p">=</span> <span class="p">(</span><span class="n">binProto</span><span class="p">,</span> <span class="n">binProto</span><span class="p">)</span>
-
- <span class="n">Client</span><span class="p">.</span><span class="n">ping</span> <span class="n">client</span>
- <span class="n">print</span> <span class="o">&</span><span class="n">quot</span><span class="p">;</span><span class="n">ping</span><span class="p">()</span><span class="o">&</span><span class="n">quot</span><span class="p">;</span>
-
- <span class="n">sum</span> <span class="o">&</span><span class="n">lt</span><span class="p">;</span><span class="o">-</span> <span class="n">Client</span><span class="p">.</span><span class="n">add</span> <span class="n">client</span> 1 1
- <span class="n">printf</span> <span class="o">&</span><span class="n">quot</span><span class="p">;</span>1<span class="o">+</span>1<span class="p">=</span><span class="c">%d\n&quot; sum</span>
-
-
- <span class="n">let</span> <span class="n">work</span> <span class="p">=</span> <span class="n">Work</span> <span class="p">{</span> <span class="n">f_Work_op</span> <span class="p">=</span> <span class="n">Just</span> <span class="n">DIVIDE</span><span class="p">,</span>
- <span class="n">f_Work_num1</span> <span class="p">=</span> <span class="n">Just</span> 1<span class="p">,</span>
- <span class="n">f_Work_num2</span> <span class="p">=</span> <span class="n">Just</span> 0<span class="p">,</span>
- <span class="n">f_Work_comment</span> <span class="p">=</span> <span class="n">Nothing</span>
- <span class="p">}</span>
-
- <span class="o">--</span> <span class="n">TODO</span> <span class="o">-</span> <span class="n">get</span> <span class="n">this</span> <span class="n">one</span> <span class="n">working</span>
- <span class="o">--</span><span class="k">catch</span> <span class="p">(</span><span class="n">Client</span><span class="p">.</span><span class="n">calculate</span> <span class="n">client</span> 1 <span class="n">work</span><span class="p">)</span> <span class="p">(</span><span class="o">\</span><span class="n">except</span> <span class="o">-&</span><span class="n">gt</span><span class="p">;</span>
- <span class="o">--</span> <span class="n">printf</span> <span class="o">&</span><span class="n">quot</span><span class="p">;</span><span class="n">InvalidOp</span> <span class="c">%s&quot; (show except))</span>
-
-
- <span class="n">let</span> <span class="n">work</span> <span class="p">=</span> <span class="n">Work</span> <span class="p">{</span> <span class="n">f_Work_op</span> <span class="p">=</span> <span class="n">Just</span> <span class="n">SUBTRACT</span><span class="p">,</span>
- <span class="n">f_Work_num1</span> <span class="p">=</span> <span class="n">Just</span> 15<span class="p">,</span>
- <span class="n">f_Work_num2</span> <span class="p">=</span> <span class="n">Just</span> 10<span class="p">,</span>
- <span class="n">f_Work_comment</span> <span class="p">=</span> <span class="n">Nothing</span>
- <span class="p">}</span>
-
- <span class="n">diff</span> <span class="o">&</span><span class="n">lt</span><span class="p">;</span><span class="o">-</span> <span class="n">Client</span><span class="p">.</span><span class="n">calculate</span> <span class="n">client</span> 1 <span class="n">work</span>
- <span class="n">printf</span> <span class="o">&</span><span class="n">quot</span><span class="p">;</span>15<span class="o">-</span>10<span class="p">=</span><span class="c">%d\n&quot; diff</span>
-
- <span class="nb">log</span> <span class="o">&</span><span class="n">lt</span><span class="p">;</span><span class="o">-</span> <span class="n">SClient</span><span class="p">.</span><span class="n">getStruct</span> <span class="n">client</span> 1
- <span class="n">printf</span> <span class="o">&</span><span class="n">quot</span><span class="p">;</span><span class="n">Check</span> <span class="nb">log</span><span class="p">:</span> <span class="c">%s\n&quot; $ fromJust $ f_SharedStruct_value log</span>
-
- <span class="o">--</span> <span class="n">Close</span>!
+<span class="n">import</span> <span class="n">Network</span></p>
+<p><span class="n">main</span> <span class="o">=</span> <span class="k">do</span>
+ <span class="n">transport</span> <span class="o"><-</span> <span class="n">hOpen</span> <span class="p">(</span><span class="s">"localhost"</span><span class="p">,</span> <span class="n">PortNumber</span> <span class="mi">9090</span><span class="p">)</span>
+ <span class="n">let</span> <span class="n">binProto</span> <span class="o">=</span> <span class="n">BinaryProtocol</span> <span class="n">transport</span>
+ <span class="n">let</span> <span class="n">client</span> <span class="o">=</span> <span class="p">(</span><span class="n">binProto</span><span class="p">,</span> <span class="n">binProto</span><span class="p">)</span></p>
+<p><span class="n">Client</span><span class="p">.</span><span class="n">ping</span> <span class="n">client</span>
+ <span class="n">print</span> <span class="s">"ping()"</span></p>
+<p><span class="n">sum</span> <span class="o"><-</span> <span class="n">Client</span><span class="p">.</span><span class="n">add</span> <span class="n">client</span> <span class="mi">1</span> <span class="mi">1</span>
+ <span class="n">printf</span> <span class="s">"1+1=%d</span><span class="se">\n</span><span class="s">"</span> <span class="n">sum</span></p>
+<p><span class="n">let</span> <span class="n">work</span> <span class="o">=</span> <span class="n">Work</span> <span class="p">{</span> <span class="n">f_Work_op</span> <span class="o">=</span> <span class="n">Just</span> <span class="n">DIVIDE</span><span class="p">,</span>
+ <span class="n">f_Work_num1</span> <span class="o">=</span> <span class="n">Just</span> <span class="mi">1</span><span class="p">,</span>
+ <span class="n">f_Work_num2</span> <span class="o">=</span> <span class="n">Just</span> <span class="mi">0</span><span class="p">,</span>
+ <span class="n">f_Work_comment</span> <span class="o">=</span> <span class="n">Nothing</span>
+ <span class="p">}</span></p>
+<p><span class="o">--</span> <span class="n">TODO</span> <span class="o">-</span> <span class="n">get</span> <span class="k">this</span> <span class="n">one</span> <span class="n">working</span>
+ <span class="o">--</span><span class="k">catch</span> <span class="p">(</span><span class="n">Client</span><span class="p">.</span><span class="n">calculate</span> <span class="n">client</span> <span class="mi">1</span> <span class="n">work</span><span class="p">)</span> <span class="p">(</span><span class="err">\</span><span class="n">except</span> <span class="o">-></span>
+ <span class="o">--</span> <span class="n">printf</span> <span class="s">"InvalidOp %s"</span> <span class="p">(</span><span class="n">show</span> <span class="n">except</span><span class="p">))</span></p>
+<p><span class="n">let</span> <span class="n">work</span> <span class="o">=</span> <span class="n">Work</span> <span class="p">{</span> <span class="n">f_Work_op</span> <span class="o">=</span> <span class="n">Just</span> <span class="n">SUBTRACT</span><span class="p">,</span>
+ <span class="n">f_Work_num1</span> <span class="o">=</span> <span class="n">Just</span> <span class="mi">15</span><span class="p">,</span>
+ <span class="n">f_Work_num2</span> <span class="o">=</span> <span class="n">Just</span> <span class="mi">10</span><span class="p">,</span>
+ <span class="n">f_Work_comment</span> <span class="o">=</span> <span class="n">Nothing</span>
+ <span class="p">}</span></p>
+<p><span class="n">diff</span> <span class="o"><-</span> <span class="n">Client</span><span class="p">.</span><span class="n">calculate</span> <span class="n">client</span> <span class="mi">1</span> <span class="n">work</span>
+ <span class="n">printf</span> <span class="s">"15-10=%d</span><span class="se">\n</span><span class="s">"</span> <span class="n">diff</span></p>
+<p><span class="n">log</span> <span class="o"><-</span> <span class="n">SClient</span><span class="p">.</span><span class="n">getStruct</span> <span class="n">client</span> <span class="mi">1</span>
+ <span class="n">printf</span> <span class="s">"Check log: %s</span><span class="se">\n</span><span class="s">"</span> <span class="err">$</span> <span class="n">fromJust</span> <span class="err">$</span> <span class="n">f_SharedStruct_value</span> <span class="n">log</span></p>
+<p><span class="o">--</span> <span class="n">Close</span><span class="o">!</span>
<span class="n">tClose</span> <span class="n">transport</span>
-</pre></div>
-
-
+</pre></div></p>
<h3 id="server">Server</h3>
-<div class="codehilite"><pre> <span class="p">:::</span><span class="n">cpp</span>
-<span class="n">import</span> <span class="n">qualified</span> <span class="n">Calculator</span>
+<p><div class="codehilite"><pre><span class="n">import</span> <span class="n">qualified</span> <span class="n">Calculator</span>
<span class="n">import</span> <span class="n">Calculator_Iface</span>
<span class="n">import</span> <span class="n">Tutorial_Types</span>
<span class="n">import</span> <span class="n">SharedService_Iface</span>
-<span class="n">import</span> <span class="n">Shared_Types</span>
-
-<span class="n">import</span> <span class="n">Thrift</span>
+<span class="n">import</span> <span class="n">Shared_Types</span></p>
+<p><span class="n">import</span> <span class="n">Thrift</span>
<span class="n">import</span> <span class="n">Thrift</span><span class="p">.</span><span class="n">Protocol</span><span class="p">.</span><span class="n">Binary</span>
<span class="n">import</span> <span class="n">Thrift</span><span class="p">.</span><span class="n">Transport</span>
-<span class="n">import</span> <span class="n">Thrift</span><span class="p">.</span><span class="n">Server</span>
-
-<span class="n">import</span> <span class="n">Data</span><span class="p">.</span><span class="n">Maybe</span>
+<span class="n">import</span> <span class="n">Thrift</span><span class="p">.</span><span class="n">Server</span></p>
+<p><span class="n">import</span> <span class="n">Data</span><span class="p">.</span><span class="n">Maybe</span>
<span class="n">import</span> <span class="n">Text</span><span class="p">.</span><span class="n">Printf</span>
-<span class="n">import</span> <span class="n">Control</span><span class="p">.</span><span class="n">Exception</span> <span class="p">(</span><span class="n">throw</span><span class="p">)</span>
+<span class="n">import</span> <span class="n">Control</span><span class="p">.</span><span class="n">Exception</span> <span class="p">(</span><span class="k">throw</span><span class="p">)</span>
<span class="n">import</span> <span class="n">Control</span><span class="p">.</span><span class="n">Concurrent</span><span class="p">.</span><span class="n">MVar</span>
<span class="n">import</span> <span class="n">qualified</span> <span class="n">Data</span><span class="p">.</span><span class="n">Map</span> <span class="n">as</span> <span class="n">M</span>
-<span class="n">import</span> <span class="n">Data</span><span class="p">.</span><span class="n">Map</span> <span class="p">((</span>!<span class="p">))</span>
-<span class="n">import</span> <span class="n">Data</span><span class="p">.</span><span class="n">Monoid</span>
+<span class="n">import</span> <span class="n">Data</span><span class="p">.</span><span class="n">Map</span> <span class="p">((</span><span class="o">!</span><span class="p">))</span>
+<span class="n">import</span> <span class="n">Data</span><span class="p">.</span><span class="n">Monoid</span></p>
+<p><span class="n">data</span> <span class="n">CalculatorHandler</span> <span class="o">=</span> <span class="n">CalculatorHandler</span> <span class="p">{</span><span class="n">mathLog</span> <span class="o">::</span> <span class="n">MVar</span> <span class="p">(</span><span class="n">M</span><span class="p">.</span><span class="n">Map</span> <span class="n">Int</span> <span class="n">SharedStruct</span><span class="p">)}</span></p>
+<p><span class="n">newCalculatorHandler</span> <span class="o">=</span> <span class="k">do</span>
+ <span class="n">log</span> <span class="o"><-</span> <span class="n">newMVar</span> <span class="n">mempty</span>
+ <span class="k">return</span> <span class="err">$</span> <span class="n">CalculatorHandler</span> <span class="n">log</span></p>
+<p><span class="n">instance</span> <span class="n">SharedService_Iface</span> <span class="n">CalculatorHandler</span> <span class="n">where</span>
+ <span class="n">getStruct</span> <span class="n">self</span> <span class="n">k</span> <span class="o">=</span> <span class="k">do</span>
+ <span class="n">myLog</span> <span class="o"><-</span> <span class="n">readMVar</span> <span class="p">(</span><span class="n">mathLog</span> <span class="n">self</span><span class="p">)</span>
+ <span class="k">return</span> <span class="err">$</span> <span class="p">(</span><span class="n">myLog</span> <span class="o">!</span> <span class="p">(</span><span class="n">fromJust</span> <span class="n">k</span><span class="p">))</span></p>
+<p><span class="n">instance</span> <span class="n">Calculator_Iface</span> <span class="n">CalculatorHandler</span> <span class="n">where</span>
+ <span class="n">ping</span> <span class="n">_</span> <span class="o">=</span>
+ <span class="n">print</span> <span class="s">"ping()"</span></p>
+<p><span class="n">add</span> <span class="n">_</span> <span class="n">n1</span> <span class="n">n2</span> <span class="o">=</span> <span class="k">do</span>
+ <span class="n">printf</span> <span class="s">"add(%d,%d)</span><span class="se">\n</span><span class="s">"</span> <span class="p">(</span><span class="n">fromJust</span> <span class="n">n1</span><span class="p">)</span> <span class="p">(</span><span class="n">fromJust</span> <span class="n">n2</span><span class="p">)</span>
+ <span class="k">return</span> <span class="p">((</span><span class="n">fromJust</span> <span class="n">n1</span><span class="p">)</span><span class="o">+</span><span class="p">(</span><span class="n">fromJust</span> <span class="n">n2</span><span class="p">))</span></p>
+<p><span class="n">calculate</span> <span class="n">self</span> <span class="n">mlogid</span> <span class="n">mwork</span> <span class="o">=</span> <span class="k">do</span>
+ <span class="n">printf</span> <span class="s">"calculate(%d, %s)</span><span class="se">\n</span><span class="s">"</span> <span class="n">logid</span> <span class="p">(</span><span class="n">show</span> <span class="n">work</span><span class="p">)</span></p>
+<div class="codehilite"><pre><span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>let<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>val<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"o"</span><span class="nt">></span>=<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"k"</span><span class="nt">></span>case<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>op<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>wor
k<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>of<span class="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>ADD<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"o"</span><span class="nt">></span>-<span class="ni">&gt;</span><span class="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>num1<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>work<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"o"</span><span class="nt">></span>+<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>num2<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>work<span class="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>SUBTRACT<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"o"</span><span class="nt">></span>-<span class="ni">&gt;</span><span class="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>num1<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>work<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"o"</span><span class="nt">></span>-<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>num2<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>work<span class="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>MULTIPLY<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"o"</span><span class="nt">></span>-<span class="ni">&gt;</span><span class="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>num1<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>work<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"o"</span><span class="nt">></span>*<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>num2<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>work<span class="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>DIVIDE<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"o"</span><span class="nt">></span>-<span class="ni">&gt;</span><span class="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"k"</span><span class="nt">></span>if<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>num2<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>work<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"o"</span><span class="nt">></span>==<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"mi"</span><span class="nt">></span>0<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>then<span class
="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"k"</span><span class="nt">></span>throw<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"err"</span><span class="nt">></span>$<span class="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>InvalidOperation<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"p"</span><span class="nt">></span>{<span class="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>f_InvalidOperation_what<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"o"</span><span class="nt">></span>=<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>Just<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"err"</span><span class="nt">></span>$<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>fromEnum<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"err"</span><sp
an class="nt">></span>$<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>op<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>work<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"p"</span><span class="nt">></span>,<span class="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>f_InvalidOperation_why<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"o"</span><span class="nt">></span>=<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>Just<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"s"</span><span class="nt">></span><span class="ni">&quot;</span>Cannot divide by 0<span class="ni">&quot;</span><span class="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"p"</span><span class="nt">></span>}<span class="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"k"</span><span class="nt">></span>else<span class="nt"></span></span>
+ <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>num1<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>work<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"err"</span><span class="nt">></span>`<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>div<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"err"</span><span class="nt">></span>`<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>num2<span class="nt"></span></span> <span class="nt"
><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>work<span class="nt"></span></span>
+
+<span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>let<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>logEntry<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"o"</span><span class="nt">></span>=<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>SharedStruct<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"p"</span><span class="nt">></span>(<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>Just<span class="nt"></span></span> <sp
an class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>logid<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"p"</span><span class="nt">></span>)<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"p"</span><span class="nt">></span>(<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>Just<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"p"</span><span class="nt">></span>(<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>show<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span
class="s">"n"</span><span class="nt">></span>val<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"p"</span><span class="nt">></span>))<span class="nt"></span></span>
+<span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>modifyMVar_<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"p"</span><span class="nt">></span>(<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>mathLog<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>self<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"p"</span><span class="nt">></span>)<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"err"</span><span class="nt">></span>$<span class="nt"></span></span> <span class="nt"><span</spa
n> <span class="na">class=</span><span class="s">"k"</span><span class="nt">></span>return<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"p"</span><span class="nt">></span>.(<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>M<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"p"</span><span class="nt">></span>.<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>insert<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>logid<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"
;</span><span class="nt">></span>logEntry<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"p"</span><span class="nt">></span>)<span class="nt"></span></span>
+
+<span class="nt"><span</span> <span class="na">class=</span><span class="s">"k"</span><span class="nt">></span>return<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>val<span class="nt"></span></span>
+</pre></div>
-<span class="n">data</span> <span class="n">CalculatorHandler</span> <span class="p">=</span> <span class="n">CalculatorHandler</span> <span class="p">{</span><span class="n">mathLog</span> <span class="p">::</span> <span class="n">MVar</span> <span class="p">(</span><span class="n">M</span><span class="p">.</span><span class="n">Map</span> <span class="n">Int</span> <span class="n">SharedStruct</span><span class="p">)}</span>
-<span class="n">newCalculatorHandler</span> <span class="p">=</span> <span class="n">do</span>
- <span class="nb">log</span> <span class="o">&</span><span class="n">lt</span><span class="p">;</span><span class="o">-</span> <span class="n">newMVar</span> <span class="n">mempty</span>
- <span class="k">return</span> $ <span class="n">CalculatorHandler</span> <span class="nb">log</span>
-
-<span class="n">instance</span> <span class="n">SharedService_Iface</span> <span class="n">CalculatorHandler</span> <span class="n">where</span>
- <span class="n">getStruct</span> <span class="n">self</span> <span class="n">k</span> <span class="p">=</span> <span class="n">do</span>
- <span class="n">myLog</span> <span class="o">&</span><span class="n">lt</span><span class="p">;</span><span class="o">-</span> <span class="n">readMVar</span> <span class="p">(</span><span class="n">mathLog</span> <span class="n">self</span><span class="p">)</span>
- <span class="k">return</span> $ <span class="p">(</span><span class="n">myLog</span> ! <span class="p">(</span><span class="n">fromJust</span> <span class="n">k</span><span class="p">))</span>
-
-
-<span class="n">instance</span> <span class="n">Calculator_Iface</span> <span class="n">CalculatorHandler</span> <span class="n">where</span>
- <span class="n">ping</span> <span class="n">_</span> <span class="p">=</span>
- <span class="n">print</span> <span class="o">&</span><span class="n">quot</span><span class="p">;</span><span class="n">ping</span><span class="p">()</span><span class="o">&</span><span class="n">quot</span><span class="p">;</span>
-
- <span class="n">add</span> <span class="n">_</span> <span class="n">n1</span> <span class="n">n2</span> <span class="p">=</span> <span class="n">do</span>
- <span class="n">printf</span> <span class="o">&</span><span class="n">quot</span><span class="p">;</span><span class="n">add</span><span class="p">(</span><span class="c">%d,%d)\n&quot; (fromJust n1) (fromJust n2)</span>
- <span class="k">return</span> <span class="p">((</span><span class="n">fromJust</span> <span class="n">n1</span><span class="p">)</span><span class="o">+</span><span class="p">(</span><span class="n">fromJust</span> <span class="n">n2</span><span class="p">))</span>
-
- <span class="n">calculate</span> <span class="n">self</span> <span class="n">mlogid</span> <span class="n">mwork</span> <span class="p">=</span> <span class="n">do</span>
- <span class="n">printf</span> <span class="o">&</span><span class="n">quot</span><span class="p">;</span><span class="n">calculate</span><span class="p">(</span><span class="c">%d, %s)\n&quot; logid (show work)</span>
-
- <span class="n">let</span> <span class="n">val</span> <span class="p">=</span> <span class="k">case</span> <span class="n">op</span> <span class="n">work</span> <span class="n">of</span>
- <span class="n">ADD</span> <span class="o">-&</span><span class="n">gt</span><span class="p">;</span>
- <span class="n">num1</span> <span class="n">work</span> <span class="o">+</span> <span class="n">num2</span> <span class="n">work</span>
- <span class="n">SUBTRACT</span> <span class="o">-&</span><span class="n">gt</span><span class="p">;</span>
- <span class="n">num1</span> <span class="n">work</span> <span class="o">-</span> <span class="n">num2</span> <span class="n">work</span>
- <span class="n">MULTIPLY</span> <span class="o">-&</span><span class="n">gt</span><span class="p">;</span>
- <span class="n">num1</span> <span class="n">work</span> <span class="o">*</span> <span class="n">num2</span> <span class="n">work</span>
- <span class="n">DIVIDE</span> <span class="o">-&</span><span class="n">gt</span><span class="p">;</span>
- <span class="k">if</span> <span class="n">num2</span> <span class="n">work</span> <span class="o">==</span> 0 <span class="n">then</span>
- <span class="n">throw</span> $
- <span class="n">InvalidOperation</span> <span class="p">{</span>
- <span class="n">f_InvalidOperation_what</span> <span class="p">=</span> <span class="n">Just</span> $ <span class="n">fromEnum</span> $ <span class="n">op</span> <span class="n">work</span><span class="p">,</span>
- <span class="n">f_InvalidOperation_why</span> <span class="p">=</span> <span class="n">Just</span> <span class="o">&</span><span class="n">quot</span><span class="p">;</span><span class="n">Cannot</span> <span class="n">divide</span> <span class="n">by</span> 0<span class="o">&</span><span class="n">quot</span><span class="p">;</span>
- <span class="p">}</span>
- <span class="k">else</span>
- <span class="n">num1</span> <span class="n">work</span> `<span class="n">div</span>` <span class="n">num2</span> <span class="n">work</span>
-
- <span class="n">let</span> <span class="n">logEntry</span> <span class="p">=</span> <span class="n">SharedStruct</span> <span class="p">(</span><span class="n">Just</span> <span class="n">logid</span><span class="p">)</span> <span class="p">(</span><span class="n">Just</span> <span class="p">(</span><span class="n">show</span> <span class="n">val</span><span class="p">))</span>
- <span class="n">modifyMVar_</span> <span class="p">(</span><span class="n">mathLog</span> <span class="n">self</span><span class="p">)</span> $ <span class="k">return</span> <span class="p">.(</span><span class="n">M</span><span class="p">.</span><span class="n">insert</span> <span class="n">logid</span> <span class="n">logEntry</span><span class="p">)</span>
-
- <span class="k">return</span> <span class="n">val</span>
-
- <span class="n">where</span>
- <span class="o">--</span> <span class="n">stupid</span> <span class="n">dynamic</span> <span class="n">languages</span> <span class="n">f</span><span class="o">&</span>#39<span class="p">;</span><span class="n">ing</span> <span class="n">it</span> <span class="n">up</span>
- <span class="n">num1</span> <span class="p">=</span> <span class="n">fromJust</span> <span class="p">.</span> <span class="n">f_Work_num1</span>
- <span class="n">num2</span> <span class="p">=</span> <span class="n">fromJust</span> <span class="p">.</span> <span class="n">f_Work_num2</span>
- <span class="n">op</span> <span class="p">=</span> <span class="n">fromJust</span> <span class="p">.</span> <span class="n">f_Work_op</span>
- <span class="n">logid</span> <span class="p">=</span> <span class="n">fromJust</span> <span class="n">mlogid</span>
- <span class="n">work</span> <span class="p">=</span> <span class="n">fromJust</span> <span class="n">mwork</span>
-
-
- <span class="o">--</span><span class="k">return</span> <span class="n">val</span>
-
- <span class="n">zip</span> <span class="n">_</span> <span class="p">=</span>
- <span class="n">print</span> <span class="o">&</span><span class="n">quot</span><span class="p">;</span><span class="n">zip</span><span class="p">()</span><span class="o">&</span><span class="n">quot</span><span class="p">;</span>
-
-<span class="n">main</span> <span class="p">=</span> <span class="n">do</span>
- <span class="n">handler</span> <span class="o">&</span><span class="n">lt</span><span class="p">;</span><span class="o">-</span> <span class="n">newCalculatorHandler</span>
- <span class="n">print</span> <span class="o">&</span><span class="n">quot</span><span class="p">;</span><span class="n">Starting</span> <span class="n">the</span> <span class="n">server</span><span class="p">...</span><span class="o">&</span><span class="n">quot</span><span class="p">;</span>
- <span class="n">runBasicServer</span> <span class="n">handler</span> <span class="n">Calculator</span><span class="p">.</span><span class="n">process</span> 9090
- <span class="n">print</span> <span class="o">&</span><span class="n">quot</span><span class="p">;</span><span class="n">done</span><span class="p">.</span><span class="o">&</span><span class="n">quot</span><span class="p">;</span>
+<p><span class="n">where</span>
+ <span class="o">--</span> <span class="n">stupid</span> <span class="n">dynamic</span> <span class="n">languages</span> <span class="n">f</span><span class="err">'</span><span class="n">ing</span> <span class="n">it</span> <span class="n">up</span>
+ <span class="n">num1</span> <span class="o">=</span> <span class="n">fromJust</span> <span class="p">.</span> <span class="n">f_Work_num1</span>
+ <span class="n">num2</span> <span class="o">=</span> <span class="n">fromJust</span> <span class="p">.</span> <span class="n">f_Work_num2</span>
+ <span class="n">op</span> <span class="o">=</span> <span class="n">fromJust</span> <span class="p">.</span> <span class="n">f_Work_op</span>
+ <span class="n">logid</span> <span class="o">=</span> <span class="n">fromJust</span> <span class="n">mlogid</span>
+ <span class="n">work</span> <span class="o">=</span> <span class="n">fromJust</span> <span class="n">mwork</span></p>
+<div class="codehilite"><pre><span class="nt"><span</span> <span class="na">class=</span><span class="s">"o"</span><span class="nt">></span>--<span class="nt"></span><span</span> <span class="na">class=</span><span class="s">"k"</span><span class="nt">></span>return<span class="nt"></span></span> <span class="nt"><span</span> <span class="na">class=</span><span class="s">"n"</span><span class="nt">></span>val<span class="nt"></span></span>
</pre></div>
+<p><span class="n">zip</span> <span class="n">_</span> <span class="o">=</span>
+ <span class="n">print</span> <span class="s">"zip()"</span></p>
+<p><span class="n">main</span> <span class="o">=</span> <span class="k">do</span>
+ <span class="n">handler</span> <span class="o"><-</span> <span class="n">newCalculatorHandler</span>
+ <span class="n">print</span> <span class="s">"Starting the server..."</span>
+ <span class="n">runBasicServer</span> <span class="n">handler</span> <span class="n">Calculator</span><span class="p">.</span><span class="n">process</span> <span class="mi">9090</span>
+ <span class="n">print</span> <span class="s">"done."</span>
+</pre></div></p>
<h2 id="additional-information">Additional Information</h2>
</div>