low_type 1.0.0 → 1.0.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 5872bc6f373425ddfc4342d0421dd09e4e3bd6a5e7e0b4d3ba1d1c19cd077a5c
-  data.tar.gz: 9b5543ba7bded1c2a043966376956316624408a101f2b30ec9a6b16d07976973
+  metadata.gz: 3541ef39f820d9554a2493481686ad0692f66d36a31920d2c4304a62cb55bbb9
+  data.tar.gz: 19bebceb57fff771317130dae93e5caf86962028db3e81321b03855ccf3c42cb
 SHA512:
-  metadata.gz: c3a31c05871cc0d4b5fde6fca3c03c94fbc7e2ccc2696eb7eab401f8817e0b0a1abbd0bf4aa91d72454a61c60265b22ba9997148161f7d3e796d2e9c790e9c81
-  data.tar.gz: 3629f1ac45bc9cbfce9979f85e933bb3b12b731747b714fb8eba6b7399cf139ac6098eb37667b97b624e95eda4e02c104ce9d7cd2b6013ea3fbb639e1e4a0125
+  metadata.gz: 61dace65facc045407b0300157a9e66e6269b14a3414ed943ed3bb5bd817ab313d4c10fd184cad0c2f6803c50a03c6c7d5929253ce68ba89b909a49f55d79fcb
+  data.tar.gz: 207f390f476e60af068bffc5bed65c0f76f20bc4997e1d76905496779e63aeaf9022405fe95576d4d8f14ad35107ea6c07f8a98fb4ddfb447d50eff35a1a6921

data/lib/adapters/sinatra_adapter.rb

@@ -5,7 +5,7 @@ require 'prism'
 require_relative '../interfaces/adapter_interface'
 require_relative '../proxies/file_proxy'
 require_relative '../proxies/return_proxy'
-require_relative '../error_types'
+require_relative '../types/error_types'
 
 module LowType
   module Adapter
@@ -27,7 +27,7 @@ module LowType
 
           pattern = arguments_node.arguments.first.content
 
-          line = Parser.line_number(node: method_call)
+          line = FileParser.line_number(node: method_call)
           file = FileProxy.new(path: @file_path, line:, scope: "#{@klass}##{method_call.name}")
           next unless (return_proxy = return_proxy(method_node: method_call, pattern:, file:))
 
@@ -38,7 +38,7 @@ module LowType
       end
 
       def return_proxy(method_node:, pattern:, file:)
-        return_type = Parser.return_type(method_node:)
+        return_type = FileParser.return_type(method_node:)
         return nil if return_type.nil?
 
         # Not a security risk because the code comes from a trusted source; the file that did the include. Does the file trust itself?

data/lib/factories/proxy_factory.rb

@@ -1,14 +1,14 @@
 # frozen_string_literal: true
 
 require_relative '../proxies/return_proxy'
-require_relative '../parser'
+require_relative '../file_parser'
 require_relative '../type_expression'
 
 module LowType
   class ProxyFactory
     class << self
       def return_proxy(method_node:, file:)
-        return_type = Parser.return_type(method_node:)
+        return_type = FileParser.return_type(method_node:)
         return nil if return_type.nil?
 
         # Not a security risk because the code comes from a trusted source; the file that did the include. Does the file trust itself?

data/lib/{parser.rb → file_parser.rb}

@@ -3,7 +3,7 @@
 require 'prism'
 
 module LowType
-  class Parser
+  class FileParser
     attr_reader :parent_map, :instance_methods, :class_methods, :private_start_line
 
     def initialize(file_path:)

data/lib/local_types.rb

@@ -2,27 +2,32 @@
 
 require_relative 'proxies/file_proxy'
 require_relative 'proxies/local_proxy'
+require_relative 'types/error_types'
 require_relative 'type_expression'
 require_relative 'value_expression'
 
-module LocalTypes
-  def type(type_expression)
-    value = type_expression.default_value
+module LowType
+  module LocalTypes
+    def type(type_expression)
+      value = type_expression.default_value
 
-    last_caller = caller_locations(1, 1).first
-    file = LowType::FileProxy.new(path: last_caller.path, line: last_caller.lineno, scope: 'local type')
-    proxy = LowType::LocalProxy.new(type_expression:, name: self, file:)
+      last_caller = caller_locations(1, 1).first
+      file = FileProxy.new(path: last_caller.path, line: last_caller.lineno, scope: 'local type')
+      proxy = LocalProxy.new(type_expression:, name: self, file:)
 
-    type_expression.validate!(value:, proxy:)
+      type_expression.validate!(value:, proxy:)
 
-    return value.value if value.is_a?(ValueExpression)
+      return value.value if value.is_a?(ValueExpression)
 
-    value
-  end
-  alias low_type type
+      value
+    rescue NoMethodError
+      raise ConfigError, "Invalid type expression, likely because you didn't add 'using LowType::Syntax'"
+    end
+    alias low_type type
 
