smart_types 0.2.0 → 0.3.0

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

@@ -2,6 +2,7 @@
 
 # @api private
 # @since 0.2.0
+# @version 0.3.0
 class SmartCore::Types::Primitive::SumValidator
   require_relative 'sum_validator/result'
 
@@ -15,6 +16,17 @@ class SmartCore::Types::Primitive::SumValidator
     @validators = validators
   end
 
+  # @param type [SmartCore::Types::Primitive]
+  # @return [SmartCore::Types::Primitive::SumValidator]
+  #
+  # @api private
+  # @since 0.3.0
+  def ___copy_for___(type)
+    self.class.new(type_checker, invariant_control).tap do |instance_copy|
+      instance_copy.___assign_type___(type)
+    end
+  end
+
   # @param type [SmartCore::Types::Primitive]
   # @return [void]
   #
@@ -28,11 +40,14 @@ class SmartCore::Types::Primitive::SumValidator
   #
   # @api private
   # @since 0.2.0
+  # @version 0.3.0
   def valid?(value)
     # NOTE: at this moment type sum does not support invariant checking
     # TODO (0.x.0):
     #   validators.any? { |validator| validator.valid?(value) }
-    validators.any? { |validator| validator.type_checker.call(value) }
+    validators.any? do |validator|
+      validator.type_checker.call(value, type.runtime_attributes)
+    end
   end
 
   # @param value [Any]
@@ -40,6 +55,7 @@ class SmartCore::Types::Primitive::SumValidator
   #
   # @api private
   # @since 0.2.0
+  # @version 0.3.0
   def validate(value)
     compile_validation_result do
       SmartCore::Engine::Atom.new.tap do |result|
@@ -48,7 +64,7 @@ class SmartCore::Types::Primitive::SumValidator
           # TODO (0.x.0):
           #   result.swap { validator.validate(value) }
           #   break if result.value.success?
-          result.swap { validator.type_checker.call(value) }
+          result.swap { validator.type_checker.call(value, type.runtime_attributes) }
           break if result.value # => boolean
         end
       end

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

@@ -2,6 +2,7 @@
 
 # @api private
 # @since 0.1.0
+# @version 0.3.0
 class SmartCore::Types::Primitive::UndefinedCaster < SmartCore::Types::Primitive::Caster
   # @param expression [NilClass, Any]
   # @return [void]
@@ -13,13 +14,15 @@ class SmartCore::Types::Primitive::UndefinedCaster < SmartCore::Types::Primitive
   end
 
   # @param value [Any]
+  # @param runtime_attributes [Array<Any>]
   # @return [void]
   #
   # @raise [SmartCore::Types::TypeCastingUnsupportedError]
   #
   # @pai private
   # @since 0.1.0
-  def call(value)
+  # @version 0.3.0
+  def call(value, runtime_attributes)
     raise(SmartCore::Types::TypeCastingUnsupportedError, <<~ERROR_MESSAGE)
       'This type has no support for type casting'
     ERROR_MESSAGE

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

@@ -2,6 +2,7 @@
 
 # @api private
 # @since 0.2.0
+# @version 0.3.0
 class SmartCore::Types::Primitive::Validator
   require_relative 'validator/result'
 
@@ -23,11 +24,7 @@ class SmartCore::Types::Primitive::Validator
   # @since 0.2.0
   attr_reader :invariant_control
 
-  # @param type_checker [
-  #   SmartCore::Types::Primitive::Checker,
-  #   SmartCore::Types::Primitive::MultChecker,
-  #   SmartCore::Types::Primitive::SumChecker
-  # ]
+  # @param type_checker [SmartCore::Types::Primitive::Checker]
   # @param invariant_control [SmartCore::Types::Primitive::InvariantControl]
   # @return [void]
   #
@@ -39,6 +36,17 @@ class SmartCore::Types::Primitive::Validator
     @invariant_control = invariant_control
   end
 
+  # @param type [SmartCore::Types::Primitive]
+  # @return [SmartCore::Types::Primitive::Validator]
+  #
+  # @api private
+  # @since 0.3.0
+  def ___copy_for___(type)
+    self.class.new(type_checker, invariant_control).tap do |instance_copy|
+      instance_copy.___assign_type___(type)
+    end
+  end
+
   # @param type [SmartCore::Types::Primitive]
   # @return [void]
   #
@@ -62,10 +70,11 @@ class SmartCore::Types::Primitive::Validator
   #
   # @api private
   # @since 0.2.0
+  # @version 0.3.0
   def validate(value)
-    checker_result = type_checker.call(value) # => Boolean
+    checker_result = type_checker.call(value, type.runtime_attributes) # => Boolean
     return Result.new(type, value, checker_result) unless checker_result
-    invariant_result = invariant_control.check(value)
+    invariant_result = invariant_control.check(value, type.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/protocol.rb

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

data/lib/smart_core/types/protocol/instance_of.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+using SmartCore::Ext::BasicObjectAsObject
+
+# @api public
+# @since 0.3.0
+SmartCore::Types::Protocol.define_type(:InstanceOf) 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, expected_types|
+    expected_types.any? && expected_types.any? do |expected_type|
+      value.is_a?(expected_type)
+    end
+  end
+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

@@ -3,15 +3,18 @@
 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::Float.valid?(value)
+    if SmartCore::Types::Value::Numeric.valid?(value)
       value = SmartCore::Types::Value::String.cast(value)
     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/date.rb

@@ -2,8 +2,11 @@
 
 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

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

@@ -2,8 +2,11 @@
 
 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

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

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

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)

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)

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)

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/numeric.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(:Numeric) do |type|
   type.define_checker do |value|
     value.is_a?(::Numeric)

data/lib/smart_core/types/value/proc.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(:Proc) do |type|
   type.define_checker do |value|
     value.is_a?(::Proc)

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

@@ -1,13 +1,21 @@
 # frozen_string_literal: true
 
+require 'set'
+
+using SmartCore::Ext::BasicObjectAsObject
+
 # @api public
-# @since 0.x.0
+# @since 0.3.0
 SmartCore::Types::Value.define_type(:Set) do |type|
   type.define_checker do |value|
-    # TODO: realize
+    value.is_a?(::Set)
   end
 
   type.define_caster do |value|
-    # TODO: realize
+    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,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(:String) do |type|
   type.define_checker do |value|
     value.is_a?(::String)

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

@@ -1,5 +1,7 @@
 # frozen_string_literal: true
 
+require 'stringio'
+
 # @api public
 # @since 0.x.0
 SmartCore::Types::Value.define_type(:StringIO) do |type|

data/lib/smart_core/types/value/symbol.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(:Symbol) do |type|
   type.define_checker do |value|
     value.is_a?(::Symbol)

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

@@ -2,10 +2,12 @@
 
 # @api public
 # @since 0.1.0
-SmartCore::Types::Value::Text = SmartCore::Types::System.type_sum(
-  SmartCore::Types::Value::String,
-  SmartCore::Types::Value::Symbol
-) do |type|
+# @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)

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

@@ -2,8 +2,11 @@
 
 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)

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

@@ -2,11 +2,14 @@
 
 # @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|
+# @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)

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