fear 0.10.0 → 0.11.0

data/Rakefile

@@ -1 +1,394 @@
 require 'bundler/gem_tasks'
+require 'benchmark/ips'
+require_relative 'lib/fear'
+
+namespace :perf do
+  namespace :guard do
+    task :and1 do
+      condition = Integer
+
+      Benchmark.ips do |x|
+        x.report('Guard.new') do |n|
+          Fear::PartialFunction::Guard.new(condition) === n
+        end
+
+        x.report('Guard.single') do |n|
+          Fear::PartialFunction::Guard.and1(condition) === n
+        end
+
+        x.compare!
+      end
+    end
+
+    task :and1 do
+      first = Integer
+
+      and1 = Fear::PartialFunction::Guard.and1(first)
+      guard = Fear::PartialFunction::Guard.new(first)
+
+      Benchmark.ips do |x|
+        x.report('guard') do |n|
+          and1 === n
+        end
+
+        x.report('single') do |n|
+          guard === n
+        end
+
+        x.compare!
+      end
+    end
+
+    task :and2 do
+      first = Integer
+      second = ->(x) { x > 2 }
+
+      and2 = Fear::PartialFunction::Guard.and2(first, second)
+      and_and = Fear::PartialFunction::Guard.new(first).and(Fear::PartialFunction::Guard.new(second))
+
+      Benchmark.ips do |x|
+        x.report('and2') do |n|
+          and2 === n
+        end
+
+        x.report('Guard#and') do |n|
+          and_and === n
+        end
+
+        x.compare!
+      end
+    end
+
+    task :and3 do
+      first = Integer
+      second = ->(x) { x > 2 }
+      third = ->(x) {  x < 10 }
+
+      and3 = Fear::PartialFunction::Guard.and3(first, second, third)
+
+      and_and_and = Fear::PartialFunction::Guard.new(first)
+                                                .and(Fear::PartialFunction::Guard.new(second))
+                                                .and(Fear::PartialFunction::Guard.new(third))
+
+      Benchmark.ips do |x|
+        x.report('Guard.and3') do |n|
+          and3 === n
+        end
+
+        x.report('Guard#and') do |n|
+          and_and_and === n
+        end
+
+        x.compare!
+      end
+    end
+  end
+
+  require 'qo'
+  require 'dry/matcher'
+
+  namespace :pattern_matching do
+    task :try do
+      module ExhaustivePatternMatch
+        def initialize(*)
+          super
+          @default ||= self.else { raise Fear::MatchError }
+        end
+      end
+
+      SuccessBranch = Qo.create_branch(name: 'success', precondition: Fear::Success, extractor: :get)
+      FailureBranch = Qo.create_branch(name: 'failure', precondition: Fear::Failure, extractor: :exception)
+
+      PatternMatch = Qo.create_pattern_match(
+        branches: [
+          SuccessBranch,
+          FailureBranch,
+        ],
+      ).prepend(ExhaustivePatternMatch)
+
+      Fear::Success.include(PatternMatch.mixin(as: :qo_match))
+
+      success_case = Dry::Matcher::Case.new(
+        match: lambda { |try, *pattern|
+          try.is_a?(Fear::Success) && pattern.all? { |p| p === try.get }
+        },
+        resolve: ->(try) { try.get },
+      )
+
+      failure_case = Dry::Matcher::Case.new(
+        match: lambda { |try, *pattern|
+          try.is_a?(Fear::Failure) && pattern.all? { |p| p === try.exception }
+        },
+        resolve: ->(value) { value.exception },
+      )
+
+      # Build the matcher
+      matcher = Dry::Matcher.new(success: success_case, failure: failure_case)
+
+      success = Fear::Success.new(4)
+
+      Benchmark.ips do |x|
+        x.report('Qo') do
+          success.qo_match do |m|
+            m.failure { |y| y }
+            m.success(->(y) { y % 4 == 0 }) { |y| y }
+            m.success { 'else' }
+          end
+        end
+
+        x.report('Fear') do
+          success.match do |m|
+            m.failure { |y| y }
+            m.success(->(y) { y % 4 == 0 }) { |y| y }
+            m.success { 'else' }
+          end
+        end
+
+        x.report('Dr::Matcher') do
+          matcher.call(success) do |m|
+            m.failure { |_y| 'failure' }
+            m.success(->(y) { y % 4 == 0 }) { |y| "2: #{y}" }
+            m.success { 'else' }
+          end
+        end
+
+        x.compare!
+      end
+    end
+
+    task :either do
+      module ExhaustivePatternMatch
+        def initialize(*)
+          super
+          @default ||= self.else { raise Fear::MatchError }
+        end
+      end
+
+      RightBranch = Qo.create_branch(name: 'right', precondition: Fear::Right, extractor: :right_value)
+      LeftBranch = Qo.create_branch(name: 'left', precondition: Fear::Left, extractor: :left_value)
+
+      PatternMatch = Qo.create_pattern_match(
+        branches: [
+          RightBranch,
+          LeftBranch,
+        ],
+      ).prepend(ExhaustivePatternMatch)
+
+      Fear::Right.include(PatternMatch.mixin(as: :qo_match))
+
+      right = Fear::Right.new(4)
+
+      Benchmark.ips do |x|
+        x.report('Qo') do
+          right.qo_match do |m|
+            m.left(->(y) { y % 3 == 0 }) { |y| y }
+            m.right(->(y) { y % 4 == 0 }) { |y| y }
+            m.else { 'else' }
+          end
+        end
+
+        x.report('Fear') do
+          right.match do |m|
+            m.left(->(y) { y % 3 == 0 }) { |y| y }
+            m.right(->(y) { y % 4 == 0 }) { |y| y }
+            m.else { 'else' }
+          end
+        end
+
+        x.compare!
+      end
+    end
+
+    task :option do
+      module ExhaustivePatternMatch
+        def initialize(*)
+          super
+          @default ||= self.else { raise Fear::MatchError }
+        end
+      end
+
+      SomeBranch = Qo.create_branch(name: 'some', precondition: Fear::Some, extractor: :get)
+      NoneBranch = Qo.create_branch(name: 'none', precondition: Fear::None)
+
+      PatternMatch = Qo.create_pattern_match(
+        branches: [
+          SomeBranch,
+          NoneBranch,
+        ],
+      ).prepend(ExhaustivePatternMatch)
+
+      Fear::Some.include(PatternMatch.mixin(as: :qo_match))
+
+      some = Fear::Some.new(4)
+
+      some_case = Dry::Matcher::Case.new(
+        match: lambda { |option, *pattern|
+          option.is_a?(Fear::Some) && pattern.all? { |p| p === option.get }
+        },
+        resolve: ->(try) { try.get },
+      )
+
+      none_case = Dry::Matcher::Case.new(
+        match: lambda { |option, *pattern|
+          Fear::None == option && pattern.all? { |p| p === option }
+        },
+        resolve: ->(value) { value },
+      )
+
+      else_case = Dry::Matcher::Case.new(
+        match: ->(*) { true },
+        resolve: ->(value) { value },
+      )
+
+      # Build the matcher
+      matcher = Dry::Matcher.new(some: some_case, none: none_case, else: else_case)
+
+      option_matcher = Fear::Option.matcher do |m|
+        m.some(->(y) { y % 3 == 0 }) { |y| y }
+        m.some(->(y) { y % 4 == 0 }) { |y| y }
+        m.none { 'none' }
+        m.else { 'else' }
+      end
+
+      Benchmark.ips do |x|
+        x.report('Qo') do
+          some.qo_match do |m|
+            m.some(->(y) { y % 3 == 0 }) { |y| y }
+            m.some(->(y) { y % 4 == 0 }) { |y| y }
+            m.none { 'none' }
+            m.else { 'else' }
+          end
+        end
+
+        x.report('Fear::Some#math') do
+          some.match do |m|
+            m.some(->(y) { y % 3 == 0 }) { |y| y }
+            m.some(->(y) { y % 4 == 0 }) { |y| y }
+            m.none { 'none' }
+            m.else { 'else' }
+          end
+        end
+
+        x.report('Fear::Option.mather') do
+          option_matcher.call(some)
+        end
+
+        x.report('Dry::Matcher') do
+          matcher.call(some) do |m|
+            m.some(->(y) { y % 3 == 0 }) { |y| y }
+            m.some(->(y) { y % 4 == 0 }) { |y| y }
+            m.none { 'none' }
+            m.else { 'else' }
+          end
+        end
+
+        x.compare!
+      end
+    end
+
+    task :option_execution do
+      module ExhaustivePatternMatch
+        def initialize(*)
+          super
+          @default ||= self.else { raise Fear::MatchError }
+        end
+      end
+
+      SomeBranch = Qo.create_branch(name: 'some', precondition: Fear::Some, extractor: :get)
+      NoneBranch = Qo.create_branch(name: 'none', precondition: Fear::None)
+
+      PatternMatch = Qo.create_pattern_match(
+        branches: [
+          SomeBranch,
+          NoneBranch,
+        ],
+      ).prepend(ExhaustivePatternMatch)
+
+      some = Fear::Some.new(4)
+
+      qo_matcher = PatternMatch.new do |m|
+        m.some(->(y) { y % 3 == 0 }) { |y| y }
+        m.some(->(y) { y % 4 == 0 }) { |y| y }
+        m.none { 'none' }
+        m.else { 'else' }
+      end
+
+      fear_matcher = Fear::OptionPatternMatch.new do |m|
+        m.some(->(y) { y % 3 == 0 }) { |y| y }
+        m.some(->(y) { y % 4 == 0 }) { |y| y }
+        m.none { 'none' }
+        m.else { 'else' }
+      end
+
+      Benchmark.ips do |x|
+        x.report('Qo') do
+          qo_matcher.call(some)
+        end
+
+        x.report('Fear') do
+          fear_matcher.call(some)
+        end
+
+        x.compare!
+      end
+    end
+
+    task :factorial do
+      factorial_proc = proc do |n|
+        if n <= 1
+          1
+        else
+          n * factorial_proc.call(n - 1)
+        end
+      end
+
+      factorial_pm = Fear.matcher do |m|
+        m.case(->(n) { n <= 1 }) { 1 }
+        m.else { |n| n * factorial_pm.call(n - 1) }
+      end
+
+      factorial_qo = Qo.match do |m|
+        m.when(->(n) { n <= 1 }) { 1 }
+        m.else { |n| n * factorial_qo.call(n - 1) }
+      end
+
+      Benchmark.ips do |x|
+        x.report('Proc') do
+          factorial_proc.call(100)
+        end
+
+        x.report('Fear') do
+          factorial_pm.call(100)
+        end
+
+        x.report('Qo') do
+          factorial_qo.call(100)
+        end
+
+        x.compare!
+      end
+    end
+
+    task :construction_vs_execution do
+      matcher = Fear::PatternMatch.new do |m|
+        m.case(Integer) { |x| x * 2 }
+        m.case(String) { |x| x.to_i(10) * 2 }
+      end
+
+      Benchmark.ips do |x|
+        x.report('construction') do
+          Fear::PatternMatch.new do |m|
+            m.case(Integer) { |y| y * 2 }
+            m.case(String) { |y| y.to_i(10) * 2 }
+          end
+        end
+
+        x.report('execution') do
+          matcher.call(42)
+        end
+
+        x.compare!
+      end
+    end
+  end
+end

