domainic-type 0.1.0.alpha.2.1.0 → 0.1.0.alpha.3.0.1

data/sig/domainic/type/types/core/string_type.rbs

@@ -0,0 +1,45 @@
+module Domainic
+  module Type
+    # A type for validating String objects with comprehensive string-specific constraints
+    #
+    # This type provides a complete set of string validation capabilities including case
+    # formatting, character set validation, pattern matching, and size constraints. It
+    # combines core string type checking with rich string-specific behaviors.
+    #
+    # Key features:
+    # - Basic string type validation
+    # - Case checking (upper, lower, mixed, title)
+    # - Character set validation (ASCII, alphanumeric, etc.)
+    # - Pattern matching with regular expressions
+    # - Size/length constraints
+    # - String content validation
+    #
+    # @example Basic usage
+    #   type = StringType.new
+    #   type.validate("hello")   # => true
+    #   type.validate(123)       # => false
+    #
+    # @example Complex string validation
+    #   type = StringType.new
+    #     .being_ascii
+    #     .being_alphanumeric
+    #     .having_size_between(3, 20)
+    #     .not_matching(/[^a-z0-9]/)
+    #
+    # @example Case validation
+    #   type = StringType.new
+    #     .being_titlecase
+    #     .matching(/^[A-Z]/)
+    #     .having_minimum_size(2)
+    #
+    # @author {https://aaronmallen.me Aaron Allen}
+    # @since 0.1.0
+    class StringType
+      extend Behavior::ClassMethods
+
+      include Behavior
+
+      include Behavior::StringBehavior
+    end
+  end
+end

data/sig/domainic/type/types/core/symbol_type.rbs

@@ -0,0 +1,45 @@
+module Domainic
+  module Type
+    # A type for validating Symbol objects with string-like constraints
+    #
+    # This type provides symbol validation capabilities by leveraging string validation
+    # behaviors. It enables validation of symbols using string-based constraints while
+    # maintaining proper type checking for Symbol objects.
+    #
+    # Key features:
+    # - Basic symbol type validation
+    # - Case checking for symbol names
+    # - Character set validation for symbol names
+    # - Pattern matching against symbol names
+    # - Length constraints for symbol names
+    # - String content validation for symbol names
+    #
+    # @example Basic usage
+    #   type = SymbolType.new
+    #   type.validate(:hello)   # => true
+    #   type.validate("hello")  # => false
+    #
+    # @example Complex symbol validation
+    #   type = SymbolType.new
+    #     .being_ascii
+    #     .being_lowercase
+    #     .having_size_between(2, 30)
+    #     .matching(/^[a-z]/)
+    #
+    # @example Symbol name validation
+    #   type = SymbolType.new
+    #     .being_alphanumeric
+    #     .not_matching(/\W/)
+    #     .having_minimum_size(1)
+    #
+    # @author {https://aaronmallen.me Aaron Allen}
+    # @since 0.1.0
+    class SymbolType
+      extend Behavior::ClassMethods
+
+      include Behavior
+
+      include Behavior::StringBehavior
+    end
+  end
+end

data/sig/domainic/type/types/specification/anything_type.rbs

@@ -0,0 +1,14 @@
+module Domainic
+  module Type
+    # @since 0.1.0
+    class AnythingType
+      include Behavior
+
+      def but: (*untyped types) -> self
+
+      alias except but
+
+      alias excluding but
+    end
+  end
+end

data/sig/domainic/type/types/specification/duck_type.rbs

