uinit-type 0.1.3 → 0.1.5

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 24e0c467351a77c8c49cbe9bd8012902d553c02b2a068d78f4267876b18d0673
-  data.tar.gz: cadc2bb0c1226c212d8cdefdc26090a6a2180d8a5603bf9792fc23dfb2ee6896
+  metadata.gz: 5bd4a4dd91cfd1b86c516b8a94c0449f01e410222900c73f352a6cba5c9d701f
+  data.tar.gz: 050b3c0341ec1abdb28bfb876487ca56a1572c2cdc8e7b2eb9455c59c88d857c
 SHA512:
-  metadata.gz: 98665f640c4d146830cc2fe4dd3b2af809af031d9eb56b57628a00d9edc45e31177d221c13cc5d203bd5dcdc83dc207d0e995a08b869ef94286fd64bc84c66ff
-  data.tar.gz: b7db5aee9085482bf5babd0f30ee6952eedface4657548edec4d7927fe5d1b4f8165a4548205fcdbc663236405b15a2a9d54ed8903aa427541f4ebaa2ae9931c
+  metadata.gz: eec7569793abefa92343963566c67dddc2486bd1576973f4dcb8e2aa2ffa49699a26726cad42e00c6b9f38cd4017624705eb22cb1aa6c029a100a3a848d0e390
+  data.tar.gz: 1f0ce366d5488199b402e5fa4d291291e5543b1847892f600a405e194cb5b405976da6ee83dec1d22f1d993cf1381a16113dcb3b4c20feb976b30ecc70b4db47

data/README.md

@@ -2,6 +2,3 @@
 
 Dynamic type checker
 
-
-## TODO 
-- type Map, an generic hash (key, value types)

data/lib/uinit/type/composition.rb

@@ -9,7 +9,7 @@ module Uinit
       def initialize(operand, compositions = [])
         super()
 
-        @operand = Type.from(operand)
+        @operand = ::Uinit::Type.from(operand)
         @compositions = compositions
       end
 
@@ -44,8 +44,6 @@ module Uinit
         is
       end
 
-      # rubocop:disable Metrics/AbcSize
-      # rubocop:disable Metrics/CyclomaticComplexity
       # rubocop:disable Metrics/PerceivedComplexity
       def check!(value, depth)
         errors = []
@@ -86,7 +84,7 @@ module Uinit
       private
 
       def add_composition(operator, operand)
-        compositions << [operator, Type.from(operand)]
+        compositions << [operator, ::Uinit::Type.from(operand)]
 
         self
       end

data/lib/uinit/type/context.rb

@@ -5,12 +5,12 @@ module Uinit
     module Context
       Nil = Const[nil].freeze
       Boolean = (Const[true] | Const[false]).freeze
-      Str = Instance[String].freeze
-      Int = Instance[Integer].freeze
-      Float = Instance[Float].freeze
-      Hsh = Instance[Hash].freeze
-      Arr = Instance[Array].freeze
-      Sym = Instance[Symbol].freeze
+      Str = String.freeze
+      Sym = TypeOf[Symbol].freeze
+      Int = Integer.freeze
+      Float = Float.freeze
+      Hsh = TypeOf[Hash].freeze
+      Arr = TypeOf[Array].freeze
 
       def array_of(type)
         ArrayOf.new(type)
@@ -32,20 +32,20 @@ module Uinit
         Fn.new(arity)
       end
 
-      def hash_of(schema, strict: false)
-        HashOf.new(schema, strict:)
+      def schema(schema, strict: false)
+        Schema.new(schema, strict:)
       end
 
       def impl(*, **)
         Impl.new(*, **)
       end
 
-      def instance(type)
-        Instance.new(type)
+      def set_of(type)
+        SetOf.new(type)
       end
 
-      def set_of(type) # rubocop:disable Naming/AccessorMethodName
-        SetOf.new(type)
+      def type(type = BasicObject)
+        Type.new(type)
       end
 
       def type_of(type)

data/lib/uinit/type/float.rb

