smart_types 0.7.1 → 0.8.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 272f5a15bb76008e456d87ad711a534518fa746369c3c64b8915f09265f75fea
-  data.tar.gz: 53ccc4912ec1577133ccfbe678dba4741a85c5a8521b72f2fca396823c31797d
+  metadata.gz: 1b592f16e69b2b34662ca1ff8199a5fc0e4ae7234fb47288df3e41444a53c214
+  data.tar.gz: 7f1ff6580098205bb9e4b5295eff21e4ced1173a73e4e967bdd5f4997e398377
 SHA512:
-  metadata.gz: 1bb710c2e0f11a8a267a2663fcb9ad75b60352d306b17a8bebad812013531ea1ee7fac4996bc342be245ac09939d862ca0f2dc2a4c26dfd5c9aa064ea41b270f
-  data.tar.gz: a2d03bcc580625b3af5ffe9535cd5b26e972b4d4b6189d71aceaa09c48f527cb2310c8aa68238803093357dee4f8b43817d3b95ddd5c912bd11dc9a6da2bbdf8
+  metadata.gz: 1b3c4a74168dcfcdf3f85f9baa9f3a66e0c95d0b2cf726a4f9b2ec711cf5f127dd0e060e322369780178ed7d3fe2efc708d31458c9099b2eee5ef1746a72eddc
+  data.tar.gz: 9beb0d346cc40c8f2ce8233c448306d51aa5b771e1473b358c7650e1238813e8c9115bdc66d8e1409900642baf854f6f4a9de2b51faf968351cd924972156f59

data/.github/workflows/ci.yml

@@ -16,14 +16,12 @@ jobs:
       fail-fast: false
       matrix:
         ruby:
-          - version: 2.5
-            continue-on-error: false
-          - version: 2.6
-            continue-on-error: false
           - version: 2.7
             continue-on-error: false
           - version: 3.0
             continue-on-error: false
+          - version: 3.1
+            continue-on-error: false
           - version: ruby-head
             continue-on-error: true
           - version: jruby-head

data/.rubocop.yml

@@ -22,3 +22,7 @@ Style/RedundantBegin:
 # NOTE: used only in specs and it is ok in specs
 Lint/EmptyBlock:
   Enabled: false
+
+# NOTE: too situative and too subjective
+Naming/VariableNumber:
+  Enabled: false

data/CHANGELOG.md

@@ -1,14 +1,23 @@
 # Changelog
 All notable changes to this project will be documented in this file.
 
+# [0.8.0] - 2022-11-25
+### Added
+- New types of `SmartCore::Types::Value` category:
+  - `SmartCore::Types::Value::Method`
+- Support for *Ruby@3.1*;
+### Changed
+- `SmartCore::Types::Primitive#valid?` now has no dependency on invariant control result object interface
+  (reduced object allocation count during validation: move from OOP-style to Procedure-style inside boolean methods);
+- Updated development dependencies (see `Gemfile.lock` diffs);
+- Support for *Ruby@2.4*, *Ruby@2.5* and *Ruby@2.6* has ended;
+
 # [0.7.1] - 2022-08-31
 ### Fixed
-- (**TruffelRuby** fix) Fixed `NoMethodError: private method 'initialize_clone'` failing on type object duplication and cloning (`#dup` and `#clone`).
-  `TruffleRuby` implementation makes `initialize_clone` method private by default even if your manually defined method is implicitly public.
+- **TruffelRuby**: fixed `NoMethodError: private method 'initialize_clone'` failing on type object duplication and cloning (`#dup` and `#clone`).
+  `TruffleRuby` implementation makes `initialize_clone` method private by default even if your manually defined method is implicitly public
+  (see `SmartCore::Types::Primitive::Factory::RuntimeTypeBuilder.initialize_clone` and `SmartCore::Types::Primitive#initialize_copy`).
   To fix this we should explicitly define our method as a public method (`public def initialize_clone`).
