smart_types 0.0.0

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

@@ -0,0 +1,31 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.1.0
+class SmartCore::Types::Primitive::Caster
+  # @param expression [Proc]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.1.0
+  def initialize(expression)
+    @expression = expression
+  end
+
+  # @param value [Any]
+  # @return [Any]
+  #
+  # @api private
+  # @since 0.1.0
+  def call(value)
+    expression.call(value)
+  end
+
+  private
+
+  # @return [Proc]
+  #
+  # @api private
+  # @since 0.1.0
+  attr_reader :expression
+end

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

@@ -0,0 +1,31 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.1.0
+class SmartCore::Types::Primitive::Checker
+  # @param expression [Proc]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.1.0
+  def initialize(expression)
+    @expression = expression
+  end
+
+  # @param value [Any]
+  # @return [Boolean]
+  #
+  # @api private
+  # @since 0.1.0
+  def call(value)
+    !!expression.call(value)
+  end
+
+  private
+
+  # @return [Proc]
+  #
+  # @api private
+  # @since 0.1.0
+  attr_reader :expression
+end

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

@@ -0,0 +1,96 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.1.0
+class SmartCore::Types::Primitive::Factory
+  require_relative 'factory/definition_context'
+
+  class << self
+    # @param type_category [Class<SmartCore::Types::Primitive>]
+    # @param type_name [String, Symbol]
+    # @param type_definition [Proc]
+    # @return [SmartCore::Types::Primitive]
+    #
+    # @api private
+    # @since 0.1.0
+    def create_type(type_category, type_name, type_definition)
+      type_definitions = build_type_definitions(type_definition)
+      type_checker = build_type_checker(type_definitions)
+      type_caster = build_type_caster(type_definitions)
+      type = build_type(type_category, type_checker, type_caster)
+      type.tap { register_new_type(type_category, type_name, type) }
+    end
+
+    private
+
+    # @param type_definition [Proc]
+    # @return [SmartCore::Types::Primitive::Factory::DefinitionContext]
+    #
+    # @raise [SmartCore::Types::NoCheckerDefinitionError]
+    #
+    # @api private
+    # @since 0.1.0
+    def build_type_definitions(type_definition)
+      raise 'Type definition is not provied' unless type_definition.is_a?(Proc)
+      SmartCore::Types::Primitive::Factory::DefinitionContext.new.tap do |context|
+        context.instance_eval(&type_definition)
+      end.tap do |context|
+        raise(
+          SmartCore::Types::NoCheckerDefinitionError,
+          'Type checker is not provided (use .define_checker for it)'
+        ) if context.type_checker.nil?
+      end
+    end
+
+    # @param type_definitions [SmartCore::Types::Primitive::Factory::DefinitionContext]
+    # @return [SmartCore::Types::Primitive::Checker]
+    #
+    # @api private
+    # @since 0.1.0
+    def build_type_checker(type_definitions)
+      SmartCore::Types::Primitive::Checker.new(type_definitions.type_checker)
+    end
+
+    # @param type_definitions [SmartCore::Types::Primitive::Factory::DefinitionContext]
+    # @return [SmartCore::Types::Primitive::Caster]
+    #
+    # @api private
+    # @since 0.1.0
+    def build_type_caster(type_definitions)
+      if type_definitions.type_caster.nil?
+        SmartCore::Types::Primitive::UndefinedCaster.new
+      else
+        SmartCore::Types::Primitive::Caster.new(type_definitions.type_caster)
+      end
+    end
+
+    # @param type_klass [Class<SmartCore::Types::Primitive>]
+    # @param type_checker [SmartCore::Types::Primitive::Checker]
+    # @param type_caster [SmartCore::Types::Primitive::Caster]
+    # @return [SmartCore::Types::Primitive]
+    #
+    # @api private
+    # @since 0.1.0
+    def build_type(type_category, type_checker, type_caster)
+      Class.new(type_category).new(type_checker, type_caster)
+    end
+
+    # @param type_category [Class<SmartCore::Types::Primitive>]
+    # @param type_name [String, Symbol]
+    # @param type [SmartCore::Types::Primitive]
+    # @return [void]
+    #
+    # @raise [SmartCore::Types::IncorrectTypeNameError]
+    #
+    # @api private
+    # @since 0.1.0
+    def register_new_type(type_category, type_name, type)
+      type_category.const_set(type_name, type)
+    rescue ::NameError
+      raise(
+        SmartCore::Types::IncorrectTypeNameError,
+        "Incorrect constant name for new type (#{type_name})"
+      )
+    end
+  end
+end

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

