ruff 0.0.6 → 0.0.7

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 91f24bc9d41ba7b08fe795a8dd52ec1cc76b9eb3d9a510310f2eea826627b839
-  data.tar.gz: a749e0b9e91d890a905f905a02c85981050b1cc557c73d2d8a34fe221cde9283
+  metadata.gz: b3a199e337fbcc9469889603567d9c3367d58ce429fd3a486f4fa5b801cd6e1c
+  data.tar.gz: faed13c325a06943194fe5d717569793e229dc1ce11dd04cf5fb4d812794de19
 SHA512:
-  metadata.gz: 6e902920988c2efb254d735425a2484728a236001d2caa8bdd23adcf6eacca5bc36f848865dac5c58f84dae7a105efe9143b211f2c7e70fd4b7a5edafdd9b386
-  data.tar.gz: 43c685ac4c07cb91df80e361bc8d3e38e317915f129265bc84866d3133192b73f42e76c09a4aace19296c30781102fbaae8810114d1b46f6c7227dcfa5bcaf49
+  metadata.gz: 310c7eb41d54e788c18172bde693d1af6a09cd246e5ebf95fcf7fec03dcce77f9f74750730573327ed8ab928add19b844c92e969e757035ee879da6213b7f44f
+  data.tar.gz: b56af686894b243c13b030b4c50aea7575d26d29d8d93d8c6326baff08307b75c4cfea35865d6c498780fbedabbe16bd207dc95bd1a0704cf631cb071bf6e67e

data/README.md

@@ -1,6 +1,8 @@
 ruff
 ==
 
