fear 1.2.0 → 2.0.0

data/spec/fear/promise_spec.rb

@@ -78,18 +78,16 @@ RSpec.describe Fear::Promise do
     end
 
     context "#future" do
-      subject(:future) do
-        completed_promise.to_future
-      end
+      subject(:future) { Fear::Await.ready(promise.to_future, 0.01) }
+
+      let(:promise) { Fear::Promise.new.success!(value) }
 
       it "is completed" do
         expect(future).to be_completed
       end
 
       it "completed with value" do
-        future_value = future.value
-
-        expect(future_value).to eq Fear.some(Fear.success(value))
+        expect(future.value).to be_some_of(Fear.success(value))
       end
     end
   end

data/spec/fear/right_spec.rb

@@ -160,26 +160,4 @@ RSpec.describe Fear::Right do
 
     it { is_expected.to eq('#<Fear::Right value="value">') }
   end
-
-  describe "pattern matching" do
-    subject { Fear.xcase("Right(v : Integer)") { |v:| "matched #{v}" }.call_or_else(var) { "nothing" } }
-
-    context "right of int" do
-      let(:var) { Fear.right(42) }
-
-      it { is_expected.to eq("matched 42") }
-    end
-
-    context "right of string" do
-      let(:var) { Fear.right("42") }
-
-      it { is_expected.to eq("nothing") }
-    end
-
-    context "not right" do
-      let(:var) { "42" }
-
-      it { is_expected.to eq("nothing") }
-    end
-  end
 end

data/spec/fear/some_spec.rb

@@ -50,6 +50,16 @@ RSpec.describe Fear::Some do
     it { is_expected.to eq(false) }
   end
 
+  describe "#blank?" do
+    subject { some.blank? }
+    it { is_expected.to eq(false) }
+  end
+
+  describe "#present?" do
+    subject { some.present? }
+    it { is_expected.to be_truthy }
+  end
+
   describe "#match" do
     context "matched" do
       subject do
@@ -92,26 +102,4 @@ RSpec.describe Fear::Some do
 
     it { is_expected.to eq("#<Fear::Some get=42>") }
   end
-
-  describe "pattern matching" do
-    subject { Fear.xcase("Some(v : Integer)") { |v:| "matched #{v}" }.call_or_else(var) { "nothing" } }
-
-    context "some of int" do
-      let(:var) { Fear.some(42) }
-
-      it { is_expected.to eq("matched 42") }
-    end
-
-    context "some of string" do
-      let(:var) { Fear.some("42") }
-
-      it { is_expected.to eq("nothing") }
-    end
-
-    context "not some" do
-      let(:var) { "42" }
-
-      it { is_expected.to eq("nothing") }
-    end
-  end
 end

data/spec/fear/success_spec.rb

@@ -135,26 +135,4 @@ RSpec.describe Fear::Success do
 
     it { is_expected.to eq('#<Fear::Success value="value">') }
   end
-
-  describe "pattern matching" do
-    subject { Fear.xcase("Success(v : Integer)") { |v:| "matched #{v}" }.call_or_else(var) { "nothing" } }
-
-    context "success of int" do
-      let(:var) { Fear.success(42) }
-
-      it { is_expected.to eq("matched 42") }
-    end
-
-    context "success of string" do
-      let(:var) { Fear.success("42") }
-
-      it { is_expected.to eq("nothing") }
-    end
-
-    context "not success" do
-      let(:var) { "42" }
-
-      it { is_expected.to eq("nothing") }
-    end
-  end
 end

data/spec/fear/try/mixin_spec.rb

@@ -16,4 +16,18 @@ RSpec.describe Fear::Try::Mixin do
       it { is_expected.to be_kind_of(Fear::Failure) }
     end
   end
