ruff 1.0.0 → 1.0.1

data/docs/Ruff/Standard/State.html

@@ -242,12 +242,12 @@
       <pre class="lines">
 
 
-42
-43
-44</pre>
+44
+45
+46</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff/standard/state.rb', line 42</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff/standard/state.rb', line 44</span>
 
 <span class='kw'>def</span> <span class='id identifier rubyid_get'>get</span>
   <span class='ivar'>@inst</span><span class='period'>.</span><span class='id identifier rubyid_get'>get</span>
@@ -272,14 +272,14 @@
       <pre class="lines">
 
 
-46
-47
-48</pre>
+48
+49
+50</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff/standard/state.rb', line 46</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff/standard/state.rb', line 48</span>
 
-<span class='kw'>def</span> <span class='id identifier rubyid_modify'>modify</span> <span class='op'>&amp;</span><span class='id identifier rubyid_fn'>fn</span>
+<span class='kw'>def</span> <span class='id identifier rubyid_modify'>modify</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='id identifier rubyid_fn'>fn</span><span class='rparen'>)</span>
   <span class='ivar'>@inst</span><span class='period'>.</span><span class='id identifier rubyid_modify'>modify</span> <span class='op'>&amp;</span><span class='id identifier rubyid_fn'>fn</span>
 <span class='kw'>end</span></pre>
     </td>
@@ -302,14 +302,14 @@
       <pre class="lines">
 
 
-50
-51
-52</pre>
+52
+53
+54</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff/standard/state.rb', line 50</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff/standard/state.rb', line 52</span>
 
-<span class='kw'>def</span> <span class='id identifier rubyid_put'>put</span> <span class='id identifier rubyid_s'>s</span>
+<span class='kw'>def</span> <span class='id identifier rubyid_put'>put</span><span class='lparen'>(</span><span class='id identifier rubyid_s'>s</span><span class='rparen'>)</span>
   <span class='ivar'>@inst</span><span class='period'>.</span><span class='id identifier rubyid_put'>put</span> <span class='id identifier rubyid_s'>s</span>
 <span class='kw'>end</span></pre>
     </td>
@@ -332,14 +332,14 @@
       <pre class="lines">
 
 
-58
-59
-60</pre>
+60
+61
+62</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff/standard/state.rb', line 58</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff/standard/state.rb', line 60</span>
 
-<span class='kw'>def</span> <span class='id identifier rubyid_with'>with</span> <span class='op'>&amp;</span><span class='id identifier rubyid_task'>task</span>
+<span class='kw'>def</span> <span class='id identifier rubyid_with'>with</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='id identifier rubyid_task'>task</span><span class='rparen'>)</span>
   <span class='ivar'>@inst</span><span class='period'>.</span><span class='id identifier rubyid_with'>with</span> <span class='op'>&amp;</span><span class='id identifier rubyid_task'>task</span>
 <span class='kw'>end</span></pre>
     </td>
@@ -362,14 +362,14 @@
       <pre class="lines">
 
 
-54
-55
-56</pre>
+56
+57
+58</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff/standard/state.rb', line 54</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff/standard/state.rb', line 56</span>
 
-<span class='kw'>def</span> <span class='id identifier rubyid_with_init'>with_init</span> <span class='id identifier rubyid_init'>init</span><span class='comma'>,</span> <span class='op'>&amp;</span><span class='id identifier rubyid_task'>task</span>
+<span class='kw'>def</span> <span class='id identifier rubyid_with_init'>with_init</span><span class='lparen'>(</span><span class='id identifier rubyid_init'>init</span><span class='comma'>,</span> <span class='op'>&amp;</span><span class='id identifier rubyid_task'>task</span><span class='rparen'>)</span>
   <span class='ivar'>@inst</span><span class='period'>.</span><span class='id identifier rubyid_with_init'>with_init</span> <span class='id identifier rubyid_init'>init</span><span class='comma'>,</span> <span class='op'>&amp;</span><span class='id identifier rubyid_task'>task</span>
 <span class='kw'>end</span></pre>
     </td>
@@ -382,7 +382,7 @@
 </div>
 
       <div id="footer">
-  Generated on Thu Oct  3 03:27:26 2019 by
+  Generated on Thu Oct  3 05:05:04 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/Standard.html

@@ -105,7 +105,7 @@
 </div>
 
       <div id="footer">
-  Generated on Thu Oct  3 03:27:26 2019 by
+  Generated on Thu Oct  3 05:05:04 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

@@ -243,12 +243,12 @@
       <pre class="lines">
 
 
