ruff 1.3.1 → 1.4.0

data/docs/top-level-namespace.html

@@ -6,7 +6,7 @@
 <title>
   Top Level Namespace
   
-    &mdash; Ruff 1.3.0 Documentation
+    &mdash; Ruff 1.3.1 Documentation
   
 </title>
 
@@ -100,7 +100,7 @@
 </div>
 
       <div id="footer">
-  Generated on Mon Oct  7 02:29:28 2019 by
+  Generated on Wed Oct 30 01:51:52 2019 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
   0.9.20 (ruby-2.6.5).
 </div>

data/lib/ruff/standard.rb

@@ -24,3 +24,4 @@ require 'ruff/standard/measure_time'
 require 'ruff/standard/defer'
 require 'ruff/standard/state'
 require 'ruff/standard/async'
+require 'ruff/standard/call1cc'

data/lib/ruff/standard/async.rb

@@ -1,6 +1,7 @@
 # frozen_string_literal: true
 
-# `Async` provides effects `Async.async`, `Async.yield` and `Async.await`, and the implementation async/await.
+# `Async` provides effects `Async.async`, `Async.yield` and `Async.await`,
+# and the implementation async/await.
 # This implementation is based on the tutorial for Multicore OCaml.
 # @see https://github.com/ocamllabs/ocaml-effects-tutorial/blob/master/sources/solved/async_await.ml
 #
@@ -47,8 +48,8 @@ module Ruff::Standard::Async
     # type 'a promise =
     #   | Waiting of ('a, unit) continuation list
     #   | Done of 'a
-    _Waiting = Util::ADT.create
-    _Done = Util::ADT.create
+    Waiting = Util::ADT.create
+    Done = Util::ADT.create
 
     # makes a new instance.
     def initialize
@@ -95,7 +96,7 @@ module Ruff::Standard::Async
     # @return [()!{e}]
     #   returns unit but still has the possibility to invoke effects `e` .
     define_method :with do |&th|
-      fork(Util::Ref.new(_Waiting.new([])), th)
+      fork(Util::Ref.new(Waiting.new([])), th)
     end
 
     # You can reimplement the handler using these effect instances
@@ -104,26 +105,26 @@ module Ruff::Standard::Async
 
     private
 
+    # rubocop:disable Metrics/AbcSize
+    # rubocop:disable Metrics/BlockLength
     define_method :fork do |pr, th|
       Ruff.handler
           .to do |v|
         pp = pr.get
         l = case pp
-            when _Waiting
-              pp.get
-            else
-              raise 'impossible'
+            when Waiting then pp.get
+            else raise 'impossible'
             end
 
         l.each do |k|
           @q.enqueue(-> { k[v] })
         end
 
-        pr.set(_Done.new(v))
+        pr.set(Done.new(v))
         @q.dequeue
       end
           .on(@eff.async) do |k, f|
-        pr_ = Util::Ref.new(_Waiting.new([]))
+        pr_ = Util::Ref.new(Waiting.new([]))
         @q.enqueue(-> { k[pr_] })
         fork(pr_, f)
       end
@@ -131,19 +132,20 @@ module Ruff::Standard::Async
         @q.enqueue(-> { k[] })
         @q.dequeue.call
       end
-          .on(@eff.await) do |k, pr|
-        pp = pr.get
+          .on(@eff.await) do |k, ppr|
+        pp = ppr.get
 
         return case pp
-               when _Done
-                 k[pp.get]
-               when _Waiting
-                 pr.set(_Waiting.new(@q.cons(k)))
+               when Done then k[pp.get]
+               when Waiting
+                 pr.set(Waiting.new(@q.cons(k)))
                  @q.dequeue.call
                end
       end
           .run { th[] }
     end
+    # rubocop:enable Metrics/BlockLength
+    # rubocop:enable Metrics/AbcSize
   end
 
   # ---

data/lib/ruff/standard/call1cc.rb

@@ -0,0 +1,57 @@
+# frozen_string_literal: true
+
+# `Call1cc` provides call-with-oneshot-continuation.
+# The continuation can be run in the `context`.
+#
+# @example
+#   Call1cc.context do
+#     divfail = lambda { |l, default|
+#       Call1cc.run {|k|
+#         l.map{|e|
+#           if e.zero?
+#             k.call(default)
+#           else
+#             e / 2
+#           end
+#         }
+#       }
+#     }
+#
+#     pp divfail.call([1, 3, 5], [1])
+#     # ==> [0, 1, 2]
+#     puts '---'
+#     pp divfail.call([1, 0, 5], [1])
+#     # ==> [1]
+#   end
+
+module Ruff::Standard::Call1cc
+  # call stack
+  @stack = []
+
+  def context(&prc)
+    p = Ruff.instance
+    @stack.push p
+
+    ret = Ruff.handler
+              .on(p) do |k, v|
+      k.call(v)
+    end
+              .run(&prc)
+
+    @stack.pop
+    ret
+  end
+
+  def run(&f)
+    top = @stack.first
+    Ruff.handler
+        .on(top) do |_, v|
+      # abort the rest of computation from calling the continuation
+      top.perform(v)
+    end.run do
+      f.call(->(v) { top.perform(v) })
+    end
+  end
+
+  module_function :context, :run
+end

data/lib/ruff/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Ruff
-  VERSION = '1.3.1'
+  VERSION = '1.4.0'
 end

data/version

@@ -1 +1 @@
-1.3.1
+1.4.0

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: ruff
 version: !ruby/object:Gem::Version
-  version: 1.3.1
+  version: 1.4.0
 platform: ruby
 authors:
 - nymphium
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2019-10-06 00:00:00.000000000 Z
+date: 2019-10-29 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -60,6 +60,7 @@ files:
 - docs/Ruff/Standard.html
 - docs/Ruff/Standard/Async.html
 - docs/Ruff/Standard/Async/Instance.html
+- docs/Ruff/Standard/Call1cc.html
 - docs/Ruff/Standard/CurrentTime.html
 - docs/Ruff/Standard/CurrentTime/Instance.html
 - docs/Ruff/Standard/Defer.html
@@ -95,6 +96,7 @@ files:
 - lib/ruff/objects.rb
 - lib/ruff/standard.rb
 - lib/ruff/standard/async.rb
+- lib/ruff/standard/call1cc.rb
 - lib/ruff/standard/current_time.rb
 - lib/ruff/standard/defer.rb
 - lib/ruff/standard/measure_time.rb