smart_types 0.1.0.alpha3 → 0.2.0

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

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.x.0
+SmartCore::Types::Value.define_type(:Enumerator) do |type|
+  type.define_checker do |value|
+    # TODO: realize
+  end
+
+  type.define_caster do |value|
+    # TODO: realize
+  end
+end

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

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.x.0
+SmartCore::Types::Value.define_type(:EnumeratorChain) do |type|
+  type.define_checker do |value|
+    # TODO: realize
+  end
+
+  type.define_caster do |value|
+    # TODO: realize
+  end
+end

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

@@ -9,9 +9,13 @@ SmartCore::Types::Value.define_type(:Float) do |type|
 
   type.define_caster do |value|
     begin
-      Float(value)
+      ::Kernel.Float(value)
     rescue ::TypeError, ::ArgumentError
-      value.to_f
+      begin
+        ::Kernel.Float(value.to_f)
+      rescue ::NoMethodError, ::TypeError, ::ArgumentError
+        raise(SmartCore::Types::TypeCastingError, 'Non-castable to Float')
+      end
     end
   end
 end

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

@@ -11,7 +11,14 @@ SmartCore::Types::Value.define_type(:Hash) do |type|
     begin
       ::Kernel.Hash(value)
     rescue ::TypeError
-      {}
+      begin
+        # NOTE:
+        # - ::Kernel.Hash does not invoke `#to_h` under the hood (it invokes `#to_hash`)
+        # - ::Kernel.Hash is used to validate the returned value from `#to_h`
+        ::Kernel.Hash(value.to_h)
+      rescue ::TypeError, ::NoMethodError, ::ArgumentError
+        raise(SmartCore::Types::TypeCastingError, 'Non-castable to Hash')
+      end
     end
   end
 end

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

@@ -9,9 +9,16 @@ SmartCore::Types::Value.define_type(:Integer) do |type|
 
   type.define_caster do |value|
     begin
-      Integer(value)
-    rescue ::TypeError, ::ArgumentError
-      value.to_i
+      ::Kernel.Integer(value)
+    rescue ::TypeError, ::ArgumentError, ::FloatDomainError
+      begin
+        # NOTE: for cases like this:
+        # => ::Kernel.Integer(nil) # => ::TypeError
+        # => ::Kernel.Integer(nil.to_i) # => 0 (::Kernel.Integer used as validation layer)
+        ::Kernel.Integer(value.to_i)
+      rescue ::TypeError, ::NoMethodError, ::ArgumentError, ::FloatDomainError
+        raise(SmartCore::Types::TypeCastingError, 'Non-castable to Integer')
+      end
     end
   end
 end

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

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.x.0
+SmartCore::Types::Value.define_type(:IO) do |type|
+  type.define_checker do |value|
+    # TODO: realize
+  end
+
+  type.define_caster do |value|
+    # TODO: realize
+  end
+end

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

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

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

@@ -0,0 +1,9 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.1.0
+SmartCore::Types::Value.define_type(:Nil) do |type|
+  type.define_checker do |value|
+    value == nil # NOTE: #nil? is not used cuz BasicObject hasn't #nil? method
+  end
+end

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

@@ -8,10 +8,20 @@ SmartCore::Types::Value.define_type(:Numeric) do |type|
   end
 
   type.define_caster do |value|
+    next value if value.is_a?(::Numeric)
+
     begin
-      Float(value)
-    rescue ::TypeError, ::ArgumentError
-      value.to_f
+      SmartCore::Types::Value::Float.cast(value)
+    rescue SmartCore::Types::TypeCastingError
+      begin
+        SmartCore::Types::Value::Integer.cast(value)
+      rescue SmartCore::Types::TypeCastingError
+        begin
+          SmartCore::Types::Value::BigDecimal.cast(value)
+        rescue SmartCore::Types::TypeCastingError
+          raise(SmartCore::Types::TypeCastingError, 'Non-castable to Numeric')
+        end
+      end
     end
   end
 end

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

@@ -7,5 +7,15 @@ SmartCore::Types::Value.define_type(:Proc) do |type|
     value.is_a?(::Proc)
   end
 
-  type.define_caster(&:to_proc)
+  type.define_caster do |value|
+    begin
+      value.to_proc.tap do |result|
+        unless result.is_a?(::Proc)
+          raise(SmartCore::Types::TypeCastingError, 'Non-castable to Proc')
+        end
+      end
+    rescue ::NoMethodError
+      raise(SmartCore::Types::TypeCastingError, 'Non-castable to Proc')
+    end
+  end
 end

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

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

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

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.x.0
+SmartCore::Types::Value.define_type(:Rational) do |type|
+  type.define_checker do |value|
+    # TODO: realize
+  end
+
+  type.define_caster do |value|
+    # TODO: realize
+  end
+end

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

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.x.0
+SmartCore::Types::Value.define_type(:Set) do |type|
+  type.define_checker do |value|
+    # TODO: realize
+  end
+
+  type.define_caster do |value|
+    # TODO: realize
+  end
+end

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

@@ -7,5 +7,11 @@ SmartCore::Types::Value.define_type(:String) do |type|
     value.is_a?(::String)
   end
 
