smart_types 0.1.0 → 0.6.0

data/Rakefile

@@ -4,7 +4,6 @@ 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'

data/bin/console

@@ -4,5 +4,5 @@
 require 'bundler/setup'
 require 'smart_core/types'
 
-require 'irb'
-IRB.start(__FILE__)
+require 'pry'
+Pry.start

data/lib/smart_core/types/errors.rb

@@ -13,6 +13,18 @@ module SmartCore::Types
   # @since 0.1.0
   NameError = Class.new(SmartCore::NameError)
 
+  # @api public
+  # @since 0.3.0
+  TypeDefinitionError = Class.new(ArgumentError)
+
+  # @api public
+  # @since 0.3.0
+  IncorrectRuntimeAttributesError = Class.new(TypeDefinitionError)
+
+  # @api public
+  # @since 0.3.0
+  RuntimeAttriburtesUnsupportedError = Class.new(TypeDefinitionError)
+
   # @api public
   # @since 0.1.0
   TypeError = Class.new(SmartCore::TypeError)

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

@@ -2,6 +2,7 @@
 
 # @api private
 # @since 0.1.0
+# @version 0.3.0
 class SmartCore::Types::Primitive::Caster
   # @param expression [Proc]
   # @return [void]
@@ -13,12 +14,14 @@ class SmartCore::Types::Primitive::Caster
   end
 
   # @param value [Any]
+  # @param runtime_attributes [Array<Any>]
   # @return [Any]
   #
   # @api private
   # @since 0.1.0
-  def call(value)
-    expression.call(value)
+  # @version 0.3.0
+  def call(value, runtime_attributes)
+    expression.call(value, runtime_attributes)
   end
 
   private

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

@@ -2,6 +2,7 @@
 
 # @api private
 # @since 0.1.0
+# @version 0.3.0
 class SmartCore::Types::Primitive::Checker
   # @param expression [Proc]
   # @return [void]
@@ -13,12 +14,14 @@ class SmartCore::Types::Primitive::Checker
   end
 
   # @param value [Any]
+  # @param runtime_attributes [Array<Any>]
   # @return [Boolean]
   #
   # @api private
   # @since 0.1.0
-  def call(value)
-    !!expression.call(value)
+  # @version 0.3.0
+  def call(value, runtime_attributes)
+    !!expression.call(value, runtime_attributes)
   end
 
   private

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

@@ -2,7 +2,59 @@
 
 # @api private
 # @since 0.1.0
+# @version 0.3.0
 class SmartCore::Types::Primitive::Factory::DefinitionContext
+  class << self
+    # @param name [String, Symbol]
+    # @param definition [Block]
+    # @return [void]
+    #
+    # @api private
+    # @since 0.2.0
+    # @version 0.3.0
+    def vaildate_invariant_attributes!(name, &definition)
+      unless block_given?
+        raise(SmartCore::Types::TypeDefinitionError, 'No invariant block')
+      end
+
+      unless name.is_a?(::String) || name.is_a?(::Symbol)
+        raise(SmartCore::Types::TypeDefinitionError, <<~ERROR_MESSAGE)
+          Invariant name should be a type of string or symbol.
+        ERROR_MESSAGE
+      end
+
+      if name == '' || name == :""
+        raise(SmartCore::Types::TypeDefinitionError, <<~ERROR_MESSAGE)
+          Invariant name can not be empty.
+        ERROR_MESSAGE
+      end
+    end
+
+    # @param chain_name [String, Symbol]
+    # @param definition [Block]
+    # @return [void]
+    #
+    # @api private
+    # @since 0.3.0
+    def vaildate_invariant_chain_attributes!(chain_name, &definition)
+      unless block_given?
+        raise(SmartCore::Types::TypeDefinitionError, 'No invariant chain block')
+      end
+
+      unless chain_name.is_a?(::String) || chain_name.is_a?(::Symbol)
+        raise(SmartCore::Types::TypeDefinitionError, <<~ERROR_MESSAGE)
+          Invariant chain name should be a type of string or symbol.
+        ERROR_MESSAGE
+      end
+
+      if chain_name == '' || chain_name == :""
+        raise(SmartCore::Types::TypeDefinitionError, <<~ERROR_MESSAGE)
+          Invariant chain name can not be empty.
+        ERROR_MESSAGE
+      end
+    end
+  end
+
   # @return [Proc, NilClass]
   #
   # @api private
