smart_types 0.8.0 → 0.8.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 1b592f16e69b2b34662ca1ff8199a5fc0e4ae7234fb47288df3e41444a53c214
-  data.tar.gz: 7f1ff6580098205bb9e4b5295eff21e4ced1173a73e4e967bdd5f4997e398377
+  metadata.gz: ecaa56176fade082d67794d331c28cfb819e51a43d4e3dcce6b59f35cb2884b3
+  data.tar.gz: 511f1a70284b7f986de8d1c3cabbf40aa872bc00be68e9d151032db827c09cae
 SHA512:
-  metadata.gz: 1b3c4a74168dcfcdf3f85f9baa9f3a66e0c95d0b2cf726a4f9b2ec711cf5f127dd0e060e322369780178ed7d3fe2efc708d31458c9099b2eee5ef1746a72eddc
-  data.tar.gz: 9beb0d346cc40c8f2ce8233c448306d51aa5b771e1473b358c7650e1238813e8c9115bdc66d8e1409900642baf854f6f4a9de2b51faf968351cd924972156f59
+  metadata.gz: b89d4104c04d5cd36856fbc760f1a9c561d90b3b812531e31f5572a29f605b396fa95f69af89b00d52e85299b2f0f180bce736e69a75d4c4ab550ce595d7e51d
+  data.tar.gz: 2e94034f7b1073f28c46302b5a06344a9757142a09e5334109c804365c791f16f244dc27cfd785fe0c7eea6ec77bb04efae7cff10a77ca2595a11cdf91cad2da

data/.rubocop.yml

@@ -26,3 +26,6 @@ Lint/EmptyBlock:
 # NOTE: too situative and too subjective
 Naming/VariableNumber:
   Enabled: false
+
+Style/RedundantConstantBase:
+  Enabled: false

data/CHANGELOG.md

@@ -1,6 +1,23 @@
 # Changelog
 All notable changes to this project will be documented in this file.
 
+# [Unreleased]
+- New types of `SmartCore::Types::Value` category:
+  - `SmartCore::Types::Value::UnboundMethod`;
+  - `SmartCore::Types::Value::Range`;
+  - `SmartCore::Types::Value::Rational`;
+
+# [0.8.1] - 2026-07-03
+### Changed
+- Performance: faster `SmartCore::Types::Primitive#valid?` (the common validation path):
+  - `SmartCore::Types::Primitive::InvariantControl#simply_check` now short-circuits for types
+    without invariants (precomputed at build time) — the majority of types (e.g. `Value::String`,
+    `Protocol::InstanceOf`) define only a checker, so the empty-invariant iteration is skipped;
+  - `SmartCore::Types::Primitive::Validator#valid?` and `#validate` fetch `runtime_attributes`
+    once instead of twice;
+  - ~17–20% faster validation for `Value::String` and `Protocol::InstanceOf` (3M-iteration benchmark).
+    No public API or validation-semantics change.
+
 # [0.8.0] - 2022-11-25
 ### Added
 - New types of `SmartCore::Types::Value` category:

data/Gemfile.lock

@@ -1,88 +1,90 @@
 PATH
   remote: .
   specs:
-    smart_types (0.8.0)
-      smart_engine (~> 0.11)
+    smart_types (0.8.1)
+      smart_engine (~> 0.17)
 
 GEM
   remote: https://rubygems.org/
   specs:
-    activesupport (7.0.4)
+    activesupport (7.0.5)
       concurrent-ruby (~> 1.0, >= 1.0.2)
       i18n (>= 1.6, < 2)
       minitest (>= 5.1)
       tzinfo (~> 2.0)
-    armitage-rubocop (1.36.0)
-      rubocop (= 1.36.0)
-      rubocop-performance (= 1.15.0)
-      rubocop-rails (= 2.16.1)
+    armitage-rubocop (1.51.0.4)
+      rubocop (= 1.51.0)
+      rubocop-capybara (= 2.18.0)
+      rubocop-factory_bot (= 2.23.1)
+      rubocop-performance (= 1.18.0)
+      rubocop-rails (= 2.19.1)
       rubocop-rake (= 0.6.0)
-      rubocop-rspec (= 2.13.2)
+      rubocop-rspec (= 2.22.0)
     ast (2.4.2)
     coderay (1.1.3)