+
+  describe "Success()" do
+    subject { Success(42) }
+
+    it { is_expected.to be_success_of(42) }
+  end
+
+  describe "Failure()" do
+    subject { Failure(error) }
+
+    let(:error) { StandardError.new }
+
+    it { is_expected.to be_failure_of(error) }
+  end
 end

data/spec/fear/try_api_spec.rb

@@ -0,0 +1,23 @@
+# frozen_string_literal: true
+
+RSpec.describe Fear::TryApi do
+  describe "Fear.try" do
+    context "when success" do
+      subject { Fear.try { 42 } }
+
+      it { is_expected.to be_success_of(42) }
+    end
+
+    context "when failure" do
+      subject { Fear.try { raise RuntimeError } }
+
+      it { is_expected.to be_failure_of(RuntimeError) }
+    end
+
+    context "when low level error happened" do
+      subject(:try) { Fear.try { raise Exception } }
+
+      it { expect { try }.to raise_error(Exception) }
+    end
+  end
+end

data/spec/struct_spec.rb

@@ -168,7 +168,7 @@ RSpec.describe Fear::Struct do
     context "string attributes" do
       subject { -> { struct.copy("a" => 44) } }
 
-      it { is_expected.to raise_error(ArgumentError, "wrong number of arguments (given 1, expected 0)") }
+      it { is_expected.to raise_error(ArgumentError) }
     end
 
     context "no attributes given" do
@@ -191,36 +191,4 @@ RSpec.describe Fear::Struct do
 
     it { is_expected.to eq("<#Fear::Struct StrToS a=2, b=nil>") }
   end
-
-  context "extract" do
-    Str = Fear::Struct.with_attributes(:a, :b)
-    let(:struct) { Str.new(b: 43, a: 42) }
-
-    context "Fear::Struct subclass" do
-      context "match by one member" do
-        subject do
-          proc do |effect|
-            struct.match do |m|
-              m.xcase("Str(a, 43)", &effect)
-            end
-          end
-        end
-
-        it { is_expected.to yield_with_args(a: 42) }
-      end
-
-      context "does not match" do
-        subject do
-          proc do |effect|
-            struct.match do |m|
-              m.xcase("Str(_, 40)", &effect)
-              m.else {}
-            end
-          end
-        end
-
-        it { is_expected.not_to yield_control }
-      end
-    end
-  end
 end

metadata

@@ -1,43 +1,15 @@
 --- !ruby/object:Gem::Specification
 name: fear
 version: !ruby/object:Gem::Version
-  version: 1.2.0
+  version: 2.0.0
 platform: ruby
 authors:
 - Tema Bolshakov
-autorequire: 
+autorequire:
 bindir: bin
 cert_chain: []
-date: 2020-11-15 00:00:00.000000000 Z
+date: 2022-07-23 00:00:00.000000000 Z
 dependencies:
-- !ruby/object:Gem::Dependency
-  name: lru_redux
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :runtime
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-- !ruby/object:Gem::Dependency
-  name: treetop
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :runtime
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
 - !ruby/object:Gem::Dependency
   name: benchmark-ips
   requirement: !ruby/object:Gem::Requirement
@@ -170,14 +142,14 @@ dependencies:
     requirements:
     - - '='
       - !ruby/object:Gem::Version
-        version: 1.0.0
+        version: 1.32.0
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - '='
       - !ruby/object:Gem::Version
-        version: 1.0.0
+        version: 1.32.0
 - !ruby/object:Gem::Dependency
   name: ruby_coding_standard
   requirement: !ruby/object:Gem::Requirement
@@ -269,6 +241,7 @@ executables: []
 extensions: []
 extra_rdoc_files: []
 files:
+- ".github/dependabot.yml"
 - ".github/workflows/rubocop.yml"
 - ".github/workflows/spec.yml"
 - ".gitignore"
@@ -295,7 +268,6 @@ files:
 - benchmarks/pattern_matching_qo_vs_fear_pattern_extraction.txt
 - benchmarks/pattern_matching_qo_vs_fear_try_execution.txt
 - examples/pattern_extracting.rb