-14
-15
-16</pre>
+16
+17
+18</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff/objects.rb', line 14</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff/objects.rb', line 16</span>
 
 <span class='kw'>def</span> <span class='id identifier rubyid_initialize'>initialize</span><span class='lparen'>(</span><span class='id identifier rubyid_id'>id</span><span class='comma'>,</span> <span class='id identifier rubyid_args'>args</span><span class='rparen'>)</span>
   <span class='ivar'>@id</span> <span class='op'>=</span> <span class='id identifier rubyid_id'>id</span><span class='semicolon'>;</span> <span class='ivar'>@args</span> <span class='op'>=</span> <span class='id identifier rubyid_args'>args</span>
@@ -290,12 +290,12 @@
       <pre class="lines">
 
 
-11
-12
-13</pre>
+13
+14
+15</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff/objects.rb', line 11</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff/objects.rb', line 13</span>
 
 <span class='kw'>def</span> <span class='id identifier rubyid_args'>args</span>
   <span class='ivar'>@args</span>
@@ -332,12 +332,12 @@
       <pre class="lines">
 
 
-8
-9
-10</pre>
+10
+11
+12</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff/objects.rb', line 8</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff/objects.rb', line 10</span>
 
 <span class='kw'>def</span> <span class='id identifier rubyid_id'>id</span>
   <span class='ivar'>@id</span>
@@ -353,7 +353,7 @@
 </div>
 
       <div id="footer">
-  Generated on Thu Oct  3 03:27:27 2019 by
+  Generated on Thu Oct  3 05:05:04 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

@@ -243,12 +243,12 @@
       <pre class="lines">
 
 
-30
-31
-32</pre>
+32
+33
+34</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff/objects.rb', line 30</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff/objects.rb', line 32</span>
 
 <span class='kw'>def</span> <span class='id identifier rubyid_initialize'>initialize</span><span class='lparen'>(</span><span class='id identifier rubyid_eff'>eff</span><span class='comma'>,</span> <span class='id identifier rubyid_k'>k</span><span class='rparen'>)</span>
   <span class='ivar'>@eff</span> <span class='op'>=</span> <span class='id identifier rubyid_eff'>eff</span><span class='semicolon'>;</span> <span class='ivar'>@k</span> <span class='op'>=</span> <span class='id identifier rubyid_k'>k</span>
@@ -290,12 +290,12 @@
       <pre class="lines">
 
 
-24
-25
-26</pre>
+26
+27
+28</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff/objects.rb', line 24</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff/objects.rb', line 26</span>
 
 <span class='kw'>def</span> <span class='id identifier rubyid_eff'>eff</span>
   <span class='ivar'>@eff</span>
@@ -332,12 +332,12 @@
       <pre class="lines">
 
 
-27
-28
-29</pre>
+29
+30
+31</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff/objects.rb', line 27</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff/objects.rb', line 29</span>
 
 <span class='kw'>def</span> <span class='id identifier rubyid_k'>k</span>
   <span class='ivar'>@k</span>
@@ -353,7 +353,7 @@
 </div>
 
       <div id="footer">
-  Generated on Thu Oct  3 03:27:27 2019 by
+  Generated on Thu Oct  3 05:05:04 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 Thu Oct  3 03:27:26 2019 by
+  Generated on Thu Oct  3 05:05:04 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.html

@@ -78,25 +78,14 @@
   
   <dl>
     <dt>Defined in:</dt>
-    <dd>lib/ruff/version.cpp.rb<span class="defines">,<br />
-  lib/ruff.rb,<br /> lib/ruff/version.rb</span>
+    <dd>lib/ruff.rb<span class="defines">,<br />
+  lib/ruff/version.rb</span>
 </dd>
   </dl>
   
 </div>
 
-<h2>Overview</h2><div class="docstring">
-  <div class="discussion">
-    <p>// This file is passed to CPP
-include &quot;../../version.h&quot;</p>
-
-
-  </div>
-</div>
-<div class="tags">
-  
-
-</div><h2>Defined Under Namespace</h2>
+<h2>Defined Under Namespace</h2>
 <p class="children">
   
     
@@ -120,7 +109,7 @@ include &quot;../../version.h&quot;</p>
         <dt id="VERSION-constant" class="">VERSION =
           
         </dt>
-        <dd><pre class="code"><span class='tstring'><span class='tstring_beg'>&quot;</span><span class='tstring_content'>1.0.0</span><span class='tstring_end'>&quot;</span></span></pre></dd>
+        <dd><pre class="code"><span class='tstring'><span class='tstring_beg'>&#39;</span><span class='tstring_content'>1.0.0</span><span class='tstring_end'>&#39;</span></span></pre></dd>
       
     </dl>
   
