strict 1.4.0 → 2.0.0

data/sig/strict.rbs

@@ -1,4 +1,216 @@
 module Strict
   VERSION: String
-  # See the writing guide of rbs: https://github.com/ruby/rbs#guides
+
+  interface _Validator
+    def ===: (untyped value) -> bool
+  end
+
+  interface _Coercer[A, B]
+    def call: (A value) -> B
+  end
+
+  interface _CoercingValidator
+    include _Validator
+
+    def coercer: () -> _Coercer[untyped, untyped]
+  end
+
+  interface _AttributeDescriptor
+    def name: () -> Symbol
+    def validator: () -> _Validator
+    def optional?: () -> bool
+  end
+
+  interface _AttributesInstance
+    def to_h: () -> Hash[Symbol, untyped]
+    def inspect: () -> String
+    def pretty_print: (untyped printer) -> untyped
+  end
+
+  interface _ValidationDsl
+    def AllOf: (*_Validator validators) -> _Validator
+    def AnyOf: (*_Validator validators) -> _Validator
+    def Anything: () -> _Validator
+    def ArrayOf: (_Validator element_validator) -> _CoercingValidator
+    def Boolean: () -> _Validator
+    def HashOf: (Hash[_Validator, _Validator] validators) -> _CoercingValidator
+    def RangeOf: (_Validator element_validator) -> _Validator
+  end
+
+  interface _CoercionDsl
+    def ToArray: (?with: _Coercer[untyped, untyped]?) -> _Coercer[untyped, Array[untyped]]
+    def ToHash: (?with_keys: _Coercer[untyped, untyped]?, ?with_values: _Coercer[untyped, untyped]?) -> _Coercer[untyped, Hash[untyped, untyped]]
+  end
+
+  type attribute_coercion = bool | Symbol | _Coercer[untyped, untyped]
+  type method_coercion = false | _Coercer[untyped, untyped]
+  type violation_code = :invalid | :missing | :unexpected
+
+  interface _AttributesDsl
+    include _ValidationDsl
+    include _CoercionDsl
+
+    def strict_attribute: (
+      String | Symbol name,
+      ?_Validator validator,
+      ?coerce: attribute_coercion,
+      ?default: untyped,
+      ?default_value: untyped,
+      ?default_generator: ^() -> untyped
+    ) -> void
+
+    def method_missing: (Symbol name, *untyped arguments, **untyped keywords) -> void
+  end
+
+  interface _MethodDsl
+    include _ValidationDsl
+    include _CoercionDsl
+
+    def strict_parameter: (
+      String | Symbol name,
+      ?_Validator validator,
+      ?coerce: method_coercion,
+      ?default: untyped,
+      ?default_value: untyped,
+      ?default_generator: ^() -> untyped
+    ) -> void
+
+    def returns: (?_Validator validator) -> void
+    def method_missing: (Symbol name, *untyped arguments, **untyped keywords) -> void
+  end
+
+  # Extend this type-only interface in application signatures for classes that
+  # include Strict::Value or Strict::Object.
+  interface _AttributesClass
+    def attributes: () { () [self: _AttributesDsl] -> untyped } -> void
+    def strict_attributes: () -> Enumerable[_AttributeDescriptor]
+    def coercer: () -> _Coercer[untyped, untyped]
+  end
+
+  # Extend this type-only interface in application signatures for classes that
+  # include Strict::Method.
+  interface _MethodClass
+    def sig: () { () [self: _MethodDsl] -> untyped } -> void
+  end
+
+  # Extend this type-only interface in application signatures for classes that
+  # include Strict::Interface.
+  interface _InterfaceClass
+    include _MethodClass
+
+    def expose: (String | Symbol name) { () [self: _MethodDsl] -> untyped } -> void
+    def coercer: () -> _Coercer[untyped, untyped]
+    def implemented_by?: (untyped adapter) -> bool
+    def verify_implementation!: (untyped adapter) -> nil
+  end
+
+  interface _UnionVariantClass
+    def attributes: () { () [self: _AttributesDsl] -> untyped } -> void
+  end
+
+  # Extend this type-only interface in application signatures for classes that
+  # include Strict::Union.
+  interface _UnionClass
+    def attributes: () { () [self: _AttributesDsl] -> untyped } -> void
+    def discriminator: (String | Symbol name) -> void
+    def variant: (String | Symbol name, ?tag: String | Symbol) -> void
+               | (String | Symbol name, ?tag: String | Symbol) { () [self: _UnionVariantClass] -> untyped } -> void
+    def coercer: () -> _Coercer[untyped, untyped]
+    def ===: (untyped value) -> bool
+  end
+
+  def self.configuration: () -> Configuration
+  def self.configure: () { (Configuration configuration) -> untyped } -> void
+  def self.with_overrides: (
+    ?random: Random::Formatter,
+    ?sample_rate: Numeric
+  ) { () -> untyped } -> void
+
+  module Value
+    include _AttributesInstance
+
+    def with: (**untyped attributes) -> self
+    def deconstruct_keys: (Array[Symbol]? keys) -> Hash[Symbol, untyped]
+    def ==: (untyped other) -> bool
+    def eql?: (untyped other) -> bool
+    def hash: () -> Integer
+  end
+
+  module Object
+    include _AttributesInstance
+  end
+
+  module Method
+  end
+
+  module Interface
+    def implementation: () -> untyped
+  end
+
+  module Union
+  end
+
+  module DetailedValidator
+    def ===: (untyped value) -> bool
+    def violations: (untyped value) -> Array[Violation]
+  end
+
+  class Configuration
+    attr_accessor random: Random::Formatter
+    attr_accessor sample_rate: Numeric
+  end
+
+  class Violation
+    def initialize: (
+      path: Array[untyped],
+      code: violation_code,
+      value: untyped,
+      validator: _Validator?
+    ) -> void
+    def path: () -> Array[untyped]
+    def code: () -> violation_code
+    def value: () -> untyped
+    def validator: () -> _Validator?
+  end
+
+  class Error < StandardError
+    def violations: () -> Array[Violation]
+  end
+
+  class AssignmentError < Error
+    def value: () -> untyped
+  end
+
+  class InitializationError < Error
+    def remaining_attributes: () -> Set[Symbol]
+    def missing_attributes: () -> Array[Symbol]?
+  end
+
+  type invalid_method_definition = {
+    additional_parameters: Array[Symbol],
+    missing_parameters: Enumerable[Symbol],
+    non_keyword_parameters: Array[Symbol]
+  }
+
+  class ImplementationDoesNotConformError < Error
+    def interface: () -> Class
+    def receiver: () -> untyped
+    def missing_methods: () -> Array[Symbol]?
+    def invalid_method_definitions: () -> Hash[Symbol, invalid_method_definition]
+  end
+
+  class MethodCallError < Error
+    def remaining_args: () -> Array[untyped]
+    def remaining_kwargs: () -> Hash[Symbol, untyped]
+    def missing_parameters: () -> Array[Symbol]?
+  end
+
+  class MethodDefinitionError < Error
+    def missing_parameters: () -> Enumerable[Symbol]
+    def additional_parameters: () -> Enumerable[Symbol]
+  end
+
+  class MethodReturnError < Error
+    def value: () -> untyped
+  end
 end