-    concurrent-ruby (1.1.10)
+    concurrent-ruby (1.2.2)
     diff-lcs (1.5.0)
     docile (1.4.0)
-    ffi (1.15.5-java)
-    i18n (1.12.0)
+    i18n (1.13.0)
       concurrent-ruby (~> 1.0)
-    json (2.6.2)
-    json (2.6.2-java)
+    json (2.6.3)
     method_source (1.0.0)
-    minitest (5.16.3)
-    parallel (1.22.1)
-    parser (3.1.2.1)
+    minitest (5.18.0)
+    parallel (1.23.0)
+    parser (3.2.2.1)
       ast (~> 2.4.1)
-    pry (0.14.1)
+    pry (0.14.2)
       coderay (~> 1.1)
       method_source (~> 1.0)
-    pry (0.14.1-java)
-      coderay (~> 1.1)
-      method_source (~> 1.0)
-      spoon (~> 0.0)
-    rack (3.0.1)
+    rack (3.0.7)
     rainbow (3.1.1)
     rake (13.0.6)
-    regexp_parser (2.6.1)
+    regexp_parser (2.8.0)
     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-core (3.12.2)
       rspec-support (~> 3.12.0)
-    rspec-expectations (3.12.0)
+    rspec-expectations (3.12.3)
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.12.0)
-    rspec-mocks (3.12.0)
+    rspec-mocks (3.12.5)
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.12.0)
     rspec-support (3.12.0)
-    rubocop (1.36.0)
+    rubocop (1.51.0)
       json (~> 2.3)
       parallel (~> 1.10)
-      parser (>= 3.1.2.1)
+      parser (>= 3.2.0.0)
       rainbow (>= 2.2.2, < 4.0)
       regexp_parser (>= 1.8, < 3.0)
       rexml (>= 3.2.5, < 4.0)
-      rubocop-ast (>= 1.20.1, < 2.0)
+      rubocop-ast (>= 1.28.0, < 2.0)
       ruby-progressbar (~> 1.7)
-      unicode-display_width (>= 1.4.0, < 3.0)
-    rubocop-ast (1.23.0)
-      parser (>= 3.1.1.0)
-    rubocop-performance (1.15.0)
+      unicode-display_width (>= 2.4.0, < 3.0)
+    rubocop-ast (1.28.1)
+      parser (>= 3.2.1.0)
+    rubocop-capybara (2.18.0)
+      rubocop (~> 1.41)
+    rubocop-factory_bot (2.23.1)
+      rubocop (~> 1.33)
+    rubocop-performance (1.18.0)
       rubocop (>= 1.7.0, < 2.0)
       rubocop-ast (>= 0.4.0)
-    rubocop-rails (2.16.1)
+    rubocop-rails (2.19.1)
       activesupport (>= 4.2.0)
       rack (>= 1.1)
       rubocop (>= 1.33.0, < 2.0)
     rubocop-rake (0.6.0)
       rubocop (~> 1.0)
-    rubocop-rspec (2.13.2)
+    rubocop-rspec (2.22.0)
       rubocop (~> 1.33)
-    ruby-progressbar (1.11.0)
-    simplecov (0.21.2)
+      rubocop-capybara (~> 2.17)
+      rubocop-factory_bot (~> 2.22)
+    ruby-progressbar (1.13.0)
+    simplecov (0.22.0)
       docile (~> 1.1)
       simplecov-html (~> 0.11)
       simplecov_json_formatter (~> 0.1)
@@ -90,27 +92,23 @@ GEM
     simplecov-lcov (0.8.0)
     simplecov_json_formatter (0.1.4)
     smart_engine (0.17.0)
-    spoon (0.0.6)
-      ffi
-    tzinfo (2.0.5)
+    tzinfo (2.0.6)
       concurrent-ruby (~> 1.0)
-    unicode-display_width (2.3.0)
+    unicode-display_width (2.4.2)
 
 PLATFORMS
-  arm64-darwin-21
-  ruby
-  universal-java-11
+  arm64-darwin-22
   x86_64-linux
 
 DEPENDENCIES
-  armitage-rubocop (~> 1.7)
-  bundler (~> 2.1)
-  pry (~> 0.13)
+  armitage-rubocop (~> 1.51)
+  bundler (~> 2.4)
+  pry (~> 0.14)
   rake (~> 13.0)