@@ -0,0 +1,70 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class Float < TypeOf
+      # rubocop:disable Metrics/ParameterLists
+      def initialize(min: nil, max: nil, positive: nil, negative: nil, zero: nil, precision: nil, finite: true)
+        super(::Float)
+
+        @min = min
+        @max = max
+        @positive = positive
+        @negative = negative
+        @zero = zero
+        @precision = precision
+        @finite = finite
+      end
+      # rubocop:enable Metrics/ParameterLists
+
+      attr_reader :min, :max, :positive, :negative, :zero, :precision, :finite
+
+      # rubocop:disable Metrics/PerceivedComplexity
+      def is?(value)
+        return false unless super
+
+        return false if finite && !value.finite?
+        return false if min && value < min
+        return false if max && value > max
+        return false if positive == false && value.positive?
+        return false if positive == true && value <= 0
+        return false if negative == false && value.negative?
+        return false if negative == true && value >= 0
+        return false if zero == false && value.zero?
+        return false if zero == true && !value.zero?
+        return false if precision && !valid_precision?(value)
+
+        true
+      end
+
+      def check!(value, depth)
+        type_error!('Float must be finite (not Infinity or NaN)', depth) if finite && !value.finite?
+        type_error!("Float too small (minimum #{min})", depth) if min && value < min
+        type_error!("Float too large (maximum #{max})", depth) if max && value > max
+        type_error!('Float cannot be positive', depth) if positive == false && value.positive?
+        type_error!('Float must be positive', depth) if positive == true && value <= 0
+        type_error!('Float cannot be negative', depth) if negative == false && value.negative?
+        type_error!('Float must be negative', depth) if negative == true && value >= 0
+        type_error!('Float cannot be zero', depth) if zero == false && value.zero?
+        type_error!('Float must be zero', depth) if zero == true && !value.zero?
+
+        if precision && !valid_precision?(value)
+          type_error!("Float exceeds maximum precision of #{precision} decimal places", depth)
+        end
+
+        value
+      end
+      # rubocop:enable Metrics/PerceivedComplexity, Metrics/CyclomaticComplexity
+
+      private
+
+      def valid_precision?(value)
+        return true if precision.nil?
+
+        # Compter les décimales
+        decimal_places = value.to_s.split('.').last&.length || 0
+        decimal_places <= precision
+      end
+    end
+  end
+end

data/lib/uinit/type/fn.rb

@@ -7,7 +7,7 @@ module Uinit
       def initialize(arity = -1)
         super()
 
-        raise ArgumentError, 'arity must be an Integer' unless arity.is_a?(Integer)
+        raise ArgumentError, 'arity must be an Integer' unless arity.is_a?(::Integer)
 
         @arity = arity
       end

data/lib/uinit/type/generic.rb

@@ -6,7 +6,7 @@ module Uinit
       def initialize(type)
         super()
 
-        @type = Type.from(type)
+        @type = ::Uinit::Type.from(type)
       end
 
       attr_reader :type

data/lib/uinit/type/integer.rb

@@ -0,0 +1,49 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class Integer < TypeOf
+      def initialize(min: nil, max: nil, positive: nil, negative: nil, zero: nil)
+        super(::Integer)
+
+        @min = min
+        @max = max
+        @positive = positive
+        @negative = negative
+        @zero = zero
+      end
+
+      attr_reader :min, :max, :positive, :negative, :zero
+
+      # rubocop:disable Metrics/PerceivedComplexity
+      def is?(value)
+        return false unless super
+
+        return false if min && value < min
+        return false if max && value > max
+        return false if positive == false && value.positive?
+        return false if positive == true && value <= 0
+        return false if negative == false && value.negative?
+        return false if negative == true && value >= 0
+        return false if zero == false && value.zero?
+        return false if zero == true && !value.zero?
+
+        true
+      end
+
+      def check!(value, depth)
+        type_error!("Integer too small (minimum #{min})", depth) if min && value < min
+        type_error!("Integer too large (maximum #{max})", depth) if max && value > max
+        type_error!('Integer cannot be positive', depth) if positive == false && value.positive?
+        type_error!('Integer must be positive', depth) if positive == true && value <= 0
+        type_error!('Integer cannot be negative', depth) if negative == false && value.negative?
+        type_error!('Integer must be negative', depth) if negative == true && value >= 0
+        type_error!('Integer cannot be zero', depth) if zero == false && value.zero?
+        type_error!('Integer must be zero', depth) if zero == true && !value.zero?
+
+        value
+      end
+      # rubocop:enable Metrics/PerceivedComplexity
+    end
+  end
+end