-  ```
-  NoMethodError: private method `initialize_clone' called for SmartCore::Types::Primitive::Factory::RuntimeTypeBuilder:Module
-  ```
 
 # [0.7.0] - 2021-11-22
 ### Added

data/Gemfile.lock

@@ -1,80 +1,86 @@
 PATH
   remote: .
   specs:
-    smart_types (0.7.1)
+    smart_types (0.8.0)
       smart_engine (~> 0.11)
 
 GEM
   remote: https://rubygems.org/
   specs:
-    activesupport (6.1.1)
+    activesupport (7.0.4)
       concurrent-ruby (~> 1.0, >= 1.0.2)
       i18n (>= 1.6, < 2)
       minitest (>= 5.1)
       tzinfo (~> 2.0)
-      zeitwerk (~> 2.3)
-    armitage-rubocop (1.7.0.1)
-      rubocop (= 1.7.0)
-      rubocop-performance (= 1.9.1)
-      rubocop-rails (= 2.9.1)
-      rubocop-rake (= 0.5.1)
-      rubocop-rspec (= 2.1.0)
-    ast (2.4.1)
+    armitage-rubocop (1.36.0)
+      rubocop (= 1.36.0)
+      rubocop-performance (= 1.15.0)
+      rubocop-rails (= 2.16.1)
+      rubocop-rake (= 0.6.0)
+      rubocop-rspec (= 2.13.2)
+    ast (2.4.2)
     coderay (1.1.3)
-    concurrent-ruby (1.1.7)
-    diff-lcs (1.4.4)
-    docile (1.3.5)
-    i18n (1.8.7)
+    concurrent-ruby (1.1.10)
+    diff-lcs (1.5.0)
+    docile (1.4.0)
+    ffi (1.15.5-java)
+    i18n (1.12.0)
       concurrent-ruby (~> 1.0)
+    json (2.6.2)
+    json (2.6.2-java)
     method_source (1.0.0)
-    minitest (5.14.3)
-    parallel (1.20.1)
-    parser (3.0.0.0)
+    minitest (5.16.3)
+    parallel (1.22.1)
+    parser (3.1.2.1)
       ast (~> 2.4.1)
-    pry (0.13.1)
+    pry (0.14.1)
       coderay (~> 1.1)
       method_source (~> 1.0)
-    rack (2.2.3)
-    rainbow (3.0.0)
-    rake (13.0.3)
-    regexp_parser (2.0.3)
-    rexml (3.2.4)
-    rspec (3.10.0)
-      rspec-core (~> 3.10.0)
-      rspec-expectations (~> 3.10.0)
-      rspec-mocks (~> 3.10.0)
-    rspec-core (3.10.1)
-      rspec-support (~> 3.10.0)
-    rspec-expectations (3.10.1)
+    pry (0.14.1-java)
+      coderay (~> 1.1)
+      method_source (~> 1.0)
+      spoon (~> 0.0)
+    rack (3.0.1)
+    rainbow (3.1.1)
+    rake (13.0.6)
+    regexp_parser (2.6.1)
+    rexml (3.2.5)
+    rspec (3.12.0)
+      rspec-core (~> 3.12.0)
+      rspec-expectations (~> 3.12.0)
+      rspec-mocks (~> 3.12.0)
+    rspec-core (3.12.0)
+      rspec-support (~> 3.12.0)
+    rspec-expectations (3.12.0)
       diff-lcs (>= 1.2.0, < 2.0)
-      rspec-support (~> 3.10.0)
-    rspec-mocks (3.10.1)
+      rspec-support (~> 3.12.0)
+    rspec-mocks (3.12.0)
       diff-lcs (>= 1.2.0, < 2.0)
-      rspec-support (~> 3.10.0)
-    rspec-support (3.10.1)
-    rubocop (1.7.0)
+      rspec-support (~> 3.12.0)
+    rspec-support (3.12.0)
+    rubocop (1.36.0)
+      json (~> 2.3)
       parallel (~> 1.10)
-      parser (>= 2.7.1.5)
+      parser (>= 3.1.2.1)
       rainbow (>= 2.2.2, < 4.0)
       regexp_parser (>= 1.8, < 3.0)
-      rexml
-      rubocop-ast (>= 1.2.0, < 2.0)
+      rexml (>= 3.2.5, < 4.0)
+      rubocop-ast (>= 1.20.1, < 2.0)
       ruby-progressbar (~> 1.7)
-      unicode-display_width (>= 1.4.0, < 2.0)
-    rubocop-ast (1.4.0)
-      parser (>= 2.7.1.5)
-    rubocop-performance (1.9.1)
-      rubocop (>= 0.90.0, < 2.0)
+      unicode-display_width (>= 1.4.0, < 3.0)
+    rubocop-ast (1.23.0)
+      parser (>= 3.1.1.0)
+    rubocop-performance (1.15.0)
+      rubocop (>= 1.7.0, < 2.0)
       rubocop-ast (>= 0.4.0)
-    rubocop-rails (2.9.1)
+    rubocop-rails (2.16.1)
       activesupport (>= 4.2.0)
       rack (>= 1.1)
-      rubocop (>= 0.90.0, < 2.0)
-    rubocop-rake (0.5.1)
-      rubocop
-    rubocop-rspec (2.1.0)
+      rubocop (>= 1.33.0, < 2.0)
+    rubocop-rake (0.6.0)
       rubocop (~> 1.0)
-      rubocop-ast (>= 1.1.0)
+    rubocop-rspec (2.13.2)
+      rubocop (~> 1.33)
     ruby-progressbar (1.11.0)
     simplecov (0.21.2)
       docile (~> 1.1)
@@ -82,18 +88,19 @@ GEM
       simplecov_json_formatter (~> 0.1)
     simplecov-html (0.12.3)
     simplecov-lcov (0.8.0)
-    simplecov_json_formatter (0.1.2)
-    smart_engine (0.12.0)
-    tzinfo (2.0.4)
+    simplecov_json_formatter (0.1.4)
+    smart_engine (0.17.0)
+    spoon (0.0.6)
+      ffi
+    tzinfo (2.0.5)
       concurrent-ruby (~> 1.0)
-    unicode-display_width (1.7.0)
-    zeitwerk (2.4.2)
+    unicode-display_width (2.3.0)
 
 PLATFORMS
   arm64-darwin-21
-  x86_64-darwin-19
-  x86_64-darwin-20
-  x86_64-darwin-21
+  ruby
+  universal-java-11
+  x86_64-linux
 
 DEPENDENCIES
   armitage-rubocop (~> 1.7)
@@ -106,4 +113,4 @@ DEPENDENCIES
   smart_types!
 
 BUNDLED WITH
-   2.2.31
+   2.3.17

data/README.md

@@ -108,6 +108,7 @@ SmartCore::Types::Value::Time
 SmartCore::Types::Value::DateTime
 SmartCore::Types::Value::Date
 SmartCore::Types::Value::TimeBased
+SmartCore::Types::Value::Method
 ```
 
 ---