data/strict.gemspec

@@ -11,7 +11,7 @@ Gem::Specification.new do |spec|
   spec.summary = "Strictly define a contract for your objects and methods"
   spec.homepage = "https://github.com/kylekthompson/strict"
   spec.license = "MIT"
-  spec.required_ruby_version = ">= 3.0.0"
+  spec.required_ruby_version = ">= 3.3.0"
 
   spec.metadata["allowed_push_host"] = "https://rubygems.org"
 
@@ -30,12 +30,4 @@ Gem::Specification.new do |spec|
   spec.require_paths = ["lib"]
 
   spec.add_dependency "zeitwerk", "~> 2.6"
-  spec.add_development_dependency "debug", ">= 1.0.0"
-  spec.add_development_dependency "gem-release", "~> 2.2"
-  spec.add_development_dependency "minitest", "~> 5.0"
-  spec.add_development_dependency "minitest-spec-context", "~> 0.0.4"
-  spec.add_development_dependency "rake", "~> 13.0"
-  spec.add_development_dependency "rubocop", "~> 1.21"
-  spec.add_development_dependency "rubocop-minitest", "~> 0.22"
-  spec.add_development_dependency "rubocop-rake", "~> 0.6"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: strict
 version: !ruby/object:Gem::Version
-  version: 1.4.0
+  version: 2.0.0
 platform: ruby
 authors:
 - Kyle Thompson
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2022-11-02 00:00:00.000000000 Z
+date: 2026-08-21 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: zeitwerk
@@ -24,118 +24,6 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '2.6'
-- !ruby/object:Gem::Dependency
-  name: debug
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: 1.0.0
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: 1.0.0
-- !ruby/object:Gem::Dependency
-  name: gem-release
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '2.2'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '2.2'
-- !ruby/object:Gem::Dependency
-  name: minitest
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '5.0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '5.0'
-- !ruby/object:Gem::Dependency
-  name: minitest-spec-context
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 0.0.4
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 0.0.4
-- !ruby/object:Gem::Dependency
-  name: rake
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '13.0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '13.0'
-- !ruby/object:Gem::Dependency
-  name: rubocop
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '1.21'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '1.21'
-- !ruby/object:Gem::Dependency
-  name: rubocop-minitest
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '0.22'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '0.22'
-- !ruby/object:Gem::Dependency
-  name: rubocop-rake
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '0.6'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '0.6'
 description:
 email:
 - me@kkt.dev