@@ -0,0 +1,46 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.1.0
+class SmartCore::Types::Primitive::Factory::DefinitionContext
+  # @return [Proc]
+  #
+  # @api private
+  # @since 0.1.0
+  attr_reader :type_checker
+
+  # @return [Proc]
+  #
+  # @api private
+  # @since 0.1.0
+  attr_reader :type_caster
+
+  # @return [void]
+  #
+  # @api private
+  # @since 0.1.0
+  def initialize
+    @type_checker = nil
+    @type_caster = nil
+  end
+
+  # @param checker [Block]
+  # @return [void]
+  #
+  # @api public
+  # @since 0.1.0
+  def define_checker(&checker)
+    raise 'No checker definition block' unless block_given?
+    @type_checker = checker
+  end
+
+  # @param caster [Block]
+  # @return [void]
+  #
+  # @api public
+  # @since 0.1.0
+  def define_caster(&caster)
+    raise 'No caster definition block' unless block_given?
+    @type_caster = caster
+  end
+end

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

@@ -0,0 +1,31 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.1.0
+class SmartCore::Types::Primitive::MultChecker
+  # @param [Array<SmartCore::Types::Primitive::Checker>]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.1.0
+  def initialize(*checkers)
+    @checkers = checkers
+  end
+
+  # @param value [Any]
+  # @return [Boolean]
+  #
+  # @api private
+  # @since 0.1.0
+  def call(value)
+    checkers.all? { |checker| checker.call(value) }
+  end
+
+  private
+
+  # @return [Array<SmartCore::Types::Primitive::Checker>]
+  #
+  # @api private
+  # @since 0.1.0
+  attr_reader :checkers
+end

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

@@ -0,0 +1,69 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.1.0
+module SmartCore::Types::Primitive::MultFactory
+  require_relative 'mult_factory/definition_context'
+
+  class << self
+    # @param types [Array<SmartCore::Types::Primtive>]
+    # @param type_definition [NilClass, Proc]
+    # @return [SmartCore::Types::Primitive]
+    #
+    # @api private
+    # @since 0.1.0
+    def create_type(types, type_definition)
+      type_definitions = build_type_definitions(type_definition)
+      type_checker = build_type_checker(types, type_definitions)
+      type_caster = build_type_caster(types, type_definitions)
+      build_type(type_checker, type_caster)
+    end
+
+    private
+
+    # @param type_definition [NilClass, Proc]
+    # @return [SmartCore::Types::Primitive::MultFactory::DefinitionContext]
+    #
+    # @pai private
+    # @since 0.1.0
+    def build_type_definitions(type_definition)
+      SmatCore::Types::Primitive::MultFactory::DefinitionContext.new.tap do |context|
+        context.instance_eval(&type_definition) if type_definition
+      end
+    end
+
+    # @param types [Array<SmartCore::Types::Primtive>]
+    # @param type_definitions [SmartCore::Types::Primitive::MultFactory::DefinitionContext]
+    # @return [SmartCore::Types::Primitive::MultChecker]
+    #
+    # @api private
+    # @since 0.1.0
+    def build_type_checker(types, type_definitions)
+      SmartCore::Types::Primitive::MultChecker.new(*types.map(&:checker))
+    end
+
+    # @param types [Array<SmartCore::Types::Primtive>]
+    # @param type_definition [SmartCore::Types::Primitive::MultFactory::DefinitionContext]
+    # @return [SmartCore::Types::Primitive::Caster]
+    #
+    # @api private
+    # @since 0.1.0
+    def build_type_caster(types, type_definitions)
+      if type_definitions.type_caster.nil?
+        SmartCore::Types::Primitive::UndefinedCaster.new
+      else
+        SmartCore::Types::Primitive::Caster.new(type_definitions.type_caster)
+      end
+    end
+
+    # @param type_checker [SmartCore::Types::Primitive::MultChecker]
+    # @param type_caster [SmartCore::Types::Primitive::Caster]
+    # @return [SmartCore::Types::Primitive]
+    #
+    # @api private
+    # @since 0.1.0
+    def build_type(type_checker, type_caster)
+      SmartCore::Types::Primitive.new(type_checker, type_caster)
+    end
+  end
+end

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

