smart_types 0.1.0.alpha6 → 0.1.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: d7ed742470e7ce794fc75f9e90e9e4b6eaa705658ab15404416f38798fc43822
-  data.tar.gz: e5cf9c4b207739ca7bc09ae46708b00676a2adb60a71cc679391238cbc696d4b
+  metadata.gz: 12c87a28e4cb88c84907c5d811253c4cb70e3e4aad462010c47c1a6d88c21d81
+  data.tar.gz: af0155909d10f02369aa5b60c97de4b0b91fbfad92ba79d1f94b5b3333ede373
 SHA512:
-  metadata.gz: 957613e5f2b4d3adde721c39c35ad4b934f74463812768e232a0496313a0fdbe9e1a1cf335b4184adc7e14473bce5a062fd2c2e553834ac964381ae435c2fc9b
-  data.tar.gz: 77ab18057ad5a66326a911caca44b19446cfe97f5bf961bf92e2efcecc109dbfbc45d4d7bfb70bdf83002eddffd6ca4b16631270d77cf2015b2ca990de229fbe
+  metadata.gz: aa5eb3001d7909b30e9fe2df27b92bff6ee22d9e92ef27f37dfbe11c18f968ee932cf0e064ecb2db808d8a0913d3c5fe7650d0d7b15af51bbe4591afeef39670
+  data.tar.gz: e0fa90c1783113d8d702414596cf001e0e54b786c6d21248e52f5e2401901eddebb09d182349abccda301998782242fa02d4a94e61eb2a3f301fe982a7d5ceff

data/.rubocop.yml

@@ -5,7 +5,7 @@ inherit_gem:
     - lib/rubocop.rspec.yml
 
 AllCops:
-  TargetRubyVersion: 2.4.9
+  TargetRubyVersion: 2.7.1
   Include:
     - lib/**/*.rb
     - spec/**/*.rb
@@ -13,3 +13,7 @@ AllCops:
     - Rakefile
     - smart_types.gemspec
     - bin/console
+
+# NOTE: support for old ruby versions
+Style/RedundantBegin:
+  Enabled: false

data/.travis.yml

@@ -2,17 +2,18 @@
 language: ruby
 cache: bundler
 os: linux
-before_install: gem install bundler -v 2.1.2
+dist: xenial
+before_install: gem install bundler
 script:
 - bundle exec rake rubocop
 - bundle exec rake rspec
 jobs:
   fast_finish: true
   include:
-  - rvm: 2.4.9
-  - rvm: 2.5.7
-  - rvm: 2.6.5
-  - rvm: 2.7.0
+  - rvm: 2.4.10
+  - rvm: 2.5.8
+  - rvm: 2.6.6
+  - rvm: 2.7.1
   - rvm: ruby-head
   - rvm: jruby-head
   allow_failures:

data/Gemfile.lock

@@ -1,77 +1,92 @@
 PATH
   remote: .
   specs:
-    smart_types (0.1.0.alpha5)
-      smart_engine (~> 0.5)
+    smart_types (0.1.0)
+      smart_engine (~> 0.6)
 
 GEM
   remote: https://rubygems.org/
   specs:
-    armitage-rubocop (0.79.0)
-      rubocop (= 0.79.0)
+    activesupport (6.0.2.2)
+      concurrent-ruby (~> 1.0, >= 1.0.2)
+      i18n (>= 0.7, < 2)
+      minitest (~> 5.1)
+      tzinfo (~> 1.1)
+      zeitwerk (~> 2.2)
+    armitage-rubocop (0.82.0.2)
+      rubocop (= 0.82.0)
       rubocop-performance (= 1.5.2)
-      rubocop-rails (= 2.4.1)
-      rubocop-rake (= 0.5.0)
-      rubocop-rspec (= 1.37.1)
+      rubocop-rails (= 2.5.2)
+      rubocop-rake (= 0.5.1)
+      rubocop-rspec (= 1.39.0)
     ast (2.4.0)
+    concurrent-ruby (1.1.6)
     diff-lcs (1.3)
     docile (1.3.2)
+    i18n (1.8.2)
+      concurrent-ruby (~> 1.0)
     jaro_winkler (1.5.4)
-    json (2.3.0)
+    minitest (5.14.0)
     parallel (1.19.1)
-    parser (2.7.0.2)
+    parser (2.7.1.2)
       ast (~> 2.4.0)
-    rack (2.1.1)
+    rack (2.2.2)
     rainbow (3.0.0)
     rake (13.0.1)
+    rexml (3.2.4)
     rspec (3.9.0)
       rspec-core (~> 3.9.0)
       rspec-expectations (~> 3.9.0)
       rspec-mocks (~> 3.9.0)
-    rspec-core (3.9.1)
-      rspec-support (~> 3.9.1)
-    rspec-expectations (3.9.0)
+    rspec-core (3.9.2)
+      rspec-support (~> 3.9.3)
+    rspec-expectations (3.9.1)
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.9.0)
     rspec-mocks (3.9.1)
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.9.0)
-    rspec-support (3.9.2)
-    rubocop (0.79.0)
+    rspec-support (3.9.3)
+    rubocop (0.82.0)
       jaro_winkler (~> 1.5.1)
       parallel (~> 1.10)
       parser (>= 2.7.0.1)
       rainbow (>= 2.2.2, < 4.0)
+      rexml
       ruby-progressbar (~> 1.7)
-      unicode-display_width (>= 1.4.0, < 1.7)
+      unicode-display_width (>= 1.4.0, < 2.0)
     rubocop-performance (1.5.2)
       rubocop (>= 0.71.0)
-    rubocop-rails (2.4.1)
+    rubocop-rails (2.5.2)
+      activesupport
       rack (>= 1.1)
       rubocop (>= 0.72.0)
-    rubocop-rake (0.5.0)
+    rubocop-rake (0.5.1)
       rubocop
-    rubocop-rspec (1.37.1)
+    rubocop-rspec (1.39.0)
       rubocop (>= 0.68.1)
     ruby-progressbar (1.10.1)
-    simplecov (0.17.1)
+    simplecov (0.18.5)
       docile (~> 1.1)
-      json (>= 1.8, < 3)
-      simplecov-html (~> 0.10.0)
-    simplecov-html (0.10.2)
-    smart_engine (0.5.0)
-    unicode-display_width (1.6.0)
+      simplecov-html (~> 0.11)
+    simplecov-html (0.12.2)
+    smart_engine (0.6.0)
+    thread_safe (0.3.6)
+    tzinfo (1.2.7)
+      thread_safe (~> 0.1)
+    unicode-display_width (1.7.0)
+    zeitwerk (2.3.0)
 
 PLATFORMS
   ruby
 
 DEPENDENCIES
-  armitage-rubocop (~> 0.78)
+  armitage-rubocop (~> 0.82)
   bundler (~> 2.1)
   rake (~> 13.0)
   rspec (~> 3.9)
-  simplecov (~> 0.17)
+  simplecov (~> 0.18)
   smart_types!
 
 BUNDLED WITH
-   2.1.2
+   2.1.4

data/README.md

@@ -2,12 +2,10 @@
 
 > A set of objects that acts like types (type checking and type casting) with a support for basic type algebra.
 
-Full-featured type system for any ruby project. Supports custom type definitioning,
+Minimalistic type system for any ruby project. Supports custom type definitioning,
 type validation, type casting and type categorizing. Provides a set of commonly used type
 categories and general purpose types. Has a flexible and simplest type definition toolchain.
 
-Just add and use :) Enjoy! :)
-
 ## Installation
 
 ```ruby
@@ -45,18 +43,24 @@ type4 = type1 & type2
 
 ```ruby
 SmartCore::Types::Value::Any
+SmartCore::Types::Value::Nil
 SmartCore::Types::Value::String
 SmartCore::Types::Value::Symbol
 SmartCore::Types::Value::Text
 SmartCore::Types::Value::Integer
 SmartCore::Types::Value::Float
 SmartCore::Types::Value::Numeric
+SmartCore::Types::Value::BigDecimal
 SmartCore::Types::Value::Boolean
 SmartCore::Types::Value::Array
 SmartCore::Types::Value::Hash
 SmartCore::Types::Value::Proc
 SmartCore::Types::Value::Class
 SmartCore::Types::Value::Module
+SmartCore::Types::Value::Time
+SmartCore::Types::Value::DateTime
+SmartCore::Types::Value::Date
+SmartCore::Types::Value::TimeBased
 ```
 
 ---
@@ -65,34 +69,38 @@ SmartCore::Types::Value::Module
 
 ```ruby
 SmartCore::Types::Value::Any.nilable
+SmartCore::Types::Value::Nil.nilable
 SmartCore::Types::Value::String.nilable
 SmartCore::Types::Value::Symbol.nilable
 SmartCore::Types::Value::Text.nilable
 SmartCore::Types::Value::Integer.nilable
 SmartCore::Types::Value::Float.nilable
 SmartCore::Types::Value::Numeric.nilable
+SmartCore::Types::Value::BigDecimal.nilable
 SmartCore::Types::Value::Boolean.nilable
 SmartCore::Types::Value::Array.nilable
 SmartCore::Types::Value::Hash.nilable
 SmartCore::Types::Value::Proc.nilable
 SmartCore::Types::Value::Class.nilable
 SmartCore::Types::Value::Module.nilable
+SmartCore::Types::Value::Time.nilable.nilable
+SmartCore::Types::Value::DateTime.nilable
+SmartCore::Types::Value::Date.nilable
+SmartCore::Types::Value::TimeBased
 ```
 
 ---
 
-## Constrained types
+## Type validation and type casting
 
 ```ruby
 # documentation is coming
-```
 
----
-
-## Type validation and type casting
+SmartCore::Types::Value::String.valid?('test') # => true
+SmartCore::Types::Value::String.valid?(123.45) # => false
 
-```ruby
-# documentation is coming
+SmartCore::Types::Value::String.cast(123) # => "123"
+SmartCore::Types::Value::Float.cast('55') # => 55.0
 ```
 
 ---
@@ -124,13 +132,109 @@ end
 
 ---
 
-## Type system integration
+## Roadmap
+
+- type configuration:
 
 ```ruby