-- examples/pattern_extracting_ruby2.7.rb
 - examples/pattern_matching_binary_tree_set.rb
 - examples/pattern_matching_number_in_words.rb
 - fear.gemspec
@@ -308,24 +280,6 @@ files:
 - lib/fear/either_api.rb
 - lib/fear/either_pattern_match.rb
 - lib/fear/empty_partial_function.rb
-- lib/fear/extractor.rb
-- lib/fear/extractor/anonymous_array_splat_matcher.rb
-- lib/fear/extractor/any_matcher.rb
-- lib/fear/extractor/array_head_matcher.rb
-- lib/fear/extractor/array_matcher.rb
-- lib/fear/extractor/array_splat_matcher.rb
-- lib/fear/extractor/empty_list_matcher.rb
-- lib/fear/extractor/extractor_matcher.rb
-- lib/fear/extractor/grammar.rb
-- lib/fear/extractor/grammar.treetop
-- lib/fear/extractor/identifier_matcher.rb
-- lib/fear/extractor/matcher.rb
-- lib/fear/extractor/matcher/and.rb
-- lib/fear/extractor/named_array_splat_matcher.rb
-- lib/fear/extractor/pattern.rb
-- lib/fear/extractor/typed_identifier_matcher.rb
-- lib/fear/extractor/value_matcher.rb
-- lib/fear/extractor_api.rb
 - lib/fear/failure.rb
 - lib/fear/failure_pattern_match.rb
 - lib/fear/for.rb
@@ -378,19 +332,9 @@ files:
 - spec/fear/either/mixin_spec.rb
 - spec/fear/either_pattern_match_spec.rb
 - spec/fear/either_pattern_matching_spec.rb
-- spec/fear/extractor/array_matcher_spec.rb
-- spec/fear/extractor/extractor_matcher_spec.rb
-- spec/fear/extractor/grammar_array_spec.rb
-- spec/fear/extractor/identified_matcher_spec.rb
-- spec/fear/extractor/identifier_matcher_spec.rb
-- spec/fear/extractor/pattern_spec.rb
-- spec/fear/extractor/typed_identifier_matcher_spec.rb
-- spec/fear/extractor/value_matcher_number_spec.rb
-- spec/fear/extractor/value_matcher_string_spec.rb
-- spec/fear/extractor/value_matcher_symbol_spec.rb
-- spec/fear/extractor_api_spec.rb
-- spec/fear/extractor_spec.rb
+- spec/fear/either_spec.rb
 - spec/fear/failure_spec.rb
+- spec/fear/for/mixin_spec.rb
 - spec/fear/for_spec.rb
 - spec/fear/future_spec.rb
 - spec/fear/guard_spec.rb
@@ -400,6 +344,7 @@ files:
 - spec/fear/option_pattern_match_spec.rb
 - spec/fear/option_pattern_matching_spec.rb
 - spec/fear/option_spec.rb
+- spec/fear/partial_function/any_spec.rb
 - spec/fear/partial_function/empty_spec.rb
 - spec/fear/partial_function_and_then_spec.rb
 - spec/fear/partial_function_composition_spec.rb
@@ -414,6 +359,7 @@ files:
 - spec/fear/some_spec.rb
 - spec/fear/success_spec.rb
 - spec/fear/try/mixin_spec.rb
+- spec/fear/try_api_spec.rb
 - spec/fear/try_pattern_match_spec.rb
 - spec/fear/try_pattern_matching_spec.rb
 - spec/fear/utils_spec.rb
@@ -425,7 +371,7 @@ homepage: https://github.com/bolshakov/fear
 licenses:
 - MIT
 metadata: {}
-post_install_message: 
+post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -433,15 +379,15 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: '0'
+      version: 2.6.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.1.4
-signing_key: 
+rubygems_version: 3.3.7
+signing_key:
 specification_version: 4
 summary: "%q{Ruby port of some Scala's monads.}"
 test_files:
