fear 0.10.0 → 0.11.0

data/spec/fear/pattern_match_spec.rb

@@ -0,0 +1,59 @@
+RSpec.describe Fear::PatternMatch do
+  include Fear::Option::Mixin
+
+  context 'else at the end' do
+    let(:matcher) do
+      described_class.new do |m|
+        m.case(Integer) { |x| "#{x} is int" }
+        m.case(String) { |x| "#{x} is str" }
+        m.else { |x| "#{x} is something else" }
+      end
+    end
+
+    context 'Integer' do
+      subject { matcher.call(4) }
+
+      it { is_expected.to eq('4 is int') }
+    end
+
+    context 'String' do
+      subject { matcher.call('4') }
+
+      it { is_expected.to eq('4 is str') }
+    end
+
+    context 'Symbol' do
+      subject { matcher.call(:a) }
+
+      it { is_expected.to eq('a is something else') }
+    end
+  end
+
+  context 'else before other branches' do
+    subject { matcher.call(4) }
+
+    let(:matcher) do
+      described_class.new do |m|
+        m.else { |x| "#{x} is something else" }
+        m.case(Integer) { |x| "#{x} is int" }
+      end
+    end
+
+    it { is_expected.to eq('4 is something else') }
+  end
+
+  context 'several else branches' do
+    subject { matcher.call(4) }
+
+    let(:matcher) do
+      described_class.new do |m|
+        m.else { |x| "#{x} else 1" }
+        m.else { |x| "#{x} else 2" }
+      end
+    end
+
+    it 'first one wins' do
+      is_expected.to eq('4 else 1')
+    end
+  end
+end

data/spec/fear/right_biased/left.rb

@@ -66,14 +66,9 @@ RSpec.shared_examples Fear::RightBiased::Left do
     end
   end
 
-  describe '#to_a' do
-    subject { left.to_a }
-    it { is_expected.to eq([]) }
-  end
-
   describe '#to_option' do
     subject { left.to_option }
-    it { is_expected.to eq(Fear::None.new) }
+    it { is_expected.to eq(Fear::None) }
   end
 
   describe '#any?' do

data/spec/fear/right_biased/right.rb

@@ -93,11 +93,6 @@ RSpec.shared_examples Fear::RightBiased::Right do
     end
   end
 
-  describe '#to_a' do
-    subject { right.to_a }
-    it { is_expected.to eq(['value']) }
-  end
-
   describe '#to_option' do
     subject { right.to_option }
     it { is_expected.to eq(Fear::Some.new('value')) }

data/spec/fear/right_spec.rb

@@ -114,4 +114,42 @@ RSpec.describe Fear::Right do
       it { is_expected.to eq(either) }
     end
   end
+
+  describe '#match' do
+    context 'matched' do
+      subject do
+        right.match do |m|
+          m.right(->(x) { x.length < 2 }) { |x| "Right: #{x}" }
+          m.right(->(x) { x.length > 2 }) { |x| "Right: #{x}" }
+          m.left(->(x) { x.length > 2 }) { |x| "Left: #{x}" }
+        end
+      end
+
+      it { is_expected.to eq('Right: value') }
+    end
+
+    context 'nothing matched and no else given' do
+      subject do
+        proc do
+          right.match do |m|
+            m.right(->(x) { x.length < 2 }) { |x| "Right: #{x}" }
+            m.left { |_| 'noop' }
+          end
+        end
+      end
+
+      it { is_expected.to raise_error(Fear::MatchError) }
+    end
+
+    context 'nothing matched and else given' do
+      subject do
+        right.match do |m|
+          m.right(->(x) { x.length < 2 }) { |x| "Right: #{x}" }
+          m.else { :default }
+        end
+      end
+
+      it { is_expected.to eq(:default) }
+    end
+  end
 end

data/spec/fear/some_spec.rb

@@ -49,4 +49,41 @@ RSpec.describe Fear::Some do
     subject { some.empty? }
     it { is_expected.to eq(false) }
   end