@@ -237,12 +226,12 @@ include &quot;../../version.h&quot;</p>
       <pre class="lines">
 
 
-26
-27
-28</pre>
+28
+29
+30</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff.rb', line 26</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff.rb', line 28</span>
 
 <span class='kw'>def</span> <span class='id identifier rubyid_handler'>handler</span>
   <span class='const'><span class='object_link'><a href="Ruff/Handler.html" title="Ruff::Handler (class)">Handler</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="Ruff/Handler.html#initialize-instance_method" title="Ruff::Handler#initialize (method)">new</a></span></span>
@@ -292,12 +281,12 @@ include &quot;../../version.h&quot;</p>
       <pre class="lines">
 
 
-14
-15
-16</pre>
+16
+17
+18</pre>
     </td>
     <td>
-      <pre class="code"><span class="info file"># File 'lib/ruff.rb', line 14</span>
+      <pre class="code"><span class="info file"># File 'lib/ruff.rb', line 16</span>
 
 <span class='kw'>def</span> <span class='id identifier rubyid_instance'>instance</span>
   <span class='const'><span class='object_link'><a href="Ruff/Effect.html" title="Ruff::Effect (class)">Effect</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="Ruff/Effect.html#initialize-instance_method" title="Ruff::Effect#initialize (method)">new</a></span></span>
@@ -312,7 +301,7 @@ include &quot;../../version.h&quot;</p>
 </div>
 
       <div id="footer">
-  Generated on Thu Oct  3 03:27:26 2019 by
+  Generated on Thu Oct  3 05:05:04 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

@@ -240,7 +240,7 @@
 </div>
 
       <div id="footer">
-  Generated on Thu Oct  3 03:27:26 2019 by
+  Generated on Thu Oct  3 05:05:03 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

@@ -162,7 +162,7 @@
 </div></div>
 
       <div id="footer">
-  Generated on Thu Oct  3 03:27:26 2019 by
+  Generated on Thu Oct  3 05:05:04 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

@@ -162,7 +162,7 @@
 </div></div>
 
       <div id="footer">
-  Generated on Thu Oct  3 03:27:26 2019 by
+  Generated on Thu Oct  3 05:05:04 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/top-level-namespace.html

@@ -100,7 +100,7 @@
 </div>
 
       <div id="footer">
-  Generated on Thu Oct  3 03:27:26 2019 by
+  Generated on Thu Oct  3 05:05:04 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/effect.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 # This class provides an effect instance.
 class Ruff::Effect
   # Each instance must be unique so they have unique id with UUID
@@ -18,6 +20,6 @@ class Ruff::Effect
   # @example
   #   Log.perform "hello"
   def perform(*a)
-    return Fiber.yield Ruff::Throws::Eff.new(@id, a)
+    Fiber.yield Ruff::Throws::Eff.new(@id, a)
   end
 end

data/lib/ruff/handler.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require 'securerandom'
 
 # In algebraic effects, handler is an first-class object.
@@ -13,12 +15,10 @@ class Ruff::Handler
   #   handler = Handler.new
 
   def initialize
-    @handlers = Hash.new
-    @valh_id = SecureRandom.uuid
-    @handlers[@valh_id] = ->(x) { x }
+    @handlers = {}
+    @valh = ->(x) { x }
   end
 
-
   # sets value handler `&fun`.
   #
   # Value handler is the handler for *the result value of the computation*.
@@ -54,7 +54,7 @@ class Ruff::Handler
   #   # returns !
 
   def to(&fun)
-    @handlers[@valh_id] = fun
+    @valh = fun
 
     self
   end
@@ -109,54 +109,51 @@ class Ruff::Handler
     continue = nil
     rehandles = nil
 
