monadt 0.1.1 → 0.1.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 4277be1ebc2c809bce2b0d6db287229852bd17de
-  data.tar.gz: ae2ab51f492de99a09e4375753c9b3c623c96f50
+  metadata.gz: a11eed822647903a69b40b4f8bcd3e63bf05dabc
+  data.tar.gz: bf5a354e4fb2a4da445b14ad66ed336f5a54d5e9
 SHA512:
-  metadata.gz: a4dbfc6e221f47b26b4ef2c38f671bdab6f2d657ecef37a7bd5ad37e00183ec8f5fe4b9073929be39ec28d9ee027dd8610c45bf8afde7285ee5765cedc731d77
-  data.tar.gz: 6bd0dc62338a9207936698fba178f5859225667f40764ecfd34ab75cf2316023e63d3c57839ad24d99cb801c24806231ed15957a43de8fdc53312a2e3e47c9e1
+  metadata.gz: 6560a66faa59564d31ae3f25fe308c5a5ecf4c0458055aa2aaa959ba5632395cc8f32e73cd6173b92e203401bfe5e85ae38fc633aef64ba1b76d3128e73707e0
+  data.tar.gz: a54f2e9aeee439626ecd68b30f4a63209fd5cf3950a43dc83730f024392f4eb2c36c95d5443fbf85668deb6e21ebe7b1a994b6d82dd3338cbad7e565ffef753b

data/lib/monadt/do_m/enumerator.rb

@@ -0,0 +1,44 @@
+require 'fiber'
+
+module Monadt
+  module Enum
+    class MonadObj
+      def initialize(klass, yielder)
+        @klass = klass
+        @yielder = yielder
+      end
+
+      def return(val)
+        @klass.return val
+      end
+
+      def bind(val)
+        @yielder.yield val
+      end
+    end
+  end
+
+  class DoMEnumerator
+    class << self
+      def do_m(klass, &blk)
+        e = Enumerator.new do |y|
+          m_obj = Enum::MonadObj.new klass, y
+          blk.call(m_obj)
+        end
+        do_m_recur(klass, e)
+      end
+
+      def do_m_recur(klass, e)
+        begin
+          ma = e.next
+        rescue StopIteration => ex
+          return ex.result
+        end
+        klass.bind(ma) do |a|
+          e.feed a
+          do_m_recur(klass, e)
+        end
+      end
+    end
+  end
+end

data/lib/monadt/do_m/fiber.rb

@@ -0,0 +1,42 @@
+require 'fiber'
+
+module Monadt
+  module Fibr
+    class MonadObj
+      def initialize(klass)
+        @klass = klass
+      end
+
+      def return(val)
+        @klass.return val
+      end
+
+      def bind(val)
+        Fiber.yield val
+      end
+    end
+  end
+
+  class DoMFiber
+    class << self
+      def do_m(klass, &blk)
+        f = Fiber.new do |y|
+          m_obj = Fibr::MonadObj.new klass
+          blk.call(m_obj)
+        end
+        do_m_recur(klass, f, nil)
+      end
+
+      def do_m_recur(klass, f, ma, *args)
+        if f.alive?
+          ma = f.resume(*args)
+          klass.bind(ma) do |a|
+            do_m_recur(klass, f, ma, a)
+          end
+        else
+          ma
+        end
+      end
+    end
+  end
+end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: monadt
 version: !ruby/object:Gem::Version
-  version: 0.1.1
+  version: 0.1.2
 platform: ruby
 authors:
 - Will Pleasant-Ryan
@@ -22,6 +22,8 @@ files:
 - lib/monadt/async.rb
 - lib/monadt/async_either.rb
 - lib/monadt/do_m.rb
+- lib/monadt/do_m/enumerator.rb
+- lib/monadt/do_m/fiber.rb
 - lib/monadt/either.rb
 - lib/monadt/list.rb
 - lib/monadt/maybe.rb