-  rspec (~> 3.10)
-  simplecov (~> 0.21)
+  rspec (~> 3.12)
+  simplecov (~> 0.22)
   simplecov-lcov (~> 0.8)
   smart_types!
 
 BUNDLED WITH
-   2.3.17
+   2.4.13

data/LICENSE.txt

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

data/README.md

@@ -102,6 +102,8 @@ SmartCore::Types::Value::Array
 SmartCore::Types::Value::Set
 SmartCore::Types::Value::Hash
 SmartCore::Types::Value::Proc
+SmartCore::Types::Value::Range
+SmartCore::Types::Value::Rational
 SmartCore::Types::Value::Class
 SmartCore::Types::Value::Module
 SmartCore::Types::Value::Time
@@ -109,6 +111,7 @@ SmartCore::Types::Value::DateTime
 SmartCore::Types::Value::Date
 SmartCore::Types::Value::TimeBased
 SmartCore::Types::Value::Method
+SmartCore::Types::Value::UnboundMethod
 ```
 
 ---
@@ -389,6 +392,8 @@ SmartCore::Types::Value::CryptoString = SmartCore::Types::Value::NumberdString &
 
 - migrate to `Github Actions`;
 
+- an ability to cast `nil` to `nil` if `nil` is passed (example: `String.nilable_cast(nil) # => nil` and `String.cast(nil) # => ""`);
+
 - support for `block`-attribute in runtime attributes;
 
 - type configuration:
