ruff 1.1.0 → 1.2.0

data/docs/class_list.html

@@ -43,7 +43,7 @@
 
       <ul id="full_list" class="class">
         <li id="object_" class="odd"><div class="item" style="padding-left:30px"><span class='object_link'><a href="top-level-namespace.html" title="Top Level Namespace (root)">Top Level Namespace</a></span></div></li>
-<li id='object_Ruff' class='even'><div class='item' style='padding-left:30px'><a class='toggle'></a> <span class='object_link'><a href="Ruff.html" title="Ruff (module)">Ruff</a></span><small class='search_info'>Top Level Namespace</small></div><ul><li id='object_Ruff::Effect' class='collapsed odd'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ruff/Effect.html" title="Ruff::Effect (class)">Effect</a></span> &lt; Object<small class='search_info'>Ruff</small></div></li><li id='object_Ruff::Handler' class='collapsed even'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ruff/Handler.html" title="Ruff::Handler (class)">Handler</a></span> &lt; Object<small class='search_info'>Ruff</small></div></li><li id='object_Ruff::Standard' class='collapsed odd'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Ruff/Standard.html" title="Ruff::Standard (module)">Standard</a></span><small class='search_info'>Ruff</small></div><ul><li id='object_Ruff::Standard::CurrentTime' class='collapsed'><div class='item' style='padding-left:60px'><a class='toggle'></a> <span class='object_link'><a href="Ruff/Standard/CurrentTime.html" title="Ruff::Standard::CurrentTime (module)">CurrentTime</a></span><small class='search_info'>Ruff::Standard</small></div><ul><li id='object_Ruff::Standard::CurrentTime::Instance' class='collapsed'><div class='item' style='padding-left:75px'><span class='object_link'><a href="Ruff/Standard/CurrentTime/Instance.html" title="Ruff::Standard::CurrentTime::Instance (class)">Instance</a></span> &lt; Object<small class='search_info'>Ruff::Standard::CurrentTime</small></div></li></ul></li><li id='object_Ruff::Standard::Defer' class='collapsed'><div class='item' style='padding-left:60px'><a class='toggle'></a> <span class='object_link'><a href="Ruff/Standard/Defer.html" title="Ruff::Standard::Defer (module)">Defer</a></span><small class='search_info'>Ruff::Standard</small></div><ul><li id='object_Ruff::Standard::Defer::Instance' class='collapsed'><div class='item' style='padding-left:75px'><span class='object_link'><a href="Ruff/Standard/Defer/Instance.html" title="Ruff::Standard::Defer::Instance (class)">Instance</a></span> &lt; Object<small class='search_info'>Ruff::Standard::Defer</small></div></li></ul></li><li id='object_Ruff::Standard::State' class='collapsed'><div class='item' style='padding-left:60px'><a class='toggle'></a> <span class='object_link'><a href="Ruff/Standard/State.html" title="Ruff::Standard::State (module)">State</a></span><small class='search_info'>Ruff::Standard</small></div><ul><li id='object_Ruff::Standard::State::Instance' class='collapsed'><div class='item' style='padding-left:75px'><span class='object_link'><a href="Ruff/Standard/State/Instance.html" title="Ruff::Standard::State::Instance (class)">Instance</a></span> &lt; Object<small class='search_info'>Ruff::Standard::State</small></div></li></ul></li></ul></li><li id='object_Ruff::Throws' class='collapsed even'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Ruff/Throws.html" title="Ruff::Throws (module)">Throws</a></span><small class='search_info'>Ruff</small></div><ul><li id='object_Ruff::Throws::Eff' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Ruff/Throws/Eff.html" title="Ruff::Throws::Eff (class)">Eff</a></span> &lt; Object<small class='search_info'>Ruff::Throws</small></div></li><li id='object_Ruff::Throws::Resend' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Ruff/Throws/Resend.html" title="Ruff::Throws::Resend (class)">Resend</a></span> &lt; Object<small class='search_info'>Ruff::Throws</small></div></li></ul></li></ul></li>
+<li id='object_Ruff' class='even'><div class='item' style='padding-left:30px'><a class='toggle'></a> <span class='object_link'><a href="Ruff.html" title="Ruff (module)">Ruff</a></span><small class='search_info'>Top Level Namespace</small></div><ul><li id='object_Ruff::Effect' class='collapsed odd'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ruff/Effect.html" title="Ruff::Effect (class)">Effect</a></span> &lt; Object<small class='search_info'>Ruff</small></div></li><li id='object_Ruff::Handler' class='collapsed even'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ruff/Handler.html" title="Ruff::Handler (class)">Handler</a></span> &lt; Object<small class='search_info'>Ruff</small></div></li><li id='object_Ruff::Standard' class='collapsed odd'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Ruff/Standard.html" title="Ruff::Standard (module)">Standard</a></span><small class='search_info'>Ruff</small></div><ul><li id='object_Ruff::Standard::CurrentTime' class='collapsed'><div class='item' style='padding-left:60px'><a class='toggle'></a> <span class='object_link'><a href="Ruff/Standard/CurrentTime.html" title="Ruff::Standard::CurrentTime (module)">CurrentTime</a></span><small class='search_info'>Ruff::Standard</small></div><ul><li id='object_Ruff::Standard::CurrentTime::Instance' class='collapsed'><div class='item' style='padding-left:75px'><span class='object_link'><a href="Ruff/Standard/CurrentTime/Instance.html" title="Ruff::Standard::CurrentTime::Instance (class)">Instance</a></span> &lt; Object<small class='search_info'>Ruff::Standard::CurrentTime</small></div></li></ul></li><li id='object_Ruff::Standard::Defer' class='collapsed'><div class='item' style='padding-left:60px'><a class='toggle'></a> <span class='object_link'><a href="Ruff/Standard/Defer.html" title="Ruff::Standard::Defer (module)">Defer</a></span><small class='search_info'>Ruff::Standard</small></div><ul><li id='object_Ruff::Standard::Defer::Instance' class='collapsed'><div class='item' style='padding-left:75px'><span class='object_link'><a href="Ruff/Standard/Defer/Instance.html" title="Ruff::Standard::Defer::Instance (class)">Instance</a></span> &lt; Object<small class='search_info'>Ruff::Standard::Defer</small></div></li></ul></li><li id='object_Ruff::Standard::MeasureTime' class='collapsed'><div class='item' style='padding-left:60px'><a class='toggle'></a> <span class='object_link'><a href="Ruff/Standard/MeasureTime.html" title="Ruff::Standard::MeasureTime (module)">MeasureTime</a></span><small class='search_info'>Ruff::Standard</small></div><ul><li id='object_Ruff::Standard::MeasureTime::Instance' class='collapsed'><div class='item' style='padding-left:75px'><span class='object_link'><a href="Ruff/Standard/MeasureTime/Instance.html" title="Ruff::Standard::MeasureTime::Instance (class)">Instance</a></span> &lt; Object<small class='search_info'>Ruff::Standard::MeasureTime</small></div></li></ul></li><li id='object_Ruff::Standard::State' class='collapsed'><div class='item' style='padding-left:60px'><a class='toggle'></a> <span class='object_link'><a href="Ruff/Standard/State.html" title="Ruff::Standard::State (module)">State</a></span><small class='search_info'>Ruff::Standard</small></div><ul><li id='object_Ruff::Standard::State::Instance' class='collapsed'><div class='item' style='padding-left:75px'><span class='object_link'><a href="Ruff/Standard/State/Instance.html" title="Ruff::Standard::State::Instance (class)">Instance</a></span> &lt; Object<small class='search_info'>Ruff::Standard::State</small></div></li></ul></li></ul></li><li id='object_Ruff::Throws' class='collapsed even'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Ruff/Throws.html" title="Ruff::Throws (module)">Throws</a></span><small class='search_info'>Ruff</small></div><ul><li id='object_Ruff::Throws::Eff' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Ruff/Throws/Eff.html" title="Ruff::Throws::Eff (class)">Eff</a></span> &lt; Object<small class='search_info'>Ruff::Throws</small></div></li><li id='object_Ruff::Throws::Resend' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Ruff/Throws/Resend.html" title="Ruff::Throws::Resend (class)">Resend</a></span> &lt; Object<small class='search_info'>Ruff::Throws</small></div></li></ul></li></ul></li>
 
       </ul>
     </div>

