dry-monads 1.3.2 → 1.4.0

data/lib/dry/monads/transformer.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 module Dry
   module Monads
     # Advanced tranformations.
@@ -25,7 +27,8 @@ module Dry
       # Lifts a block/proc over the 3-level nested structure.
       #
       # @example
-      #   List[Right(Some(1)), Left(Some(1))].fmap3 { |x| x + 1 } # => List[Right(Some(2)), Left(Some(1))]
+      #   List[Right(Some(1)), Left(Some(1))].fmap3 { |x| x + 1 }
+      #   # => List[Right(Some(2)), Left(Some(1))]
       #   Right(None).fmap3 { |x| x + 1 } # => Right(None)
       #
       # @param args [Array<Object>] arguments will be passed to the block or the proc

data/lib/dry/monads/traverse.rb

@@ -1,4 +1,9 @@
-require 'dry/monads/validated'
+# frozen_string_literal: true
+
+# rubocop:disable Naming/ConstantName
+# rubocop:disable Style/MutableConstant
+
+require "dry/monads/validated"
 
 module Dry
   module Monads
@@ -18,3 +23,6 @@ module Dry
     Traverse.freeze
   end
 end
+
+# rubocop:enable Style/MutableConstant
+# rubocop:enable Naming/ConstantName

data/lib/dry/monads/try.rb

@@ -1,8 +1,10 @@
-require 'dry/equalizer'
-require 'dry/core/deprecations'
+# frozen_string_literal: true
 
-require 'dry/monads/right_biased'
-require 'dry/monads/conversion_stubs'
+require "dry/core/equalizer"
+require "dry/core/deprecations"
+
+require "dry/monads/right_biased"
+require "dry/monads/conversion_stubs"
 
 module Dry
   module Monads
@@ -20,7 +22,7 @@ module Dry
       attr_reader :exception
 
       class << self
-        extend Core::Deprecations[:'dry-monads']
+        extend Core::Deprecations[:"dry-monads"]
 
         # Invokes a callable and if successful stores the result in the
         # {Try::Value} type, but if one of the specified exceptions was raised it stores
@@ -70,7 +72,8 @@ module Dry
         # @param exceptions [Array<Exception>]
         # @return [Try::Value,Try::Error]
         def [](*exceptions, &block)
-          raise ArgumentError, 'At least one exception type required' if exceptions.empty?
+          raise ArgumentError, "At least one exception type required" if exceptions.empty?
+
           run(exceptions, block)
         end
       end
@@ -89,7 +92,7 @@ module Dry
 
       # Returns self.
       #
-      # @return [Maybe::Some, Maybe::None]
+      # @return [Try::Value, Try::Error]
       def to_monad
         self
       end
@@ -107,6 +110,8 @@ module Dry
         # @param exceptions [Array<Exception>] list of exceptions to be rescued
         # @param value [Object] the value to be stored in the monad
         def initialize(exceptions, value)
+          super()
+
           @catchable = exceptions
           @value = value
         end
@@ -157,12 +162,21 @@ module Dry
         # @return [String]
         def to_s
           if Unit.equal?(@value)
-            'Try::Value()'
+            "Try::Value()"
           else
             "Try::Value(#{@value.inspect})"
           end
         end
         alias_method :inspect, :to_s
+
+        # Ignores values and returns self, see {Try::Error#recover}
+        #
+        # @param errors [Class] List of Exception subclasses
+        #
+        # @return [Try::Value]
+        def recover(*_errors)
+          self
+        end
       end
 
       # Represents a result of a failed execution.
@@ -176,12 +190,14 @@ module Dry
 
         # @param exception [Exception]
         def initialize(exception)
+          super()
+
           @exception = exception
         end
 
         # @return [String]
         def to_s
-          "Try::Error(#{ exception.class }: #{ exception.message })"
+          "Try::Error(#{exception.class}: #{exception.message})"
         end
         alias_method :inspect, :to_s
 
@@ -208,6 +224,26 @@ module Dry
         def ===(other)
           Error === other && exception === other.exception
         end
+
+        # Acts in a similar way to `rescue`. It checks if
+        # {exception} is one of {errors} and yields the block if so.
+        #
+        # @param errors [Class] List of Exception subclasses
+        #
+        # @return [Try::Value]
+        def recover(*errors)
+          if errors.empty?
+            classes = DEFAULT_EXCEPTIONS
+          else
+            classes = errors
+          end
+
+          if classes.any? { |c| c === exception }
+            Value.new([exception.class], yield(exception))
+          else
+            self
+          end
+        end
       end
 
       # A module that can be included for easier access to Try monads.
@@ -258,8 +294,9 @@ module Dry
         #
         def Value(value = Undefined, exceptions = DEFAULT_EXCEPTIONS, &block)
           v = Undefined.default(value, block)
-          raise ArgumentError, 'No value given' if !value.nil? && v.nil?
-          Value.new(exceptions, v)
+          raise ArgumentError, "No value given" if !value.nil? && v.nil?
+
+          Try::Value.new(exceptions, v)
         end
 
         # Error constructor