@@ -495,10 +496,16 @@ end
 SmartCore::Types::Value::Date.cast('2020-01-01', { iso: :rfc3339 })
 ```
 
+- custom type categories (an ability to register your own type category)
+
+```ruby
+SmartCore::Types.define_category(:YourCategoryName)
+SmartCore::Types::YourCategoryName.define_type(:YourNewType) { ... }
+```
+
 - new types:
 
 ```ruby
-SmartCore::Types::Value::Method
 SmartCore::Types::Value::UnboundMethod
 SmartCore::Types::Value::Enumerable
 SmartCore::Types::Value::Comparable
@@ -525,6 +532,18 @@ SmartCore::Types::Behavior::Truthy
 SmartCore::Types::Behavior::Falsy
 ```
 
+```ruby
+# Common types:
+SmartCore::Types::Common::UUDv4
+```
+
+```ruby
+# think about:
+Clonable # for example, you can not clone or duplicate Method-objects
+Duplicable
+Allocatable # for example, Method object can not be allocated with #allocate method
+```
+
 - `#sum` alias for `|` and `#mult` alias for `&` (with a support for type name definition and other API);
 
 - type category in invariant error codes:

data/lib/smart_core/types/primitive/factory/runtime_type_builder.rb

@@ -29,7 +29,7 @@ module SmartCore::Types::Primitive::Factory::RuntimeTypeBuilder
     # @api private
     # @since 0.3.0
     # @version 0.7.1
-    # rubocop:disable Metrics/AbcSize, Layout/LineLength
+    # rubocop:disable Style/AccessModifierDeclarations, Metrics/AbcSize, Layout/LineLength
     public def initialize_clone(new_instance, cloneable_instance)
       name_clone = cloneable_instance.instance_variable_get(:@name)
       category_clone = cloneable_instance.instance_variable_get(:@category)
@@ -49,6 +49,6 @@ module SmartCore::Types::Primitive::Factory::RuntimeTypeBuilder
       new_instance.instance_variable_set(:@lock_clone, lock_clone)
       new_instance.instance_variable_set(:@nilable, nilable_clone)
     end
-    # rubocop:enable Metrics/AbcSize, Layout/LineLength
+    # rubocop:enable Style/AccessModifierDeclarations, Metrics/AbcSize, Layout/LineLength
   end
 end

data/lib/smart_core/types/primitive/invariant_control/chain/result.rb

@@ -49,7 +49,7 @@ class SmartCore::Types::Primitive::InvariantControl::Chain::Result
   # @api private
   # @since 0.1.0
   def error_codes
-    invariant_results.select(&:failure?).map do |invariant_result|
+    invariant_results.select(&:failure?).map! do |invariant_result|
       "#{invariant_chain.name}.#{invariant_result.invariant.name}".tap(&:freeze)
     end
   end

data/lib/smart_core/types/primitive/invariant_control/chain.rb

@@ -2,7 +2,7 @@
 
 # @api private
 # @since 0.2.0
-# @version 0.3.0
+# @version 0.8.0
 class SmartCore::Types::Primitive::InvariantControl::Chain
   require_relative 'chain/result'
 
@@ -51,6 +51,18 @@ class SmartCore::Types::Primitive::InvariantControl::Chain
     )
   end
 