@@ -143,8 +31,12 @@ executables: []
 extensions: []
 extra_rdoc_files: []
 files:
+- ".agents/resume"
+- ".agents/setup"
+- ".rspec"
 - ".rubocop.yml"
 - ".tool-versions"
+- API.md
 - CHANGELOG.md
 - CODE_OF_CONDUCT.md
 - Gemfile
@@ -152,18 +44,21 @@ files:
 - LICENSE.txt
 - README.md
 - Rakefile
+- benchmark/baseline.rb
 - lib/strict.rb
-- lib/strict/accessor/attributes.rb
-- lib/strict/accessor/module.rb
 - lib/strict/assignment_error.rb
 - lib/strict/attribute.rb
 - lib/strict/attributes/class.rb
 - lib/strict/attributes/coercer.rb
 - lib/strict/attributes/configuration.rb
 - lib/strict/attributes/dsl.rb
+- lib/strict/attributes/generated_methods.rb
 - lib/strict/attributes/instance.rb
 - lib/strict/coercers/array.rb
 - lib/strict/coercers/hash.rb
+- lib/strict/configuration.rb
+- lib/strict/declaration.rb
+- lib/strict/detailed_validator.rb
 - lib/strict/dsl/coercible.rb
 - lib/strict/dsl/validatable.rb
 - lib/strict/error.rb
@@ -171,6 +66,7 @@ files:
 - lib/strict/initialization_error.rb
 - lib/strict/interface.rb
 - lib/strict/interfaces/coercer.rb
+- lib/strict/interfaces/conformance.rb
 - lib/strict/interfaces/instance.rb
 - lib/strict/method.rb
 - lib/strict/method_call_error.rb
@@ -182,9 +78,11 @@ files:
 - lib/strict/methods/verifiable_method.rb
 - lib/strict/object.rb
 - lib/strict/parameter.rb
-- lib/strict/reader/attributes.rb
-- lib/strict/reader/module.rb
 - lib/strict/return.rb
+- lib/strict/rspec.rb
+- lib/strict/union.rb
+- lib/strict/unions/coercer.rb
+- lib/strict/validation.rb
 - lib/strict/validators/all_of.rb
 - lib/strict/validators/any_of.rb
 - lib/strict/validators/anything.rb
@@ -194,7 +92,9 @@ files:
 - lib/strict/validators/range_of.rb
 - lib/strict/value.rb
 - lib/strict/version.rb