+
+  describe '#match' do
+    context 'matched' do
+      subject do
+        some.match do |m|
+          m.some(->(x) { x > 2 }) { |x| x * 2 }
+          m.none { 'noop' }
+        end
+      end
+
+      it { is_expected.to eq(84) }
+    end
+
+    context 'nothing matched and no else given' do
+      subject do
+        proc do
+          some.match do |m|
+            m.some(->(x) { x < 2 }) { |x| x * 2 }
+            m.none { 'noop' }
+          end
+        end
+      end
+
+      it { is_expected.to raise_error(Fear::MatchError) }
+    end
+
+    context 'nothing matched and else given' do
+      subject do
+        some.match do |m|
+          m.none { |x| x * 2 }
+          m.else { :default }
+        end
+      end
+
+      it { is_expected.to eq(:default) }
+    end
+  end
 end

data/spec/fear/success_spec.rb

@@ -5,14 +5,14 @@ RSpec.describe Fear::Success do
     let(:right) { success }
 
     describe '#map', 'block fails' do
-      subject(:map) { right.map { fail 'unexpected error' } }
+      subject(:map) { right.map { raise 'unexpected error' } }
 
       it { is_expected.to be_kind_of(Fear::Failure) }
       it { expect { map.get }.to raise_error(RuntimeError, 'unexpected error') }
     end
 
     describe '#flat_map', 'block fails' do
-      subject(:flat_map) { right.flat_map { fail 'unexpected error' } }
+      subject(:flat_map) { right.flat_map { raise 'unexpected error' } }
 
       it { is_expected.to be_kind_of(Fear::Failure) }
       it { expect { flat_map.get }.to raise_error(RuntimeError, 'unexpected error') }
@@ -66,12 +66,12 @@ RSpec.describe Fear::Success do
     end
 
     context 'predicate does not hold for value' do
-      subject { proc { success.select { |v| v != 'value' }.get } }
+      subject { proc { success.select { |v| v != 'value' }.get } } # rubocop: disable Style/InverseMethods
       it { is_expected.to raise_error(Fear::NoSuchElementError, 'Predicate does not hold for `value`') }
     end
 
     context 'predicate fails with error' do
-      subject { proc { success.select { fail 'foo' }.get } }
+      subject { proc { success.select { raise 'foo' }.get } }
       it { is_expected.to raise_error(RuntimeError, 'foo') }
     end
   end
@@ -90,4 +90,41 @@ RSpec.describe Fear::Success do
     subject { success.to_either }
     it { is_expected.to eq(Right('value')) }
   end
+
+  describe '#match' do
+    context 'matched' do
+      subject do
+        success.match do |m|
+          m.success(->(x) { x.length > 2 }) { |x| x * 2 }
+          m.failure { 'noop' }
+        end
+      end
+
+      it { is_expected.to eq('valuevalue') }
+    end
+
+    context 'nothing matched and no else given' do
+      subject do
+        proc do
+          success.match do |m|
+            m.success(->(x) { x.length < 2 }) { |x| x * 2 }
+            m.failure { 'noop' }
+          end
+        end
+      end
+
+      it { is_expected.to raise_error(Fear::MatchError) }
+    end
+
+    context 'nothing matched and else given' do
+      subject do
+        success.match do |m|
+          m.failure { |x| x * 2 }
+          m.else { :default }
+        end
+      end
+
+      it { is_expected.to eq(:default) }
+    end
+  end
 end

data/spec/fear/try_pattern_match_spec.rb

@@ -0,0 +1,37 @@
+RSpec.describe Fear::TryPatternMatch do
+  include Fear::Try::Mixin
+
+  context 'Success' do
+    let(:matcher) do
+      described_class.new do |m|
+        m.success(:even?) { |x| "#{x} is even" }
+        m.success(:odd?) { |x| "#{x} is odd" }
+      end
+    end
+
+    it do
+      expect(matcher.call(Success(4))).to eq('4 is even')
+      expect(matcher.call(Success(3))).to eq('3 is odd')
+      expect do
+        matcher.call(Failure(RuntimeError.new))
+      end.to raise_error(Fear::MatchError)
+    end
+  end
+
+  context 'Failure' do
+    let(:matcher) do
+      described_class.new do |m|
+        m.failure(RuntimeError) { |x| "#{x} is first" }
+        m.failure(StandardError) { |x| "#{x} is second" }
+      end
+    end
+
+    it do
+      expect(matcher.call(Failure(RuntimeError.new))).to eq('RuntimeError is first')
+      expect(matcher.call(Failure(StandardError.new))).to eq('StandardError is second')
+      expect do
+        matcher.call(Success(44))
+      end.to raise_error(Fear::MatchError)
+    end
+  end
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: fear
 version: !ruby/object:Gem::Version