data/fear.gemspec

@@ -1,5 +1,4 @@
-# coding: utf-8
-lib = File.expand_path('../lib', __FILE__)
+lib = File.expand_path('lib', __dir__)
 
 $LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
 
@@ -19,14 +18,22 @@ Gem::Specification.new do |spec|
   spec.test_files    = spec.files.grep(%r{^spec\/})
   spec.require_paths = ['lib']
 
+  spec.post_install_message = <<-MSG
+    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-#{Fear::VERSION}
+  MSG
+
   spec.add_runtime_dependency 'dry-equalizer', '<= 0.2.1'
 
   spec.add_development_dependency 'appraisal'
+  spec.add_development_dependency 'benchmark-ips'
   spec.add_development_dependency 'bundler'
+  spec.add_development_dependency 'dry-matcher'
+  spec.add_development_dependency 'qo'
   spec.add_development_dependency 'rake', '~> 10.0'
   spec.add_development_dependency 'rspec', '~> 3.1'
-  spec.add_development_dependency 'rubocop', '0.47.1'
-  spec.add_development_dependency 'rubocop-rspec', '1.13.0'
-  spec.add_development_dependency 'simplecov'
-  spec.add_development_dependency 'spbtv_code_style'
+  spec.add_development_dependency 'rubocop', '0.65.0'
+  spec.add_development_dependency 'rubocop-rspec', '1.32.0'
+  spec.add_development_dependency 'yard'
 end