@@ -0,0 +1,41 @@
+module Domainic
+  module Type
+    # A type that validates objects based on their method interface
+    #
+    # This type implements duck typing validation by checking whether objects respond
+    # to specific methods. It supports both positive validation (must respond to methods)
+    # and negative validation (must not respond to methods).
+    #
+    # @example Validating a simple interface
+    #   type = DuckType.responding_to(:to_s).not_responding_to(:to_h)
+    #   type.validate("string")  # => true
+    #   type.validate(Object.new)  # => true
+    #   type.validate({})  # => false (responds to :to_h)
+    #
+    # @author {https://aaronmallen.me Aaron Allen}
+    # @since 0.1.0
+    class DuckType
+      include Behavior
+
+      # Add method exclusion constraints to the type
+      #
+      # @example
+      #   type = DuckType.new.not_responding_to(:foo, :bar)
+      #
+      # @param methods [Array<String, Symbol>] the methods that must not be present
+      #
+      # @return [self] the type for method chaining
+      def not_responding_to: (*String | Symbol methods) -> self
+
+      # Add method presence constraints to the type
+      #
+      # @example
+      #   type = DuckType.new.responding_to(:foo, :bar)
+      #
+      # @param methods [Array<String, Symbol>] the methods that must be present
+      #
+      # @return [self] the type for method chaining
+      def responding_to: (*String | Symbol methods) -> self
+    end
+  end
+end

data/sig/domainic/type/types/specification/enum_type.rbs

@@ -0,0 +1,14 @@
+module Domainic
+  module Type
+    # @since 0.1.0
+    class EnumType
+      include Behavior
+
+      def initialize: (*untyped literals, **untyped options) -> void
+
+      def literal: (*untyped literals) -> void
+
+      alias value literal
+    end
+  end
+end

data/sig/domainic/type/types/specification/union_type.rbs

@@ -0,0 +1,14 @@
+module Domainic
+  module Type
+    # @since 0.1.0
+    class UnionType
+      include Behavior
+
+      def initialize: (*Class | Module | Behavior[untyped, untyped, untyped] types, **untyped options) -> void
+
+      def type: (*Class | Module | Behavior[untyped, untyped, untyped] types) -> self
+
+      alias or type
+    end
+  end
+end

data/sig/domainic/type/types/specification/void_type.rbs

@@ -0,0 +1,8 @@
+module Domainic
+  module Type
+    # @since 0.1.0
+    class VoidType
+      include Behavior
+    end
+  end
+end

data/sig/domainic/type.rbs

@@ -0,0 +1,5 @@
+module Domainic
+  # @since 0.1.0
+  module Type
+  end
+end

data/sig/domainic-type.rbs

@@ -0,0 +1 @@
+

data/sig/manifest.yaml

@@ -0,0 +1,2 @@
+dependencies:
+  - name: yaml

metadata

@@ -1,94 +1,130 @@
 --- !ruby/object:Gem::Specification
 name: domainic-type
 version: !ruby/object:Gem::Version
-  version: 0.1.0.alpha.2.1.0
+  version: 0.1.0.alpha.3.0.1
 platform: ruby
 authors:
 - Aaron Allen
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2024-08-29 00:00:00.000000000 Z
-dependencies:
-- !ruby/object:Gem::Dependency
-  name: base64
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0.2'
-    - - "<"
-      - !ruby/object:Gem::Version
-        version: '1'
-  type: :runtime
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0.2'
-    - - "<"
-      - !ruby/object:Gem::Version
-        version: '1'
-- !ruby/object:Gem::Dependency
-  name: i18n
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '1.14'
-    - - "<"
-      - !ruby/object:Gem::Version
-        version: '2'
-  type: :runtime
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '1.14'
-    - - "<"
-      - !ruby/object:Gem::Version
-        version: '2'
-- !ruby/object:Gem::Dependency
-  name: phonelib
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0.9'
-    - - "<"
-      - !ruby/object:Gem::Version
-        version: '1'
-  type: :runtime
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0.9'
-    - - "<"
-      - !ruby/object:Gem::Version
-        version: '1'
-description:
+date: 2024-12-24 00:00:00.000000000 Z
+dependencies: []
+description: Stop wrestling with complex type validations and unclear error messages.
+  Domainic::Type brings type validation to Ruby that is both powerful and delightful
+  to use. Build composable type constraints with crystal-clear error messages that
+  actually tell you what went wrong. From simple type checks to complex collection
+  validations, make your types work for you, not against you!
 email:
 - hello@aaronmallen.me
 executables: []
 extensions: []
 extra_rdoc_files: []
 files:
+- CHANGELOG.md
 - LICENSE
 - README.md
-homepage: https://github.com/domainic/domainic/tree/domainic-type-v0.1.0-alpha.2.1.0/domainic-type
+- lib/domainic-type.rb
+- lib/domainic/type.rb
+- lib/domainic/type/accessors.rb
+- lib/domainic/type/behavior.rb
+- lib/domainic/type/behavior/enumerable_behavior.rb
+- lib/domainic/type/behavior/numeric_behavior.rb
+- lib/domainic/type/behavior/sizable_behavior.rb
+- lib/domainic/type/behavior/string_behavior.rb
+- lib/domainic/type/config/registry.yml
+- lib/domainic/type/constraint/behavior.rb
+- lib/domainic/type/constraint/constraints/all_constraint.rb
+- lib/domainic/type/constraint/constraints/and_constraint.rb
+- lib/domainic/type/constraint/constraints/any_constraint.rb
+- lib/domainic/type/constraint/constraints/case_constraint.rb
+- lib/domainic/type/constraint/constraints/character_set_constraint.rb
+- lib/domainic/type/constraint/constraints/divisibility_constraint.rb
+- lib/domainic/type/constraint/constraints/emptiness_constraint.rb
+- lib/domainic/type/constraint/constraints/equality_constraint.rb
+- lib/domainic/type/constraint/constraints/finiteness_constraint.rb
+- lib/domainic/type/constraint/constraints/inclusion_constraint.rb
+- lib/domainic/type/constraint/constraints/match_pattern_constraint.rb
+- lib/domainic/type/constraint/constraints/method_presence_constraint.rb
+- lib/domainic/type/constraint/constraints/none_constraint.rb
+- lib/domainic/type/constraint/constraints/nor_constraint.rb
+- lib/domainic/type/constraint/constraints/not_constraint.rb
+- lib/domainic/type/constraint/constraints/or_constraint.rb
+- lib/domainic/type/constraint/constraints/ordering_constraint.rb
+- lib/domainic/type/constraint/constraints/parity_constraint.rb
+- lib/domainic/type/constraint/constraints/polarity_constraint.rb
+- lib/domainic/type/constraint/constraints/range_constraint.rb
+- lib/domainic/type/constraint/constraints/type_constraint.rb
+- lib/domainic/type/constraint/constraints/uniqueness_constraint.rb
+- lib/domainic/type/constraint/resolver.rb
+- lib/domainic/type/constraint/set.rb
+- lib/domainic/type/definitions.rb
+- lib/domainic/type/types/core/array_type.rb
+- lib/domainic/type/types/core/float_type.rb
+- lib/domainic/type/types/core/hash_type.rb
+- lib/domainic/type/types/core/integer_type.rb
+- lib/domainic/type/types/core/string_type.rb
+- lib/domainic/type/types/core/symbol_type.rb
+- lib/domainic/type/types/specification/anything_type.rb
+- lib/domainic/type/types/specification/duck_type.rb
+- lib/domainic/type/types/specification/enum_type.rb
+- lib/domainic/type/types/specification/union_type.rb
+- lib/domainic/type/types/specification/void_type.rb
+- sig/domainic-type.rbs
+- sig/domainic/type.rbs
+- sig/domainic/type/accessors.rbs
+- sig/domainic/type/behavior.rbs
+- sig/domainic/type/behavior/enumerable_behavior.rbs
+- sig/domainic/type/behavior/numeric_behavior.rbs
+- sig/domainic/type/behavior/sizable_behavior.rbs
+- sig/domainic/type/behavior/string_behavior.rbs
+- sig/domainic/type/constraint/behavior.rbs
+- sig/domainic/type/constraint/constraints/all_constraint.rbs
+- sig/domainic/type/constraint/constraints/and_constraint.rbs
+- sig/domainic/type/constraint/constraints/any_constraint.rbs
+- sig/domainic/type/constraint/constraints/case_constraint.rbs
+- sig/domainic/type/constraint/constraints/character_set_constraint.rbs
+- sig/domainic/type/constraint/constraints/divisibility_constraint.rbs
+- sig/domainic/type/constraint/constraints/emptiness_constraint.rbs
+- sig/domainic/type/constraint/constraints/equality_constraint.rbs
+- sig/domainic/type/constraint/constraints/finiteness_constraint.rbs
+- sig/domainic/type/constraint/constraints/inclusion_constraint.rbs
+- sig/domainic/type/constraint/constraints/match_pattern_constraint.rbs
+- sig/domainic/type/constraint/constraints/method_presence_constraint.rbs
+- sig/domainic/type/constraint/constraints/none_constraint.rbs
+- sig/domainic/type/constraint/constraints/nor_constraint.rbs
+- sig/domainic/type/constraint/constraints/not_constraint.rbs
+- sig/domainic/type/constraint/constraints/or_constraint.rbs
+- sig/domainic/type/constraint/constraints/ordering_constraint.rbs
+- sig/domainic/type/constraint/constraints/parity_constraint.rbs
+- sig/domainic/type/constraint/constraints/polarity_constraint.rbs
+- sig/domainic/type/constraint/constraints/range_constraint.rbs
+- sig/domainic/type/constraint/constraints/type_constraint.rbs
+- sig/domainic/type/constraint/constraints/uniqueness_constraint.rbs
+- sig/domainic/type/constraint/resolver.rbs
+- sig/domainic/type/constraint/set.rbs
+- sig/domainic/type/definitions.rbs
+- sig/domainic/type/types/core/array_type.rbs
+- sig/domainic/type/types/core/float_type.rbs
+- sig/domainic/type/types/core/hash_type.rbs
+- sig/domainic/type/types/core/integer_type.rbs
+- sig/domainic/type/types/core/string_type.rbs
+- sig/domainic/type/types/core/symbol_type.rbs
+- sig/domainic/type/types/specification/anything_type.rbs
+- sig/domainic/type/types/specification/duck_type.rbs
+- sig/domainic/type/types/specification/enum_type.rbs
+- sig/domainic/type/types/specification/union_type.rbs
+- sig/domainic/type/types/specification/void_type.rbs
+- sig/manifest.yaml
+homepage: https://github.com/domainic/domainic/tree/domainic-type-v0.1.0-alpha.3.0.1/domainic-type
 licenses:
 - MIT
 metadata:
   bug_tracker_uri: https://github.com/domainic/domainic/issues
