data.either 0.0.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: dab81e54473d3fc3faab4f7aeffa4bb51f2c70b3
+  data.tar.gz: 975af75a0be0c918e982c902d41cf24ef468668b
+SHA512:
+  metadata.gz: 4cbdc22b3a748a6668fafaaf10746185ba9ca1e9ea0df7021d258379eb4ce43c8b0741e5a727103be589c8a298805327b8cc022c4c32e74b1c3e7ba79ca198c6
+  data.tar.gz: 943ee4bdb6277cc9382af4cef7c4affc5545e99c4c417f7d24a2b7a49f4e1e4de72d0d94a1bef313181286bd71178395c50231b88e2afbe0273bc514cbb9836a

data/lib/either.rb

@@ -0,0 +1,95 @@
+# a very simple Either
+module Either
+  def initialize v
+    @v = v
+  end
+
+  def get_or_else e
+    case self
+      when Right
+        @v
+      else
+        e
+    end
+  end
+
+  # Functor
+  def map
+    case self
+    when Right
+      Right.new(yield @v)
+    else
+      self
+    end
+  end
+  
+  alias :fmap :map
+  
+  def left_map
+    case self
+    when Left
+      Left.new(yield @v)
+    else
+      self
+    end
+  end
+
+  def bimap lfn, rfn
+    case self
+      when Right
+        Right.new(rfn.(@v))
+      else
+        Left.new(lfn.(@v))
+    end
+  end
+
+  # Monad
+  def bind
+    case self
+    when Right
+      yield @v
+    else
+      self
+    end
+  end
+
+  alias :chain :bind
+  alias :flat_map :bind
+
+  def inspect
+    case self
+    when Left
+      "#<Left value=#{@v}>"
+    else
+      "#<Right value=#{@v}>"
+    end
+  end
+end
+
+class Left
+  include Either
+  def initialize v=nil
+    @v=v
+  end
+  
+  def == other
+    case other
+    when Left
+      other.left_map { |v| return v == @v }
+    else
+      false
+    end
+  end
+end
+
+class Right
+  include Either
+  def == other
+    case other
+    when Right
+      other.map { |v| return v == @v }
+    else
+      false
+    end
+  end
+end

metadata

@@ -0,0 +1,44 @@
+--- !ruby/object:Gem::Specification
+name: data.either
+version: !ruby/object:Gem::Version
+  version: 0.0.0
+platform: ruby
+authors:
+- Jichao Ouyang
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2016-08-18 00:00:00.000000000 Z
+dependencies: []
+description: The Either Monad
+email: oyanglulu@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- lib/either.rb
+homepage: https://github.com/jcouyang/cats.rb
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.4.5
+signing_key: 
+specification_version: 4
+summary: Either Data Type for Ruby
+test_files: []