uinit-type 0.1.4 → 0.1.5

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 2c7881f9a5e13a64bcf4d2ccd9e330403bdd1da330b2794cb97fcb08a85682b2
-  data.tar.gz: 7612f19bf51686197479c68fe7022de018ef5dfad9fddce4159f6cb4a51df0da
+  metadata.gz: 5bd4a4dd91cfd1b86c516b8a94c0449f01e410222900c73f352a6cba5c9d701f
+  data.tar.gz: 050b3c0341ec1abdb28bfb876487ca56a1572c2cdc8e7b2eb9455c59c88d857c
 SHA512:
-  metadata.gz: bf8e5041e730686dbaa48ed891d4363aa36c4d88515b9a263db7aed593d60fac3fd3601a672d961a6ab6be6674381ccca632848c82ca9bc18e6c918cffff352e
-  data.tar.gz: befcdcc0f310459d63b5bfe72cadcc8c9a94bc10898f1bd6de61839a7d82188dfe5f72adba38a3b3cd15dda28bbf21ad6cd30059b06295220b9ac9531a1536d7
+  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

@@ -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 = []

data/lib/uinit/type/context.rb

@@ -5,10 +5,10 @@ module Uinit
     module Context
       Nil = Const[nil].freeze
       Boolean = (Const[true] | Const[false]).freeze
-      Str = TypeOf[String].freeze
+      Str = String.freeze
       Sym = TypeOf[Symbol].freeze
-      Int = TypeOf[Integer].freeze
-      Float = TypeOf[Float].freeze
+      Int = Integer.freeze
+      Float = Float.freeze
       Hsh = TypeOf[Hash].freeze
       Arr = TypeOf[Array].freeze
 
@@ -32,15 +32,15 @@ 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 set_of(type) # rubocop:disable Naming/AccessorMethodName
+      def set_of(type)
         SetOf.new(type)
       end
 

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/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

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/version.rb

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

data/lib/uinit/type.rb

@@ -21,7 +21,7 @@ module Uinit
 
     def self.from(arg)
       klass =
-        [Base, TypeOf, ArrayOf, SetOf, HashOf, Check, Type, 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 'rake'
-  spec.add_development_dependency 'rspec'
-  spec.add_development_dependency 'rubocop'
   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.4
+  version: 0.1.5
 platform: ruby
 authors:
 - Kimoja
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2024-09-21 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: 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'
-- !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'
 description: Dynamic type checker
 email:
 - joakim.carrilho@cheerz.com
@@ -113,12 +43,15 @@ 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/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
@@ -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