-  changelog_uri: https://github.com/domainic/domainic/releases/tag/domainic-type-v0.1.0-alpha.2.1.0
-  homepage_uri: https://github.com/domainic/domainic/tree/domainic-type-v0.1.0-alpha.2.1.0/domainic-type
+  changelog_uri: https://github.com/domainic/domainic/releases/tag/domainic-type-v0.1.0-alpha.3.0.1
+  homepage_uri: https://github.com/domainic/domainic/tree/domainic-type-v0.1.0-alpha.3.0.1/domainic-type
   rubygems_mfa_required: 'true'
-  source_code_uri: https://github.com/domainic/domainic/tree/domainic-type-v0.1.0-alpha.2.1.0/domainic-type
-  wiki_uri: https://github.com/domainic/domainic/wiki
+  source_code_uri: https://github.com/domainic/domainic/tree/domainic-type-v0.1.0-alpha.3.0.1/domainic-type
 post_install_message:
 rdoc_options: []
 require_paths:
@@ -104,8 +140,9 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: 1.3.1
 requirements: []
-rubygems_version: 3.3.3
+rubygems_version: 3.3.27
 signing_key:
 specification_version: 4
-summary: Coming Soon
+summary: A flexible type validation system for Ruby, offering composable, readable
+  type constraints with elegant error messages.
 test_files: []