@@ -455,19 +401,9 @@ test_files:
 - spec/fear/either/mixin_spec.rb
 - spec/fear/either_pattern_match_spec.rb
 - spec/fear/either_pattern_matching_spec.rb
-- spec/fear/extractor/array_matcher_spec.rb
-- spec/fear/extractor/extractor_matcher_spec.rb
-- spec/fear/extractor/grammar_array_spec.rb
-- spec/fear/extractor/identified_matcher_spec.rb
-- spec/fear/extractor/identifier_matcher_spec.rb
-- spec/fear/extractor/pattern_spec.rb
-- spec/fear/extractor/typed_identifier_matcher_spec.rb
-- spec/fear/extractor/value_matcher_number_spec.rb
-- spec/fear/extractor/value_matcher_string_spec.rb
-- spec/fear/extractor/value_matcher_symbol_spec.rb
-- spec/fear/extractor_api_spec.rb
-- spec/fear/extractor_spec.rb
+- spec/fear/either_spec.rb
 - spec/fear/failure_spec.rb
+- spec/fear/for/mixin_spec.rb
 - spec/fear/for_spec.rb
 - spec/fear/future_spec.rb
 - spec/fear/guard_spec.rb
@@ -477,6 +413,7 @@ test_files:
 - spec/fear/option_pattern_match_spec.rb
 - spec/fear/option_pattern_matching_spec.rb
 - spec/fear/option_spec.rb
+- spec/fear/partial_function/any_spec.rb
 - spec/fear/partial_function/empty_spec.rb
 - spec/fear/partial_function_and_then_spec.rb
 - spec/fear/partial_function_composition_spec.rb
@@ -491,6 +428,7 @@ test_files:
 - spec/fear/some_spec.rb
 - spec/fear/success_spec.rb
 - spec/fear/try/mixin_spec.rb
+- spec/fear/try_api_spec.rb
 - spec/fear/try_pattern_match_spec.rb
 - spec/fear/try_pattern_matching_spec.rb
 - spec/fear/utils_spec.rb

data/examples/pattern_extracting_ruby2.7.rb

@@ -1,15 +0,0 @@
-# frozen_string_literal: true
-
-require "fear"
-
-matcher = proc do |value|
-  case value
-  in User(admin: true, name:)
-    puts "Hi #{name}, you are welcome"
-  in User(admin: false)
-    puts "Only admins are allowed here"
-  end
-end
-
-matcher.(User.new(1, "Jane", true))
-matcher.(User.new(1, "John", false))

data/lib/fear/extractor/anonymous_array_splat_matcher.rb

@@ -1,10 +0,0 @@
-# frozen_string_literal: true
-
-module Fear
-  module Extractor
-    # Match against array splat, E.g. `[1, 2, *]` or `[1, 2, *_]`
-    #
-    class AnonymousArraySplatMatcher < ArraySplatMatcher
-    end
-  end
-end

data/lib/fear/extractor/any_matcher.rb

@@ -1,17 +0,0 @@
-# frozen_string_literal: true
-
-module Fear
-  module Extractor
-    # Always match, E.g. `_ : Integer` without capturing variable
-    #
-    class AnyMatcher < Matcher
-      def defined_at?(_other)
-        true
-      end
-
-      def bindings(_)
-        Utils::EMPTY_HASH
-      end
-    end
-  end
-end

data/lib/fear/extractor/array_head_matcher.rb