data/gemfiles/dry_equalizer_0.1.0.gemfile

@@ -2,6 +2,7 @@
 
 source "https://rubygems.org"
 
+gem "qo", github: "baweaver/qo"
 gem "dry-equalizer", "0.1.0"
 
 gemspec path: "../"

data/gemfiles/dry_equalizer_0.1.0.gemfile.lock

@@ -1,26 +1,36 @@
+GIT
+  remote: git://github.com/baweaver/qo.git
+  revision: 8951ce899559118eb60321014b43cf4211730bd0
+  specs:
+    qo (0.99.0)
+      any (= 0.1.0)
+
 PATH
   remote: ..
   specs:
-    fear (0.10.0)
+    fear (0.11.0)
       dry-equalizer (<= 0.2.1)
 
 GEM
   remote: https://rubygems.org/
   specs:
+    any (0.1.0)
     appraisal (2.2.0)
       bundler
       rake
       thor (>= 0.14.0)
     ast (2.4.0)
+    benchmark-ips (2.7.2)
     diff-lcs (1.3)
-    docile (1.3.1)
     dry-equalizer (0.1.0)
-    json (2.1.0)
+    dry-matcher (0.7.0)
+    jaro_winkler (1.5.2)
+    parallel (1.14.0)
     parser (2.6.0.0)
       ast (~> 2.4.0)
     powerpack (0.1.2)
