either 0.0.1 → 0.0.2

data/.travis.yml

@@ -0,0 +1,6 @@
+rvm:
+  - 2.0.0
+  - 1.9.3
+  - 1.9.2
+  - 1.8.7
+  - rbx-19mode

data/Gemfile.lock

@@ -2,12 +2,14 @@ PATH
   remote: .
   specs:
     either (0.0.1)
+      optional
 
 GEM
   remote: https://rubygems.org/
   specs:
     diff-lcs (1.2.4)
     multi_json (1.7.7)
+    optional (0.0.6)
     rake (10.1.0)
     rspec (2.13.0)
       rspec-core (~> 2.13.0)

data/README.md

@@ -0,0 +1,2 @@
+[![Build Status](https://travis-ci.org/rsslldnphy/either.png)](https://travis-ci.org/rsslldnphy/either)
+[![Code Climate](https://codeclimate.com/github/rsslldnphy/either.png)](https://codeclimate.com/github/rsslldnphy/either)

data/either.gemspec

@@ -1,6 +1,6 @@
 Gem::Specification.new do |s|
   s.name          = 'either'
-  s.version       = '0.0.1'
+  s.version       = '0.0.2'
   s.date          = '2013-07-10'
   s.summary       = "Either types with pattern matching"
   s.description   = "Stop using exceptions for control flow!"
@@ -10,7 +10,9 @@ Gem::Specification.new do |s|
   s.test_files    = s.files.grep(%r{^(test|spec|features)/})
   s.require_paths = ["lib"]
   s.homepage      = 'http://github.com/rsslldnphy/either'
+  s.license       = 'MIT'
 
+  s.add_runtime_dependency "optional"
   s.add_development_dependency "rake"
   s.add_development_dependency "rspec"
   s.add_development_dependency "simplecov"

data/lib/either.rb

@@ -0,0 +1,10 @@
+module Either
+  def match &block
+    Match.new.tap { |m| block.call(m) }.evaluate(self)
+  end
+end
+
+require 'optional'
+require 'left'
+require 'right'
+require 'either/match'

data/lib/either/match.rb

@@ -0,0 +1,74 @@
+module Either
+  class Match
+
+    def initialize
+      @lefts = []
+      @rights = []
+    end
+
+    def left pattern=always, &block
+      @lefts << [(lambify pattern), block]
+    end
+
+    def right pattern=always, &block
+      @rights << [(lambify pattern), block]
+    end
+
+    def evaluate(either)
+      Evaluation.new(self, either).result
+    end
+
+    attr_reader :lefts, :rights
+
+    private
+
+    def lambify(pattern)
+      pattern.is_a?(Proc) ? pattern : ->(x){ x == pattern }
+    end
+
+    def always
+      ->(x) { true }
+    end
+
+    class Evaluation
+
+      def initialize(match, either)
+        @match  = match
+        @either = either
+      end
+
+      attr_reader :match, :either
+
+      def result
+        either.left? ? left_result : right_result
+      end
+
+      private
+
+      def left_result
+        left_match.call(either.left.value)
+      end
+
+      def right_result
+        right_match.call(either.right.value)
+      end
+
+      def left_match
+        lefts.find { |pattern, _| either.left.select(&pattern).some? }.last
+      end
+
+      def right_match
+        rights.find { |pattern, _| either.right.select(&pattern).some? }.last
+      end
+
+      def lefts
+        match.lefts
+      end
+
+      def rights
+        match.rights
+      end
+
+    end
+  end
+end

data/lib/left.rb

@@ -0,0 +1,31 @@
+class Left
+  include Either
+
+  def self.[] value
+    new value
+  end
+
+  def initialize(value)
+    @value = value
+  end
+
+  def left
+    Some[value]
+  end
+
+  def right
+    None
+  end
+
+  def left?
+    true
+  end
+
+  def right?
+    false
+  end
+
+  private
+
+  attr_reader :value
+end

data/lib/right.rb

@@ -0,0 +1,32 @@
+class Right
+  include Either
+
+  def self.[] value
+    new value
+  end
+
+  def initialize(value)
+    @value = value
+  end
+
+  def left
+    None
+  end
+
+  def right
+    Some[value]
+  end
+
+  def left?
+    false
+  end
+
+  def right?
+    true
+  end
+
+  private
+
+  attr_reader :value
+end
+

data/spec/lib/either/match_spec.rb

@@ -0,0 +1,21 @@
+require 'spec_helper'
+
+module Either
+  describe Match do
+
+    let (:match) { Match.new }
+
+    it 'can have a left match added to it' do
+      match.left { |x| x * 2 }
+    end
+
+    it 'can have a right match added to it' do
+      match.right { |x| x * 4 }
+    end
+
+    it 'evaluates the first match on the correct side that matches' do
+      match.left(5) { |x| x * x }
+      expect(match.evaluate(Left[5])).to eq 25
+    end
+  end
+end

data/spec/lib/either_spec.rb

@@ -0,0 +1,15 @@
+require 'spec_helper'
+
+describe Either do
+
+  it 'can have a left part' do
+    either = Left[:cats]
+    either.left.value.should eq :cats
+  end
+
+  it 'can have a right part' do
+    either = Right[:cats]
+    either.right.value.should eq :cats
+  end
+
+end

data/spec/lib/left_spec.rb

@@ -0,0 +1,27 @@
+require 'spec_helper'
+
+describe Left do
+
+  subject { Left[:foo] }
+
+  it { should be_left }
+  it { should_not be_right }
+
+  it 'has a value on the left hand side' do
+    expect(subject.left.value).to eq :foo
+  end
+
+  it 'does not have a value on the right hand side' do
+    expect { subject.right.value }.to raise_error Option::ValueOfNoneError
+  end
+
+  it 'can be pattern matched against' do
+    expect(
+      subject.match do |m|
+        m.left  { |v| "It is a left: #{v}"     }
+        m.right { |v| "It is not a left: #{v}"  }
+      end
+    ).to eq "It is a left: foo"
+  end
+
+end

data/spec/lib/right_spec.rb

@@ -0,0 +1,27 @@
+require 'spec_helper'
+
+describe Right do
+
+  subject { Right[:foo] }
+
+  it { should_not be_left }
+  it { should be_right }
+
+  it 'has a value on the right hand side' do
+    expect(subject.right.value).to eq :foo
+  end
+
+  it 'does not have a value on the left hand side' do
+    expect { subject.left.value }.to raise_error Option::ValueOfNoneError
+  end
+
+  it 'can be pattern matched against' do
+    expect(
+      subject.match do |m|
+        m.left  { |v| "It is a left: #{v}"     }
+        m.right { |v| "It is not a left: #{v}"  }
+      end
+    ).to eq "It is not a left: foo"
+  end
+
+end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: either
 version: !ruby/object:Gem::Version
-  version: 0.0.1
+  version: 0.0.2
   prerelease: 
 platform: ruby
 authors:
@@ -11,6 +11,22 @@ bindir: bin
 cert_chain: []
 date: 2013-07-10 00:00:00.000000000 Z
 dependencies:
+- !ruby/object:Gem::Dependency
+  name: optional
+  requirement: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
 - !ruby/object:Gem::Dependency
   name: rake
   requirement: !ruby/object:Gem::Requirement
@@ -67,13 +83,24 @@ extensions: []
 extra_rdoc_files: []
 files:
 - .gitignore
+- .travis.yml
 - Gemfile
 - Gemfile.lock
 - LICENSE.md
+- README.md
 - either.gemspec
+- lib/either.rb
+- lib/either/match.rb
+- lib/left.rb
+- lib/right.rb
+- spec/lib/either/match_spec.rb
+- spec/lib/either_spec.rb
+- spec/lib/left_spec.rb
+- spec/lib/right_spec.rb
 - spec/spec_helper.rb
 homepage: http://github.com/rsslldnphy/either
-licenses: []
+licenses:
+- MIT
 post_install_message: 
 rdoc_options: []
 require_paths:
@@ -92,10 +119,13 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 1.8.25
+rubygems_version: 1.8.23
 signing_key: 
 specification_version: 3
 summary: Either types with pattern matching
 test_files:
+- spec/lib/either/match_spec.rb
+- spec/lib/either_spec.rb
+- spec/lib/left_spec.rb
+- spec/lib/right_spec.rb
 - spec/spec_helper.rb
-has_rdoc: