dry-logic 1.0.6 → 1.2.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: a6c0b350baaf47853027db9d61e790c195ced412ff40a9ecaac56b6588172da3
-  data.tar.gz: 966f1daee610a4eea2eae78743e8e17f0e57084b1106fd3f033483329895a4a1
+  metadata.gz: 1e3f807ddbab8319c1c039978115800a4f8c6d41b337815cdaf6226563716a3d
+  data.tar.gz: 79cb10c28f23ebc523c15f4cd3da9657aeeb9923f7ed778bfaaa10c5dd59824c
 SHA512:
-  metadata.gz: 98002481f3e8cc83affa67ff7b3f8e69b22836f0737112bba1d4c656f39cbc06d9657bdb7865326fb9b6531660a9fd260b60d18d2062d9d149a97f25154a3974
-  data.tar.gz: cc6163b44e7e2ef296901e35085fa42290ad8b4b936237e26409f7f71d90041e12472322319d3dc8553fb46dcf532b2747b68b1d3a5cd46e81bb94fb298cf56c
+  metadata.gz: ad9c5d83eb742610eddb8ea47be7a31cffcfee956223d08a1f595c90b02289d16b78e0dfe4b7ff48cf3fec7b79a586aab148a8e00afc67a9b8e0a6600f8687cc
+  data.tar.gz: 1df8067e98f4b90ff921a1d0eccaef3e29aa1b819337110cb2b20deb2e60215433118d2ba30bd54f41e5dec634b76a65d52c18fd924992c62ba4735a5fbd97a1

data/CHANGELOG.md