-    handle = ->(r) {
-      if r.is_a? Eff
+    handle = lambda { |r|
+      case r
+      when Eff
         if effh = @handlers[r.id]
           effh[continue, *r.args]
         else
           Fiber.yield Resend.new(r, continue)
         end
-      elsif r.is_a? Resend
+      when Resend then
         eff = r.eff
-        next_k = rehandles.(r.k)
+        next_k = rehandles.call(r.k)
 
         if effh = @handlers[eff.id]
-          effh.(next_k, *eff.args)
+          effh.call(next_k, *eff.args)
         else
           Fiber.yield Resend.new(eff, next_k)
         end
       else
-        @handlers[@valh_id].(r)
+        @valh.call(r)
       end
     }
 
-    rehandles = ->(k){
+    rehandles = lambda { |k|
       newh = self.class.new
-      def newh.add_handler id, h
+      def newh.add_handler(id, h)
         @handlers[id] = h
       end
 
-      @handlers.each{|id, h|
+      @handlers.each do |id, h|
         newh.add_handler id, h
-      }
+      end
 
       class << newh
         undef add_handler
       end
 
-      ->(*args) {
-        continue[
-          newh.run {
-            k.(*args)
-          }
-        ]
+      lambda { |*args|
+        continue.call(newh.run { k.call(*args) })
       }
     }
 
-    continue = ->(*arg) {
-      handle.(co.resume(*arg))
+    continue = lambda { |*arg|
+      handle.call(co.resume(*arg))
     }
 
-    continue.(nil)
+    continue.call(nil)
   end
 end

data/lib/ruff/objects.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 module Ruff::Throws end
 
 # `Eff` is internal object.
@@ -20,7 +22,7 @@ end
 #
 # It is used when an effect is unable to be handled and should be thrown to the outer handler.
 class Ruff::Throws::Resend
-  #is abstracted effect (such as `Eff` or (re)thrown `Resend`).
+  # is abstracted effect (such as `Eff` or (re)thrown `Resend`).
   attr_reader :eff
 
   # is a continuation of `eff` thrown context.

data/lib/ruff/standard/current_time.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 module Ruff::Standard::CurrentTime
   class Instance
     def initialize
@@ -8,8 +10,8 @@ module Ruff::Standard::CurrentTime
       @eff.perform
     end
 
-    def with &th
-      Ruff.handler.on(@eff){|k| k[Time.now]}.run &th
+    def with(&th)
+      Ruff.handler.on(@eff) { |k| k[Time.now] }.run &th
     end
   end
 
@@ -20,10 +22,9 @@ module Ruff::Standard::CurrentTime
     @inst.get
   end
 
-  def with &th
+  def with(&th)
     @inst.with &th
   end
 
   module_function :get, :with
 end
-

data/lib/ruff/standard/defer.rb

@@ -1,38 +1,38 @@
+# frozen_string_literal: true
+
 module Ruff::Standard::Defer
   class Instance
     def initialize
       @eff = Ruff.instance
     end
 
-    def register &prc
+    def register(&prc)
       @eff.perform prc
     end
 
-    def with &th
+    def with(&th)
       procs = []
 
       Ruff.handler
-        .on(@eff){|k, prc|
-          procs << prc
-          k[]
-        }
-        .to {|_|
-          procs.reverse_each{|prc|
-            prc[]
-          }
-        }
-        .run &th
+          .on(@eff) do |k, prc|
+        procs << prc
+        k[]
+      end
+          .to do |_|
+        procs.reverse_each(&:[])
+      end
+          .run &th
     end
   end
 
   # ---
   @inst = Instance.new
 
-  def register &prc
+  def register(&prc)
     @inst.register &prc
   end
 
-  def with &th
+  def with(&th)
     @inst.with &th
   end
 

data/lib/ruff/standard/state.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 module Ruff::Standard::State
   class Instance
     def initialize
@@ -9,29 +11,29 @@ module Ruff::Standard::State
       @get.perform
     end
 
-    def modify &fn
+    def modify(&fn)
       @modify.perform fn
     end
 
-    def put s
+    def put(s)
       @modify.perform ->(_) { s }
     end
 
-    def with_init init, &task
+    def with_init(init, &task)
       state = init
 
       Ruff.handler
-        .on(@modify){|k, fn|
-          state = fn[state]
-          k[nil]
-        }
-        .on(@get){|k|
-          k[state]
-        }
-        .run &task
+          .on(@modify) do |k, fn|
+        state = fn[state]
+        k[nil]
+      end
+          .on(@get) do |k|
+        k[state]
+      end
+          .run &task
     end
 
-    def with &task
+    def with(&task)
       with_init(nil, &task)
     end
   end
@@ -43,22 +45,21 @@ module Ruff::Standard::State
     @inst.get
   end
 
-  def modify &fn
+  def modify(&fn)
     @inst.modify &fn
   end
 
-  def put s
+  def put(s)
     @inst.put s
   end
 
-  def with_init init, &task
+  def with_init(init, &task)
     @inst.with_init init, &task
   end
 
-  def with &task
+  def with(&task)
     @inst.with &task
   end
 
   module_function :get, :put, :modify, :with, :with_init
 end
-