smart_types 0.1.0.alpha3 → 0.2.0

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

@@ -0,0 +1,100 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.2.0
+class SmartCore::Types::Primitive::SumValidator::Result
+  # @return [Array]
+  #
+  # @api private
+  # @since 0.2.0
+  NO_INVARIANT_ERRORS = [].freeze
+
+  # @return [SmartCore::Types::Primitive]
+  #
+  # @api public
+  # @since 0.2.0
+  attr_reader :type
+
+  # @return concrete_validation_result [
+  #   SmartCore::Types::Primitive::Validator::Result,
+  #   SmartCore::Types::Primitive::SumValidator::Result,
+  #   SmartCore::Types::Primitive::MultValidator::Result,
+  #   SmartCore::Types::Primitive::NilableValidator::Result
+  # ]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :concrete_validation_result
+
+  # @return [Array<String>]
+  #
+  # @api public
+  # @since 0.2.0
+  attr_reader :invariant_errors
+  alias_method :errors, :invariant_errors
+  alias_method :error_codes, :invariant_errors
+
+  # @param type [SmartCore::Types::Primitive]
+  # @param concrete_validation_result [
+  #   Boolean, (TEMPORARY)
+  #   SmartCore::Types::Primitive::Validator::Result,
+  #   SmartCore::Types::Primitive::SumValidator::Result,
+  #   SmartCore::Types::Primitive::MultValidator::Result,
+  #   SmartCore::Types::Primitive::NilableValidator::Result
+  # ]
+  # @param invariant_errors [Array<String>]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.2.0
+  def initialize(type, concrete_validation_result, invariant_errors = NO_INVARIANT_ERRORS.dup)
+    @type = type
+    @concrete_validation_result = concrete_validation_result
+    @invariant_errors = invariant_errors.dup.tap(&:freeze)
+  end
+
+  # @return [Boolean]
+  #
+  # @api public
+  # @since 0.2.0
+  def valid_invariants?
+    # NOTE: at this moment type sum does not support invariant checking
+    # TODO (0.x.0):
+    #   concrete_validation_result.valid_invariants?
+    true
+  end
+
+  # @return [Boolean]
+  #
+  # @api public
+  # @since 0.2.0
+  def is_valid_check
+    # NOTE: at this moment type sum does not support invariant checking
+    # TODO (0.x.0):
+    #   concrete_validation_result.is_valid_check
+    concrete_validation_result
+  end
+  alias_method :valid_check?, :is_valid_check
+
+  # @return [Boolean]
+  #
+  # @api public
+  # @since 0.2.0
+  def success?
+    # NOTE: at this moment type sum does not support invariant checking
+    # TODO (0.x.0):
+    #   concrete_validation_result.success?
+    concrete_validation_result
+  end
+
+  # @return [Boolean]
+  #
+  # @api public
+  # @since 0.2.0
+  def failure?
+    # NOTE: at this moment type sum does not support invariant checking
+    # TODO (0.x.0):
+    #   concrete_validation_result.failure?
+    !success?
+  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/primitive/validator.rb

@@ -0,0 +1,84 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.2.0
+class SmartCore::Types::Primitive::Validator
+  require_relative 'validator/result'
+
+  # @return [SmartCore::Type::Primitive]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :type
+
+  # @return [SmartCore::Types::Primitive::Checker]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :type_checker
+
+  # @return [SmartCore::Types::Primitive::InvariantControl]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :invariant_control
+
+  # @param type_checker [
+  #   SmartCore::Types::Primitive::Checker,
+  #   SmartCore::Types::Primitive::MultChecker,
+  #   SmartCore::Types::Primitive::SumChecker
+  # ]
+  # @param invariant_control [SmartCore::Types::Primitive::InvariantControl]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.2.0
+  def initialize(type_checker, invariant_control)
+    @type = nil
+    @type_checker = type_checker
+    @invariant_control = invariant_control
+  end
+
+  # @param type [SmartCore::Types::Primitive]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.2.0
+  def ___assign_type___(type)
+    @type = type
+  end
+
+  # @param value [Any]
+  # @return [Boolean]
+  #
+  # @api private
+  # @since 0.2.0
+  def valid?(value)
+    validate(value).success?
+  end
+
+  # @param value [Any]
+  # @return [SmartCore::Types::Primitive::Validator::Result]
+  #
+  # @api private
+  # @since 0.2.0
+  def validate(value)
+    checker_result = type_checker.call(value) # => Boolean
+    return Result.new(type, value, checker_result) unless checker_result
+    invariant_result = invariant_control.check(value)
+    invariant_errors = invariant_result.invariant_errors.map { |error| "#{type.name}.#{error}" }
+    Result.new(type, value, checker_result, invariant_errors)
+  end
+
+  # @param value [Any]
+  # @return [void]
+  #
+  # @raise [SmartCore::Types::TypeError]
+  #
+  # @api private
+  # @since 0.2.0
+  def validate!(value)
+    return if validate(value).success?
+    raise(SmartCore::Types::TypeError, 'Invalid type')
+  end
+end

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

@@ -0,0 +1,78 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.2.0
+class SmartCore::Types::Primitive::Validator::Result
+  # @return [Array]
+  #
+  # @api private
+  # @since 0.2.0
+  NO_INVARIANT_ERRORS = [].freeze
+
+  # @return [SmartCore::Types::Primitive]
+  #
+  # @api public
+  # @since 0.2.0
+  attr_reader :type
+
+  # @return [Boolean]
+  #
+  # @api public
+  # @since 0.2.0
+  attr_reader :is_valid_check
+  alias_method :valid_check?, :is_valid_check
+
+  # @return [Any]
+  #
+  # @api public
+  # @since 0.2.0
+  attr_reader :checked_value
+  alias_method :value, :checked_value
+
+  # @return [Array<String>]
+  #
+  # @api public
+  # @since 0.2.0
+  attr_reader :invariant_errors
+  alias_method :errors, :invariant_errors
+  alias_method :error_codes, :invariant_errors
+
+  # @param type [SmartCore::Types::Primitive]
+  # @param checked_value [Any]
+  # @param is_valid_check [Boolean]
+  # @param invariant_errors [Array<String>]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.2.0
+  def initialize(type, checked_value, is_valid_check, invariant_errors = NO_INVARIANT_ERRORS.dup)
+    @type = type
+    @checked_value = checked_value
+    @is_valid_check = is_valid_check
+    @invariant_errors = invariant_errors.tap(&:freeze)
+  end
+
+  # @return [Boolean]
+  #
+  # @api public
+  # @since 0.2.0
+  def valid_invariants?
+    invariant_errors.empty?
+  end
+
+  # @return [Boolean]
+  #
+  # @api public
+  # @since 0.2.0
+  def success?
+    valid_check? && invariant_errors.empty?
+  end
+
+  # @return [Boolean]
+  #
+  # @api public
+  # @since 0.2.0
+  def failure?
+    !success?
+  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

@@ -3,7 +3,9 @@
 # @api public
 # @since 0.1.0
 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'
@@ -12,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/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