-# documentation is coming
+SmartCore::Types::Value.type(:Time) do |type|
+  type.configuration do |config| # config definition
+    setting :iso, :rfc2822
+    # TODO: think about a more convinient DSL
+  end
+
+  type.define_caster do |value, config| # config usage
+    case config.standard
+    when :rfc2822
+      ::Time.rfc2822(value)
+    else
+      # ...
+    end
+  end
+end
 ```
 
----
+- pipelined type caster definition for the sum-based types:
+
+```ruby
+SmartCore::Types::Value::TimeLike = SmartCore::Types::System.type_sum(
+  SmartCore::Types::Time,
+  SmartCore::Types::DateTime,
+  SmartCore::Types::Date,
+) do |type|
+  type.define_caster(:pipelined) # try Time.cast => try DateTime.cast => try Date.cast
+end
+```
+
+- namespaced type errors:
+
+```ruby
+# before:
+SmartCore::Types::Value::Boolean.validate!(123)
+# => SmartCore::Types::TypeError
+SmartCore::Types::Value::Class.cast(123)
+# => SmartCore::Types::TypeCastingError
+
+# after:
+SmartCore::Types::Value::Boolean.validate!(123)
+# => SmartCore::Types::Value::Boolean::TypeError
+# (inheritance tree: Types::Value::<Type>::TypeError => Types::Value::TypeError => Types::TypeError)
+
+SmartCore::Types::Value::Class.cast(123)
+# => SmartCore::Types::Value::Class::TypeCastingError
+# (inheritance tree: the same as above)
+```
+
+- type refinements:
+
+```ruby
+SmartCore::Types::Value::Time.refine_checker do |value, original_checker|
+  # new type checker
+end
+
+SmartCore::Types::Value::Time.refine_caster do |value, original_caster|
+  # new type caster
+end
+```
+
+- options for type casters:
+
+```ruby
+SmartCore::Types::Value.define_type(:Date) do |type|
+  type.define_caster do |value, options = {}| # options goes here
+    iso = options.fetch(:iso, nil)
+    iso ? ::Date.pasre(value, iso) : ::Date.parse(value)
+  end
+end
+
+# usage:
+SmartCore::Types::Value::Date.cast('2020-01-01', { iso: :rfc3339 })
+```
+
+- new types:
+
+```ruby
+SmartCore::Types::Value::Method
+SmartCore::Types::Value::UnboundMethod
+SmartCore::Types::Value::Enumerable
+SmartCore::Types::Value::Comparable
+SmartCore::Types::Struct::Schema
+SmartCore::Types::Struct::StrictArray
+SmartCore::Types::Struct::StrictHash
+SmartCore::Types::Struct::Map
+SmartCore::Types::Variative::Enum
+SmartCore::Types::Variative::Variant
+SmartCore::Types::Protocol::InstanceOf
+SmartCore::Types::Protocol::Interface
+SmartCore::Types::Protocol::Ancestors
+SmartCore::Types::Protocol::Enumerable
+SmartCore::Types::Protocol::Comparable
+SmartCore::Types::Protocol::Forwardable
+```
+
+- constrained types;
+
+- module-based integration;
 
 ## Contributing
 

data/Rakefile

@@ -4,6 +4,7 @@ require 'bundler/gem_tasks'
 require 'rspec/core/rake_task'
 require 'rubocop'
 require 'rubocop/rake_task'
+require 'rubocop-rails'
 require 'rubocop-performance'
 require 'rubocop-rspec'
 require 'rubocop-rake'
@@ -11,8 +12,8 @@ require 'rubocop-rake'
 RuboCop::RakeTask.new(:rubocop) do |t|
   config_path = File.expand_path(File.join('.rubocop.yml'), __dir__)
   t.options = ['--config', config_path]
-  t.requires << 'rubocop-performance'
   t.requires << 'rubocop-rspec'
+  t.requires << 'rubocop-performance'
   t.requires << 'rubocop-rake'
 end
 

data/lib/smart_core/types/errors.rb

@@ -21,6 +21,10 @@ module SmartCore::Types
   # @since 0.1.0
   TypeCastingError = Class.new(Error)
 
+  # @api public
+  # @since 0.1.0
+  TypeCastingUnsupportedError = Class.new(TypeCastingError)
+
   # @api public
   # @since 0.1.0
   NoCheckerDefinitionError = Class.new(Error)

data/lib/smart_core/types/primitive.rb

@@ -14,8 +14,17 @@ class SmartCore::Types::Primitive
   require_relative 'primitive/mult_factory'
   require_relative 'primitive/nilable_factory'
 
-  # @since 0.1.0
-  include SmartCore::Types::System::ProducerDSL
+  class << self
+    # @param type_name [String, Symbol]
+    # @param type_definition [Block]
+    # @return [SmartCore::Types::Primitive]
+    #
+    # @api public
+    # @since 0.1.0
+    def define_type(type_name, &type_definition)
+      self::Factory.create_type(self, type_name, type_definition)
+    end
+  end
 
   # @return [SmartCore::Types::Primitive::Checker]
   #
@@ -31,7 +40,6 @@ class SmartCore::Types::Primitive
 
   # @param checker [SmartCore::Types::Primitive::Checker]
   # @param caster [SmartCore::Types::Primitive::Caster]
-  # @param name [String]
   # @return [void]
   #
   # @api private
@@ -43,14 +51,6 @@ class SmartCore::Types::Primitive
     @nilable = nil
   end
 
-  # @return [String]
-  #
-  # @api public
-  # @since 0.1.0
-  def name
-    self.class.name
-  end
-
   # @param value [Any]
   # @return [Boolean]
   #
@@ -60,26 +60,16 @@ class SmartCore::Types::Primitive
     checker.call(value)
   end
 
+  # @param value [Any]
   # @return [void]
   #
-  # @raise [SmartCore::TypeError]
+  # @raise [SmartCore::Types::TypeError]
   #
   # @api public
   # @since 0.1.0
   def validate!(value)
     return if valid?(value)
-
-    # rubocop:disable Layout/RescueEnsureAlignment
-    value_type = begin
-      value.class.name
-    rescue NoMethodError
-      (class << value; superclass; end).name
-    end
-    # rubocop:enable Layout/RescueEnsureAlignment
-
-    raise(SmartCore::Types::TypeError, <<~ERROR_MESSAGE)
-      Invalid type (given #{value_type}, expects #{self.class.name}/SmartCore)
-    ERROR_MESSAGE
+    raise(SmartCore::Types::TypeError, 'Invalid type')
   end
 
   # @param value [Any]

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

@@ -37,7 +37,7 @@ class SmartCore::Types::Primitive::Factory
       end.tap do |context|
         raise(
           SmartCore::Types::NoCheckerDefinitionError,
-          'Type checker is not provided (use .define_checker for it)'
+          'Type checker is not provided. You should define it via .define_checker(&block)'
         ) if context.type_checker.nil?
       end
     end

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

@@ -3,13 +3,13 @@
 # @api private
 # @since 0.1.0
 class SmartCore::Types::Primitive::Factory::DefinitionContext
-  # @return [Proc]
+  # @return [Proc, NilClass]
   #
   # @api private
   # @since 0.1.0
   attr_reader :type_checker
 
-  # @return [Proc]
+  # @return [Proc, NilClass]
   #
   # @api private
   # @since 0.1.0
@@ -30,7 +30,7 @@ class SmartCore::Types::Primitive::Factory::DefinitionContext
   # @api public
   # @since 0.1.0
   def define_checker(&checker)
-    raise 'No checker definition block' unless block_given?
+    raise(SmartCore::ArgumentError, 'No checker definition block') unless block_given?
     @type_checker = checker
   end
 
@@ -40,7 +40,7 @@ class SmartCore::Types::Primitive::Factory::DefinitionContext
   # @api public
   # @since 0.1.0
   def define_caster(&caster)
-    raise 'No caster definition block' unless block_given?
+    raise(SmartCore::ArgumentError, 'No caster definition block') unless block_given?
     @type_caster = caster
   end
 end

data/lib/smart_core/types/primitive/mult_factory/definition_context.rb

@@ -3,7 +3,7 @@
 # @api private
 # @since 0.1.0
 class SmartCore::Types::Primitive::Factory::DefinitionContext
-  # @return [Proc]
+  # @return [Proc, NilClass]
   #
   # @api private
   # @since 0.1.0
@@ -23,7 +23,7 @@ class SmartCore::Types::Primitive::Factory::DefinitionContext
   # @api public
   # @since 0.1.0
   def define_caster(&caster)
-    raise 'No caster definition block' unless block_given?
+    raise(SmartCore::ArgumentError, 'No caster definition block') unless block_given?
     @type_caster = caster
   end
 end

data/lib/smart_core/types/primitive/sum_factory/definition_context.rb

@@ -3,7 +3,7 @@
 # @api private
 # @since 0.1.0
 class SmartCore::Types::Primitive::SumFactory::DefinitionContext
-  # @return [Proc]
+  # @return [Proc, NilClass]
   #
   # @api private
   # @since 0.1.0
@@ -23,7 +23,7 @@ class SmartCore::Types::Primitive::SumFactory::DefinitionContext
   # @api public
   # @since 0.1.0
   def define_caster(&caster)
-    raise 'No caster definition block' unless block_given?
+    raise(SmartCore::ArgumentError, 'No caster definition block') unless block_given?
     @type_caster = caster
   end
 end

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

@@ -15,14 +15,13 @@ class SmartCore::Types::Primitive::UndefinedCaster < SmartCore::Types::Primitive
   # @param value [Any]
   # @return [void]
   #
-  # @raise [SmartCore::Types::TypeCastingError]
+  # @raise [SmartCore::Types::TypeCastingUnsupportedError]
   #
   # @pai private
   # @since 0.1.0
   def call(value)
-    raise(
-      SmartCore::Types::TypeCastingError,
+    raise(SmartCore::Types::TypeCastingUnsupportedError, <<~ERROR_MESSAGE)
       'This type has no support for type casting'
-    )
+    ERROR_MESSAGE
   end
 end

data/lib/smart_core/types/system.rb

@@ -1,11 +1,27 @@
 # frozen_string_literal: true
 
-# @api private
+# @api public
 # @since 0.1.0
 module SmartCore::Types::System
-  require_relative 'system/producer_dsl'
-  require_relative 'system/definition_dsl'
+  class << self
+    # @param types [Array<SmartCore::Types::Pirmitive>]
+    # @param type_definition [Block]
+    # @return [SmartCore::Types::Primitive]
+    #
+    # @api public
+    # @since 0.1.0
+    def type_sum(*types, &type_definition)
+      SmartCore::Types::Primitive::SumFactory.create_type(types, type_definition)
+    end
 
-  # @since 0.1.0
-  include SmartCore::Types::System::DefinitionDSL
+    # @param types [Array<SmartCore::Types::Pirmitive>]
+    # @param type_definition [Block]
+    # @return [SmartCore::Types::Primitive]
+    #
+    # @api public
+    # @since 0.1.0
+    def type_mult(*types, &type_definition)
+      SmartCore::Types::Primitive::MultFactory.create_type(types, type_definition)
+    end
+  end
 end

data/lib/smart_core/types/value.rb

@@ -17,4 +17,11 @@ class SmartCore::Types::Value < SmartCore::Types::Primitive
   require_relative 'value/class'
   require_relative 'value/module'
   require_relative 'value/any'
+  require_relative 'value/time'
+  require_relative 'value/date'
+  require_relative 'value/date_time'
+  require_relative 'value/time_based'
+  require_relative 'value/enumerable'
+  require_relative 'value/comparable'
+  require_relative 'value/big_decimal'
 end

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

@@ -0,0 +1,28 @@
+# frozen_string_literal: true
+
+require 'bigdecimal'
+require 'bigdecimal/util'
+
+# @api public
+# @since 0.1.0
+SmartCore::Types::Value.define_type(:BigDecimal) do |type|
+  type.define_checker do |value|
+    value.is_a?(::BigDecimal)
+  end
+
+  type.define_caster do |value|
+    if SmartCore::Types::Value::Float.valid?(value)
+      value = SmartCore::Types::Value::String.cast(value)
+    end
+
+    begin
+      ::Kernel.BigDecimal(value)
+    rescue ::ArgumentError, ::TypeError
+      begin
+        ::Kernel.BigDecimal(value.to_d)
+      rescue ::ArgumentError, ::TypeError, ::NoMethodError
+        raise(SmartCore::Types::TypeCastingError, 'Non-castable to BigDecimal')
+      end
+    end
+  end
+end

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

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.1.0
+SmartCore::Types::Value.define_type(:Comparable) 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/date.rb

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

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

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+
+require 'date'
+
+# @api public
+# @since 0.1.0
+SmartCore::Types::Value.define_type(:DateTime) do |type|
+  type.define_checker do |value|
+    value.is_a?(::DateTime) || value == ::DateTime::Infinity
+  end
+
+  type.define_caster do |value|
+    next value if value.is_a?(::DateTime) || value == ::DateTime::Infinity
+
+    begin
+      ::DateTime.parse(value)
+    rescue ::Date::Error, ::TypeError
+      raise(SmartCore::Types::TypeCastingError, 'Non-castable to DateTime')
+    end
+  end
+end

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

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.1.0
+SmartCore::Types::Value.define_type(:Enumerable) 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/nil.rb

@@ -1,9 +1,11 @@
 # frozen_string_literal: true
 
+# @api public
+# @since 0.1.0
 SmartCore::Types::Value.define_type(:Nil) do |type|
   type.define_checker do |value|
     # rubocop:disable Style/NilComparison
-    value == nil # NOTE: #nil? is not used cuz BasicObject has no #nil? method
+    value == nil # NOTE: #nil? is not used cuz BasicObject hasn't #nil? method
     # rubocop:enable Style/NilComparison
   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/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/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

@@ -3,5 +3,21 @@
 # @api public
 # @since 0.1.0
 SmartCore::Types::Value::Text = SmartCore::Types::System.type_sum(
-  SmartCore::Types::Value::String, SmartCore::Types::Value::Symbol
-) { |type| type.define_caster(&:to_s) }
+  SmartCore::Types::Value::String,
+  SmartCore::Types::Value::Symbol
+) 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/version.rb

@@ -6,7 +6,6 @@ module SmartCore
     #
     # @api public
     # @since 0.1.0
-    # @version 0.1.0
-    VERSION = '0.1.0.alpha6'
+    VERSION = '0.1.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,11 @@ 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.6'
 
   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 'armitage-rubocop', '~> 0.82'
+  spec.add_development_dependency 'simplecov',        '~> 0.18'
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: smart_types
 version: !ruby/object:Gem::Version
-  version: 0.1.0.alpha6
+  version: 0.1.0
 platform: ruby
 authors:
 - Rustam Ibragimov
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-01-30 00:00:00.000000000 Z
+date: 2020-05-05 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.6'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.5'
+        version: '0.6'
 - !ruby/object:Gem::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement
@@ -72,28 +72,28 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.78'
+        version: '0.82'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.78'
+        version: '0.82'
 - !ruby/object:Gem::Dependency
   name: simplecov
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.17'
+        version: '0.18'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.17'
+        version: '0.18'
 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
@@ -135,13 +135,16 @@ files:
 - lib/smart_core/types/primitive/undefined_caster.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/float.rb
 - lib/smart_core/types/value/hash.rb
 - lib/smart_core/types/value/integer.rb
@@ -152,6 +155,8 @@ files:
 - lib/smart_core/types/value/string.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/version.rb
 - smart_types.gemspec
 homepage: https://github.com/smart-rb/smart_types
@@ -169,12 +174,12 @@ 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: 

data/lib/smart_core/types/system/definition_dsl.rb

@@ -1,40 +0,0 @@
-# frozen_string_literal: true
-
-# @api private
-# @since 0.1.0
-module SmartCore::Types::System::DefinitionDSL
-  class << self
-    # @param base_klass [Class]
-    # @return [void]
-    #
-    # @api private
-    # @since 0.1.0
-    def included(base_klass)
-      base_klass.extend(ClassMethods)
-    end
-  end
-
-  # @api private
-  # @since 0.1.0
-  module ClassMethods
-    # @param types [Array<SmartCore::Types::Pirmitive>]
-    # @param type_definition [Block]
-    # @return [SmartCore::Types::Primitive]
-    #
-    # @api public
-    # @since 0.1.0
-    def type_sum(*types, &type_definition)
-      SmartCore::Types::Primitive::SumFactory.create_type(types, type_definition)
-    end
-
-    # @param types [Array<SmartCore::Types::Pirmitive>]
-    # @param type_definition [Block]
-    # @return [SmartCore::Types::Primitive]
-    #
-    # @api public
-    # @since 0.1.0
-    def type_mult(*types, &type_definition)
-      SmartCore::Types::Primitive::MultFactory.create_type(types, type_definition)
-    end
-  end
-end

data/lib/smart_core/types/system/producer_dsl.rb

@@ -1,30 +0,0 @@
-# frozen_string_literal: true
-
-# @api private
-# @since 0.1.0
-module SmartCore::Types::System::ProducerDSL
-  class << self
-    # @param base_klass [Class<SmartCore::Types::Primitive>]
-    # @return [void]
-    #
-    # @api private
-    # @since 0.1.0
-    def included(base_klass)
-      base_klass.extend(ClassMethods)
-    end
-  end
-
-  # @api private
-  # @since 0.1.0
-  module ClassMethods
-    # @param type_name [String, Symbol]
-    # @param type_definition [Block]
-    # @return [SmartCore::Types::Primitive]
-    #
-    # @api public
-    # @since 0.1.0
-    def define_type(type_name, &type_definition)
-      self::Factory.create_type(self, type_name, type_definition)
-    end
-  end
-end