@@ -15,13 +67,36 @@ class SmartCore::Types::Primitive::Factory::DefinitionContext
   # @since 0.1.0
   attr_reader :type_caster
 
+  # @return [Hash<String,Array<Proc>>]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :type_invariant_chains
+
+  # @return [Hash<String,Proc>]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :type_invariants
+
+  # @return [Proc, NilClass]
+  #
+  # @api private
+  # @since 0.3.0
+  attr_reader :type_runtime_attributes_checker
+
   # @return [void]
   #
   # @api private
   # @since 0.1.0
+  # @version 0.2.0
   def initialize
+    @type_invariant_chains = Hash.new { |h, k| h[k] = [] }
+    @type_invariants = {}
     @type_checker = nil
     @type_caster = nil
+    @type_runtime_attributes_checker = nil
+    @definition_lock = SmartCore::Engine::Lock.new
   end
 
   # @param checker [Block]
@@ -29,9 +104,14 @@ class SmartCore::Types::Primitive::Factory::DefinitionContext
   #
   # @api public
   # @since 0.1.0
+  # @version 0.3.0
   def define_checker(&checker)
-    raise(SmartCore::ArgumentError, 'No checker definition block') unless block_given?
-    @type_checker = checker
+    thread_safe do
+      unless block_given?
+        raise(SmartCore::Types::TypeDefinitionError, 'No checker definition block')
+      end
+      @type_checker = checker
+    end
   end
 
   # @param caster [Block]
@@ -39,8 +119,64 @@ class SmartCore::Types::Primitive::Factory::DefinitionContext
   #
   # @api public
   # @since 0.1.0
+  # @version 0.3.0
   def define_caster(&caster)
-    raise(SmartCore::ArgumentError, 'No caster definition block') unless block_given?
-    @type_caster = caster
+    thread_safe do
+      unless block_given?
+        raise(SmartCore::Types::TypeDefinitionError, 'No caster definition block')
+      end
+      @type_caster = caster
+    end
+  end
+
+  # @param chain_name [String, Symbol]
+  # @param definitions [Block]
+  # @return [void]
+  #
+  # @api public
+  # @since 0.2.0
+  def invariant_chain(chain_name, &definitions)
+    thread_safe do
+      self.class.vaildate_invariant_chain_attributes!(chain_name, &definitions)
+      @type_invariant_chains[chain_name.to_s] << definitions
+    end
+  end
+
+  # @param name [String, Symbol]
+  # @param definition [Block]
+  # @return [void]
+  #
+  # @api public
+  # @since 0.2.0
+  def invariant(name, &definition)
+    thread_safe do
+      self.class.vaildate_invariant_attributes!(name, &definition)
+      @type_invariants[name.to_s] = definition
+    end
+  end
+
+  # @param definition [Block]
+  # @return [void]
+  #
+  # @api public
+  # @since 0.3.0
+  def runtime_attributes_checker(&definition)
+    thread_safe do
+      unless block_given?
+        raise(SmartCore::Types::TypeDefinitionError, 'No runtime checker definition block')
+      end
+      @type_runtime_attributes_checker = definition
+    end
+  end
+
+  private
+
+  # @param block [Block]
+  # @return [Any]
+  #
+  # @api private
+  # @since 0.2.0
+  def thread_safe(&block)
+    @definition_lock.synchronize(&block)
   end
 end

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