@@ -274,13 +311,14 @@ module Dry
         #
         def Error(error = Undefined, &block)
           v = Undefined.default(error, block)
-          raise ArgumentError, 'No value given' if v.nil?
+          raise ArgumentError, "No value given" if v.nil?
+
           Try::Error.new(v)
         end
       end
     end
 
-    require 'dry/monads/registry'
+    require "dry/monads/registry"
     register_mixin(:try, Try::Mixin)
   end
 end

data/lib/dry/monads/unit.rb

@@ -20,11 +20,15 @@ module Dry
     #
     Unit = Object.new.tap do |unit|
       def unit.to_s
-        'Unit'
+        "Unit"
       end
 
       def unit.inspect
-        'Unit'
+        "Unit"
+      end
+
+      def unit.deconstruct
+        EMPTY_ARRAY
       end
     end
   end

data/lib/dry/monads/validated.rb

@@ -1,6 +1,8 @@
-require 'dry/monads/conversion_stubs'
-require 'dry/monads/constants'
-require 'dry/monads/right_biased'
+# frozen_string_literal: true
+
+require "dry/monads/conversion_stubs"
+require "dry/monads/constants"
+require "dry/monads/right_biased"
 
 module Dry
   module Monads
@@ -49,7 +51,8 @@ module Dry
       #
       def bind(*)
         # See https://typelevel.org/cats/datatypes/validated.html for details on why
-        raise NotImplementedError, "Validated is not a monad because it would violate the monad laws"
+        raise NotImplementedError,
+              "Validated is not a monad because it would violate the monad laws"
       end
 
       # Valid result
@@ -58,6 +61,8 @@ module Dry
         include Dry::Equalizer(:value!)
 
         def initialize(value)
+          super()
+
           @value = value
         end
 
@@ -84,9 +89,8 @@ module Dry
         #   @yieldreturn [Validated::Valid,Validated::Invalid]
         #   @return [Validated::Valid,Validated::Invalid]
         #
-        # @return [Validated::Valid]
-        def apply(val = Undefined)
-          Undefined.default(val) { yield }.fmap(Curry.(value!))
+        def apply(val = Undefined, &block)
+          Undefined.default(val, &block).fmap(Curry.(value!))
         end
 
         # Lifts a block/proc over Valid
@@ -131,7 +135,7 @@ module Dry
         # @param other [Object]
         # @return [Boolean]
         def ===(other)
-          self.class == other.class && value! === other.value!
+          other.instance_of?(self.class) && value! === other.value!
         end
       end
 
@@ -152,6 +156,8 @@ module Dry
         include Dry::Equalizer(:error)
 
         def initialize(error, trace = RightBiased::Left.trace_caller)
+          super()
+
           @error = error
           @trace = trace
         end
@@ -166,11 +172,11 @@ module Dry
         #   @yieldreturn [Validated::Valid,Validated::Invalid]
         #   @return [Validated::Invalid]
         #
-        def apply(val = Undefined)
-          Undefined.
-            default(val) { yield }.
-            alt_map { |v| @error + v }.
-            fmap { return self }
+        def apply(val = Undefined, &block)
+          Undefined
+            .default(val, &block)
+            .alt_map { |v| @error + v }
+            .fmap { return self }
         end
 
         # Lifts a block/proc over Invalid
@@ -211,21 +217,20 @@ module Dry
 
         # @return [String]
         def inspect
-          "Invalid(#{ @error.inspect })"
+          "Invalid(#{@error.inspect})"
         end
         alias_method :to_s, :inspect
 
         # @param other [Object]
         # @return [Boolean]
         def ===(other)
-          self.class == other.class && error === other.error
+          other.instance_of?(self.class) && error === other.error
         end
       end
 
       # Mixin with Validated constructors
       #
       module Mixin
-
         # Successful validation result
         # @see Dry::Monads::Validated::Valid
         Valid = Valid
@@ -249,7 +254,8 @@ module Dry
           #
           def Valid(value = Undefined, &block)
             v = Undefined.default(value, block)
-            raise ArgumentError, 'No value given' if !value.nil? && v.nil?
+            raise ArgumentError, "No value given" if !value.nil? && v.nil?
+
             Valid.new(v)
           end
 
@@ -265,7 +271,8 @@ module Dry
           #
           def Invalid(value = Undefined, &block)
             v = Undefined.default(value, block)
-            raise ArgumentError, 'No value given' if !value.nil? && v.nil?
+            raise ArgumentError, "No value given" if !value.nil? && v.nil?
+
             Invalid.new(v, RightBiased::Left.trace_caller)
           end
         end
@@ -294,14 +301,14 @@ module Dry
       class Failure < Result
         # Transforms to Validated
         #
-        # @return [Validated::Valid]
+        # @return [Validated::Invalid]
         def to_validated
           Validated::Invalid.new(failure, trace)
         end
       end
     end
 
-    require 'dry/monads/registry'
+    require "dry/monads/registry"
     register_mixin(:validated, Validated::Mixin)
   end
 end