-    rainbow (2.2.2)
-      rake
+    psych (3.1.0)
+    rainbow (3.0.0)
     rake (10.5.0)
     rspec (3.8.0)
       rspec-core (~> 3.8.0)
@@ -35,44 +45,38 @@ GEM
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.8.0)
     rspec-support (3.8.0)
-    rspec_junit_formatter (0.4.1)
-      rspec-core (>= 2, < 4, != 2.12.0)
-    rubocop (0.47.1)
-      parser (>= 2.3.3.1, < 3.0)
+    rubocop (0.65.0)
+      jaro_winkler (~> 1.5.1)
+      parallel (~> 1.10)
+      parser (>= 2.5, != 2.5.1.1)
       powerpack (~> 0.1)
-      rainbow (>= 1.99.1, < 3.0)
+      psych (>= 3.1.0)
+      rainbow (>= 2.2.2, < 4.0)
       ruby-progressbar (~> 1.7)
-      unicode-display_width (~> 1.0, >= 1.0.1)
-    rubocop-checkstyle_formatter (0.4.0)
-      rubocop (>= 0.35.1)
-    rubocop-rspec (1.13.0)
-      rubocop (>= 0.42.0)
+      unicode-display_width (~> 1.4.0)
+    rubocop-rspec (1.32.0)
+      rubocop (>= 0.60.0)
     ruby-progressbar (1.10.0)
-    simplecov (0.16.1)
-      docile (~> 1.1)
-      json (>= 1.8, < 3)
-      simplecov-html (~> 0.10.0)
-    simplecov-html (0.10.2)
-    spbtv_code_style (1.7.0)
-      rspec_junit_formatter
-      rubocop-checkstyle_formatter
     thor (0.20.3)
     unicode-display_width (1.4.1)
+    yard (0.9.18)
 
 PLATFORMS
   ruby
 
 DEPENDENCIES
   appraisal
+  benchmark-ips
   bundler
   dry-equalizer (= 0.1.0)
+  dry-matcher
   fear!