@@ -506,13 +511,10 @@ SmartCore::Types::YourCategoryName.define_type(:YourNewType) { ... }
 - new types:
 
 ```ruby
-SmartCore::Types::Value::UnboundMethod
 SmartCore::Types::Value::Enumerable
 SmartCore::Types::Value::Comparable
 SmartCore::Types::Value::Enumerator
 SmartCore::Types::Value::EnumeratorChain
-SmartCore::Types::Value::Range
-SmartCore::Types::Value::Rational
 SmartCore::Types::Value::SortedSet
 SmartCore::Types::Value::IO
 SmartCore::Types::Value::StringIO

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

@@ -27,9 +27,13 @@ class SmartCore::Types::Primitive::InvariantControl
   #
   # @api private
   # @since 0.2.0
+  # @version 0.8.1
   def initialize(invariant_chains, invariants)
     @invariant_chains = invariant_chains
     @invariants = invariants
+    # NOTE: most types define only a checker (no invariants); precompute the
+    #   empty-case so #simply_check can short-circuit on the hot validation path.
+    @no_invariants = invariant_chains.empty? && invariants.empty?
   end
 
   # @param value [Any]
@@ -57,7 +61,10 @@ class SmartCore::Types::Primitive::InvariantControl
   #
   # @api private
   # @since 0.8.0
+  # @version 0.8.1
   def simply_check(value, runtime_attributes)
+    return true if @no_invariants
+
     return false if invariant_chains.any? do |chain|
       chain.simply_check(value, runtime_attributes) == false
     end

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

@@ -61,11 +61,11 @@ class SmartCore::Types::Primitive::Validator
   #
   # @api private
   # @since 0.2.0
-  # @version 0.8.0
+  # @version 0.8.1
   def valid?(value)
-    return false unless type_checker.call(value, type.runtime_attributes) # => Boolean
-    return false unless invariant_control.simply_check(value, type.runtime_attributes) # => Boolean
-    true
+    runtime_attributes = type.runtime_attributes
+    return false unless type_checker.call(value, runtime_attributes) # => Boolean
+    invariant_control.simply_check(value, runtime_attributes) # => Boolean
   end
 
   # @param value [Any]
@@ -73,11 +73,12 @@ class SmartCore::Types::Primitive::Validator
   #
   # @api private
   # @since 0.2.0
-  # @version 0.3.0
+  # @version 0.8.1
   def validate(value)
-    checker_result = type_checker.call(value, type.runtime_attributes) # => Boolean
+    runtime_attributes = type.runtime_attributes
+    checker_result = type_checker.call(value, runtime_attributes) # => Boolean
     return Result.new(type, value, checker_result) unless checker_result
-    invariant_result = invariant_control.check(value, type.runtime_attributes)
+    invariant_result = invariant_control.check(value, runtime_attributes)
     invariant_errors = invariant_result.invariant_errors.map { |error| "#{type.name}.#{error}" }
     Result.new(type, value, checker_result, invariant_errors)
   end

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

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

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

@@ -1,13 +1,18 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
-# @since 0.x.0
+# @since 0.9.0
 SmartCore::Types::Value.define_type(:Rational) do |type|
   type.define_checker do |value|
-    # TODO: realize
+    value.is_a?(::Rational)
   end
 
   type.define_caster do |value|
-    # TODO: realize
+    ::Kernel.Rational(value)
+  rescue ::TypeError, ::FloatDomainError
+    # NOTE: FloatDomainError is raised when you try to type cast Float::INFINITY or Float::NAN
+    raise(SmartCore::Types::TypeCastingError, 'Non-castable to Rational')
   end
 end

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

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

data/lib/smart_core/types/version.rb

@@ -7,6 +7,6 @@ module SmartCore
     # @api public
     # @since 0.1.0
     # @version 0.8.0
-    VERSION = '0.8.0'
+    VERSION = '0.8.1'
   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.7')
+  spec.required_ruby_version = Gem::Requirement.new('>= 3.0')
 
   spec.name    = 'smart_types'
   spec.version = SmartCore::Types::VERSION
@@ -32,13 +32,13 @@ Gem::Specification.new do |spec|
   spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
   spec.require_paths = ['lib']
 
-  spec.add_dependency 'smart_engine', '~> 0.11'
+  spec.add_dependency 'smart_engine', '~> 0.17'
 
-  spec.add_development_dependency 'bundler',          '~> 2.1'
+  spec.add_development_dependency 'bundler',          '~> 2.4'
   spec.add_development_dependency 'rake',             '~> 13.0'
-  spec.add_development_dependency 'rspec',            '~> 3.10'
-  spec.add_development_dependency 'armitage-rubocop', '~> 1.7'
-  spec.add_development_dependency 'simplecov',        '~> 0.21'
+  spec.add_development_dependency 'rspec',            '~> 3.12'
+  spec.add_development_dependency 'armitage-rubocop', '~> 1.51'
+  spec.add_development_dependency 'simplecov',        '~> 0.22'
   spec.add_development_dependency 'simplecov-lcov',   '~> 0.8'
-  spec.add_development_dependency 'pry',              '~> 0.13'
+  spec.add_development_dependency 'pry',              '~> 0.14'
 end

metadata

@@ -1,14 +1,13 @@
 --- !ruby/object:Gem::Specification
 name: smart_types
 version: !ruby/object:Gem::Version
-  version: 0.8.0
+  version: 0.8.1
 platform: ruby
 authors:
 - Rustam Ibragimov
-autorequire:
 bindir: exe
 cert_chain: []
-date: 2022-11-25 00:00:00.000000000 Z
+date: 1980-01-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: smart_engine
@@ -16,28 +15,28 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.11'
+        version: '0.17'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.11'
+        version: '0.17'
 - !ruby/object:Gem::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '2.1'
+        version: '2.4'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '2.1'
+        version: '2.4'
 - !ruby/object:Gem::Dependency
   name: rake
   requirement: !ruby/object:Gem::Requirement
@@ -58,42 +57,42 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '3.10'
+        version: '3.12'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '3.10'
+        version: '3.12'
 - !ruby/object:Gem::Dependency
   name: armitage-rubocop
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '1.7'
+        version: '1.51'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '1.7'
+        version: '1.51'
 - !ruby/object:Gem::Dependency
   name: simplecov
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.21'
+        version: '0.22'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.21'
+        version: '0.22'
 - !ruby/object:Gem::Dependency
   name: simplecov-lcov
   requirement: !ruby/object:Gem::Requirement
@@ -114,14 +113,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.13'
+        version: '0.14'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.13'
+        version: '0.14'
 description: |
   Full-featured type system for any ruby project. Supports custom type definition,
   type validation, type casting and type categorizing. Provides a set of commonly used type
@@ -224,7 +223,6 @@ metadata:
   homepage_uri: https://github.com/smart-rb/smart_types
   source_code_uri: https://github.com/smart-rb/smart_types
   changelog_uri: https://github.com/smart-rb/smart_types/blob/master/CHANGELOG.md
-post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -232,15 +230,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: '2.7'
+      version: '3.0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.3.7
-signing_key:
+rubygems_version: 3.6.9
 specification_version: 4
 summary: Full-featured type system for any ruby project.
 test_files: []