data/lib/uinit/type/{hash_of.rb → schema.rb}

@@ -2,7 +2,7 @@
 
 module Uinit
   module Type
-    class HashOf < Base
+    class Schema < Base
       def self.from?(schema)
         schema.is_a?(Hash)
       end
@@ -18,7 +18,7 @@ module Uinit
 
         @schema =
           schema.transform_values do |type|
-            Type.from(type)
+            ::Uinit::Type.from(type)
           end
 
         @strict = !!strict

data/lib/uinit/type/string.rb

@@ -0,0 +1,49 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class String < TypeOf
+      def initialize(empty: true, min_length: nil, max_length: nil, format: nil)
+        super(::String)
+
+        @empty = empty
+        @min_length = min_length
+        @max_length = max_length
+        @format = format
+      end
+
+      attr_reader :empty, :min_length, :max_length, :format
+
+      # rubocop:disable Metrics/PerceivedComplexity
+      def is?(value)
+        return false unless super
+
+        return false if !empty && (value.empty? || value.match?(/^\s+$/))
+        return false if min_length && value.length < min_length
+        return false if max_length && value.length > max_length
+        return false if format && !value.match?(format)
+
+        true
+      end
+
+      def check!(value, depth)
+        if !empty && (value.empty? || value.match?(/^\s+$/))
+          type_error!('String cannot be empty or contain only whitespace', depth)
+        end
+
+        if min_length && value.length < min_length
+          type_error!("String too short (minimum #{min_length} characters)", depth)
+        end
+
+        if max_length && value.length > max_length
+          type_error!("String too long (maximum #{max_length} characters)", depth)
+        end
+
+        type_error!('String doesn\'t match required pattern', depth) if format && !value.match?(format)
+
+        value
+      end
+      # rubocop:enable Metrics/PerceivedComplexity
+    end
+  end
+end

data/lib/uinit/type/type.rb

@@ -0,0 +1,44 @@
+# frozen_string_literal: true
+
+module Uinit
+  module Type
+    class Type < Base
+      def self.from?(value)
+        value.is_a?(Class) || value.is_a?(Module)
+      end
+
+      def self.from(value)
+        new(value) if from?(value)
+      end
+
+      # TODO: Allow to pass Fn
+      def initialize(class_module)
+        super()
+
+        @class_module = class_module
+      end
+
+      attr_reader :class_module
+
+      def is?(value)
+        return false unless value.is_a?(Class) || value.is_a?(Module)
+
+        value.ancestors.include?(class_module)
+      end
+
+      def check!(value, depth)
+        unless value.is_a?(Class) || value.is_a?(Module)
+          type_error!("#{value.inspect} is not a Class or a Module", depth)
+        end
+
+        return value if value.ancestors.include?(class_module)
+
+        type_error!("#{value.inspect} does not extend or include or preprend #{class_module}", depth)
+      end
+
+      def inspect
+        "#{super}[#{class_module.inspect}]"
+      end
+    end
+  end
+end

data/lib/uinit/type/type_of.rb

@@ -3,37 +3,32 @@
 module Uinit
   module Type
     class TypeOf < Base
-      def self.from?(value)
-        value.is_a?(Class) || value.is_a?(Module)
+      def self.from?(class_module)
+        class_module.is_a?(::Class) || class_module.is_a?(::Module)
       end
 
-      def self.from(value)
-        new(value) if from?(value)
+      def self.from(class_module)
+        new(class_module) if from?(class_module)
       end
 
-      # TODO: Allow to pass Fn
       def initialize(class_module)
         super()
 
+        raise ArgumentError, 'class_module must be a Class or a Module' unless self.class.from?(class_module)
+
         @class_module = class_module
       end
 
       attr_reader :class_module
 
       def is?(value)
-        return false unless value.is_a?(Class) || value.is_a?(Module)
-
-        value.ancestors.include?(class_module)
+        value.is_a?(class_module)
       end
 
       def check!(value, depth)
