ruff 0.0.7 → 0.0.8

data/docs/top-level-namespace.html

@@ -6,7 +6,7 @@
 <title>
   Top Level Namespace
   
-    &mdash; Ruff 0.0.6 Documentation
+    &mdash; Ruff 0.0.8 Documentation
   
 </title>
 
@@ -100,7 +100,7 @@
 </div>
 
       <div id="footer">
-  Generated on Thu Oct  3 00:38:48 2019 by
+  Generated on Thu Oct  3 03:25:53 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

@@ -4,8 +4,6 @@ require 'securerandom'
 class Ruff::Handler
   include Ruff::Throws
 
-  @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.
@@ -16,6 +14,7 @@ class Ruff::Handler
 
   def initialize
     @handlers = Hash.new
+    @valh_id = SecureRandom.uuid
     @handlers[@valh_id] = ->(x) { x }
   end
 
@@ -115,13 +114,16 @@ class Ruff::Handler
         if effh = @handlers[r.id]
           effh[continue, *r.args]
         else
-          Fiber.yield (Resend.new r, continue)
+          Fiber.yield Resend.new(r, continue)
         end
       elsif r.is_a? Resend
-        if effh = @handlers[r.eff.id]
-          effh[rehandles[r.k], *r.eff.args]
+        eff = r.eff
+        next_k = rehandles.(r.k)
+
+        if effh = @handlers[eff.id]
+          effh.(next_k, *eff.args)
         else
-          Fiber.yield (Resend.new r, rehandles[r.k])
+          Fiber.yield Resend.new(eff, next_k)
         end
       else
         @handlers[@valh_id].(r)
@@ -145,16 +147,16 @@ class Ruff::Handler
       ->(*args) {
         continue[
           newh.run {
-            k[*args]
+            k.(*args)
           }
         ]
       }
     }
 
     continue = ->(*arg) {
-      handle[co.resume(*arg)]
+      handle.(co.resume(*arg))
     }
 
-    continue[nil]
+    continue.(nil)
   end
 end

data/lib/ruff/standard.rb

@@ -0,0 +1,6 @@
+module Ruff::Standard end
+
+require "ruff/standard/current_time"
+require "ruff/standard/defer"
+require "ruff/standard/state"
+

data/lib/ruff/standard/current_time.rb

@@ -0,0 +1,29 @@
+module Ruff::Standard::CurrentTime
+  class Instance
+    def initialize
+      @eff = Ruff.instance
+    end
+
+    def get
+      @eff.perform
+    end
+
+    def with &th
+      Ruff.handler.on(@eff){|k| k[Time.now]}.run &th
+    end
+  end
+
+  # ---
+  @inst = Instance.new
+
+  def get
+    @inst.get
+  end
+
+  def with &th
+    @inst.with &th
+  end
+
+  module_function :get, :with
+end
+

data/lib/ruff/standard/defer.rb

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

data/lib/ruff/standard/state.rb

@@ -0,0 +1,64 @@
+module Ruff::Standard::State
+  class Instance
+    def initialize
+      @get = Ruff.instance
+      @modify = Ruff.instance
+    end
+
+    def get
+      @get.perform
+    end
+
+    def modify &fn
+      @modify.perform fn
+    end
+
+    def put s
+      @modify.perform ->(_) { s }
+    end
+
+    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
+    end
+
+    def with &task
+      with_init(nil, &task)
+    end
+  end
+
+  # ---
+  @inst = Instance.new
+
+  def get
+    @inst.get
+  end
+
+  def modify &fn
+    @inst.modify &fn
+  end
+
+  def put s
+    @inst.put s
+  end
+
+  def with_init init, &task
+    @inst.with_init init, &task
+  end
+
+  def with &task
+    @inst.with &task
+  end
+
+  module_function :get, :put, :modify, :with, :with_init
+end
+

data/lib/ruff/version.rb

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

data/version.h

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

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: ruff
 version: !ruby/object:Gem::Version
-  version: 0.0.7
+  version: 0.0.8
 platform: ruby
 authors:
 - nymphium
@@ -54,6 +54,13 @@ files:
 - docs/Ruff.html
 - docs/Ruff/Effect.html
 - docs/Ruff/Handler.html
+- docs/Ruff/Standard.html
+- docs/Ruff/Standard/CurrentTime.html
+- docs/Ruff/Standard/CurrentTime/Instance.html
+- docs/Ruff/Standard/Defer.html
+- docs/Ruff/Standard/Defer/Instance.html
+- docs/Ruff/Standard/State.html
+- docs/Ruff/Standard/State/Instance.html
 - docs/Ruff/Throws.html
 - docs/Ruff/Throws/Eff.html
 - docs/Ruff/Throws/Resend.html
@@ -75,6 +82,10 @@ files:
 - lib/ruff/effect.rb
 - lib/ruff/handler.rb
 - lib/ruff/objects.rb
+- lib/ruff/standard.rb
+- lib/ruff/standard/current_time.rb
+- lib/ruff/standard/defer.rb
+- lib/ruff/standard/state.rb
 - lib/ruff/version.cpp.rb
 - lib/ruff/version.rb
 - ruff.gemspec