-  def value(type)
-    LowType.value(type:)
+    def value(type)
+      LowType.value(type:)
+    end
+    alias low_value value
   end
-  alias low_value value
 end

data/lib/low_type.rb

@@ -1,18 +1,17 @@
 # frozen_string_literal: true
 
 require_relative 'adapters/adapter_loader'
-require_relative 'basic_types'
+require_relative 'types/complex_types'
 require_relative 'instance_types'
 require_relative 'local_types'
 require_relative 'redefiner'
-require_relative 'subclasses'
+require_relative 'syntax'
 require_relative 'type_expression'
 require_relative 'value_expression'
 
-# Include this module into your class to define and check types.
 module LowType
   # We do as much as possible on class load rather than on instantiation to be thread-safe and efficient.
-  def self.included(klass) # rubocop:disable Metrics/AbcSize
+  def self.included(klass)
     class << klass
       def low_methods
         @low_methods ||= {}
@@ -20,7 +19,7 @@ module LowType
     end
 
     file_path = LowType.file_path(klass:)
-    parser = LowType::Parser.new(file_path:)
+    parser = FileParser.new(file_path:)
     private_start_line = parser.private_start_line
 
     klass.extend InstanceTypes

data/lib/proxies/local_proxy.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
 require_relative '../interfaces/error_interface'
-require_relative '../error_types'
+require_relative '../types/error_types'
 
 module LowType
   class LocalProxy < ErrorInterface

data/lib/proxies/param_proxy.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
 require_relative '../interfaces/error_interface'
-require_relative '../error_types'
+require_relative '../types/error_types'
 
 module LowType
   class ParamProxy < ErrorInterface

data/lib/proxies/return_proxy.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
 require_relative '../interfaces/error_interface'
-require_relative '../error_types'
+require_relative '../types/error_types'
 
 module LowType
   class ReturnProxy < ErrorInterface

data/lib/redefiner.rb

@@ -4,41 +4,57 @@ require_relative 'factories/proxy_factory'
 require_relative 'proxies/file_proxy'
 require_relative 'proxies/method_proxy'
 require_relative 'proxies/param_proxy'
+require_relative 'syntax'
 require_relative 'type_expression'
 
 module LowType
   # Redefine methods to have their arguments and return values type checked.
   class Redefiner
+    using Syntax
+
     class << self
-      def redefine(method_nodes:, klass:, private_start_line:, file_path:) # rubocop:disable Metrics
+      def redefine(method_nodes:, klass:, private_start_line:, file_path:)
+        create_proxies(method_nodes:, klass:, file_path:)
+        define_methods(method_nodes:, private_start_line:)
+      end
+
+      private
+
+      def create_proxies(method_nodes:, klass:, file_path:)
+        method_nodes.each do |method_node|
+          name = method_node.name
+          line = FileParser.line_number(node: method_node)
+          file = FileProxy.new(path: file_path, line:, scope: "#{klass}##{name}")
+          params = param_proxies(method_node:, file:)
+          return_proxy = ProxyFactory.return_proxy(method_node:, file:)
+
+          klass.low_methods[name] = MethodProxy.new(name:, params:, return_proxy:)
+        end
+      end
+
+      def define_methods(method_nodes:, private_start_line:) # rubocop:disable Metrics
         Module.new do
           method_nodes.each do |method_node|
             name = method_node.name
-            line = Parser.line_number(node: method_node)
-            file = FileProxy.new(path: file_path, line:, scope: "#{klass}##{method_node.name}")
-            params = Redefiner.params_with_type_expressions(method_node:, file:)
-            return_proxy = ProxyFactory.return_proxy(method_node:, file:)
-
-            klass.low_methods[name] = MethodProxy.new(name:, params:, return_proxy:)
 
             define_method(name) do |*args, **kwargs|
-              klass.low_methods[name].params.each do |param_proxy|
+              method_proxy = instance_of?(Class) ? low_methods[name] : self.class.low_methods[name]
+
+              method_proxy.params.each do |param_proxy|
                 # Get argument value or default value.
                 value = param_proxy.position ? args[param_proxy.position] : kwargs[param_proxy.name]
                 if value.nil? && param_proxy.type_expression.default_value != :LOW_TYPE_UNDEFINED
                   value = param_proxy.type_expression.default_value
                 end
-                # Validate argument type.
+
                 param_proxy.type_expression.validate!(value:, proxy: param_proxy)
-                # Handle value(type) special case.
                 value = value.value if value.is_a?(ValueExpression)
-                # Redefine argument value.
                 param_proxy.position ? args[param_proxy.position] = value : kwargs[param_proxy.name] = value
               end
 
-              if return_proxy
+              if (return_proxy = method_proxy.return_proxy)
                 return_value = super(*args, **kwargs)
-                return_proxy.type_expression.validate!(value: return_value, proxy: klass.low_methods[name].return_proxy)
+                return_proxy.type_expression.validate!(value: return_value, proxy: return_proxy)
                 return return_value
               end
 
@@ -50,12 +66,11 @@ module LowType
         end
       end
 
