t_algebra 0.1.1 → 0.1.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 47c013dcdeaf282791c7043884001899230c9d47bd4e33b27b25654982bd59e1
-  data.tar.gz: 3d063906d1a462276f0a8ab12bb09cfb5ded2b9e6b9630206b5b81966784d750
+  metadata.gz: 2c61dbc20ba8e3f3b37778601949560237c224902454ab26b935c5dc048c8511
+  data.tar.gz: 1a9f3e3b7dc17c500c7e827514cc332b1ac9d4c5da919d8de9c4cd16cb1fc6a8
 SHA512:
-  metadata.gz: b16ffc8e653ff03cc6128863943c41367be132d4218041a9e636ce74495e7657a6468146449c12661d1dc4f66be2e2ac6e3342e31bb6677a20b36a267d44cc4d
-  data.tar.gz: 7070554503dcec80113967176aa703481989aa716d8758f28bb07ae8b1e7e5a42acd94f84a399e7ad393d53c2526f61a0f1cb5f8ec2121864674d2f80fdd90a3
+  metadata.gz: 823c7c82e469fb68b44cb00dda7f796ce1d8c1717c9cb312e659d42a68d21a46b43c34b8af08792728fb13042302138b212c9ec93d1ccf1b338ba13036c6afb8
+  data.tar.gz: 0b6223275fa9dc3b21e31ad1a0975457e3214351aa4b008cd1e894ef51bd2fca60e60159a42f9c55f9d5ce49da8fd487502b7d4ce3991891ba6c452e6ecf5899

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    t_algebra (0.1.0)
+    t_algebra (0.1.1)
 
 GEM
   remote: https://rubygems.org/

data/lib/t_algebra/monad/parser.rb

@@ -26,6 +26,12 @@ module TAlgebra
           parser = parse(o.respond_to?(:[]) ? o[key] : o.send(key))
           parser.with_name(key).required
         end
+
+        def run_bind(ma, &block)
+          raise "Yield blocks must return instances of #{self}. Got #{ma.class}" unless [Parser, Parser::Optional].include?(ma.class)
+
+          ma.as_parser.bind(&block)
+        end
       end
 
       attr_reader :name
@@ -91,6 +97,10 @@ module TAlgebra
         end
       end
 
+      def as_parser
+        instance_of?(Parser::Optional) ? Parser.new(is: is, value: value, name: name) : self
+      end
+
       private
 
       def dup

data/lib/t_algebra/monad.rb

@@ -21,6 +21,11 @@ module TAlgebra
         run_recursive(e, [])
       end
 
+      def run_bind(ma)
+        raise "Yield blocks must return instances of #{self}" unless ma.instance_of?(self)
+        ma.bind
+      end
+
       def lift_a2(ma, mb, &block)
         ma.bind do |a|
           mb.bind do |b|
@@ -42,7 +47,7 @@ module TAlgebra
         if is_complete(enum)
           pure(value(enum))
         else
-          enum.next.call.bind do |a|
+          run_bind(enum.next.call) do |a|
             run_recursive(enum, historical_values + [a])
           end
         end

data/lib/t_algebra/version.rb

@@ -1,3 +1,3 @@
 module TAlgebra
-  VERSION = "0.1.1"
+  VERSION = "0.1.2"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: t_algebra
 version: !ruby/object:Gem::Version
-  version: 0.1.1
+  version: 0.1.2
 platform: ruby
 authors:
 - aaron