data/lib/dry/monads/version.rb

@@ -1,6 +1,8 @@
+# frozen_string_literal: true
+
 module Dry
   module Monads
     # Gem version
-    VERSION = '1.3.2'.freeze
+    VERSION = "1.4.0"
   end
 end

data/lib/json/add/dry/monads/maybe.rb

@@ -1,7 +1,8 @@
 # frozen_string_literal: false
-require 'json' unless defined?(::JSON::JSON_LOADED) && ::JSON::JSON_LOADED
 
-require 'dry/monads'
+require "json" unless defined?(::JSON::JSON_LOADED) && ::JSON::JSON_LOADED
+
+require "dry/monads"
 
 # Inspired by standard library implementation
 # for Time serialization/deserialization see (json/lib/json/add/time.rb)
@@ -11,7 +12,7 @@ module Dry
     class Maybe
       # Deserializes JSON string by using Dry::Monads::Maybe#lift method
       def self.json_create(serialized)
-        coerce(serialized.fetch('value'))
+        coerce(serialized.fetch("value"))
       end
 
       # Returns a hash, that will be turned into a JSON object and represent this

metadata

@@ -1,63 +1,43 @@
 --- !ruby/object:Gem::Specification
 name: dry-monads
 version: !ruby/object:Gem::Version
-  version: 1.3.2
+  version: 1.4.0
 platform: ruby
 authors:
 - Nikita Shilnikov
-autorequire: 
-bindir: exe
+autorequire:
+bindir: bin
 cert_chain: []
-date: 2019-11-30 00:00:00.000000000 Z
+date: 2021-07-20 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
-  name: dry-equalizer
-  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: dry-core
+  name: concurrent-ruby
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.4'
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: 0.4.4
+        version: '1.0'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.4'
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: 0.4.4
+        version: '1.0'
 - !ruby/object:Gem::Dependency
-  name: concurrent-ruby
+  name: dry-core
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '1.0'
+        version: '0.7'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '1.0'
+        version: '0.7'
 - !ruby/object:Gem::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement
@@ -73,21 +53,21 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '0'
 - !ruby/object:Gem::Dependency
-  name: rake
+  name: dry-types
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 0.1.2
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 0.1.2
 - !ruby/object:Gem::Dependency
-  name: rspec
+  name: rake
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
@@ -101,59 +81,29 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '0'
 - !ruby/object:Gem::Dependency
-  name: dry-types
+  name: rspec
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '0.12'
+        version: '0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '0.12'
-description: Common monads for Ruby.
+        version: '0'
+description: Common monads for Ruby
 email:
 - fg@flashgordon.ru
 executables: []
 extensions: []
 extra_rdoc_files: []
 files:
-- ".codeclimate.yml"
-- ".github/ISSUE_TEMPLATE/----please-don-t-ask-for-support-via-issues.md"
-- ".github/ISSUE_TEMPLATE/---bug-report.md"
-- ".github/ISSUE_TEMPLATE/---feature-request.md"
-- ".github/workflows/ci.yml"
-- ".github/workflows/docsite.yml"
-- ".github/workflows/sync_configs.yml"
-- ".gitignore"
-- ".rspec"
-- ".rubocop.yml"
-- ".yardopts"
 - CHANGELOG.md
-- CODE_OF_CONDUCT.md
-- CONTRIBUTING.md
-- Gemfile
 - LICENSE
 - README.md
-- Rakefile
-- bin/console
-- bin/setup
-- docsite/source/case-equality.html.md
-- docsite/source/do-notation.html.md
-- docsite/source/getting-started.html.md
-- docsite/source/index.html.md
-- docsite/source/list.html.md
-- docsite/source/maybe.html.md
-- docsite/source/pattern-matching.html.md
-- docsite/source/result.html.md
-- docsite/source/task.html.md
-- docsite/source/tracing-failures.html.md
-- docsite/source/try.html.md
-- docsite/source/unit.html.md
-- docsite/source/validated.html.md
 - dry-monads.gemspec
 - lib/dry-monads.rb
 - lib/dry/monads.rb
@@ -181,13 +131,15 @@ files:
 - lib/dry/monads/validated.rb
 - lib/dry/monads/version.rb
 - lib/json/add/dry/monads/maybe.rb
-- log/.gitkeep
-homepage: https://github.com/dry-rb/dry-monads
+homepage: https://dry-rb.org/gems/dry-monads
 licenses:
 - MIT
 metadata:
   allowed_push_host: https://rubygems.org
-post_install_message: 
+  changelog_uri: https://github.com/dry-rb/dry-monads/blob/master/CHANGELOG.md
+  source_code_uri: https://github.com/dry-rb/dry-monads
+  bug_tracker_uri: https://github.com/dry-rb/dry-monads/issues
+post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -195,15 +147,15 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 2.4.0
+      version: 2.6.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.0.6
-signing_key: 
+rubygems_version: 3.2.22
+signing_key:
 specification_version: 4
-summary: Common monads for Ruby.
+summary: Common monads for Ruby
 test_files: []