monadt 0.0.3 → 0.1.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 863be54459ee08e42d9a2682104719735b724da2
-  data.tar.gz: fa751eb65fb7a10fc6863d5f16cf037c65353e69
+  metadata.gz: 7746a87e5355708be40ab3440bb65ea902e9add0
+  data.tar.gz: 6baed7771d0bb368794f0314d26bc18f8f51d292
 SHA512:
-  metadata.gz: 4c198edcb1743883fab715e7050c7e31a3b33cb774c10e3620eab2026c14ebc49800e8fbcd0e3a48d7c8820a121f1cda9405135bec22373c7ee7ebb280077878
-  data.tar.gz: 4b2ede1a7d701e3283c87c74d9b6a0214c8c1155accd54738eb71d69a5f9a17dd77a3ffc5989b2df3c9e9ecd93b239414a4930f4408210bb45072e8406f8b51e
+  metadata.gz: 61d461c44b602499a075876e5883731553f173db40ef3a267dcc099c1061ab6a3bc399a169ba8763df39ba7d1e266b7f6fc9c1f5df74f47d436709084fbfba67
+  data.tar.gz: fd8712a4f9092c683b906ab02908afae83ef4497f9bfbb5f3e5c82a8ad9a65c25155a3e76c2dd300fa3b5c3a9c0994bae501bb67a310c3346fdfea06e5f90d02

data/lib/monadt.rb

@@ -1,6 +1,8 @@
 require 'monadt/maybe'
 require 'monadt/either'
+require 'monadt/async'
 require 'monadt/state'
+require 'monadt/async_either'
 require 'monadt/reader_state_either'
 require 'monadt/monad'
 
@@ -19,6 +21,14 @@ module Monadt
         do_m(Either, &blk)
       end
 
+      def async(&blk)
+        do_m(Async, &blk)
+      end
+
+      def async_either(&blk)
+        do_m(AsyncEither, &blk)
+      end
+
       def state(&blk)
         do_m(State, &blk)
       end

data/lib/monadt/async.rb

@@ -0,0 +1,24 @@
+require 'monadt/adt'
+
+module Monadt
+  class Async
+    class << self
+
+      def bind(m, &blk)
+        a = m.resume
+        m2 = blk.call(a)
+        if m2.alive?
+          m2
+        else
+          self.return a
+        end
+      end
+
+      def return(a)
+        Fiber.new { a }
+      end
+    end
+
+  end
+end
+

data/lib/monadt/async_either.rb

@@ -0,0 +1,28 @@
+require 'monadt/adt'
+require 'monadt/either'
+
+module Monadt
+  class AsyncEither
+    class << self
+      include Adt
+
+      def bind(m, &blk)
+        a = m.resume
+        match(a,
+          with(Either::Left) { |v| Async.return a },
+          with(Either::Right) { |v|
+            m2 = blk.call(v)
+            if m2.alive?
+              m2
+            else
+              Async.return a
+            end
+          })
+      end
+
+      def return(a)
+        Async.return(Either.return(a))
+      end
+    end
+  end
+end

data/lib/monadt/monad.rb

@@ -1,9 +1,25 @@
+require 'fiber'
+
 module Monadt
   module Internal
-    class MonadObj
+    class MonadObjFiber
+      def initialize(klass)
+        @klass = klass
+      end
+
+      def return(val)
+        @klass.return val
+      end
+
+      def bind(val)
+        Fiber.yield val
+      end
+    end
+
+    class MonadObjEnum
       def initialize(klass, yielder)
-        @yielder = yielder
         @klass = klass
+        @yielder = yielder
       end
 
       def return(val)
@@ -19,14 +35,37 @@ module Monadt
   class Monad
     class << self
       def do_m(klass, &blk)
+        do_m_fiber(klass, &blk)
+      end
+
+      def do_m_fiber(klass, &blk)
+        f = Fiber.new do |y|
+          m_obj = Internal::MonadObjFiber.new klass
+          blk.call(m_obj)
+        end
+        do_m_recur_fiber(klass, f, nil)
+      end
+
+      def do_m_recur_fiber(klass, f, ma, *args)
+        if f.alive?
+          ma = f.resume(*args)
+          klass.bind(ma) do |a|
+            do_m_recur_fiber(klass, f, ma, a)
+          end
+        else
+          ma
+        end
+      end
+
+      def do_m_enum(klass, &blk)
         e = Enumerator.new do |y|
-          m_obj = Internal::MonadObj.new klass, y
+          m_obj = Internal::MonadObjEnum.new klass, y
           blk.call(m_obj)
         end
-        do_m_recur(klass, e)
+        do_m_recur_enum(klass, e)
       end
 
-      def do_m_recur(klass, e)
+      def do_m_recur_enum(klass, e)
         begin
           ma = e.next
         rescue StopIteration => ex
@@ -34,7 +73,7 @@ module Monadt
         end
         klass.bind(ma) do |a|
           e.feed a
-          do_m_recur(klass, e)
+          do_m_recur_enum(klass, e)
         end
       end
     end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: monadt
 version: !ruby/object:Gem::Version
-  version: 0.0.3
+  version: 0.1.0
 platform: ruby
 authors:
 - Will Pleasant-Ryan
@@ -19,6 +19,8 @@ extra_rdoc_files: []
 files:
 - lib/monadt.rb
 - lib/monadt/adt.rb
+- lib/monadt/async.rb
+- lib/monadt/async_either.rb
 - lib/monadt/either.rb
 - lib/monadt/list.rb
 - lib/monadt/maybe.rb