@@ -1,36 +0,0 @@
-# frozen_string_literal: true
-
-module Fear
-  module Extractor
-    # Part of recursive array matcher. Match against its head.
-    # @see ArrayMatcher
-    class ArrayHeadMatcher < Matcher
-      # @!attribute matcher
-      #   @return [Matcher]
-      # @!attribute index
-      #   @return [Types::Strict::Integer]
-
-      # @param other [<>]
-      def defined_at?(other)
-        if other.empty?
-          false
-        else
-          matcher.defined_at?(other.first)
-        end
-      end
-
-      # @param other [<>]
-      def bindings(other)
-        if other.empty?
-          super
-        else
-          matcher.bindings(other.first)
-        end
-      end
-
-      def failure_reason(other)
-        matcher.failure_reason(other.first)
-      end
-    end
-  end
-end

data/lib/fear/extractor/array_matcher.rb

@@ -1,40 +0,0 @@
-# frozen_string_literal: true
-
-module Fear
-  module Extractor
-    # Recursive array matcher. Match against its head and tail
-    #
-    class ArrayMatcher < Matcher
-      # @!attribute head
-      #   @return [ArrayHeadMatcher]
-      # @!attribute tail
-      #   @return [ArrayMatcher | EmptyListMatcher]
-
-      def defined_at?(other)
-        if other.is_a?(Array)
-          head.defined_at?(other) && tail.defined_at?(other.slice(1..-1))
-        end
-      end
-
-      def bindings(other)
-        if head.is_a?(ArraySplatMatcher)
-          head.bindings(other)
-        else
-          head.bindings(other).merge(tail.bindings(other.slice(1..-1)))
-        end
-      end
-
-      def failure_reason(other)
-        if other.is_a?(Array)
-          if head.defined_at?(other)
-            tail.failure_reason(other.slice(1..-1))
-          else
-            head.failure_reason(other)
-          end
-        else
-          super
-        end
-      end
-    end
-  end
-end

data/lib/fear/extractor/array_splat_matcher.rb

@@ -1,16 +0,0 @@
-# frozen_string_literal: true
-
-module Fear
-  module Extractor
-    # @abstract
-    class ArraySplatMatcher < Matcher
-      def defined_at?(_other)
-        true
-      end
-
-      def bindings(_)
-        Utils::EMPTY_HASH
-      end
-    end
-  end
-end

data/lib/fear/extractor/empty_list_matcher.rb

@@ -1,20 +0,0 @@
-# frozen_string_literal: true
-
-module Fear
-  module Extractor
-    # Match only if array is empty
-    #
-    class EmptyListMatcher < Matcher
-      # @!attribute index
-      #   @return [Types::Strict::Integer]
-      #
-      def defined_at?(other)
-        other.empty?
-      end
-
-      def bindings(_)
-        Utils::EMPTY_HASH
-      end
-    end
-  end
-end

data/lib/fear/extractor/extractor_matcher.rb

@@ -1,44 +0,0 @@
-# frozen_string_literal: true
-
-module Fear
-  module Extractor
-    # Match and extract pattern using registered extractor objects
-    # E.g. +Some(a : Integer)+
-    # @see Extractor.register_extractor
-    class ExtractorMatcher < Matcher
-      # @!attribute name
-      #   @return [Types::Strict::String]
-      # @!attribute arguments_matcher
-      #   @return [ArrayMatcher | EmptyListMatcher]
-      #
-
-      def initialize(*)
-        super
-        @extractor = Extractor.find_extractor(name)
-      end
-      attr_reader :extractor
-      private :extractor
-
-      def defined_at?(other)
-        extractor
-          .(other)
-          .map { |v| arguments_matcher.defined_at?(v) }
-          .get_or_else(false)
-      end
-
-      def call_or_else(arg)
-        extractor.(arg)
-          .map { |v| arguments_matcher.call_or_else(v) { yield arg } }
-          .get_or_else { yield arg }
-      end
-
-      def failure_reason(other)
-        extractor.(other).match do |m|
-          m.some(->(v) { arguments_matcher.defined_at?(v) }) { Fear.none }
-          m.some { |v| arguments_matcher.failure_reason(v) }
-          m.none { super }
-        end
-      end
-    end
-  end
-end