+[![Gem Version](https://badge.fury.io/rb/ruff.svg)](https://badge.fury.io/rb/ruff)
+
 ONE-SHOT Algebraic Effects Library for Ruby!
 
 ```ruby
@@ -31,8 +33,5 @@ h1.run{
 # logger: 6
 ```
 
-# Documentation
-See [here](https://nymphium.github.io/ruff/).
-
 # LICENSE
 MIT

data/docs/Ruff.html

@@ -312,7 +312,7 @@ include &quot;../../version.h&quot;</p>
 </div>
 
       <div id="footer">
-  Generated on Wed Oct  2 22:42:03 2019 by
+  Generated on Thu Oct  3 00:38:48 2019 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.20 (ruby-2.6.4).
 </div>

data/docs/Ruff/Effect.html

@@ -404,7 +404,7 @@
 </div>
 
       <div id="footer">
-  Generated on Wed Oct  2 22:42:03 2019 by
+  Generated on Thu Oct  3 00:38:48 2019 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.20 (ruby-2.6.4).
 </div>

data/docs/Ruff/Handler.html

@@ -104,7 +104,17 @@
   
 </div>
 
+<h2>Overview</h2><div class="docstring">
+  <div class="discussion">
+    <p>In algebraic effects, handler is an first-class object.</p>
+
+
+  </div>
+</div>
+<div class="tags">
+  
 
+</div>
 
 
 
@@ -138,7 +148,7 @@
   
 
   
-    <span class="summary_desc"><div class='inline'><p>In algebraic effects, handler is an first-class object.</p>
+    <span class="summary_desc"><div class='inline'><p>makes a new handler, internally having fresh empty hash.</p>
 </div></span>
   
 </li>
@@ -147,7 +157,7 @@
         <li class="public ">
   <span class="summary_signature">
     
-      <a href="#on-instance_method" title="#on (instance method)">#<strong>on</strong>(eff, &amp;prc)  &#x21d2; Handler{Effect&lt;Arg, Ret&gt;, e} </a>
+      <a href="#on-instance_method" title="#on (instance method)">#<strong>on</strong>(eff, &amp;fun)  &#x21d2; Handler&lt;A!{Effect&lt;Arg, Ret&gt;, e}, B!{e}&gt; </a>
     
 
     
@@ -161,7 +171,7 @@
   
 
   
-    <span class="summary_desc"><div class='inline'><p>sets effec handler <code>&amp;prc</code> for <code>eff</code>.</p>
+    <span class="summary_desc"><div class='inline'><p>sets effec handler <code>&amp;fun</code> for <code>eff</code>.</p>
 </div></span>
   
 </li>
@@ -170,7 +180,7 @@
         <li class="public ">
   <span class="summary_signature">
     
-      <a href="#run-instance_method" title="#run (instance method)">#<strong>run</strong>(&amp;prc)  &#x21d2; T </a>
+      <a href="#run-instance_method" title="#run (instance method)">#<strong>run</strong>(&amp;prc)  &#x21d2; B </a>
     
 
     
@@ -187,6 +197,29 @@
     <span class="summary_desc"><div class='inline'><p>handles the computation.</p>
 </div></span>
   
+</li>
+
+      
+        <li class="public ">
+  <span class="summary_signature">
+    
+      <a href="#to-instance_method" title="#to (instance method)">#<strong>to</strong>(&amp;fun)  &#x21d2; Handler&lt;A!{e}, B!{e&#39;}&gt; </a>
+    
+
+    
+  </span>
+  
+  
+  
+  
+  
+  
+  
+
+  
+    <span class="summary_desc"><div class='inline'><p>sets value handler <code>&amp;fun</code>.</p>
+</div></span>
+  
 </li>
 
       
@@ -213,9 +246,10 @@
   
 </h3><div class="docstring">
   <div class="discussion">
-    <p>In algebraic effects, handler is an first-class object.
-makes a new handler, internally having fresh empty hash.
-This is a effect-handler store and when handliong it is looked up.</p>
+    <p>makes a new handler, internally having fresh empty hash.</p>
+
+<p>This is a effect-handler store and when handliong it is looked up.
+Value handler is set <code>id</code> function to by default.</p>
 
 
   </div>
@@ -237,15 +271,17 @@ This is a effect-handler store and when handliong it is looked up.</p>
       <pre class="lines">
 
 
-8
-9
-10</pre>
+17
+18
+19
+20</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff/handler.rb', line 8</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff/handler.rb', line 17</span>
 
 <span class='kw'>def</span> <span class='id identifier rubyid_initialize'>initialize</span>
   <span class='ivar'>@handlers</span> <span class='op'>=</span> <span class='const'>Hash</span><span class='period'>.</span><span class='id identifier rubyid_new'>new</span>
+  <span class='ivar'>@handlers</span><span class='lbracket'>[</span><span class='ivar'>@valh_id</span><span class='rbracket'>]</span> <span class='op'>=</span> <span class='tlambda'>-&gt;</span><span class='lparen'>(</span><span class='id identifier rubyid_x'>x</span><span class='rparen'>)</span> <span class='tlambeg'>{</span> <span class='id identifier rubyid_x'>x</span> <span class='rbrace'>}</span>
 <span class='kw'>end</span></pre>
     </td>
   </tr>
@@ -262,7 +298,7 @@ This is a effect-handler store and when handliong it is looked up.</p>
       <div class="method_details first">
   <h3 class="signature first" id="on-instance_method">
   
-    #<strong>on</strong>(eff, &amp;prc)  &#x21d2; <tt><span class='object_link'><a href="" title="Ruff::Handler (class)">Handler</a></span>{<span class='object_link'><a href="Effect.html" title="Ruff::Effect (class)">Effect</a></span>&lt;Arg, Ret&gt;, e}</tt> 
+    #<strong>on</strong>(eff, &amp;fun)  &#x21d2; <tt><span class='object_link'><a href="" title="Ruff::Handler (class)">Handler</a></span>&lt;A!{<span class='object_link'><a href="Effect.html" title="Ruff::Effect (class)">Effect</a></span>&lt;Arg, Ret&gt;, e}, B!{e}&gt;</tt> 
   
 
   
@@ -270,7 +306,7 @@ This is a effect-handler store and when handliong it is looked up.</p>
   
 </h3><div class="docstring">
   <div class="discussion">
-    <p>sets effec handler <code>&amp;prc</code> for <code>eff</code></p>
+    <p>sets effec handler <code>&amp;fun</code> for <code>eff</code></p>
 
 
   </div>
@@ -307,7 +343,7 @@ This is a effect-handler store and when handliong it is looked up.</p>
   
     <li>
       
-        <span class='name'>prc</span>
+        <span class='name'>fun</span>
       
       
         <span class='type'>(<tt>Proc&lt;Arg, Ret =&gt; A&gt;</tt>)</span>
@@ -316,7 +352,7 @@ This is a effect-handler store and when handliong it is looked up.</p>
       
         &mdash;
         <div class='inline'><p>a handler to handle <code>eff</code>;
-First argument of <code>&amp;prc</code> is <em>continuation</em>, proc object
+First argument of <code>&amp;fun</code> is <em>continuation</em>, proc object
 to go back to the handled computation.</p>
 </div>
       
@@ -330,7 +366,7 @@ to go back to the handled computation.</p>
     <li>
       
       
-        <span class='type'>(<tt><span class='object_link'><a href="" title="Ruff::Handler (class)">Handler</a></span>{<span class='object_link'><a href="Effect.html" title="Ruff::Effect (class)">Effect</a></span>&lt;Arg, Ret&gt;, e}</tt>)</span>
+        <span class='type'>(<tt><span class='object_link'><a href="" title="Ruff::Handler (class)">Handler</a></span>&lt;A!{<span class='object_link'><a href="Effect.html" title="Ruff::Effect (class)">Effect</a></span>&lt;Arg, Ret&gt;, e}, B!{e}&gt;</tt>)</span>
       
       
       
@@ -348,17 +384,17 @@ to go back to the handled computation.</p>
       <pre class="lines">
 
 
-27
-28
-29
-30
-31</pre>
+79
+80
+81
+82
+83</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff/handler.rb', line 27</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff/handler.rb', line 79</span>
 
-<span class='kw'>def</span> <span class='id identifier rubyid_on'>on</span><span class='lparen'>(</span><span class='id identifier rubyid_eff'>eff</span><span class='comma'>,</span> <span class='op'>&amp;</span><span class='id identifier rubyid_prc'>prc</span><span class='rparen'>)</span>
-  <span class='ivar'>@handlers</span><span class='lbracket'>[</span><span class='id identifier rubyid_eff'>eff</span><span class='period'>.</span><span class='id identifier rubyid_id'>id</span><span class='rbracket'>]</span> <span class='op'>=</span> <span class='id identifier rubyid_prc'>prc</span>
+<span class='kw'>def</span> <span class='id identifier rubyid_on'>on</span><span class='lparen'>(</span><span class='id identifier rubyid_eff'>eff</span><span class='comma'>,</span> <span class='op'>&amp;</span><span class='id identifier rubyid_fun'>fun</span><span class='rparen'>)</span>
+  <span class='ivar'>@handlers</span><span class='lbracket'>[</span><span class='id identifier rubyid_eff'>eff</span><span class='period'>.</span><span class='id identifier rubyid_id'>id</span><span class='rbracket'>]</span> <span class='op'>=</span> <span class='id identifier rubyid_fun'>fun</span>
 
   <span class='kw'>self</span>
 <span class='kw'>end</span></pre>
@@ -370,7 +406,7 @@ to go back to the handled computation.</p>
       <div class="method_details ">
   <h3 class="signature " id="run-instance_method">
   
-    #<strong>run</strong>(&amp;prc)  &#x21d2; <tt>T</tt> 
+    #<strong>run</strong>(&amp;prc)  &#x21d2; <tt>B</tt> 
   
 
   
@@ -416,9 +452,13 @@ to go back to the handled computation.</p>
         <span class='name'>prc</span>
       
       
-        <span class='type'>(<tt>Proc&lt;(), T&gt;</tt>)</span>
+        <span class='type'>(<tt>Proc&lt;(), A&gt;</tt>)</span>
+      
       
       
+        &mdash;
+        <div class='inline'><p>a thunk to be handled and returns <code>A</code></p>
+</div>
       
     </li>
   
@@ -430,10 +470,14 @@ to go back to the handled computation.</p>
     <li>
       
       
-        <span class='type'>(<tt>T</tt>)</span>
+        <span class='type'>(<tt>B</tt>)</span>
       
       
       
+        &mdash;
+        <div class='inline'><p>a value modified by value handler <code>Proc&lt;A, B&gt;</code> , or returned from the effect handler throwing continuation away</p>
+</div>
+      
     </li>
   
 </ul>
@@ -444,61 +488,61 @@ to go back to the handled computation.</p>
       <pre class="lines">
 
 
-53
-54
-55
-56
-57
-58
-59
-60
-61
-62
-63
-64
-65
-66
-67
-68
-69
-70
-71
-72
-73
-74
-75
-76
-77
-78
-79
-80
-81
-82
-83
-84
-85
-86
-87
-88
-89
-90
-91
-92
-93
-94
-95
-96
-97
-98
-99
-100
-101
-102
-103
-104</pre>
+108
+109
+110
+111
+112
+113
+114
+115
+116
+117
+118
+119
+120
+121
+122
+123
+124
+125
+126
+127
+128
+129
+130
+131
+132
+133
+134
+135
+136
+137
+138
+139
+140
+141
+142
+143
+144
+145
+146
+147
+148
+149
+150
+151
+152
+153
+154
+155
+156
+157
+158
+159</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff/handler.rb', line 53</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff/handler.rb', line 108</span>
 
 <span class='kw'>def</span> <span class='id identifier rubyid_run'>run</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='id identifier rubyid_prc'>prc</span><span class='rparen'>)</span>
   <span class='id identifier rubyid_co'>co</span> <span class='op'>=</span> <span class='const'>Fiber</span><span class='period'>.</span><span class='id identifier rubyid_new'>new</span> <span class='op'>&amp;</span><span class='id identifier rubyid_prc'>prc</span>
@@ -519,7 +563,7 @@ to go back to the handled computation.</p>
         <span class='const'>Fiber</span><span class='period'>.</span><span class='id identifier rubyid_yield'>yield</span> <span class='lparen'>(</span><span class='const'><span class='object_link'><a href="Throws/Resend.html" title="Ruff::Throws::Resend (class)">Resend</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="Throws/Resend.html#initialize-instance_method" title="Ruff::Throws::Resend#initialize (method)">new</a></span></span> <span class='id identifier rubyid_r'>r</span><span class='comma'>,</span> <span class='id identifier rubyid_rehandles'>rehandles</span><span class='lbracket'>[</span><span class='id identifier rubyid_r'>r</span><span class='period'>.</span><span class='id identifier rubyid_k'>k</span><span class='rbracket'>]</span><span class='rparen'>)</span>
       <span class='kw'>end</span>
     <span class='kw'>else</span>
-      <span class='id identifier rubyid_r'>r</span>
+      <span class='ivar'>@handlers</span><span class='lbracket'>[</span><span class='ivar'>@valh_id</span><span class='rbracket'>]</span><span class='period'>.</span><span class='lparen'>(</span><span class='id identifier rubyid_r'>r</span><span class='rparen'>)</span>
     <span class='kw'>end</span>
   <span class='rbrace'>}</span>
 
@@ -555,6 +599,115 @@ to go back to the handled computation.</p>
     </td>
   </tr>
 </table>
+</div>
+    
+      <div class="method_details ">
+  <h3 class="signature " id="to-instance_method">
+  
+    #<strong>to</strong>(&amp;fun)  &#x21d2; <tt><span class='object_link'><a href="" title="Ruff::Handler (class)">Handler</a></span>&lt;A!{e}, B!{e'}&gt;</tt> 
+  
+
+  
+
+  
+</h3><div class="docstring">
+  <div class="discussion">
+    <p>sets value handler <code>&amp;fun</code>.</p>
+
+<p>Value handler is the handler for <em>the result value of the computation</em>.
+For example, <code>Handler.new.to{|_x| 0}.run { value }</code> results in <code>0</code> .</p>
+
+<p>The value handler modifies the result of the call of continuation in effect handlers of the handler.</p>
+
+
+  </div>
+</div>
+<div class="tags">
+  
+  <div class="examples">
+    <p class="tag_title">Examples:</p>
+    
+      
+      <pre class="example code"><code><span class='id identifier rubyid_logs'>logs</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span>
+<span class='id identifier rubyid_handler'>handler</span><span class='period'>.</span><span class='id identifier rubyid_on'>on</span><span class='lparen'>(</span><span class='const'>Log</span><span class='rparen'>)</span> <span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_k'>k</span><span class='comma'>,</span> <span class='id identifier rubyid_msg'>msg</span><span class='op'>|</span>
+  <span class='id identifier rubyid_logs'>logs</span> <span class='op'>&lt;&lt;</span> <span class='id identifier rubyid_msg'>msg</span>
+  <span class='id identifier rubyid_k'>k</span><span class='lbracket'>[</span><span class='rbracket'>]</span>
+<span class='rbrace'>}</span><span class='period'>.</span><span class='id identifier rubyid_to'>to</span> <span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_x'>x</span><span class='op'>|</span>
+ <span class='id identifier rubyid_logs'>logs</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_log'>log</span><span class='op'>|</span>
+   <span class='id identifier rubyid_puts'>puts</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>Logger: </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_log'>log</span><span class='embexpr_end'>}</span><span class='tstring_end'>&quot;</span></span>
+ <span class='rbrace'>}</span>
+
+  <span class='id identifier rubyid_puts'>puts</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>returns </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_x'>x</span><span class='embexpr_end'>}</span><span class='tstring_end'>&quot;</span></span>
+<span class='rbrace'>}</span>
+<span class='period'>.</span><span class='id identifier rubyid_run'>run</span> <span class='lbrace'>{</span>
+  <span class='const'>Log</span><span class='period'>.</span><span class='id identifier rubyid_perform'>perform</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>hello</span><span class='tstring_end'>&quot;</span></span>
+  <span class='const'>Log</span><span class='period'>.</span><span class='id identifier rubyid_perform'>perform</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>world</span><span class='tstring_end'>&quot;</span></span>
+  <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>!</span><span class='tstring_end'>&quot;</span></span>
+<span class='rbrace'>}</span>
+
+<span class='comment'>## ==&gt;
+</span><span class='comment'># msg&gt;&gt; hello
+</span><span class='comment'># msg&gt;&gt; world
+</span><span class='comment'># returns !</span></code></pre>
+    
+  </div>
+<p class="tag_title">Parameters:</p>
+<ul class="param">
+  
+    <li>
+      
+        <span class='name'>fun</span>
+      
+      
+        <span class='type'>(<tt>Proc&lt;A, B&gt;</tt>)</span>
+      
+      
+      
+        &mdash;
+        <div class='inline'><p>value handler</p>
+</div>
+      
+    </li>
+  
+</ul>
+
+<p class="tag_title">Returns:</p>
+<ul class="return">
+  
+    <li>
+      
+      
+        <span class='type'>(<tt><span class='object_link'><a href="" title="Ruff::Handler (class)">Handler</a></span>&lt;A!{e}, B!{e'}&gt;</tt>)</span>
+      
+      
+      
+    </li>
+  
+</ul>
+
+</div><table class="source_code">
+  <tr>
+    <td>
+      <pre class="lines">
+
+
+57
+58
+59
+60
+61</pre>
+    </td>
+    <td>
+      <pre class="code"><span class="info file"># File 'lib/ruff/handler.rb', line 57</span>
+
+<span class='kw'>def</span> <span class='id identifier rubyid_to'>to</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='id identifier rubyid_fun'>fun</span><span class='rparen'>)</span>
+  <span class='ivar'>@handlers</span><span class='lbracket'>[</span><span class='ivar'>@valh_id</span><span class='rbracket'>]</span> <span class='op'>=</span> <span class='id identifier rubyid_fun'>fun</span>
+
+  <span class='kw'>self</span>
+<span class='kw'>end</span></pre>
+    </td>
+  </tr>
+</table>
 </div>
     
   </div>
@@ -562,7 +715,7 @@ to go back to the handled computation.</p>
 </div>
 
       <div id="footer">
-  Generated on Wed Oct  2 22:42:03 2019 by
+  Generated on Thu Oct  3 00:38:48 2019 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.20 (ruby-2.6.4).
 </div>

data/docs/Ruff/Throws.html

@@ -110,7 +110,7 @@
 </div>
 
       <div id="footer">
-  Generated on Wed Oct  2 22:42:03 2019 by
+  Generated on Thu Oct  3 00:38:48 2019 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.20 (ruby-2.6.4).
 </div>

data/docs/Ruff/Throws/Eff.html

@@ -353,7 +353,7 @@
 </div>
 
       <div id="footer">
-  Generated on Wed Oct  2 22:42:03 2019 by
+  Generated on Thu Oct  3 00:38:48 2019 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.20 (ruby-2.6.4).
 </div>

data/docs/Ruff/Throws/Resend.html

@@ -353,7 +353,7 @@
 </div>
 
       <div id="footer">
-  Generated on Wed Oct  2 22:42:03 2019 by
+  Generated on Thu Oct  3 00:38:48 2019 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.20 (ruby-2.6.4).
 </div>

data/docs/_index.html

@@ -156,7 +156,7 @@
 </div>
 
       <div id="footer">
-  Generated on Wed Oct  2 22:42:03 2019 by
+  Generated on Thu Oct  3 00:38:48 2019 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.20 (ruby-2.6.4).
 </div>

data/docs/file.README.html

@@ -59,6 +59,8 @@
 
       <div id="content"><div id='filecontents'><h1>ruff</h1>
 
+<p><a href="https://badge.fury.io/rb/ruff"><img src="https://badge.fury.io/rb/ruff.svg" alt="Gem Version"></a></p>
+
 <p>ONE-SHOT Algebraic Effects Library for Ruby!</p>
 
 <pre class="code ruby"><code class="ruby"><span class='id identifier rubyid_require'>require</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>ruff</span><span class='tstring_end'>&quot;</span></span>
@@ -98,7 +100,7 @@
 </div></div>
 
       <div id="footer">
-  Generated on Wed Oct  2 22:42:03 2019 by
+  Generated on Thu Oct  3 00:38:48 2019 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.20 (ruby-2.6.4).
 </div>

data/docs/index.html

@@ -59,6 +59,8 @@
 
       <div id="content"><div id='filecontents'><h1>ruff</h1>
 
+<p><a href="https://badge.fury.io/rb/ruff"><img src="https://badge.fury.io/rb/ruff.svg" alt="Gem Version"></a></p>
+
 <p>ONE-SHOT Algebraic Effects Library for Ruby!</p>
 
 <pre class="code ruby"><code class="ruby"><span class='id identifier rubyid_require'>require</span> <span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>ruff</span><span class='tstring_end'>&quot;</span></span>
@@ -98,7 +100,7 @@
 </div></div>
 
       <div id="footer">
-  Generated on Wed Oct  2 22:42:03 2019 by
+  Generated on Thu Oct  3 00:38:48 2019 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.20 (ruby-2.6.4).
 </div>

data/docs/method_list.html

@@ -156,6 +156,14 @@
   </li>
   
 
+  <li class="odd ">
+    <div class="item">
+      <span class='object_link'><a href="Ruff/Handler.html#to-instance_method" title="Ruff::Handler#to (method)">#to</a></span>
+      <small>Ruff::Handler</small>
+    </div>
+  </li>
+  
+
 
       </ul>
     </div>

data/docs/top-level-namespace.html

@@ -100,7 +100,7 @@
 </div>
 
       <div id="footer">
-  Generated on Wed Oct  2 22:42:03 2019 by
+  Generated on Thu Oct  3 00:38:48 2019 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.20 (ruby-2.6.4).
 </div>

data/lib/ruff/handler.rb

@@ -1,40 +1,94 @@
+require 'securerandom'
+
+# In algebraic effects, handler is an first-class object.
 class Ruff::Handler
   include Ruff::Throws
-  # In algebraic effects, handler is an first-class object.
+
+  @valh_id = SecureRandom.uuid
+
   # makes a new handler, internally having fresh empty hash.
+  #
   # This is a effect-handler store and when handliong it is looked up.
+  # Value handler is set `id` function to by default.
+  #
   # @example
   #   handler = Handler.new
+
   def initialize
     @handlers = Hash.new
+    @handlers[@valh_id] = ->(x) { x }
+  end
+
+
+  # sets value handler `&fun`.
+  #
+  # Value handler is the handler for *the result value of the computation*.
+  # For example, `Handler.new.to{|_x| 0}.run { value }` results in `0` .
+  #
+  # The value handler modifies the result of the call of continuation in effect handlers of the handler.
+  #
+  # @param [Proc<A, B>] fun
+  #   value handler
+  # @return [Handler<A!{e}, B!{e'}>]
+  #
+  # @example
+  #   logs = []
+  #   handler.on(Log) {|k, msg|
+  #     logs << msg
+  #     k[]
+  #   }.to {|x|
+  #    logs.each {|log|
+  #      puts "Logger: #{log}"
+  #    }
+  #
+  #     puts "returns #{x}"
+  #   }
+  #   .run {
+  #     Log.perform "hello"
+  #     Log.perform "world"
+  #     "!"
+  #   }
+  #
+  #   ## ==>
+  #   # msg>> hello
+  #   # msg>> world
+  #   # returns !
+
+  def to(&fun)
+    @handlers[@valh_id] = fun
+
+    self
   end
 
-  # sets effec handler `&prc` for `eff`
+  # sets effec handler `&fun` for `eff`
   #
   # @param [Effect<Arg, Ret>] eff
   #   the effect instance to be handled
-  # @param [Proc<Arg, Ret => A>] prc
+  # @param [Proc<Arg, Ret => A>] fun
   #   a handler to handle `eff`;
-  #   First argument of `&prc` is *continuation*, proc object
+  #   First argument of `&fun` is *continuation*, proc object
   #   to go back to the handled computation.
-  # @return [Handler{Effect<Arg, Ret>, e}] itself updated with handling `Effect<Arg, Ret>`
+  # @return [Handler<A!{Effect<Arg, Ret>, e}, B!{e}>] itself updated with handling `Effect<Arg, Ret>`
   #
   # @example
   #   handler.on(Log) {|k, msg|
   #     puts "Logger: #{msg}"
   #     k[]
   #   }
-  def on(eff, &prc)
-    @handlers[eff.id] = prc
+
+  def on(eff, &fun)
+    @handlers[eff.id] = fun
 
     self
   end
 
-  # @param [Proc<(), T>] prc
-  # @return [T]
-  #
   # handles the computation.
   #
+  # @param [Proc<(), A>] prc
+  #   a thunk to be handled and returns `A`
+  # @return [B]
+  #   a value modified by value handler `Proc<A, B>` , or returned from the effect handler throwing continuation away
+  #
   # @example
   #   handler.run {
   #     Log.perform "hello"
@@ -50,6 +104,7 @@ class Ruff::Handler
   #         Log.perform 3
   #     }
   #   }
+
   def run(&prc)
     co = Fiber.new &prc
     continue = nil
@@ -69,7 +124,7 @@ class Ruff::Handler
           Fiber.yield (Resend.new r, rehandles[r.k])
         end
       else
-        r
+        @handlers[@valh_id].(r)
       end
     }
 

data/lib/ruff/version.rb

@@ -1,3 +1,3 @@
 module Ruff
-  VERSION = "0.0.6"
+  VERSION = "0.0.7"
 end

data/ruff.gemspec

@@ -24,6 +24,6 @@ Gem::Specification.new{|spec|
   spec.add_development_dependency "rake", "~> 10.0"
 
   spec.metadata = {
-    "documentation_url" => "https://nymphium.github.io/ruff"
+    "documentation_uri" => "https://nymphium.github.io/ruff"
   }
 }

data/version.h

@@ -1 +1 @@
-#define RUFF_VERSION "0.0.6"
+#define RUFF_VERSION "0.0.7"

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: ruff
 version: !ruby/object:Gem::Version
-  version: 0.0.6
+  version: 0.0.7
 platform: ruby
 authors:
 - nymphium
@@ -83,7 +83,7 @@ homepage: https://github.com/nymphium/ruff
 licenses:
 - MIT
 metadata:
-  documentation_url: https://nymphium.github.io/ruff
+  documentation_uri: https://nymphium.github.io/ruff
 post_install_message: 
 rdoc_options: []
 require_paths: