smart_initializer 0.1.0.alpha4 → 0.1.0

data/lib/smart_core/initializer/plugins/thy_types/thy_types/operation/base.rb

@@ -0,0 +1,9 @@
+# frozen_string_literal: true
+
+module SmartCore::Initializer::TypeSystem
+  # @abstract
+  # @api private
+  # @since 0.1.0
+  class ThyTypes::Operation::Base < Interop::Operation
+  end
+end

data/lib/smart_core/initializer/plugins/thy_types/thy_types/operation/cast.rb

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+
+module SmartCore::Initializer::TypeSystem::ThyTypes::Operation
+  # @api private
+  # @since 0.1.0
+  class Cast < Base
+    # @param value [Any]
+    # @return [void]
+    #
+    # @raise [SmartCore::Initializer::TypeCastingUnsupportedError]
+    #
+    # @api private
+    # @since 0.1.0
+    def call(value)
+      raise(
+        SmartCore::Initializer::TypeCastingUnsupportedError,
+        'ThyTypes type system has no support for type casting.'
+      )
+    end
+  end
+end

data/lib/smart_core/initializer/plugins/thy_types/thy_types/operation/valid.rb

@@ -0,0 +1,16 @@
+# frozen_string_literal: true
+
+module SmartCore::Initializer::TypeSystem::ThyTypes::Operation
+  # @api private
+  # @since 0.1.0
+  class Valid < Base
+    # @param value [Any]
+    # @return [Boolean]
+    #
+    # @api private
+    # @since 0.1.0
+    def call(value)
+      type.check(value).success?
+    end
+  end
+end

data/lib/smart_core/initializer/plugins/thy_types/thy_types/operation/validate.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+module SmartCore::Initializer::TypeSystem::ThyTypes::Operation
+  # @api private
+  # @since 0.1.0
+  class Validate < Base
+    # @param value [Any]
+    # @return [void]
+    #
+    # @api private
+    # @since 0.1.0
+    def call(value)
+      raise(
+        SmartCore::Initializer::ThyTypeValidationError,
+        "Thy::Types validation error: (get #{value.inspect} for type #{type.inspect}"
+      ) unless type.check(value).success?
+    end
+  end
+end

data/lib/smart_core/initializer/settings.rb

@@ -0,0 +1,49 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.1.0
+class SmartCore::Initializer::Settings
+  require_relative 'settings/type_system'
+  require_relative 'settings/duplicator'
+
+  # @return [void]
+  #
+  # @api private
+  # @since 0.1.0
+  def initialize
+    @type_system = TypeSystem.new
+  end
+
+  # @return [Any]
+  #
+  # @api private
+  # @since 0.1.0
+  def generic_type_object
+    @type_system.generic_type_object
+  end
+
+  # @return [Symbol]
+  #
+  # @api private
+  # @since 0.1.0
+  def type_system
+    @type_system.resolve
+  end
+
+  # @param value [String, System]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.1.0
+  def type_system=(value)
+    @type_system.assign(value)
+  end
+
+  # @return [SmartCore::Initializer::Settings]
+  #
+  # @api private
+  # @since 0.1.0
+  def dup
+    Duplicator.duplicate(self)
+  end
+end

data/lib/smart_core/initializer/settings/duplicator.rb

@@ -0,0 +1,20 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.1.0
+module SmartCore::Initializer::Settings::Duplicator
+  class << self
+    # @param settings [SmartCore::Initializer::Settings]
+    # @return [SmartCore::Initializer::Settings]
+    #
+    # @api private
+    # @since 0.1.0
+    def duplicate(settings)
+      SmartCore::Initializer::Settings.new.tap do |new_instance|
+        type_system = settings.instance_variable_get(:@type_system).dup
+
+        new_instance.instance_variable_set(:@type_system, type_system)
+      end
+    end
+  end
+end

data/lib/smart_core/initializer/settings/type_system.rb

@@ -0,0 +1,69 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.1.0
+class SmartCore::Initializer::Settings::TypeSystem
+  # @return [void]
+  #
+  # @api private
+  # @since 0.1.0
+  def initialize
+    @type_system = nil
+    @lock = SmartCore::Engine::Lock.new
+  end
+
+  # @return [Any]
+  #
+  # @api private
+  # @since 0.1.0
+  def generic_type_object
+    thread_safe do
+      SmartCore::Initializer::TypeSystem.resolve(resolve).generic_type_object
+    end
+  end
+
+  # @return [Symbol]
+  #
+  # @api private
+  # @since 0.1.0
+  def resolve
+    thread_safe do
+      @type_system || SmartCore::Initializer::Configuration.config[:default_type_system]
+    end
+  end
+
+  # @param value [String, Symbol]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.1.0
+  def assign(value)
+    thread_safe do
+      SmartCore::Initializer::TypeSystem.resolve(value) # NOTE: type system existence validation
+      @type_system = value
+    end
+  end
+
+  # @return [SmartCore::Initializer::Settings::TypeSystem]
+  #
+  # @api private
+  # @since 0.1.0
+  def dup
+    thread_safe do
+      self.class.new.tap do |duplicate|
+        duplicate.instance_variable_set(:@type_system, @type_system)
+      end
+    end
+  end
+
+  private
+
+  # @param block [Block]
+  # @return [Any]
+  #
+  # @api private
+  # @since 0.1.0
+  def thread_safe(&block)
+    @lock.synchronize(&block)
+  end
+end

data/lib/smart_core/initializer/type_system.rb

@@ -0,0 +1,16 @@
+# frozen_string_literal: true
+
+# @api public
+# @since 0.1.0
+module SmartCore::Initializer::TypeSystem
+  require_relative 'type_system/interop'
+  require_relative 'type_system/registry'
+  require_relative 'type_system/smart_types'
+  require_relative 'type_system/registry_interface'
+
+  # @since 0.1.0
+  extend SmartCore::Initializer::TypeSystem::RegistryInterface
+
+  # @since 0.1.0
+  register(:smart_types, SmartCore::Initializer::TypeSystem::SmartTypes)
+end

data/lib/smart_core/initializer/type_system/interop.rb

@@ -0,0 +1,103 @@
+# frozen_string_literal: true
+
+# @abstract
+# @api private
+# @since 0.1.0
+class SmartCore::Initializer::TypeSystem::Interop
+  require_relative 'interop/operation'
+  require_relative 'interop/abstract_factory'
+  require_relative 'interop/aliasing'
+
+  # @since 0.1.0
+  include SmartCore::Initializer::TypeSystem::Interop::Aliasing
+
+  class << self
+    # @param type_object [Any]
+    # @return [SmartCore::Initializer::TypeSystem::Interop]
+    #
+    # @api private
+    # @since 0.1.0
+    def create(type_object)
+      self::AbstractFactory.create(type_object)
+    end
+
+    # @return [SmartCore::Initialiezr::TypeSystem::Interop]
+    #
+    # @api private
+    # @since 0.1.0
+    def generic_type_object
+      self::AbstractFactory.generic_type_object
+    end
+
+    # @param type_object [Any]
+    # @return [void]
+    #
+    # @raise [SmartCore::Initializer::IncorrectTypeObjectError]
+    #
+    # @api private
+    # @since 0.1.0
+    def prevent_incompatible_type!(type_object)
+      self::AbstractFactory.prevent_incompatible_type!(type_object)
+    end
+  end
+
+  # @param valid_op [SmartCore::Initializer::TypeSystem::Interop::Operation]
+  # @param validate_op [SmartCore::Initializer::TypeSystem::Interop::Operation]
+  # @param cast_op [SmartCore::Initializer::TypeSystem::Interop::Operation]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.1.0
+  def initialize(valid_op, validate_op, cast_op)
+    @valid_op = valid_op
+    @validate_op = validate_op
+    @cast_op = cast_op
+  end
+
+  # @param value [Any]
+  # @return [Boolean]
+  #
+  # @api private
+  # @since 0.1.0
+  def valid?(value)
+    valid_op.call(value)
+  end
+
+  # @param value [Any]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.1.0
+  def validate!(value)
+    validate_op.call(value)
+  end
+
+  # @param value [Any]
+  # @return [Any]
+  #
+  # @api private
+  # @since 0.1.0
+  def cast(value)
+    cast_op.call(value)
+  end
+
+  private
+
+  # @return [SmartCore::Initializer::TypeSystem::Interop::Operation]
+  #
+  # @api private
+  # @since 0.1.0
+  attr_reader :valid_op
+
+  # @return [SmartCore::Initializer::TypeSystem::Interop::Operation]
+  #
+  # @api private
+  # @since 0.1.0
+  attr_reader :validate_op
+
+  # @return [SmartCore::Initializer::TypeSystem::Interop::Operation]
+  #
+  # @api private
+  # @since 0.1.0
+  attr_reader :cast_op
+end

data/lib/smart_core/initializer/type_system/interop/abstract_factory.rb

@@ -0,0 +1,70 @@
+# frozen_string_literal: true
+
+# @abstract
+# @api private
+# @since 0.1.0
+class SmartCore::Initializer::TypeSystem::Interop::AbstractFactory
+  class << self
+    # @param type [Any]
+    # @return [SmartCore::Initializer::TypeSystem::Interop]
+    #
+    # @api private
+    # @since 0.1.0
+    def create(type)
+      prevent_incompatible_type!(type)
+
+      valid_op = build_valid_operation(type)
+      validate_op = build_validate_operation(type)
+      cast_op = build_cast_operation(type)
+
+      build_interop(valid_op, validate_op, cast_op)
+    end
+
+    # @return [Any]
+    #
+    # @api private
+    # @since 0.1.0
+    def generic_type_object; end
+
+    # @param type [Any]
+    # @return [void]
+    #
+    # @raise [SmartCore::Initializer::IncorrectTypeObjectError]
+    #
+    # @api private
+    # @since 0.1.0
+    def prevent_incompatible_type!(type); end
+
+    private
+
+    # @param type [Any]
+    # @return [SmartCore::Initializer::TypeSystem::Interop::Operation]
+    #
+    # @api private
+    # @since 0.1.0
+    def build_valid_operation(type); end
+
+    # @param type [Any]
+    # @return [SmartCore::Initializer::TypeSystem::Interop::Operation]
+    #
+    # @api private
+    # @since 0.1.0
+    def build_validate_operation(type); end
+
+    # @param type [Any]
+    # @return [SmartCore::Initializer::TypeSystem::Interop::Operation]
+    #
+    # @api private
+    # @since 0.1.0
+    def build_cast_operation(type); end
+
+    # @param valid_op [SmartCore::Initializer::TypeSystem::Interop::Operation]
+    # @param validate_op [SmartCore::Initializer::TypeSystem::Interop::Operation]
+    # @param cast_op [SmartCore::Initializer::TypeSystem::Interop::Operation]
+    # @return [SmartCore::Initializer::TypeSystem::Interop]
+    #
+    # @api private
+    # @since 0.1.0
+    def build_interop(valid_op, validate_op, cast_op); end
+  end
+end

data/lib/smart_core/initializer/type_system/interop/aliasing.rb

@@ -0,0 +1,72 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.1.0
+module SmartCore::Initializer::TypeSystem::Interop::Aliasing
+  require_relative 'aliasing/alias_list'
+
+  class << self
+    # @param base_klass [Class]
+    # @return [void]
+    #
+    # @api private
+    # @since 0.1.0
+    def included(base_klass)
+      base_klass.extend(ClassMethods)
+      base_klass.singleton_class.prepend(ClassInheritance)
+    end
+  end
+
+  # @api private
+  # @since 0.1.0
+  module ClassInheritance
+    # @param child_klass [Class<SmartCore::Initializer::TypeSystem::Interop>]
+    # @return [void]
+    #
+    # @api private
+    # @since 0.1.0
+    def inherited(child_klass)
+      child_klass.instance_variable_set(:@__type_aliases__, AliasList.new(child_klass))
+      super
+    end
+  end
+
+  # @api private
+  # @since 0.1.0
+  module ClassMethods
+    # @return [SmartCore::Initializer::TypeSystem::Interop::Aliasing::AliasList]
+    #
+    # @api private
+    # @since 0.1.0
+    def __type_aliases__
+      @__type_aliases__
+    end
+
+    # @return [Array<String>]
+    #
+    # @api public
+    # @since 0.1.0
+    def type_aliases
+      __type_aliases__.keys
+    end
+
+    # @param alias_name [String, Symbol]
+    # @param type [Any]
+    # @return [void]
+    #
+    # @api public
+    # @since 0.1.0
+    def type_alias(alias_name, type)
+      __type_aliases__.associate(alias_name, type)
+    end
+
+    # @param alias_name [String, Symbol]
+    # @return [Any]
+    #
+    # @api public
+    # @since 0.1.0
+    def type_from_alias(alias_name)
+      __type_aliases__.resolve(alias_name)
+    end
+  end
+end