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>