-      def params_with_type_expressions(method_node:, file:)
+      def param_proxies(method_node:, file:)
         return [] if method_node.parameters.nil?
 
         params = method_node.parameters.slice
-        # Not a security risk because the code comes from a trusted source; the file that did the include. Does the file trust itself?
-        proxy_method = eval("-> (#{params}) {}", binding, __FILE__, __LINE__) # rubocop:disable Security/Eval
+        proxy_method = proxy_method(method_node:)
         required_args, required_kwargs = required_args(proxy_method:)
 
         # Not a security risk because the code comes from a trusted source; the file that did the include. Does the file trust itself?
@@ -87,7 +102,11 @@ module LowType
         raise ArgumentError, "Incorrect param syntax: #{e.message}"
       end
 
-      private
+      def proxy_method(method_node:)
+        params = method_node.parameters.slice
+        # Not a security risk because the code comes from a trusted source; the file that did the include. Does the file trust itself?
+        eval("-> (#{params}) {}", binding, __FILE__, __LINE__) # rubocop:disable Security/Eval
+      end
 
       def required_args(proxy_method:)
         required_args = []

data/lib/{subclasses.rb → syntax.rb}

@@ -1,42 +1,26 @@
-module LowType
-  # Scoped to the class that includes LowType module.
-  class Array < ::Array
-    def self.[](*types)
-      return LowType::TypeExpression.new(type: [*types]) if types.all? { |type| LowType.type?(type) }
-      super
-    end
+# frozen_string_literal: true
 
-    def self.===(other)
-      return true if other == ::Array
-      super
-    end
-
-    def ==(other)
-      return true if other.class == ::Array
-      super
-    end
-  end
+module LowType
+  module Syntax
+    refine Array.singleton_class do
+      def [](*types)
+        return LowType::TypeExpression.new(type: [*types]) if types.all? { |type| LowType.type?(type) }
 
-  # Scoped to the class that includes LowType module.
-  class Hash < ::Hash
-    def self.[](type)
-      return LowType::TypeExpression.new(type:) if LowType.type?(type)
-      super
+        super
+      end
     end
 
-    def self.===(other)
-      return true if other == ::Hash
-      super
-    end
+    refine Hash.singleton_class do
+      def [](type)
+        return LowType::TypeExpression.new(type:) if LowType.type?(type)
 
-    def ==(other)
-      return true if other.class == ::Hash
-      super
+        super
+      end
     end
   end
 end
 
-# Scoped to the top-level for method type expressions to work. Could we bind/unbind? Yes. Should we? Probably not.
+# Refine doesn't support inheritence.
 class Object
   # For "Type | [type_expression/type/value]" situations, redirecting to or generating a type expression from types.
   # "|" is not defined on Object class and this is the most compute-efficient way to achieve our goal (world peace).

data/lib/type_expression.rb

@@ -57,9 +57,9 @@ module LowType
 
     def valid_types
       types = @types.map do |type|
-        # Remove 'LowType::' namespaces in subtypes.
+        # Remove 'LowType::' namespace in subtypes.
         if type.is_a?(::Array)
-          '[' + type.map { |subtype| subtype.to_s.delete_prefix('LowType::') }.join(', ') + ']'
+          "[#{type.map { |subtype| subtype.to_s.delete_prefix('LowType::') }.join(', ')}]"
         else
           type.inspect.to_s.delete_prefix('LowType::')
         end

data/lib/{error_types.rb → types/error_types.rb}

@@ -5,4 +5,5 @@ module LowType
   class LocalTypeError < TypeError; end
   class ReturnTypeError < TypeError; end
   class AllowedTypeError < TypeError; end
+  class ConfigError < TypeError; end
 end

data/lib/version.rb

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

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: low_type
 version: !ruby/object:Gem::Version
-  version: 1.0.0
+  version: 1.0.1
 platform: ruby
 authors:
 - maedi
@@ -19,23 +19,23 @@ extra_rdoc_files: []
 files:
 - lib/adapters/adapter_loader.rb
 - lib/adapters/sinatra_adapter.rb
-- lib/basic_types.rb
-- lib/error_types.rb
 - lib/factories/proxy_factory.rb
+- lib/file_parser.rb
 - lib/instance_types.rb
 - lib/interfaces/adapter_interface.rb
 - lib/interfaces/error_interface.rb
 - lib/local_types.rb
 - lib/low_type.rb
-- lib/parser.rb
 - lib/proxies/file_proxy.rb
 - lib/proxies/local_proxy.rb
 - lib/proxies/method_proxy.rb
 - lib/proxies/param_proxy.rb
 - lib/proxies/return_proxy.rb
 - lib/redefiner.rb
-- lib/subclasses.rb
+- lib/syntax.rb
 - lib/type_expression.rb
+- lib/types/complex_types.rb
+- lib/types/error_types.rb
 - lib/value_expression.rb
 - lib/version.rb
 homepage: https://codeberg.org/low_ruby/low_type