-        unless value.is_a?(Class) || value.is_a?(Module)
-          type_error!("#{value.inspect} is not a Class or a Module", depth)
-        end
-
-        return value if value.ancestors.include?(class_module)
+        return value if is?(value)
 
-        type_error!("#{value.inspect} does not extend or include or preprend #{class_module}", depth)
+        type_error!("#{value.inspect} must be an instance of #{class_module}", depth)
       end
 
       def inspect

data/lib/uinit/type/version.rb

@@ -2,6 +2,6 @@
 
 module Uinit
   module Type
-    VERSION = '0.1.3'
+    VERSION = '0.1.5'
   end
 end

data/lib/uinit/type.rb

@@ -21,7 +21,7 @@ module Uinit
 
     def self.from(arg)
       klass =
-        [Base, Instance, ArrayOf, SetOf, HashOf, Check, TypeOf, Const].find do |type_class|
+        [Base, TypeOf, ArrayOf, SetOf, Schema, Check, Type, Const].find do |type_class|
           type_class.from?(arg)
         end
 

data/uinit-type.gemspec

@@ -28,10 +28,5 @@ Gem::Specification.new do |spec|
 
   spec.add_runtime_dependency 'zeitwerk', '~> 2.6'
 
-  spec.add_development_dependency 'bundler'
-  spec.add_development_dependency 'pry'
-  spec.add_development_dependency 'rspec'
-  spec.add_development_dependency 'rubocop'
-  spec.add_development_dependency 'rake'
   spec.metadata['rubygems_mfa_required'] = 'true'
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: uinit-type
 version: !ruby/object:Gem::Version
-  version: 0.1.3
+  version: 0.1.5
 platform: ruby
 authors:
 - Kimoja
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2024-09-18 00:00:00.000000000 Z
+date: 2025-08-26 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: zeitwerk
@@ -24,76 +24,6 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '2.6'
-- !ruby/object:Gem::Dependency
-  name: bundler
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-- !ruby/object:Gem::Dependency
-  name: pry
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-- !ruby/object:Gem::Dependency
-  name: rspec
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-- !ruby/object:Gem::Dependency
-  name: rubocop
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-- !ruby/object:Gem::Dependency
-  name: rake
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
 description: Dynamic type checker
 email:
 - joakim.carrilho@cheerz.com
@@ -113,13 +43,16 @@ files:
 - lib/uinit/type/context.rb
 - lib/uinit/type/error.rb
 - lib/uinit/type/extensions.rb
+- lib/uinit/type/float.rb
 - lib/uinit/type/fn.rb
 - lib/uinit/type/generic.rb
-- lib/uinit/type/hash_of.rb
 - lib/uinit/type/impl.rb
-- lib/uinit/type/instance.rb
+- lib/uinit/type/integer.rb
 - lib/uinit/type/operators.rb
+- lib/uinit/type/schema.rb
 - lib/uinit/type/set_of.rb
+- lib/uinit/type/string.rb
+- lib/uinit/type/type.rb
 - lib/uinit/type/type_of.rb
 - lib/uinit/type/version.rb
 - uinit-type.gemspec
@@ -148,7 +81,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.4.6
+rubygems_version: 3.5.3
 signing_key:
 specification_version: 4
 summary: Dynamic type checker

data/lib/uinit/type/instance.rb

@@ -1,39 +0,0 @@
-# frozen_string_literal: true
-
-module Uinit
-  module Type
-    class Instance < Base
-      def self.from?(class_module)
-        class_module.is_a?(::Class) || class_module.is_a?(::Module)
-      end
-
-      def self.from(class_module)
-        new(class_module) if from?(class_module)
-      end
-
-      def initialize(class_module)
-        super()
-
-        raise ArgumentError, 'class_module must be a Class or a Module' unless self.class.from?(class_module)
-
-        @class_module = class_module
-      end
-
-      attr_reader :class_module
-
-      def is?(value)
-        value.is_a?(class_module)
-      end
-
-      def check!(value, depth)
-        return value if is?(value)
-
-        type_error!("#{value.inspect} must be an instance of #{class_module}", depth)
-      end
-
-      def inspect
-        "#{super}[#{class_module.inspect}]"
-      end
-    end
-  end
-end