low_type 0.5.0 → 0.6.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 5862d1077a767f4d1df0df6f535a3b8c5d0de646a23088ea9679316a11a57f9e
-  data.tar.gz: ae4b3a7e0d57ab5e088e8d666de25df1b121d248b832a343a13565f1cb44d6b5
+  metadata.gz: 84f89979651e711cb013a30df1a39f9becc619153f3fde1ac2f1810c6c0be9dc
+  data.tar.gz: ea670426a49377352c7b5503b897362c0aa1fbfef1b418d9908ba237386ae37c
 SHA512:
-  metadata.gz: ddf2c76d224b5dc51a5503f7635d9c6f0e2de8ee3c9dccdf9cc1e7eb6105fe88cb1045438a2a40322ceb78128c6a8a5604cc2db5d1f8bb71eeaf23d28f0ccc99
-  data.tar.gz: ceb481d5488ce8b217b5715f43991280359b846acee3d7f0fa205ab485f17e4c1da48c914db3b293a37a2ee21b5516ab5334b8240c69a9ab69730bbbfdc7cca7
+  metadata.gz: 5aeaefb6861e7500b60ecbca69192cbc0893b310e853730d876719e83adb7943cbc8cb3b8636f12a4e838da8bd4ef4aa503790a226230cc9ecd4473a1ba3faca
+  data.tar.gz: f4272f09bf0ee57dfd85df4effe1568eba8ff1e7e5136742a8f90c1735df2d32969af269c5269390da81a2c317155b1730f7a73278378ee0ad5d8402cf64f831

data/lib/low_type.rb

@@ -29,19 +29,6 @@ module LowType
     end
 
     class << klass
-      # Public API.
-      def type(expression)
-        # TODO: Runtime type expression for the supplied variable.
-      end
-      alias_method :low_type, :type
-
-      # Public API.
-      def value(expression)
-        ::LowType.value(expression)
-      end
-      alias_method :low_value, :value
-
-      # Internal API.
       def low_methods
         @low_methods ||= {}
       end
@@ -57,21 +44,38 @@ module LowType
     Hash.define_singleton_method('[]', hash_class_method)
   end
 
-  # Internal API.
   class << self
+    # Public API.
+
+    def config
+      config = Struct.new(:type_assignment, :deep_type_check)
+      @config ||= config.new(false, false)
+    end
+
+    def configure
+      yield(config)
+
+      if config.type_assignment
+        require_relative 'type_assignment'
+        include TypeAssignment
+      end
+    end
+  
+    # Internal API.
+
     def file_path(klass:)
       caller.find { |callee| callee.end_with?("<class:#{klass}>'") }.split(':').first
     end
 
-    def type?(expression)
-      expression.respond_to?(:new) || expression == Integer || (expression.is_a?(Hash) && expression.keys.first.respond_to?(:new) && expression.values.first.respond_to?(:new))
+    def type?(type)
+      type.respond_to?(:new) || type == Integer || (type.is_a?(::Hash) && type.keys.first.respond_to?(:new) && type.values.first.respond_to?(:new))
     end
 
     def value?(expression)
       !expression.respond_to?(:new) && expression != Integer
     end
 
-    def value(type)
+    def value(type:)
       TypeExpression.new(default_value: ValueExpression.new(value: type))
     end
   end

data/lib/redefiner.rb

@@ -114,9 +114,9 @@ module LowType
         [required_args, required_kwargs]
       end
 
-      # Type expressions are eval()'d in the context of this module class (the instance doesn't exist yet) so alias API.
-      def value(expression)
-        ::LowType.value(expression)
+      # Value expressions are eval()'d in the context of this module class (the instance doesn't exist yet) so alias API.
+      def value(type)
+        LowType.value(type:)
       end
     end
   end

data/lib/type_assignment.rb

@@ -0,0 +1,54 @@
+require_relative 'type_expression'
+require_relative 'value_expression'
+
+module TypeAssignment
+  class AssignmentError < StandardError; end
+
+  def type(type_expression)
+    object = type_expression.default_value
+
+    if !LowType.value?(object)
+      raise AssignmentError, "Single-instance objects like #{object} are not supported"
+    end
+
+    object.instance_variable_set('@type_expression', type_expression)
+
+    def object.with_type=(value)
+      type_expression = self.instance_variable_get('@type_expression')
+      type_expression.validate!(value:, name: self, error_type: TypeError, error_keyword: 'object')
+
+      # We can't re-assign self in Ruby so we re-assign instance variables instead.
+      value.instance_variables.each do |variable|
+        self.instance_variable_set(variable, value.instance_variable_get(variable))
+      end
+
+      self
+    end
+
+    return object.value if object.is_a?(ValueExpression)
+
+    object
+  end
+  alias_method :low_type, :type
+
+  def value(type)
+    LowType.value(type:)
+  end
+  alias_method :low_value, :value
+end
+
+module LowType
+  class Array < ::Array
+    def self.[](type)
+      return TypeExpression.new(type: [type]) if LowType.type?(type)
+      super
+    end
+  end
+
+  class Hash < ::Hash
+    def self.[](type)
+      return TypeExpression.new(type:) if LowType.type?(type)
+      super
+    end
+  end
+end

data/lib/type_expression.rb

@@ -34,8 +34,8 @@ module LowType
       @types.each do |type|
         return true if LowType.type?(type) && type == value.class 
         # TODO: Shallow validation of enumerables could be made deeper with user config.
-        return true if type.class == Array && value.class == Array && type.first == value.first.class
-        if type.class == Hash && value.class == Hash && type.keys[0] == value.keys[0].class && type.values[0] == value.values[0].class
+        return true if type.class == ::Array && value.class == ::Array && type.first == value.first.class
+        if type.class == ::Hash && value.class == ::Hash && type.keys[0] == value.keys[0].class && type.values[0] == value.values[0].class
           return true
         end
       end

data/lib/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module LowType
-  VERSION = '0.5.0'
+  VERSION = '0.6.0'
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: low_type
 version: !ruby/object:Gem::Version
-  version: 0.5.0
+  version: 0.6.0
 platform: ruby
 authors:
 - maedi
@@ -22,6 +22,7 @@ files:
 - lib/param_proxy.rb
 - lib/parser.rb
 - lib/redefiner.rb
+- lib/type_assignment.rb
 - lib/type_expression.rb
 - lib/value_expression.rb
 - lib/version.rb
@@ -46,5 +47,5 @@ required_rubygems_version: !ruby/object:Gem::Requirement
 requirements: []
 rubygems_version: 3.7.2
 specification_version: 4
-summary: An elegant way to define types in Ruby
+summary: Elegant types in Ruby
 test_files: []