+  qo!
   rake (~> 10.0)
   rspec (~> 3.1)
-  rubocop (= 0.47.1)
-  rubocop-rspec (= 1.13.0)
-  simplecov
-  spbtv_code_style
+  rubocop (= 0.65.0)
+  rubocop-rspec (= 1.32.0)
+  yard
 
 BUNDLED WITH
    1.16.2

data/gemfiles/dry_equalizer_0.2.1.gemfile

@@ -2,6 +2,7 @@
 
 source "https://rubygems.org"
 
+gem "qo", github: "baweaver/qo"
 gem "dry-equalizer", "0.2.1"
 
 gemspec path: "../"

data/gemfiles/dry_equalizer_0.2.1.gemfile.lock

@@ -1,26 +1,36 @@
+GIT
+  remote: git://github.com/baweaver/qo.git
+  revision: 8951ce899559118eb60321014b43cf4211730bd0
+  specs:
+    qo (0.99.0)
+      any (= 0.1.0)
+
 PATH
   remote: ..
   specs:
-    fear (0.10.0)
+    fear (0.11.0)
       dry-equalizer (<= 0.2.1)
 
 GEM
   remote: https://rubygems.org/
   specs:
+    any (0.1.0)
     appraisal (2.2.0)
       bundler
       rake
       thor (>= 0.14.0)
     ast (2.4.0)
+    benchmark-ips (2.7.2)
     diff-lcs (1.3)
-    docile (1.3.1)
     dry-equalizer (0.2.1)
-    json (2.1.0)
+    dry-matcher (0.7.0)
+    jaro_winkler (1.5.2)
+    parallel (1.14.0)
     parser (2.6.0.0)
       ast (~> 2.4.0)
     powerpack (0.1.2)
-    rainbow (2.2.2)
-      rake
+    psych (3.1.0)
+    rainbow (3.0.0)
     rake (10.5.0)
     rspec (3.8.0)
       rspec-core (~> 3.8.0)
@@ -35,44 +45,38 @@ GEM
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.8.0)
     rspec-support (3.8.0)
-    rspec_junit_formatter (0.4.1)
-      rspec-core (>= 2, < 4, != 2.12.0)
-    rubocop (0.47.1)
-      parser (>= 2.3.3.1, < 3.0)
+    rubocop (0.65.0)
+      jaro_winkler (~> 1.5.1)
+      parallel (~> 1.10)
+      parser (>= 2.5, != 2.5.1.1)
       powerpack (~> 0.1)
-      rainbow (>= 1.99.1, < 3.0)
+      psych (>= 3.1.0)
+      rainbow (>= 2.2.2, < 4.0)
       ruby-progressbar (~> 1.7)
-      unicode-display_width (~> 1.0, >= 1.0.1)
-    rubocop-checkstyle_formatter (0.4.0)
-      rubocop (>= 0.35.1)
-    rubocop-rspec (1.13.0)
-      rubocop (>= 0.42.0)
+      unicode-display_width (~> 1.4.0)
+    rubocop-rspec (1.32.0)
+      rubocop (>= 0.60.0)
     ruby-progressbar (1.10.0)
-    simplecov (0.16.1)
-      docile (~> 1.1)
-      json (>= 1.8, < 3)
-      simplecov-html (~> 0.10.0)
-    simplecov-html (0.10.2)
-    spbtv_code_style (1.7.0)
-      rspec_junit_formatter
-      rubocop-checkstyle_formatter
     thor (0.20.3)
     unicode-display_width (1.4.1)
+    yard (0.9.18)
 
 PLATFORMS
   ruby
 
 DEPENDENCIES
   appraisal
+  benchmark-ips
   bundler
   dry-equalizer (= 0.2.1)
+  dry-matcher
   fear!
+  qo!
   rake (~> 10.0)
   rspec (~> 3.1)
-  rubocop (= 0.47.1)
-  rubocop-rspec (= 1.13.0)
-  simplecov
-  spbtv_code_style
+  rubocop (= 0.65.0)
+  rubocop-rspec (= 1.32.0)
+  yard
 
 BUNDLED WITH
    1.16.2