-  version: 0.10.0
+  version: 0.11.0
 platform: ruby
 authors:
 - Tema Bolshakov
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2019-02-16 00:00:00.000000000 Z
+date: 2019-03-11 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: dry-equalizer
@@ -38,6 +38,20 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: '0'
+- !ruby/object:Gem::Dependency
+  name: benchmark-ips
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
 - !ruby/object:Gem::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement
@@ -52,6 +66,34 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: '0'
+- !ruby/object:Gem::Dependency
+  name: dry-matcher
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: qo
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
 - !ruby/object:Gem::Dependency
   name: rake
   requirement: !ruby/object:Gem::Requirement
@@ -86,44 +128,30 @@ dependencies:
     requirements:
     - - '='
       - !ruby/object:Gem::Version
-        version: 0.47.1
+        version: 0.65.0
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - '='
       - !ruby/object:Gem::Version
-        version: 0.47.1
+        version: 0.65.0
 - !ruby/object:Gem::Dependency
   name: rubocop-rspec
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - '='
       - !ruby/object:Gem::Version
-        version: 1.13.0
+        version: 1.32.0
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - '='
       - !ruby/object:Gem::Version
-        version: 1.13.0
-- !ruby/object:Gem::Dependency
-  name: simplecov
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.32.0
 - !ruby/object:Gem::Dependency
-  name: spbtv_code_style
+  name: yard
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
@@ -162,37 +190,73 @@ files:
 - lib/fear.rb
 - lib/fear/done.rb
 - lib/fear/either.rb
+- lib/fear/either_pattern_match.rb
+- lib/fear/empty_partial_function.rb
 - lib/fear/failure.rb
+- lib/fear/failure_pattern_match.rb
 - lib/fear/for.rb
-- lib/fear/for/evaluation_context.rb
 - lib/fear/left.rb
+- lib/fear/left_pattern_match.rb
 - lib/fear/none.rb
+- lib/fear/none_pattern_match.rb
 - lib/fear/option.rb
+- lib/fear/option_pattern_match.rb
+- lib/fear/partial_function.rb
+- lib/fear/partial_function/and_then.rb
+- lib/fear/partial_function/any.rb
+- lib/fear/partial_function/combined.rb
+- lib/fear/partial_function/empty.rb
+- lib/fear/partial_function/guard.rb
+- lib/fear/partial_function/guard/and.rb
+- lib/fear/partial_function/guard/and3.rb
+- lib/fear/partial_function/guard/or.rb
+- lib/fear/partial_function/lifted.rb
+- lib/fear/partial_function/or_else.rb
+- lib/fear/partial_function_class.rb
+- lib/fear/pattern_match.rb
+- lib/fear/pattern_matching_api.rb
 - lib/fear/right.rb
 - lib/fear/right_biased.rb
+- lib/fear/right_pattern_match.rb
 - lib/fear/some.rb
+- lib/fear/some_pattern_match.rb
 - lib/fear/success.rb
+- lib/fear/success_pattern_match.rb
 - lib/fear/try.rb
+- lib/fear/try_pattern_match.rb
 - lib/fear/utils.rb
 - lib/fear/version.rb
 - spec/fear/done_spec.rb
+- spec/fear/either_pattern_match_spec.rb
 - spec/fear/failure_spec.rb
 - spec/fear/for_spec.rb
+- spec/fear/guard_spec.rb
 - spec/fear/left_spec.rb
 - spec/fear/none_spec.rb
+- spec/fear/option_pattern_match_spec.rb
 - spec/fear/option_spec.rb
+- spec/fear/partial_function/empty_spec.rb
+- spec/fear/partial_function_and_then_spec.rb
+- spec/fear/partial_function_composition_spec.rb
+- spec/fear/partial_function_or_else_spec.rb
+- spec/fear/partial_function_spec.rb
+- spec/fear/pattern_match_spec.rb
 - spec/fear/right_biased/left.rb
 - spec/fear/right_biased/right.rb
 - spec/fear/right_spec.rb
 - spec/fear/some_spec.rb
 - spec/fear/success_spec.rb
+- spec/fear/try_pattern_match_spec.rb
 - spec/fear/utils_spec.rb
 - spec/spec_helper.rb
 homepage: https://github.com/bolshakov/fear
 licenses:
 - MIT
 metadata: {}