@@ -1,3 +1,59 @@
+<!--- DO NOT EDIT THIS FILE - IT'S AUTOMATICALLY GENERATED VIA DEVTOOLS --->
+
+## 1.2.0 2021-04-26
+
+
+### Added
+
+- Add predicate and operation builder DSL (@oleander)
+
+
+[Compare v1.1.1...v1.2.0](https://github.com/dry-rb/dry-logic/compare/v1.1.1...v1.2.0)
+
+## 1.1.1 2021-04-14
+
+
+### Fixed
+
+- Fixed a crash under jruby caused by arg splatting in Binary operations (@flash-gordon)
+
+
+[Compare v1.1.0...v1.1.1](https://github.com/dry-rb/dry-logic/compare/v1.1.0...v1.1.1)
+
+## 1.1.0 2020-12-26
+
+
+### Fixed
+
+- Nested `Check` operations no longer crash under MRI 3.0 (@oleander)
+
+### Changed
+
+- Switched to equalizer from dry-core (@solnic)
+
+[Compare v1.0.8...v1.1.0](https://github.com/dry-rb/dry-logic/compare/v1.0.8...v1.1.0)
+
+## 1.0.8 2020-09-28
+
+
+### Fixed
+
+- Better Ruby 3 support with fixed specialization for rules of negative arity (@flash-gordon)
+
+
+[Compare v1.0.7...v1.0.8](https://github.com/dry-rb/dry-logic/compare/v1.0.7...v1.0.8)
+
+## 1.0.7 2020-08-13
+
+
+### Added
+
+- A new `uri?` predicate that you can use to verify `URI` strings, ie `uri?("https", "https://dry-rb.org")` (@nerburish)
+- New predicates: `uuid_v1?`, `uuid_v2?`, `uuid_v3?` and `uuid_v5?` (via #75) (@jamesbrauman)
+
+
+[Compare v1.0.6...v1.0.7](https://github.com/dry-rb/dry-logic/compare/v1.0.6...v1.0.7)
+
 ## 1.0.6 2020-02-10
 
 

data/LICENSE

@@ -1,6 +1,6 @@
 The MIT License (MIT)
 
-Copyright (c) 2015-2020 dry-rb team
+Copyright (c) 2015-2021 dry-rb team
 
 Permission is hereby granted, free of charge, to any person obtaining a copy of
 this software and associated documentation files (the "Software"), to deal in

data/README.md

@@ -21,7 +21,7 @@
 
 This library officially supports the following Ruby versions:
 
-* MRI >= `2.4`
+* MRI >= `2.5`
 * jruby >= `9.2`
 
 ## License

data/dry-logic.gemspec

@@ -25,12 +25,11 @@ Gem::Specification.new do |spec|
   spec.metadata['source_code_uri']   = 'https://github.com/dry-rb/dry-logic'
   spec.metadata['bug_tracker_uri']   = 'https://github.com/dry-rb/dry-logic/issues'
 
-  spec.required_ruby_version = ">= 2.4.0"
+  spec.required_ruby_version = ">= 2.5.0"
 
   # to update dependencies edit project.yml
   spec.add_runtime_dependency "concurrent-ruby", "~> 1.0"
-  spec.add_runtime_dependency "dry-core", "~> 0.2"
-  spec.add_runtime_dependency "dry-equalizer", "~> 0.2"
+  spec.add_runtime_dependency "dry-core", "~> 0.5", ">= 0.5"
 
   spec.add_development_dependency "bundler"
   spec.add_development_dependency "rake"

data/lib/dry-logic.rb

@@ -1,3 +1,3 @@
 # frozen_string_literal: true
 
-require 'dry/logic'
+require "dry/logic"

data/lib/dry/logic.rb

@@ -7,5 +7,5 @@ module Dry
   end
 end
 
-require 'dry/logic/rule/predicate'
-require 'dry/logic/operations'
+require "dry/logic/rule/predicate"
+require "dry/logic/operations"

data/lib/dry/logic/builder.rb

@@ -0,0 +1,91 @@
+# frozen_string_literal: true
+
+require "dry/logic"
+require "singleton"
+require "delegate"
+
+module Dry
+  module Logic
+    autoload :Operations, "dry/logic/operations"
+    autoload :Predicates, "dry/logic/predicates"
+    module Builder
+      IGNORED_OPERATIONS = %i[
+        Abstract
+        Binary
+        Unary
+      ].freeze
+
+      IGNORED_PREDICATES = [
+        :predicate
+      ].freeze
+
+      # Predicate and operation builder
+      #
+      # @block [Proc]
+      # @return [Builder::Result]
+      # @example Check if input is zero
+      #   is_zero = Dry::Logic::Builder.call do
+      #     negation { lt?(0) ^ gt?(0) }
+      #   end
+      #
+      #   p is_zero.call(1) # => false
+      #   p is_zero.call(0) # => true
+      #   p is_zero.call(-1) # => false
+      def call(&context)
+        Context.instance.call(&context)
+      end
+      module_function :call
+      alias_method :build, :call
+      public :call, :build
+
+      class Context
+        include Dry::Logic
+        include Singleton
+
+        module Predicates
+          include Logic::Predicates
+        end
+
+        # @see Builder#call
+        def call(&context)
+          instance_eval(&context)
+        end
+
+        # Defines custom predicate
+        #
+        # @name [Symbol] Name of predicate
+        # @Context [Proc]
+        def predicate(name, &context)
+          if singleton_class.method_defined?(name)
+            singleton_class.undef_method(name)
+          end
+
+          prerdicate = Rule::Predicate.new(context)
+
+          define_singleton_method(name) do |*args|
+            prerdicate.curry(*args)
+          end
+        end
+
+        # Defines methods for operations and predicates
+        def initialize
+          Operations.constants(false).each do |name|
+            next if IGNORED_OPERATIONS.include?(name)
+
+            operation = Operations.const_get(name)
+
+            define_singleton_method(name.downcase) do |*args, **kwargs, &block|
+              operation.new(*call(&block), *args, **kwargs)
+            end
+          end
+
+          Predicates::Methods.instance_methods(false).each do |name|
+            unless IGNORED_PREDICATES.include?(name)
+              predicate(name, &Predicates[name])
+            end
+          end
+        end
+      end
+    end
+  end
+end

data/lib/dry/logic/evaluator.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 
-require 'dry/equalizer'
+require "dry/core/equalizer"
 
 module Dry
   module Logic

data/lib/dry/logic/operations.rb

@@ -1,15 +1,15 @@
 # frozen_string_literal: true
 
-require 'dry/logic/operations/and'
-require 'dry/logic/operations/or'
-require 'dry/logic/operations/xor'
-require 'dry/logic/operations/implication'
-require 'dry/logic/operations/negation'
+require "dry/logic/operations/and"
+require "dry/logic/operations/or"
+require "dry/logic/operations/xor"
+require "dry/logic/operations/implication"
+require "dry/logic/operations/negation"
 
-require 'dry/logic/operations/key'
-require 'dry/logic/operations/attr'
-require 'dry/logic/operations/each'
-require 'dry/logic/operations/set'
-require 'dry/logic/operations/check'
+require "dry/logic/operations/key"
+require "dry/logic/operations/attr"
+require "dry/logic/operations/each"
+require "dry/logic/operations/set"
+require "dry/logic/operations/check"
 
-require 'dry/logic/operators'
+require "dry/logic/operators"

data/lib/dry/logic/operations/abstract.rb

@@ -1,8 +1,8 @@
 # frozen_string_literal: true
 
-require 'dry/core/constants'
-require 'dry/equalizer'
-require 'dry/logic/operators'
+require "dry/core/constants"
+require "dry/core/equalizer"
+require "dry/logic/operators"
 
 module Dry
   module Logic

data/lib/dry/logic/operations/and.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'dry/logic/operations/binary'
-require 'dry/logic/result'
+require "dry/logic/operations/binary"
+require "dry/logic/result"
 
 module Dry
   module Logic
@@ -17,7 +17,7 @@ module Dry
         def type
           :and
         end
-        alias operator type
+        alias_method :operator, :type
 
         def call(input)
           left_result = left.(input)

data/lib/dry/logic/operations/attr.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 
-require 'dry/logic/operations/key'
+require "dry/logic/operations/key"
 
 module Dry
   module Logic

data/lib/dry/logic/operations/binary.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 
-require 'dry/logic/operations/abstract'
+require "dry/logic/operations/abstract"
 
 module Dry
   module Logic
@@ -10,9 +10,10 @@ module Dry
 
         attr_reader :right
 
-        def initialize(*rules, **options)
+        def initialize(left, right, **options)
           super
-          @left, @right = rules
+          @left = left
+          @right = right
         end
 
         def ast(input = Undefined)

data/lib/dry/logic/operations/check.rb

@@ -1,8 +1,8 @@
 # frozen_string_literal: true
 
-require 'dry/logic/operations/unary'
-require 'dry/logic/evaluator'
-require 'dry/logic/result'
+require "dry/logic/operations/unary"
+require "dry/logic/evaluator"
+require "dry/logic/result"
 
 module Dry
   module Logic
@@ -12,7 +12,7 @@ module Dry
 
         def self.new(rule, **options)
           if options[:evaluator]
-            super(rule, options)
+            super(rule, **options)
           else
             keys = options.fetch(:keys)
             evaluator = Evaluator::Set.new(keys)

data/lib/dry/logic/operations/each.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'dry/logic/operations/unary'
-require 'dry/logic/result'
+require "dry/logic/operations/unary"
+require "dry/logic/result"
 
 module Dry
   module Logic

data/lib/dry/logic/operations/implication.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'dry/logic/operations/binary'
-require 'dry/logic/result'
+require "dry/logic/operations/binary"
+require "dry/logic/result"
 
 module Dry
   module Logic

data/lib/dry/logic/operations/key.rb

@@ -1,8 +1,8 @@
 # frozen_string_literal: true
 
-require 'dry/logic/operations/unary'
-require 'dry/logic/evaluator'
-require 'dry/logic/result'
+require "dry/logic/operations/unary"
+require "dry/logic/evaluator"
+require "dry/logic/result"
 
 module Dry
   module Logic

data/lib/dry/logic/operations/negation.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'dry/logic/operations/unary'
-require 'dry/logic/result'
+require "dry/logic/operations/unary"
+require "dry/logic/result"
 
 module Dry
   module Logic

data/lib/dry/logic/operations/or.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'dry/logic/operations/binary'
-require 'dry/logic/result'
+require "dry/logic/operations/binary"
+require "dry/logic/result"
 
 module Dry
   module Logic

data/lib/dry/logic/operations/set.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'dry/logic/operations/abstract'
-require 'dry/logic/result'
+require "dry/logic/operations/abstract"
+require "dry/logic/result"
 
 module Dry
   module Logic
@@ -29,7 +29,7 @@ module Dry
         end
 
         def to_s
-          "#{type}(#{rules.map(&:to_s).join(', ')})"
+          "#{type}(#{rules.map(&:to_s).join(", ")})"
         end
       end
     end

data/lib/dry/logic/operations/unary.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 
-require 'dry/logic/operations/abstract'
+require "dry/logic/operations/abstract"
 
 module Dry
   module Logic

data/lib/dry/logic/operations/xor.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'dry/logic/operations/binary'
-require 'dry/logic/result'
+require "dry/logic/operations/binary"
+require "dry/logic/result"
 
 module Dry
   module Logic

data/lib/dry/logic/operators.rb

@@ -6,22 +6,22 @@ module Dry
       def and(other)
         Operations::And.new(self, other)
       end
-      alias & and
+      alias_method :&, :and
 
       def or(other)
         Operations::Or.new(self, other)
       end
-      alias | or
+      alias_method :|, :or
 
       def xor(other)
         Operations::Xor.new(self, other)
       end
-      alias ^ xor
+      alias_method :^, :xor
 
       def then(other)
         Operations::Implication.new(self, other)
       end
-      alias > then
+      alias_method :>, :then
     end
   end
 end

data/lib/dry/logic/predicates.rb

@@ -1,8 +1,8 @@
 # frozen_string_literal: true
 
-require 'bigdecimal'
-require 'bigdecimal/util'
-require 'date'
+require "bigdecimal"
+require "bigdecimal/util"
+require "date"
 
 module Dry
   module Logic
@@ -13,7 +13,7 @@ module Dry
         end
 
         def type?(type, input)
-          input.kind_of?(type)
+          input.is_a?(type)
         end
 
         def nil?(input)
@@ -147,12 +147,12 @@ module Dry
         end
 
         def inclusion?(list, input)
-          ::Kernel.warn 'inclusion is deprecated - use included_in instead.'
+          ::Kernel.warn "inclusion is deprecated - use included_in instead."
           included_in?(list, input)
         end
 
         def exclusion?(list, input)
-          ::Kernel.warn 'exclusion is deprecated - use excluded_from instead.'
+          ::Kernel.warn "exclusion is deprecated - use excluded_from instead."
           excluded_from?(list, input)
         end
 
@@ -206,11 +206,36 @@ module Dry
           pattern === input
         end
 
+        def uuid_v1?(input)
+          uuid_v1_format = /\A[0-9A-F]{8}-[0-9A-F]{4}-1[0-9A-F]{3}-[89AB][0-9A-F]{3}-[0-9A-F]{12}\z/i
+          format?(uuid_v1_format, input)
+        end
+
+        def uuid_v2?(input)
+          uuid_v2_format = /\A[0-9A-F]{8}-[0-9A-F]{4}-2[0-9A-F]{3}-[89AB][0-9A-F]{3}-[0-9A-F]{12}\z/i
+          format?(uuid_v2_format, input)
+        end
+
+        def uuid_v3?(input)
+          uuid_v3_format = /\A[0-9A-F]{8}-[0-9A-F]{4}-3[0-9A-F]{3}-[89AB][0-9A-F]{3}-[0-9A-F]{12}\z/i
+          format?(uuid_v3_format, input)
+        end
+
         def uuid_v4?(input)
           uuid_v4_format = /\A[0-9A-F]{8}-[0-9A-F]{4}-4[0-9A-F]{3}-[89AB][0-9A-F]{3}-[0-9A-F]{12}\z/i
           format?(uuid_v4_format, input)
         end
 
+        def uuid_v5?(input)
+          uuid_v5_format = /\A[0-9A-F]{8}-[0-9A-F]{4}-5[0-9A-F]{3}-[89AB][0-9A-F]{3}-[0-9A-F]{12}\z/i
+          format?(uuid_v5_format, input)
+        end
+
+        def uri?(schemes, input)
+          uri_format = URI::DEFAULT_PARSER.make_regexp(schemes)
+          format?(uri_format, input)
+        end
+
         def respond_to?(method, input)
           input.respond_to?(method)
         end

data/lib/dry/logic/result.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 
-require 'dry/core/constants'
+require "dry/core/constants"
 
 module Dry
   module Logic
@@ -69,7 +69,7 @@ module Dry
         if args.empty?
           name.to_s
         else
-          "#{name}(#{args.map(&:last).map(&:inspect).join(', ')})"
+          "#{name}(#{args.map(&:last).map(&:inspect).join(", ")})"
         end
       end
 

data/lib/dry/logic/rule.rb

@@ -1,11 +1,11 @@
 # frozen_string_literal: true
 
-require 'concurrent/map'
-require 'dry/core/constants'
-require 'dry/equalizer'
-require 'dry/logic/operations'
-require 'dry/logic/result'
-require 'dry/logic/rule/interface'
+require "concurrent/map"
+require "dry/core/constants"
+require "dry/core/equalizer"
+require "dry/logic/operations"
+require "dry/logic/result"
+require "dry/logic/rule/interface"
 
 module Dry
   module Logic
@@ -38,13 +38,13 @@ module Dry
         base.interfaces.fetch_or_store([arity, curried]) do
           interface = Interface.new(arity, curried)
           klass = Class.new(base) { include interface }
-          base.const_set("#{base.name.split('::').last}#{interface.name}", klass)
+          base.const_set("#{base.name.split("::").last}#{interface.name}", klass)
           klass
         end
       end
 
       def self.build(predicate, args: EMPTY_ARRAY, arity: predicate.arity, **options)
-        specialize(arity, args.size).new(predicate, { args: args, arity: arity, **options })
+        specialize(arity, args.size).new(predicate, {args: args, arity: arity, **options})
       end
 
       def initialize(predicate, options = EMPTY_HASH)

data/lib/dry/logic/rule/interface.rb

@@ -4,6 +4,8 @@ module Dry
   module Logic
     class Rule
       class Interface < ::Module
+        SPLAT = ["*rest"].freeze
+
         attr_reader :arity
 
         attr_reader :curried
@@ -18,12 +20,10 @@ module Dry
 
           define_constructor if curried?
 
-          if variable_arity?
-            define_splat_application
-          elsif constant?
+          if constant?
             define_constant_application
           else
-            define_fixed_application
+            define_application
           end
         end
 
@@ -32,7 +32,7 @@ module Dry
         end
 
         def variable_arity?
-          arity.equal?(-1)
+          arity.negative?
         end
 
         def curried?
@@ -41,7 +41,13 @@ module Dry
 
         def unapplied
           if variable_arity?
-            -1
+            unapplied = arity.abs - 1 - curried
+
+            if unapplied.negative?
+              0
+            else
+              unapplied
+            end
           else
             arity - curried
           end
@@ -49,10 +55,21 @@ module Dry
 
         def name
           if constant?
-            'Constant'
+            "Constant"
           else
-            arity_str = variable_arity? ? 'VariableArity' : "#{arity}Arity"
-            curried_str = curried? ? "#{curried}Curried" : EMPTY_STRING
+            arity_str =
+              if variable_arity?
+                "Variable#{arity.abs - 1}Arity"
+              else
+                "#{arity}Arity"
+              end
+
+            curried_str =
+              if curried?
+                "#{curried}Curried"
+              else
+                EMPTY_STRING
+              end
 
             "#{arity_str}#{curried_str}"
           end
@@ -61,9 +78,9 @@ module Dry
         def define_constructor
           assignment =
             if curried.equal?(1)
-              '@arg0 = @args[0]'
+              "@arg0 = @args[0]"
             else
-              "#{curried_args.join(', ')} = @args"
+              "#{curried_args.join(", ")} = @args"
             end
 
           module_eval(<<~RUBY, __FILE__, __LINE__ + 1)
@@ -91,32 +108,10 @@ module Dry
           end
         end
 
-        def define_splat_application
-          application =
-            if curried?
-              "@predicate[#{curried_args.join(', ')}, *input]"
-            else
-              '@predicate[*input]'
-            end
-
-          module_eval(<<~RUBY, __FILE__, __LINE__ + 1)
-            def call(*input)
-              if #{application}
-                Result::SUCCESS
-              else
-                Result.new(false, id) { ast(*input) }
-              end
-            end
-
-            def [](*input)
-              #{application}
-            end
-          RUBY
-        end
-
-        def define_fixed_application
-          parameters = unapplied_args.join(', ')
-          application = "@predicate[#{(curried_args + unapplied_args).join(', ')}]"
+        def define_application
+          splat = variable_arity? ? SPLAT : EMPTY_ARRAY
+          parameters = (unapplied_args + splat).join(", ")
+          application = "@predicate[#{(curried_args + unapplied_args + splat).join(", ")}]"
 
           module_eval(<<~RUBY, __FILE__, __LINE__ + 1)
             def call(#{parameters})

data/lib/dry/logic/rule/predicate.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 
-require 'dry/logic/rule'
+require "dry/logic/rule"
 
 module Dry
   module Logic
@@ -19,9 +19,9 @@ module Dry
 
       def to_s
         if args.size > 0
-          "#{name}(#{args.map(&:inspect).join(', ')})"
+          "#{name}(#{args.map(&:inspect).join(", ")})"
         else
-          "#{name}"
+          name.to_s
         end
       end
 

data/lib/dry/logic/rule_compiler.rb

@@ -1,9 +1,9 @@
 # frozen_string_literal: true
 
-require 'dry/core/constants'
+require "dry/core/constants"
 
-require 'dry/logic/rule'
-require 'dry/logic/rule/predicate'
+require "dry/logic/rule"
+require "dry/logic/rule/predicate"
 
 module Dry
   module Logic

data/lib/dry/logic/version.rb

@@ -2,6 +2,6 @@
 
 module Dry
   module Logic
-    VERSION = '1.0.6'
+    VERSION = "1.2.0"
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: dry-logic
 version: !ruby/object:Gem::Version
-  version: 1.0.6
+  version: 1.2.0
 platform: ruby
 authors:
 - Piotr Solnica
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2020-02-10 00:00:00.000000000 Z
+date: 2021-04-26 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: concurrent-ruby
@@ -30,28 +30,20 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.2'
-  type: :runtime
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '0.2'
-- !ruby/object:Gem::Dependency
-  name: dry-equalizer
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
+        version: '0.5'
+    - - ">="
       - !ruby/object:Gem::Version
-        version: '0.2'
+        version: '0.5'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.2'
+        version: '0.5'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0.5'
 - !ruby/object:Gem::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement
@@ -108,6 +100,7 @@ files:
 - lib/dry-logic.rb
 - lib/dry/logic.rb
 - lib/dry/logic/appliable.rb
+- lib/dry/logic/builder.rb
 - lib/dry/logic/evaluator.rb
 - lib/dry/logic/operations.rb
 - lib/dry/logic/operations/abstract.rb
@@ -147,14 +140,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 2.4.0
+      version: 2.5.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.0.3
+rubygems_version: 3.1.6
 signing_key: 
 specification_version: 4
 summary: Predicate logic with rule composition