smart_types 0.1.0.alpha5 → 0.4.0

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

@@ -5,6 +5,7 @@
 class SmartCore::Types::Value < SmartCore::Types::Primitive
   require_relative 'value/nil'
   require_relative 'value/string'
+  require_relative 'value/string_io'
   require_relative 'value/symbol'
   require_relative 'value/text'
   require_relative 'value/integer'
@@ -13,8 +14,23 @@ class SmartCore::Types::Value < SmartCore::Types::Primitive
   require_relative 'value/boolean'
   require_relative 'value/array'
   require_relative 'value/hash'
+  require_relative 'value/io'
   require_relative 'value/proc'
   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/enumerator'
+  require_relative 'value/enumerator_chain'
+  require_relative 'value/comparable'
+  require_relative 'value/big_decimal'
+  require_relative 'value/range'
+  require_relative 'value/method'
+  require_relative 'value/unbound_method'
+  require_relative 'value/set'
+  require_relative 'value/rational'
 end

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

@@ -1,7 +1,10 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Array) do |type|
   type.define_checker do |value|
     value.is_a?(::Array)

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

@@ -0,0 +1,31 @@
+# frozen_string_literal: true
+
+require 'bigdecimal'
+require 'bigdecimal/util'
+
+using SmartCore::Ext::BasicObjectAsObject
+
+# @api public
+# @since 0.1.0
+# @version 0.3.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::Numeric.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/boolean.rb

@@ -1,7 +1,10 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Boolean) do |type|
   type.define_checker do |value|
     value.is_a?(::TrueClass) || value.is_a?(::FalseClass)

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

@@ -1,7 +1,10 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Class) do |type|
   type.define_checker do |value|
     value.is_a?(::Class)

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,24 @@
+# frozen_string_literal: true
+
+require 'date'
+
+using SmartCore::Ext::BasicObjectAsObject
+
+# @api public
+# @since 0.1.0
+# @version 0.3.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,24 @@
+# frozen_string_literal: true
+
+require 'date'
+
+using SmartCore::Ext::BasicObjectAsObject
+
+# @api public
+# @since 0.1.0
+# @version 0.3.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.x.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/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

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

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

@@ -1,7 +1,10 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Integer) do |type|
   type.define_checker do |value|
     value.is_a?(::Integer)
@@ -9,9 +12,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/module.rb

@@ -1,7 +1,10 @@
 # frozen_string_literal: true
 
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
 # @since 0.1.0
+# @version 0.3.0
 SmartCore::Types::Value.define_type(:Module) do |type|
   type.define_checker do |value|
     value.is_a?(::Module)

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

@@ -1,9 +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|
-    # rubocop:disable Style/NilComparison
-    value == nil # NOTE: #nil? is not used cuz BasicObject has no #nil? method
-    # rubocop:enable Style/NilComparison
+    value == nil # NOTE: #nil? is not used cuz BasicObject hasn't #nil? method
   end
 end

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

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

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