+- lib/strict/violation.rb
 - sig/strict.rbs
+- sig/strict/rspec.rbs
 - strict.gemspec
 homepage: https://github.com/kylekthompson/strict
 licenses:
@@ -213,14 +113,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 3.0.0
+      version: 3.3.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.2.3
+rubygems_version: 3.5.22
 signing_key:
 specification_version: 4
 summary: Strictly define a contract for your objects and methods

data/lib/strict/accessor/attributes.rb

@@ -1,15 +0,0 @@
-# frozen_string_literal: true
-
-module Strict
-  module Accessor
-    module Attributes
-      def attributes(&block)
-        block ||= -> {}
-        configuration = Strict::Attributes::Dsl.run(&block)
-        include Module.new(configuration)
-        include Strict::Attributes::Instance
-        extend Strict::Attributes::Class
-      end
-    end
-  end
-end

data/lib/strict/accessor/module.rb

@@ -1,45 +0,0 @@
-# frozen_string_literal: true
-
-module Strict
-  module Accessor
-    class Module < ::Module
-      attr_reader :configuration
-
-      # rubocop:disable Metrics/MethodLength
-      def initialize(configuration)
-        super()
-
-        @configuration = configuration
-        const_set(Strict::Attributes::Class::CONSTANT, configuration)
-        configuration.attributes.each do |attribute|
-          module_eval(<<~RUBY, __FILE__, __LINE__ + 1)
-            def #{attribute.name}            # def name
-              #{attribute.instance_variable} #   @instance_variable
-            end                              # end
-          RUBY
-
-          module_eval(<<~RUBY, __FILE__, __LINE__ + 1)
-            def #{attribute.name}=(value)                                         # def name=(value)
-              attribute = self.class.strict_attributes.named!(:#{attribute.name}) #   attribute = self.class.strict_attributes.named!(:name)
-              value = attribute.coerce(value, for_class: self.class)              #   value = attribute.coerce(value, for_class: self.class)
-              if attribute.valid?(value)                                          #   if attribute.valid?(value)
-                #{attribute.instance_variable} = value                            #     @instance_variable = value
-              else                                                                #   else
-                raise Strict::AssignmentError.new(                                #     raise Strict::AssignmentError.new(
-                  assignable_class: self.class,                                   #       assignable_class: self.class,
-                  invalid_attribute: attribute,                                   #       invalid_attribute: attribute,
-                  value: value                                                    #       value: value
-                )                                                                 #     )
-              end                                                                 #   end
-            end                                                                   # end
-          RUBY
-        end
-      end
-      # rubocop:enable Metrics/MethodLength
-
-      def inspect
-        "#<#{self.class} (#{configuration.attributes.map(&:name).join(', ')})>"
-      end
-    end
-  end
-end

data/lib/strict/reader/attributes.rb

@@ -1,15 +0,0 @@
-# frozen_string_literal: true
-
-module Strict
-  module Reader
-    module Attributes
-      def attributes(&block)
-        block ||= -> {}
-        configuration = Strict::Attributes::Dsl.run(&block)
-        include Module.new(configuration)
-        include Strict::Attributes::Instance
-        extend Strict::Attributes::Class
-      end
-    end
-  end
-end

data/lib/strict/reader/module.rb

@@ -1,27 +0,0 @@
-# frozen_string_literal: true
-
-module Strict
-  module Reader
-    class Module < ::Module
-      attr_reader :configuration
-
-      def initialize(configuration)
-        super()
-
-        @configuration = configuration
-        const_set(Strict::Attributes::Class::CONSTANT, configuration)
-        configuration.attributes.each do |attribute|
-          module_eval(
-            "def #{attribute.name} = #{attribute.instance_variable}", # def name = @instance_variable
-            __FILE__,
-            __LINE__ - 2
-          )
-        end
-      end
-
-      def inspect
-        "#<#{self.class} (#{configuration.attributes.map(&:name).join(', ')})>"
-      end
-    end
-  end
-end