t_algebra 0.1.3 → 0.1.4

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 6221dd03765274df626f469be73419363b05e6477d272b08ec52b1d84a2a4b53
-  data.tar.gz: de23c69aaba2ef29785c30e329b99b164c185664435da5d80ae0c6c45db2701b
+  metadata.gz: 73caa97534e32367521cfb546ff88fd128c784e24a64502e6ef718d843782db8
+  data.tar.gz: 58af8ae70b758560b338d4591c18a15a670dadbcbba6097afa4e7c055e3c20ce
 SHA512:
-  metadata.gz: 731382f98a5589bd8eae51bbc590eba8a4b08abe3fce0b4f28a39186884fa24c34c39547360c8babe1c81bf5b8357827dc7dbcaa1ffe0b27e6a6e21ed1c80aa2
-  data.tar.gz: b48960e069fbac98a2da345bf29fd6f8df55f160c7d25fad674e2918522ff8c5024c366ab9d08d85eea144ed8af7ea070e25857ba5543b1f3c0b0751639bf791
+  metadata.gz: 1187a260b07ab04d8355ea9a777d4d26b7c727170ea6588bb0c1e88b64e7468e231f9af9090d935f5a40beb51bd45efe4abda878349655ec879ea11d2c06c40e
+  data.tar.gz: 995fbbc1994d8fb7a6b8d6825f3862ba3b821ed386f015e7c0c3574d5bfe3619c99c21aaaa30ad2c89b911e0594259ca27889525680db61627efc4ba756ccf46

data/Gemfile.lock

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

data/lib/t_algebra/monad/either.rb

@@ -17,14 +17,16 @@ module TAlgebra
         end
       end
 
-      def fmap(&block)
-        return dup if left? || !block
+      def fmap
+        raise UseError.new("#fmap requires a block") unless block_given?
+        return dup if left?
 
         self.class.pure(yield(value))
       end
 
       def bind(&block)
-        return dup if left? || !block
+        raise UseError.new("#bind requires a block") unless block
+        return dup if left?
 
         self.class.instance_exec(value, &block)
       end
@@ -37,7 +39,12 @@ module TAlgebra
         is == RIGHT
       end
 
+      def from_either!
+        from_either { |e| raise UnsafeError.new("#from_either! exception. #{e}") }
+      end
+
       def from_either
+        raise UseError.new("#from_either called without block") unless block_given?
         return yield(value) if left?
         value
       end

data/lib/t_algebra/monad/errors.rb

@@ -0,0 +1,9 @@
+module TAlgebra
+  module Monad
+    class UseError < StandardError
+    end
+
+    class UnsafeError < StandardError
+    end
+  end
+end

data/lib/t_algebra/monad/maybe.rb

@@ -19,6 +19,12 @@ module TAlgebra
         def to_maybe(value_or_nil)
           value_or_nil.nil? ? nothing : pure(value_or_nil)
         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.bind(&block)
+        # end
       end
 
       def fmap(&block)
@@ -39,11 +45,24 @@ module TAlgebra
         is == JUST
       end
 
+      def from_maybe!
+        from_maybe { |e| raise UnsafeError.new("#from_maybe! exception. #{e}") }
+      end
+
       def from_maybe
+        raise UseError.new("#from_maybe called without block") unless block_given?
         return yield if nothing?
         value
       end
 
+      def fetch(key)
+        bind do |o|
+          self.class.to_maybe(
+            o.respond_to?(:[]) ? o[key] : o.send(key)
+          )
+        end
+      end
+
       def ==(other)
         to_obj == other.to_obj
       end

data/lib/t_algebra/monad/parser.rb

@@ -10,21 +10,19 @@ module TAlgebra
 
       class << self
         def failure(msg, name = nil)
-          left(msg).with_name(name)
+          new(is: Either::LEFT, value: msg, name: name)
         end
 
         def parse(val, name = nil)
-          right(val).with_name(name)
+          new(is: Either::RIGHT, value: val, name: name)
         end
 
         def fetch(o, key)
-          parser = parse(o.respond_to?(:[]) ? o[key] : o.send(key))
-          parser.with_name(key).optional
+          parse(o).fetch(key)
         end
 
         def fetch!(o, key)
-          parser = parse(o.respond_to?(:[]) ? o[key] : o.send(key))
-          parser.with_name(key).required
+          parse(o).fetch!(key)
         end
 
         def run_bind(ma, &block)
@@ -34,21 +32,21 @@ module TAlgebra
         end
       end
 
+      alias_method :valid?, :right?
+      alias_method :failure?, :left?
+
       attr_reader :name
       def with_name(name)
         @name = name
         self
       end
 
-      alias_method :valid?, :right?
-      alias_method :failure?, :left?
-
       def fetch(key)
-        fmap { |o| o.respond_to?(:[]) ? o[key] : o.send(key) }.optional
+        with_name(key).fmap { |o| o.respond_to?(:[]) ? o[key] : o.send(key) }.optional
       end
 
       def fetch!(key)
-        fmap { |o| o.respond_to?(:[]) ? o[key] : o.send(key) }.required
+        with_name(key).fmap { |o| o.respond_to?(:[]) ? o[key] : o.send(key) }.required
       end
 
       def fmap
@@ -79,6 +77,10 @@ module TAlgebra
         from_either(&block)
       end
 
+      def extract_parsed!
+        extract_parsed { |e| raise UnsafeError.new("#extract_parsed! exception. #{e}") }
+      end
+
       def required
         validate("Is required") { |v| !v.nil? }
       end

data/lib/t_algebra/monad.rb

@@ -21,9 +21,9 @@ module TAlgebra
         run_recursive(e, [])
       end
 
-      def run_bind(ma)
+      def run_bind(ma, &block)
         raise "Yield blocks must return instances of #{self}" unless ma.instance_of?(self)
-        ma.bind
+        ma.bind(&block)
       end
 
       def lift_a2(ma, mb, &block)
@@ -45,7 +45,8 @@ module TAlgebra
         end
 
         if is_complete(enum)
-          pure(value(enum))
+          val = value(enum)
+          val.is_a?(self.class) ? val : pure(val)
         else
           run_bind(enum.next.call) do |a|
             run_recursive(enum, historical_values + [a])

data/lib/t_algebra/version.rb

@@ -1,3 +1,3 @@
 module TAlgebra
-  VERSION = "0.1.3"
+  VERSION = "0.1.4"
 end

data/lib/t_algebra.rb

@@ -2,6 +2,7 @@ require_relative "t_algebra/version"
 require_relative "t_algebra/functor"
 require_relative "t_algebra/applicative"
 require_relative "t_algebra/monad"
+require_relative "t_algebra/monad/errors"
 require_relative "t_algebra/monad/maybe"
 require_relative "t_algebra/monad/either"
 require_relative "t_algebra/monad/list"

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: t_algebra
 version: !ruby/object:Gem::Version
-  version: 0.1.3
+  version: 0.1.4
 platform: ruby
 authors:
 - aaron
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-12-06 00:00:00.000000000 Z
+date: 2021-12-07 00:00:00.000000000 Z
 dependencies: []
 description:
 email:
@@ -33,6 +33,7 @@ files:
 - lib/t_algebra/functor.rb
 - lib/t_algebra/monad.rb
 - lib/t_algebra/monad/either.rb
+- lib/t_algebra/monad/errors.rb
 - lib/t_algebra/monad/list.rb
 - lib/t_algebra/monad/maybe.rb
 - lib/t_algebra/monad/parser.rb