-post_install_message: 
+post_install_message: |2
+      Fear v0.11.0 introduces backwards-incompatible changes.
+      Please see https://github.com/bolshakov/fear/blob/master/CHANGELOG.md#0110 for details.
+      Successfully installed fear-0.11.0
 rdoc_options: []
 require_paths:
 - lib
@@ -214,15 +278,25 @@ specification_version: 4
 summary: "%q{Ruby port of some Scala's monads.}"
 test_files:
 - spec/fear/done_spec.rb
+- spec/fear/either_pattern_match_spec.rb
 - spec/fear/failure_spec.rb
 - spec/fear/for_spec.rb
+- spec/fear/guard_spec.rb
 - spec/fear/left_spec.rb
 - spec/fear/none_spec.rb
+- spec/fear/option_pattern_match_spec.rb
 - spec/fear/option_spec.rb
+- spec/fear/partial_function/empty_spec.rb
+- spec/fear/partial_function_and_then_spec.rb
+- spec/fear/partial_function_composition_spec.rb
+- spec/fear/partial_function_or_else_spec.rb
+- spec/fear/partial_function_spec.rb
+- spec/fear/pattern_match_spec.rb
 - spec/fear/right_biased/left.rb
 - spec/fear/right_biased/right.rb
 - spec/fear/right_spec.rb
 - spec/fear/some_spec.rb
 - spec/fear/success_spec.rb
+- spec/fear/try_pattern_match_spec.rb
 - spec/fear/utils_spec.rb
 - spec/spec_helper.rb

data/lib/fear/for/evaluation_context.rb

@@ -1,91 +0,0 @@
-module Fear
-  # This class provides syntactic sugar for composition of
-  # multiple monadic operations. It supports two such
-  # operations - +flat_map+ and +map+. Any class providing them
-  # is supported by +For+.
-  #
-  #     For(a: Some(2), b: Some(3)) { a * b } #=> Some(6)
-  #
-  # If one of operands is None, the result is None
-  #
-  #     For(a: Some(2), b: None()) { a * b } #=> None()
-  #     For(a: None(), b: Some(2)) { a * b } #=> None()
-  #
-  # Lets look at first example:
-  #
-  #     For(a: Some(2), b: Some(3)) { a * b }
-  #
-  # would be translated to:
-  #
-  #     Some(2).flat_map do |a|
-  #       Some(3).map do |b|
-  #         a * b
-  #       end
-  #     end
-  #
-  # It works with arrays as well
-  #
-  #     For(a: [1, 2], b: [2, 3], c: [3, 4]) { a * b * c }
-  #       #=> [6, 8, 9, 12, 12, 16, 18, 24]
-  #
-  # would be translated to:
-  #
-  #     [1, 2].flat_map do |a|
-  #       [2, 3].flat_map do |b|
-  #         [3, 4].map do |c|
-  #           a * b * c
-  #         end
-  #       end
-  #     end
-  #
-  # If you pass lambda as a variable value, it would be evaluated
-  # only on demand.
-  #
-  #     For(a: -> { None() }, b: -> { fail 'kaboom' } ) { a * b }
-  #       #=> None()
-  #
-  # It does not fail since `b` is not evaluated.
-  # You can mix and match lambdas and variables.
-  #
-  #     For(a: -> None(), b: -> { fail 'kaboom' } ) { a * b }
-  #       #=> None()
-  #
-  class For
-    # Context of block evaluation. It respond to passed locals.
-    #
-    # @example
-    #   context = EvaluationContext.new
-    #   context.assign(:foo, 'bar')
-    #   context.foo #=> 'bar'
-    #
-    class EvaluationContext < BasicObject
-      include ::Fear::Option::Mixin
-      include ::Fear::Either::Mixin
-      include ::Fear::Try::Mixin
-
-      def initialize(outer_context)
-        @assigns = {}
-        @outer_context = outer_context
-      end
-
-      def __assign__(name, value)
-        @assigns[name] = value
-      end
-
-      def method_missing(name, *args, &block)
-        if @assigns.include?(name) && args.empty? && block.nil?
-          @assigns[name]
-        elsif @outer_context.respond_to?(name, true)
-          @outer_context.__send__(name, *args, &block)
-        else
-          super
-        end
-      end
-
-      def respond_to_missing?(name, _)
-        @assigns.key?(name) && args.empty? && block.nil?
-      end
-    end
-    private_constant(:EvaluationContext)
-  end
-end