@@ -0,0 +1,53 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.3.0
+module SmartCore::Types::Primitive::Factory::RuntimeTypeBuilder
+  class << self
+    # @param type_name [String, Symbol]
+    # @param type_category [Class<SmartCore::Types::Primitive>]
+    # @param runtime_attributes [Array<Any>]
+    # @return [SmartCore::Types::Primitive]
+    #
+    # @api private
+    # @since 0.3.0
+    def build_with_runtime(type_name, type_category, runtime_attributes)
+      type = type_category.const_get(type_name)
+      type.runtime_attributes_checker.check!(runtime_attributes)
+
+      type.clone.tap do |type_with_custom_runtime|
+        type_with_custom_runtime.instance_variable_set(
+          :@runtime_attributes, runtime_attributes.freeze
+        )
+      end
+    end
+
+    # @param new_instance [SmartCore::Types::Primitive]
+    # @param cloneable_instance [SmartCore::Types::Primitive]
+    # @return [void]
+    #
+    # @api private
+    # @since 0.3.0
+    # rubocop:disable Metrics/AbcSize, Layout/LineLength
+    def initialize_clone(new_instance, cloneable_instance)
+      name_clone = cloneable_instance.instance_variable_get(:@name)
+      category_clone = cloneable_instance.instance_variable_get(:@category)
+      validator_clone = cloneable_instance.instance_variable_get(:@validator).___copy_for___(new_instance)
+      caster_clone = cloneable_instance.instance_variable_get(:@caster)
+      runtime_attributes_clone = cloneable_instance.instance_variable_get(:@runtime_attributes).clone
+      runtime_attributes_checker_clone = cloneable_instance.instance_variable_get(:@runtime_attributes_checker).___copy_for___(new_instance)
+      lock_clone = SmartCore::Engine::Lock.new
+      nilable_clone = nil
+
+      new_instance.instance_variable_set(:@name, name_clone)
+      new_instance.instance_variable_set(:@category, category_clone)
+      new_instance.instance_variable_set(:@validator, validator_clone)
+      new_instance.instance_variable_set(:@caster, caster_clone)
+      new_instance.instance_variable_set(:@runtime_attributes, runtime_attributes_clone)
+      new_instance.instance_variable_set(:@runtime_attributes_checker, runtime_attributes_checker_clone)
+      new_instance.instance_variable_set(:@lock_clone, lock_clone)
+      new_instance.instance_variable_set(:@nilable, nilable_clone)
+    end
+    # rubocop:enable Metrics/AbcSize, Layout/LineLength
+  end
+end

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

@@ -2,8 +2,10 @@
 
 # @api private
 # @since 0.1.0
+# @version 0.3.0
 class SmartCore::Types::Primitive::Factory
   require_relative 'factory/definition_context'
+  require_relative 'factory/runtime_type_builder'
 
   class << self
     # @param type_category [Class<SmartCore::Types::Primitive>]
@@ -13,12 +15,26 @@ class SmartCore::Types::Primitive::Factory
     #
     # @api private
     # @since 0.1.0
+    # @version 0.3.0
     def create_type(type_category, type_name, type_definition)
       type_definitions = build_type_definitions(type_definition)
+      type_runtime_attributes_checker = build_type_runtime_attributes_checker(type_definitions)
       type_checker = build_type_checker(type_definitions)
       type_caster = build_type_caster(type_definitions)
-      type = build_type(type_category, type_name, type_checker, type_caster)
-      type.tap { register_new_type(type_category, type_name, type) }
+      type_invariant_control = build_type_invariant_control(type_definitions)
+      type_validator = build_type_validator(type_checker, type_invariant_control)
+      build_type(
+        type_category,
+        type_name,
+        type_validator,
+        type_caster,
+        type_runtime_attributes_checker
+      ).tap do |type|
+        assign_type_validator(type, type_validator)
+        assign_type_runtime_attributes_checker(type, type_runtime_attributes_checker)
+        register_new_type(type_category, type_name, type)
+        register_runtime_type_builder(type_category, type_name)
+      end
     end
 
     private
@@ -38,10 +54,33 @@ class SmartCore::Types::Primitive::Factory
         raise(
           SmartCore::Types::NoCheckerDefinitionError,
           'Type checker is not provided. You should define it via .define_checker(&block)'
-        ) if context.type_checker.nil?
+        ) if context.type_checker == nil
       end
     end
 