@@ -0,0 +1,29 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.1.0
+class SmartCore::Types::Primitive::Factory::DefinitionContext
+  # @return [Proc]
+  #
+  # @api private
+  # @since 0.1.0
+  attr_reader :type_caster
+
+  # @return [void]
+  #
+  # @api private
+  # @since 0.1.0
+  def initialize
+    @type_caster = nil
+  end
+
+  # @param caster [Block]
+  # @return [void]
+  #
+  # @api public
+  # @since 0.1.0
+  def define_caster(&caster)
+    raise 'No caster definition block' unless block_given?
+    @type_caster = caster
+  end
+end

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

@@ -0,0 +1,31 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.1.0
+class SmartCore::Types::Primitive::SumChecker
+  # @param [Array<SmartCore::Types::Primitive::Checker>]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.1.0
+  def initialize(*checkers)
+    @checkers = checkers
+  end
+
+  # @param value [Any]
+  # @return [Boolean]
+  #
+  # @api private
+  # @since 0.1.0
+  def call(value)
+    checkers.any? { |checker| checker.call(value) }
+  end
+
+  private
+
+  # @return [Array<SmartCore::Types::Primitive::Checker>]
+  #
+  # @api private
+  # @since 0.1.0
+  attr_reader :checkers
+end

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

@@ -0,0 +1,69 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.1.0
+module SmartCore::Types::Primitive::SumFactory
+  require_relative 'sum_factory/definition_context'
+
+  class << self
+    # @param types [Array<SmartCore::Types::Primtive>]
+    # @param type_definition [NilClass, Proc]
+    # @return [SmartCore::Types::Primitive]
+    #
+    # @api private
+    # @since 0.1.0
+    def create_type(types, type_definition)
+      type_definitions = build_type_definitions(type_definition)
+      type_checker = build_type_checker(types, type_definitions)
+      type_caster = build_type_caster(types, type_definitions)
+      build_type(type_checker, type_caster)
+    end
+
+    private
+
+    # @param type_definition [NilClass, Proc]
+    # @return [SmartCore::Types::Primitive::SumFactory::DefinitionContext]
+    #
+    # @pai private
+    # @since 0.1.0
+    def build_type_definitions(type_definition)
+      SmatCore::Types::Primitive::SumFactory::DefinitionContext.new.tap do |context|
+        context.instance_eval(&type_definition) if type_definition
+      end
+    end
+
+    # @param types [Array<SmartCore::Types::Primtive>]
+    # @param type_definitions [SmartCore::Types::Primitive::SumFactory::DefinitionContext]
+    # @return [SmartCore::Types::Primitive::SumChecker]
+    #
+    # @api private
+    # @since 0.1.0
+    def build_type_checker(types, type_definitions)
+      SmartCore::Types::Primitive::SumChecker.new(*types.map(&:checker))
+    end
+
+    # @param types [Array<SmartCore::Types::Primtive>]
+    # @param type_definition [SmartCore::Types::Primitive::SumFactory::DefinitionContext]
+    # @return [SmartCore::Types::Primitive::Caster]
+    #
+    # @api private
+    # @since 0.1.0
+    def build_type_caster(types, type_definitions)
+      if type_definitions.type_caster.nil?
+        SmartCore::Types::Primitive::UndefinedCaster.new
+      else
+        SmartCore::Types::Primitive::Caster.new(type_definitions.type_caster)
+      end
+    end
+
+    # @param type_checker [SmartCore::Types::Primitive::SumChecker]
+    # @param type_caster [SmartCore::Types::Primitive::Caster]
+    # @return [SmartCore::Types::Primitive]
+    #
+    # @api private
+    # @since 0.1.0
+    def build_type(type_checker, type_caster)
+      SmartCore::Types::Primitive.new(type_checker, type_caster)
+    end
+  end
+end

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

@@ -0,0 +1,29 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.1.0
+class SmartCore::Types::Primitive::SumFactory::DefinitionContext
+  # @return [Proc]
+  #
+  # @api private
+  # @since 0.1.0
+  attr_reader :type_caster
+
+  # @return [void]
+  #
+  # @api private
+  # @since 0.1.0
+  def initialize
+    @type_caster = nil
+  end
+
+  # @param caster [Block]
+  # @return [void]
+  #
+  # @api public
+  # @since 0.1.0
+  def define_caster(&caster)
+    raise 'No caster definition block' unless block_given?
+    @type_caster = caster
+  end
+end