-  type.define_caster(&:to_s)
+  type.define_caster do |value|
+    begin
+      ::Kernel.String(value)
+    rescue ::TypeError, ::ArgumentError
+      raise(SmartCore::Types::TypeCastingError, 'Non-castable to String')
+    end
+  end
 end

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

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.x.0
+SmartCore::Types::Value.define_type(:StringIO) do |type|
+  type.define_checker do |value|
+    # TODO: realize
+  end
+
+  type.define_caster do |value|
+    # TODO: realize
+  end
+end

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

@@ -7,5 +7,11 @@ SmartCore::Types::Value.define_type(:Symbol) do |type|
     value.is_a?(::Symbol)
   end
 
-  type.define_caster(&:to_sym)
+  type.define_caster do |value|
+    begin
+      value.to_sym
+    rescue ::NoMethodError, ::ArgumentError
+      raise(SmartCore::Types::TypeCastingError, 'Non-castable to Symbol')
+    end
+  end
 end

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

@@ -5,4 +5,19 @@
 SmartCore::Types::Value::Text = SmartCore::Types::System.type_sum(
   SmartCore::Types::Value::String,
   SmartCore::Types::Value::Symbol
-) { |type| type.define_caster(&:to_s) }
+) do |type|
+  type.define_caster do |value|
+    next value if SmartCore::Types::Value::String.valid?(value)
+    next value if SmartCore::Types::Value::Symbol.valid?(value)
+
+    begin
+      SmartCore::Types::Value::String.cast(value)
+    rescue SmartCore::Types::TypeCastingError
+      begin
+        SmartCore::Types::Value::Symbol.cast(value)
+      rescue SmartCore::Types::TypeCastingError
+        raise(SmartCore::Types::TypeCastingError, 'Non-castable to text')
+      end
+    end
+  end
+end

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

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+
+require 'time'
+
+# @api public
+# @since 0.1.0
+SmartCore::Types::Value.define_type(:Time) do |type|
+  type.define_checker do |value|
+    value.is_a?(::Time)
+  end
+
+  type.define_caster do |value|
+    next value if value.is_a?(::Time)
+
+    begin
+      SmartCore::Types::Value::Integer.valid?(value) ? ::Time.at(value) : ::Time.parse(value)
+    rescue ::TypeError, ::ArgumentError
+      raise(SmartCore::Types::TypeCastingError, 'Non-castable to Time')
+    end
+  end
+end

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

@@ -0,0 +1,29 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.1.0
+SmartCore::Types::Value::TimeBased = SmartCore::Types::System.type_sum(
+  SmartCore::Types::Value::Time,
+  SmartCore::Types::Value::DateTime,
+  SmartCore::Types::Value::Date
+) do |type|
+  type.define_caster do |value|
+    next value if SmartCore::Types::Value::Time.valid?(value)
+    next value if SmartCore::Types::Value::DateTime.valid?(value)
+    next value if SmartCore::Types::Value::Date.valid?(value)
+
+    begin
+      SmartCore::Types::Value::Time.cast(value)
+    rescue SmartCore::Types::TypeCastingError
+      begin
+        SmartCore::Types::Value::DateTime.cast(value)
+      rescue SmartCore::Types::TypeCastingError
+        begin
+          SmartCore::Types::Value::Date.cast(value)
+        rescue SmartCore::Types::TypeCastingError
+          raise(SmartCore::Types::TypeCastingError, 'Non-castable to time-based type')
+        end
+      end
+    end
+  end
+end

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

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

data/lib/smart_core/types/version.rb

@@ -6,7 +6,7 @@ module SmartCore
     #
     # @api public
     # @since 0.1.0
-    # @version 0.1.0
-    VERSION = '0.1.0.alpha3'
+    # @version 0.2.0
+    VERSION = '0.2.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.9')
+  spec.required_ruby_version = Gem::Requirement.new('>= 2.4.10')
 
   spec.name    = 'smart_types'
   spec.version = SmartCore::Types::VERSION
@@ -32,11 +32,12 @@ 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.5'
+  spec.add_dependency 'smart_engine', '~> 0.7'
 
   spec.add_development_dependency 'bundler',          '~> 2.1'
   spec.add_development_dependency 'rake',             '~> 13.0'
-  spec.add_development_dependency 'rspec',            '~> 3.9'
-  spec.add_development_dependency 'armitage-rubocop', '~> 0.78'
-  spec.add_development_dependency 'simplecov',        '~> 0.17'
+  spec.add_development_dependency 'rspec',            '~> 3.10'
+  spec.add_development_dependency 'armitage-rubocop', '~> 1.3'
+  spec.add_development_dependency 'simplecov',        '~> 0.19'
+  spec.add_development_dependency 'pry',              '~> 0.13'
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: smart_types
 version: !ruby/object:Gem::Version
-  version: 0.1.0.alpha3
+  version: 0.2.0
 platform: ruby
 authors:
 - Rustam Ibragimov
-autorequire: 
+autorequire:
 bindir: exe
 cert_chain: []