+    # @param type_definitions [SmartCore::Types::Primitive::Factory::DefinitionContext]
+    # @return [SmartCore::Types::Primitive::RuntimeAttributesChecker]
+    #
+    # @api private
+    # @since 0.3.0
+    def build_type_runtime_attributes_checker(type_definitions)
+      SmartCore::Types::Primitive::RuntimeAttributesChecker.new(
+        type_definitions.type_runtime_attributes_checker
+      )
+    end
+
+    # @param type_definitions [SmartCore::Types::Primitive::Factory::DefinitionContext]
+    # @return [SmartCore::Types::Primitive::InvariantControl]
+    #
+    # @api private
+    # @since 0.2.0
+    def build_type_invariant_control(type_definitions)
+      SmartCore::Types::Primitive::InvariantControl.create(
+        type_definitions.type_invariant_chains,
+        type_definitions.type_invariants
+      )
+    end
+
     # @param type_definitions [SmartCore::Types::Primitive::Factory::DefinitionContext]
     # @return [SmartCore::Types::Primitive::Checker]
     #
@@ -57,23 +96,67 @@ class SmartCore::Types::Primitive::Factory
     # @api private
     # @since 0.1.0
     def build_type_caster(type_definitions)
-      if type_definitions.type_caster.nil?
+      if type_definitions.type_caster == nil
         SmartCore::Types::Primitive::UndefinedCaster.new
       else
         SmartCore::Types::Primitive::Caster.new(type_definitions.type_caster)
       end
     end
 
+    # @param checker [SmartCore::Types::Primitive::Checker]
+    # @param invariant_control [SmartCore::Types::Primitive::InvariantControl]
+    # @return [void]
+    #
+    # @api private
+    # @since 0.2.0
+    def build_type_validator(type_checker, type_invariant_control)
+      SmartCore::Types::Primitive::Validator.new(type_checker, type_invariant_control)
+    end
+
     # @param type_klass [Class<SmartCore::Types::Primitive>]
     # @param type_name [String, Symbol]
-    # @param type_checker [SmartCore::Types::Primitive::Checker]
+    # @param type_validator [SmartCore::Types::Primitive::Validator]
     # @param type_caster [SmartCore::Types::Primitive::Caster]
+    # @param type_runtime_attributes_checker [SmartCore::Types::Primitive::RuntimeAttributesChecker]
     # @return [SmartCore::Types::Primitive]
     #
     # @api private
     # @since 0.1.0
-    def build_type(type_category, type_name, type_checker, type_caster)
-      Class.new(type_category).new(type_checker, type_caster)
+    # @version 0.3.0
+    def build_type(
+      type_category,
+      type_name,
+      type_validator,
+      type_caster,
+      type_runtime_attributes_checker
+    )
+      Class.new(type_category).new(
+        type_name,
+        type_category,
+        type_validator,
+        type_caster,
+        type_runtime_attributes_checker
+      )
+    end
+
+    # @param type [SmartCore::Types::Primitive]
+    # @param type_validator [SmartCore::Types::Primitive::Validator]
+    # @return [void]
+    #
+    # @api private
+    # @since 0.2.0
+    def assign_type_validator(type, type_validator)
+      type_validator.___assign_type___(type)
+    end
+
+    # @param type [SmartCore::Types::Primitive]
+    # @param type_runtime_attributes_checker [SmartCore::Types::Primitive::RuntimeAttributesChecker]
+    # @return [void]
+    #
+    # @api private
+    # @since 0.3.0
+    def assign_type_runtime_attributes_checker(type, type_runtime_attributes_checker)
+      type_runtime_attributes_checker.___assign_type___(type)
     end
 
     # @param type_category [Class<SmartCore::Types::Primitive>]
@@ -93,5 +176,19 @@ class SmartCore::Types::Primitive::Factory
         "Incorrect constant name for new type (#{type_name})"
       )
     end
+
+    # @param type_category [Class<SmartCore::Types::Primitive>]
+    # @param type_name [String, Symbol]
+    # @return [void]
+    #
+    # @raise [SmartCore::Types::IncorrectTypeNameError]
+    #
+    # @api private
+    # @since 0.3.0
+    def register_runtime_type_builder(type_category, type_name)
+      type_category.define_singleton_method(type_name) do |*runtime_attributes|
+        RuntimeTypeBuilder.build_with_runtime(type_name, type_category, runtime_attributes)
+      end
+    end
   end
 end