smart_types 0.1.0.alpha5 → 0.4.0

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,21 @@
+# frozen_string_literal: true
+
+require 'set'
+
+using SmartCore::Ext::BasicObjectAsObject
+
+# @api public
+# @since 0.3.0
+SmartCore::Types::Value.define_type(:Set) do |type|
+  type.define_checker do |value|
+    value.is_a?(::Set)
+  end
+
+  type.define_caster do |value|
+    begin
+      ::Set.new(SmartCore::Types::Value::Array.cast(value))
+    rescue ::ArgumentError, ::NoMethodError
+      raise(SmartCore::Types::TypeCastingError, 'Non-castable to Set')
+    end
+  end
+end

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

@@ -1,11 +1,20 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:String) do |type|
   type.define_checker do |value|
     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,15 @@
+# frozen_string_literal: true
+
+require 'stringio'
+
+# @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

@@ -1,11 +1,20 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Symbol) do |type|
   type.define_checker do |value|
     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

@@ -2,7 +2,24 @@
 
 # @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) }
+# @version 0.3.0
+SmartCore::Types::Value.define_type(:Text) do |type|
+  type.define_checker do |value|
+    SmartCore::Types::Value::String.valid?(value) || SmartCore::Types::Value::Symbol.valid?(value)
+  end
+
+  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,24 @@
+# frozen_string_literal: true
+
+require 'time'
+
+using SmartCore::Ext::BasicObjectAsObject
+
+# @api public
+# @since 0.1.0
+# @version 0.3.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,32 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.1.0
+# @version 0.3.0
+SmartCore::Types::Value.define_type(:TimeBased) do |type|
+  type.define_checker do |value|
+    SmartCore::Types::Value::Time.valid?(value) ||
+      SmartCore::Types::Value::DateTime.valid?(value) ||
+      SmartCore::Types::Value::Date.valid?(value)
+  end
+
+  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/variadic.rb

@@ -0,0 +1,7 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.3.0
+class SmartCore::Types::Variadic < SmartCore::Types::Primitive
+  require_relative 'variadic/tuple'
+end

data/lib/smart_core/types/variadic/tuple.rb

@@ -0,0 +1,23 @@
+# frozen_string_literal: true
+
+using SmartCore::Ext::BasicObjectAsObject
+
+# @api public
+# @since 0.3.0
+SmartCore::Types::Variadic.define_type(:Tuple) do |type|
+  type.runtime_attributes_checker do |runtime_attrs|
+    runtime_attrs.any? && runtime_attrs.all? do |runtime_attr|
+      runtime_attr.is_a?(::Class)
+    end
+  end
+
+  type.define_checker do |value, tuple_signature|
+    next false unless SmartCore::Types::Value::Array.valid?(value)
+    next false if value.size != tuple_signature.size
+
+    value.each_with_index.all? do |tuple_val, tuple_val_index|
+      expected_tuple_type = tuple_signature.at(tuple_val_index)
+      tuple_val.is_a?(expected_tuple_type)
+    end
+  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.alpha5'
+    # @version 0.4.0
+    VERSION = '0.4.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.11'
 
   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.7'
+  spec.add_development_dependency 'simplecov',        '~> 0.21'
+  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.alpha5
+  version: 0.4.0
 platform: ruby
 authors:
 - Rustam Ibragimov
-autorequire: 
+autorequire:
 bindir: exe
 cert_chain: []
-date: 2020-01-25 00:00:00.000000000 Z
+date: 2021-01-17 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.11'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.5'
+        version: '0.11'
 - !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.7'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.78'
+        version: '1.7'
 - !ruby/object:Gem::Dependency
   name: simplecov
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.17'
+        version: '0.21'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.17'
+        version: '0.21'
+- !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
@@ -107,7 +121,6 @@ files:
 - ".gitignore"
 - ".rspec"
 - ".rubocop.yml"
-- ".travis.yml"
 - CHANGELOG.md
 - CODE_OF_CONDUCT.md
 - Gemfile
@@ -124,34 +137,67 @@ 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/factory/runtime_type_builder.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/runtime_attributes_checker.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/protocol.rb
+- lib/smart_core/types/protocol/instance_of.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/variadic.rb
+- lib/smart_core/types/variadic/tuple.rb
 - lib/smart_core/types/version.rb
 - smart_types.gemspec
 homepage: https://github.com/smart-rb/smart_types
@@ -161,7 +207,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
@@ -169,15 +215,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.3
+signing_key:
 specification_version: 4
 summary: Full-featured type system for any ruby project.
 test_files: []