+  # @param value [Any]
+  # @param runtime_attributes [Array<Any>]
+  # @return [Boolean]
+  #
+  # @api private
+  # @since 0.8.0
+  def simply_check(value, runtime_attributes)
+    (invariants.any? do |invariant|
+      invariant.simply_check(value, runtime_attributes) == false
+    end) ? false : true
+  end
+
   private
 
   # @return [Array<SmartCore::Types::Primitive::InvariantControl::Single>]

data/lib/smart_core/types/primitive/invariant_control/single.rb

@@ -2,7 +2,7 @@
 
 # @api private
 # @since 0.2.0
-# @version 0.3.0
+# @version 0.8.0
 class SmartCore::Types::Primitive::InvariantControl::Single
   require_relative 'single/result'
 
@@ -47,6 +47,16 @@ class SmartCore::Types::Primitive::InvariantControl::Single
     Result.new(self, value, validation_result)
   end
 
+  # @param value [Any]
+  # @param runtime_attributes [Array<Any>]
+  # @return [Boolean]
+  #
+  # @api private
+  # @since 0.8.0
+  def simply_check(value, runtime_attributes)
+    !!invariant_checker.call(value, runtime_attributes)
+  end
+
   private
 
   # @return [Proc]

data/lib/smart_core/types/primitive/invariant_control.rb

@@ -2,7 +2,7 @@
 
 # @api private
 # @since 0.2.0
-# @version 0.3.0
+# @version 0.8.0
 class SmartCore::Types::Primitive::InvariantControl
   require_relative 'invariant_control/result'
   require_relative 'invariant_control/single'
@@ -51,6 +51,24 @@ class SmartCore::Types::Primitive::InvariantControl
     end
   end
 
+  # @param value [Any]
+  # @param runtime_attributes [Array<Any>]
+  # @return [Boolean]
+  #
+  # @api private
+  # @since 0.8.0
+  def simply_check(value, runtime_attributes)
+    return false if invariant_chains.any? do |chain|
+      chain.simply_check(value, runtime_attributes) == false
+    end
+
+    return false if invariants.any? do |invariant|
+      invariant.simply_check(value, runtime_attributes) == false
+    end
+
+    true
+  end
+
   private
 
   # @return [Array<SmartCore::Types::Primitive::InvariantControl::Chain>]

data/lib/smart_core/types/primitive/nilable_validator.rb

@@ -34,7 +34,7 @@ class SmartCore::Types::Primitive::NilableValidator
   # @api private
   # @since 0.2.0
   def valid?(value)
-    value == nil ? true : validator.valid?(value)
+    (value == nil) ? true : validator.valid?(value)
   end
 
   # @param value [Any]

data/lib/smart_core/types/primitive/validator.rb

@@ -2,7 +2,7 @@
 
 # @api private
 # @since 0.2.0
-# @version 0.3.0
+# @version 0.8.0
 class SmartCore::Types::Primitive::Validator
   require_relative 'validator/result'
 
@@ -61,8 +61,11 @@ class SmartCore::Types::Primitive::Validator
   #
   # @api private
   # @since 0.2.0
+  # @version 0.8.0
   def valid?(value)
-    validate(value).success?
+    return false unless type_checker.call(value, type.runtime_attributes) # => Boolean
+    return false unless invariant_control.simply_check(value, type.runtime_attributes) # => Boolean
+    true
   end
 
   # @param value [Any]

data/lib/smart_core/types/value/method.rb

@@ -1,9 +1,11 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
-# @since 0.x.0
+# @since 0.8.0
 SmartCore::Types::Value.define_type(:Method) do |type|
   type.define_checker do |value|
-    # TODO: realize
+    value.is_a?(::Method)
   end
 end

data/lib/smart_core/types/version.rb

@@ -6,7 +6,7 @@ module SmartCore
     #
     # @api public
     # @since 0.1.0
-    # @version 0.7.1
-    VERSION = '0.7.1'
+    # @version 0.8.0
+    VERSION = '0.8.0'
   end
 end

data/smart_types.gemspec

@@ -3,7 +3,7 @@
 require_relative 'lib/smart_core/types/version'
 
 Gem::Specification.new do |spec|
-  spec.required_ruby_version = Gem::Requirement.new('>= 2.4.10')
+  spec.required_ruby_version = Gem::Requirement.new('>= 2.7')
 
   spec.name    = 'smart_types'
   spec.version = SmartCore::Types::VERSION

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: smart_types
 version: !ruby/object:Gem::Version
-  version: 0.7.1
+  version: 0.8.0
 platform: ruby
 authors:
 - Rustam Ibragimov
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2022-08-31 00:00:00.000000000 Z
+date: 2022-11-25 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: smart_engine
@@ -232,14 +232,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 2.4.10
+      version: '2.7'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.3.11
+rubygems_version: 3.3.7
 signing_key:
 specification_version: 4
 summary: Full-featured type system for any ruby project.