-date: 2020-01-24 00:00:00.000000000 Z
+date: 2020-11-21 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: smart_engine
@@ -16,14 +16,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.5'
+        version: '0.7'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.5'
+        version: '0.7'
 - !ruby/object:Gem::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement
@@ -58,42 +58,56 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '3.9'
+        version: '3.10'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '3.9'
+        version: '3.10'
 - !ruby/object:Gem::Dependency
   name: armitage-rubocop
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.78'
+        version: '1.3'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.78'
+        version: '1.3'
 - !ruby/object:Gem::Dependency
   name: simplecov
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.17'
+        version: '0.19'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.17'
+        version: '0.19'
+- !ruby/object:Gem::Dependency
+  name: pry
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.13'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.13'
 description: |
   Full-featured type system for any ruby project. Supports custom type definitioning,
   type validation, type casting and type categorizing. Provides a set of commonly used type
@@ -124,33 +138,61 @@ files:
 - lib/smart_core/types/primitive/checker.rb
 - lib/smart_core/types/primitive/factory.rb
 - lib/smart_core/types/primitive/factory/definition_context.rb
-- lib/smart_core/types/primitive/mult_checker.rb
+- lib/smart_core/types/primitive/invariant_control.rb
+- lib/smart_core/types/primitive/invariant_control/chain.rb
+- lib/smart_core/types/primitive/invariant_control/chain/result.rb
+- lib/smart_core/types/primitive/invariant_control/factory.rb
+- lib/smart_core/types/primitive/invariant_control/factory/chain_definition_context.rb
+- lib/smart_core/types/primitive/invariant_control/result.rb
+- lib/smart_core/types/primitive/invariant_control/single.rb
+- lib/smart_core/types/primitive/invariant_control/single/result.rb
 - lib/smart_core/types/primitive/mult_factory.rb
 - lib/smart_core/types/primitive/mult_factory/definition_context.rb
-- lib/smart_core/types/primitive/nilable_checker.rb
+- lib/smart_core/types/primitive/mult_validator.rb
+- lib/smart_core/types/primitive/mult_validator/result.rb
 - lib/smart_core/types/primitive/nilable_factory.rb
-- lib/smart_core/types/primitive/sum_checker.rb
+- lib/smart_core/types/primitive/nilable_validator.rb
+- lib/smart_core/types/primitive/nilable_validator/result.rb
 - lib/smart_core/types/primitive/sum_factory.rb
 - lib/smart_core/types/primitive/sum_factory/definition_context.rb
+- lib/smart_core/types/primitive/sum_validator.rb
+- lib/smart_core/types/primitive/sum_validator/result.rb
 - lib/smart_core/types/primitive/undefined_caster.rb
+- lib/smart_core/types/primitive/validator.rb
+- lib/smart_core/types/primitive/validator/result.rb
 - lib/smart_core/types/struct.rb
 - lib/smart_core/types/system.rb
-- lib/smart_core/types/system/definition_dsl.rb
-- lib/smart_core/types/system/producer_dsl.rb
 - lib/smart_core/types/value.rb
 - lib/smart_core/types/value/any.rb
 - lib/smart_core/types/value/array.rb
+- lib/smart_core/types/value/big_decimal.rb
 - lib/smart_core/types/value/boolean.rb
 - lib/smart_core/types/value/class.rb
+- lib/smart_core/types/value/comparable.rb
+- lib/smart_core/types/value/date.rb
+- lib/smart_core/types/value/date_time.rb
+- lib/smart_core/types/value/enumerable.rb
+- lib/smart_core/types/value/enumerator.rb
+- lib/smart_core/types/value/enumerator_chain.rb
 - lib/smart_core/types/value/float.rb
 - lib/smart_core/types/value/hash.rb
 - lib/smart_core/types/value/integer.rb
+- lib/smart_core/types/value/io.rb
+- lib/smart_core/types/value/method.rb
 - lib/smart_core/types/value/module.rb
+- lib/smart_core/types/value/nil.rb
 - lib/smart_core/types/value/numeric.rb
 - lib/smart_core/types/value/proc.rb
+- lib/smart_core/types/value/range.rb
+- lib/smart_core/types/value/rational.rb
+- lib/smart_core/types/value/set.rb
 - lib/smart_core/types/value/string.rb
+- lib/smart_core/types/value/string_io.rb
 - lib/smart_core/types/value/symbol.rb
 - lib/smart_core/types/value/text.rb
+- lib/smart_core/types/value/time.rb
+- lib/smart_core/types/value/time_based.rb
+- lib/smart_core/types/value/unbound_method.rb
 - lib/smart_core/types/version.rb
 - smart_types.gemspec
 homepage: https://github.com/smart-rb/smart_types
@@ -160,7 +202,7 @@ 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: 
+post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -168,15 +210,15 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 2.4.9
+      version: 2.4.10
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ">"
+  - - ">="
     - !ruby/object:Gem::Version
-      version: 1.3.1
+      version: '0'
 requirements: []
-rubygems_version: 3.1.2
-signing_key: 
+rubygems_version: 3.2.0.rc.1
+signing_key:
 specification_version: 4
 summary: Full-featured type system for any ruby project.
 test_files: []