data/docs/file.README.html

@@ -6,7 +6,7 @@
 <title>
   File: README
   
-    &mdash; Ruff 1.0.1 Documentation
+    &mdash; Ruff 1.1.0 Documentation
   
 </title>
 
@@ -146,9 +146,9 @@
 </div></div>
 
       <div id="footer">
-  Generated on Fri Oct  4 13:57:07 2019 by
+  Generated on Fri Oct  4 21:12:21 2019 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
-  0.9.20 (ruby-2.6.4).
+  0.9.20 (ruby-2.6.5).
 </div>
 
     </div>

data/docs/frames.html

@@ -2,7 +2,7 @@
 <html>
 <head>
   <meta charset="utf-8">
-	<title>Ruff 1.0.1 Documentation</title>
+	<title>Ruff 1.1.0 Documentation</title>
 </head>
 <script type="text/javascript" charset="utf-8">
   var match = unescape(window.location.hash).match(/^#!(.+)/);

data/docs/index.html

@@ -6,7 +6,7 @@
 <title>
   File: README
   
-    &mdash; Ruff 1.0.1 Documentation
+    &mdash; Ruff 1.1.0 Documentation
   
 </title>
 
@@ -146,9 +146,9 @@
 </div></div>
 
       <div id="footer">
-  Generated on Fri Oct  4 13:57:07 2019 by
+  Generated on Fri Oct  4 21:12:21 2019 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
-  0.9.20 (ruby-2.6.4).
+  0.9.20 (ruby-2.6.5).
 </div>
 
     </div>

data/docs/method_list.html

@@ -92,6 +92,22 @@
   </li>
   
 
+  <li class="odd ">
+    <div class="item">
+      <span class='object_link'><a href="Ruff/Standard/MeasureTime/Instance.html#eff-instance_method" title="Ruff::Standard::MeasureTime::Instance#eff (method)">#eff</a></span>
+      <small>Ruff::Standard::MeasureTime::Instance</small>
+    </div>
+  </li>
+  
+
+  <li class="even ">
+    <div class="item">
+      <span class='object_link'><a href="Ruff/Standard/MeasureTime.html#eff-instance_method" title="Ruff::Standard::MeasureTime#eff (method)">#eff</a></span>
+      <small>Ruff::Standard::MeasureTime</small>
+    </div>
+  </li>
+  
+
   <li class="odd ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/State/Instance.html#eff-instance_method" title="Ruff::Standard::State::Instance#eff (method)">#eff</a></span>
@@ -221,6 +237,14 @@
   
 
   <li class="odd ">
+    <div class="item">
+      <span class='object_link'><a href="Ruff/Standard/MeasureTime/Instance.html#initialize-instance_method" title="Ruff::Standard::MeasureTime::Instance#initialize (method)">#initialize</a></span>
+      <small>Ruff::Standard::MeasureTime::Instance</small>
+    </div>
+  </li>
+  
+
+  <li class="even ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/State/Instance.html#initialize-instance_method" title="Ruff::Standard::State::Instance#initialize (method)">#initialize</a></span>
       <small>Ruff::Standard::State::Instance</small>
@@ -228,7 +252,7 @@
   </li>
   
 
-  <li class="even ">
+  <li class="odd ">
     <div class="item">
       <span class='object_link'><a href="Ruff.html#instance-class_method" title="Ruff.instance (method)">instance</a></span>
       <small>Ruff</small>
@@ -236,7 +260,7 @@
   </li>
   
 
-  <li class="odd ">
+  <li class="even ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Throws/Resend.html#k-instance_method" title="Ruff::Throws::Resend#k (method)">#k</a></span>
       <small>Ruff::Throws::Resend</small>
@@ -244,7 +268,23 @@
   </li>
   
 
+  <li class="odd ">
+    <div class="item">
+      <span class='object_link'><a href="Ruff/Standard/MeasureTime/Instance.html#measure-instance_method" title="Ruff::Standard::MeasureTime::Instance#measure (method)">#measure</a></span>
+      <small>Ruff::Standard::MeasureTime::Instance</small>
+    </div>
+  </li>
+  
+
   <li class="even ">
+    <div class="item">
+      <span class='object_link'><a href="Ruff/Standard/MeasureTime.html#measure-class_method" title="Ruff::Standard::MeasureTime.measure (method)">measure</a></span>
+      <small>Ruff::Standard::MeasureTime</small>
+    </div>
+  </li>
+  
+
+  <li class="odd ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/State/Instance.html#modify-instance_method" title="Ruff::Standard::State::Instance#modify (method)">#modify</a></span>
       <small>Ruff::Standard::State::Instance</small>
@@ -252,7 +292,7 @@
   </li>
   
 
-  <li class="odd ">
+  <li class="even ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/State.html#modify-class_method" title="Ruff::Standard::State.modify (method)">modify</a></span>
       <small>Ruff::Standard::State</small>
@@ -260,7 +300,7 @@
   </li>
   
 
-  <li class="even ">
+  <li class="odd ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Handler.html#on-instance_method" title="Ruff::Handler#on (method)">#on</a></span>
       <small>Ruff::Handler</small>
@@ -268,7 +308,7 @@
   </li>
   
 
-  <li class="odd ">
+  <li class="even ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Effect.html#perform-instance_method" title="Ruff::Effect#perform (method)">#perform</a></span>
       <small>Ruff::Effect</small>
@@ -276,7 +316,7 @@
   </li>
   
 
-  <li class="even ">
+  <li class="odd ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/State/Instance.html#put-instance_method" title="Ruff::Standard::State::Instance#put (method)">#put</a></span>
       <small>Ruff::Standard::State::Instance</small>
@@ -284,7 +324,7 @@
   </li>
   
 
-  <li class="odd ">
+  <li class="even ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/State.html#put-class_method" title="Ruff::Standard::State.put (method)">put</a></span>
       <small>Ruff::Standard::State</small>
@@ -292,7 +332,7 @@
   </li>
   
 
-  <li class="even ">
+  <li class="odd ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/Defer/Instance.html#register-instance_method" title="Ruff::Standard::Defer::Instance#register (method)">#register</a></span>
       <small>Ruff::Standard::Defer::Instance</small>
@@ -300,7 +340,7 @@
   </li>
   
 
-  <li class="odd ">
+  <li class="even ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/Defer.html#register-class_method" title="Ruff::Standard::Defer.register (method)">register</a></span>
       <small>Ruff::Standard::Defer</small>
@@ -308,7 +348,7 @@
   </li>
   
 
-  <li class="even ">
+  <li class="odd ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Handler.html#run-instance_method" title="Ruff::Handler#run (method)">#run</a></span>
       <small>Ruff::Handler</small>
@@ -316,7 +356,7 @@
   </li>
   
 
-  <li class="odd ">
+  <li class="even ">
     <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>
@@ -324,7 +364,7 @@
   </li>
   
 
-  <li class="even ">
+  <li class="odd ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/CurrentTime/Instance.html#with-instance_method" title="Ruff::Standard::CurrentTime::Instance#with (method)">#with</a></span>
       <small>Ruff::Standard::CurrentTime::Instance</small>
@@ -332,7 +372,7 @@
   </li>
   
 
-  <li class="odd ">
+  <li class="even ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/CurrentTime.html#with-class_method" title="Ruff::Standard::CurrentTime.with (method)">with</a></span>
       <small>Ruff::Standard::CurrentTime</small>
@@ -340,7 +380,7 @@
   </li>
   
 
-  <li class="even ">
+  <li class="odd ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/Defer/Instance.html#with-instance_method" title="Ruff::Standard::Defer::Instance#with (method)">#with</a></span>
       <small>Ruff::Standard::Defer::Instance</small>
@@ -348,7 +388,7 @@
   </li>
   
 
-  <li class="odd ">
+  <li class="even ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/Defer.html#with-class_method" title="Ruff::Standard::Defer.with (method)">with</a></span>
       <small>Ruff::Standard::Defer</small>
@@ -356,7 +396,23 @@
   </li>
   
 
+  <li class="odd ">
+    <div class="item">
+      <span class='object_link'><a href="Ruff/Standard/MeasureTime/Instance.html#with-instance_method" title="Ruff::Standard::MeasureTime::Instance#with (method)">#with</a></span>
+      <small>Ruff::Standard::MeasureTime::Instance</small>
+    </div>
+  </li>
+  
+
   <li class="even ">
+    <div class="item">
+      <span class='object_link'><a href="Ruff/Standard/MeasureTime.html#with-class_method" title="Ruff::Standard::MeasureTime.with (method)">with</a></span>
+      <small>Ruff::Standard::MeasureTime</small>
+    </div>
+  </li>
+  
+
+  <li class="odd ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/State/Instance.html#with-instance_method" title="Ruff::Standard::State::Instance#with (method)">#with</a></span>
       <small>Ruff::Standard::State::Instance</small>
@@ -364,7 +420,7 @@
   </li>
   
 
-  <li class="odd ">
+  <li class="even ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/State.html#with-class_method" title="Ruff::Standard::State.with (method)">with</a></span>
       <small>Ruff::Standard::State</small>
@@ -372,7 +428,7 @@
   </li>
   
 
-  <li class="even ">
+  <li class="odd ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/State/Instance.html#with_init-instance_method" title="Ruff::Standard::State::Instance#with_init (method)">#with_init</a></span>
       <small>Ruff::Standard::State::Instance</small>
@@ -380,7 +436,7 @@
   </li>
   
 
-  <li class="odd ">
+  <li class="even ">
     <div class="item">
       <span class='object_link'><a href="Ruff/Standard/State.html#with_init-class_method" title="Ruff::Standard::State.with_init (method)">with_init</a></span>
       <small>Ruff::Standard::State</small>

data/docs/top-level-namespace.html

@@ -6,7 +6,7 @@
 <title>
   Top Level Namespace
   
-    &mdash; Ruff 1.0.1 Documentation
+    &mdash; Ruff 1.1.0 Documentation
   
 </title>
 
@@ -100,9 +100,9 @@
 </div>
 
       <div id="footer">
-  Generated on Fri Oct  4 13:57:07 2019 by
+  Generated on Fri Oct  4 21:12:21 2019 by
   <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
-  0.9.20 (ruby-2.6.4).
+  0.9.20 (ruby-2.6.5).
 </div>
 
     </div>

data/lib/ruff.rb

@@ -12,7 +12,7 @@ module Ruff
     # @see Effect.initialize Effect.initialize
     #
     # @example
-    #   Log = Ruff.instance # === Ruff::Effect.new
+    #   Log = Ruff.instance #==> Ruff::Effect.new
     def instance
       Effect.new
     end

data/lib/ruff/standard.rb

@@ -18,6 +18,8 @@
 #
 module Ruff::Standard end
 
+require 'ruff'
 require 'ruff/standard/current_time'
+require 'ruff/standard/measure_time'
 require 'ruff/standard/defer'
 require 'ruff/standard/state'

data/lib/ruff/standard/current_time.rb

@@ -9,6 +9,7 @@ module Ruff::Standard::CurrentTime
     # makes a new instance.
     def initialize
       @eff = Ruff.instance
+      @handler = Ruff.handler.on(@eff) { |k| k[Time.now] }
     end
 
     # is a smart method to invoke the effect operation.
@@ -21,7 +22,7 @@ module Ruff::Standard::CurrentTime
     # is a handler to interpret the effect invokation as requesting the current time.
     # This handler receives the *request* and returns current time.
     #
-    # @param [Proc<(), A>!{CurrentTime.eff, e}] th
+    # @param [Proc<(), A!{CurrentTime.eff, e}>] th
     #  is a thunk returning `A` with the possibility to invoke effects,
     #  including `CurrentTime.eff` .
     #
@@ -29,7 +30,7 @@ module Ruff::Standard::CurrentTime
     #   returns `A` , without modification by value handler.
     #   But it still has the possibility to invoke effects(`e`).
     def with(&th)
-      Ruff.handler.on(@eff) { |k| k[Time.now] }.run(&th)
+        @handler.run(&th)
     end
 
     # You can reimplement the handler using this effect instance.

data/lib/ruff/standard/defer.rb

@@ -33,14 +33,17 @@ module Ruff::Standard::Defer
       # This is a stack to store deferred procedures.
       procs = []
 
+      # The handler *closes* `procs` variable so it should be created every time.
       Ruff.handler
           .on(@eff) do |k, prc|
         procs << prc
         k[]
       end
-          .to do |_|
+          .to do |v|
         # Like Go's defer functions, it crashes the thunk by reversed order.
         procs.reverse_each(&:[])
+
+        v
       end
           .run(&th)
     end

data/lib/ruff/standard/measure_time.rb

@@ -0,0 +1,77 @@
+# frozen_string_literal: true
+
+# `MeasureTime` provides effects `MeasureTime.eff` ,
+# and the implementation to measure and report execution time .
+#
+# The module has an instance of `Instance` and provides its methods as module method.
+# @see Standard::MeasureTime::Instance
+#
+# @example
+#   MeasureTime.with {
+#     MeasureTime.measure 'one'
+#     sleep 1
+#     MeasureTime.measure 'two'
+#     sleep 0.1
+#
+#     return 0
+#   }
+#   #==> [0, {:label=>"two", :time=>0.1}, {:label=>"one", :time=>1.1}]
+module Ruff::Standard::MeasureTime
+  class Instance
+    # makes a new instance.
+    def initialize
+      @eff = Ruff.instance
+      @handler = Ruff.handler
+          .on(@eff) do |k, label|
+        t1 = Time.now
+        result = k[]
+        t2 = Time.now
+        result + [{ label: label, time: t2 - t1 }]
+      end
+          .to { |x| [x] }
+    end
+
+    # is a smart method to invoke the effect operation.
+    # @param [string] label
+    #   is the label of the measurement.
+    # @return [()]
+    def measure(label)
+      @eff.perform(label)
+    end
+
+    # is a handler to interpret the effect invocation as measuring computation time.
+    #
+    # @param [Proc<(), A!{MeasureTime.eff, e}>] th
+    #  is a thunk returning `A` with the possibility to invoke effects,
+    #  including `MeasureTime.eff` .
+    #
+    # @return [[A, ...{ label: string, time: float }]!{e}]
+    #   returns list. the first is the result `A`, and the rest is the measurement results.
+    #   It still has the possibility to invoke effects(`e`).
+    def with(&th)
+      @handler.run(&th)
+    end
+
+    # You can reimplement the handler using this effect instance.
+    attr_reader :eff
+  end
+
+  # ---
+  @inst = Instance.new
+  @eff = @inst.eff
+
+  # @see Ruff::Standard::MeasureTime::Instance#measure
+  def measure(label)
+    @inst.measure(label)
+  end
+
+  # @see Ruff::Standard::MeasureTime::Instance#with
+  def with(&th)
+    @inst.with(&th)
+  end
+
+  module_function :measure, :with
+
+  # @see Ruff::Standard::MeasureTime::Instance#eff
+  attr_reader :eff
+end