domainic-type 0.1.0.alpha.3.0.2 → 0.1.0.alpha.3.1.0

data/sig/domainic/type/definitions.rbs

@@ -86,6 +86,31 @@ module Domainic
 
       alias _Bool? _Boolean?
 
+      # Creates a CUIDType instance
+      #
+      # @example
+      #   type = _CUID.v2
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::CUIDType] the created type
+      def _CUID: (**__todo__ options) -> CUIDType
+
+      alias _Cuid _CUID
+
+      # Creates a nilable CUIDType instance.
+      #
+      # @example
+      #   _CUID? === "la6m1dv00000gv25zp9ru12g" # => true
+      #   _CUID? === nil                        # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::UnionType] the created type (CUIDType or NilClass)
+      def _CUID?: (**__todo__ options) -> UnionType
+
+      alias _Cuid? _CUID?
+
       # Creates a DuckType instance.
       #
       # DuckType allows specifying behavior based on method availability.
@@ -104,6 +129,33 @@ module Domainic
 
       alias _RespondingTo _Duck
 
+      # Creates an EmailAddressType instance.
+      #
+      # EmailAddressType restricts values to valid email addresses.
+      #
+      # @example
+      #   type = _EmailAddress.having_hostname('example.com')
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::EmailAddressType] the created type
+      def _EmailAddress: (**__todo__ options) -> EmailAddressType
+
+      alias _Email _EmailAddress
+
+      # Creates a nilable EmailAddressType instance.
+      #
+      # @example
+      #   _EmailAddress?.validate("user@example.com") # => true
+      #   _EmailAddress?.validate(nil)                # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::UnionType] the created type (EmailAddress or NilClass)
+      def _EmailAddress?: (**__todo__ options) -> UnionType
+
+      alias _Email? _EmailAddress?
+
       # Creates an EnumType instance.
       #
       # EnumType restricts values to a specific set of literals.
@@ -184,6 +236,50 @@ module Domainic
 
       alias _Map? _Hash?
 
+      # Creates a HostnameType instance.
+      #
+      # HostnameType restricts values to valid hostnames.
+      #
+      # @example
+      #   type = _Hostname.matching('example.com')
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::HostnameType] the created type
+      def _Hostname: (**__todo__ options) -> HostnameType
+
+      # Creates a nilable HostnameType instance.
+      #
+      # @example
+      #   _Hostname?.validate("example.com") # => true
+      #   _Hostname?.validate(nil)           # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::UnionType] the created type (Hostname or NilClass)
+      def _Hostname?: (**__todo__ options) -> UnionType
+
+      # Creates a UnionType of IntegerType, UUIDType, and CUIDType
+      #
+      # @example
+      #   _ID === 1234567890                             # => true
+      #   _ID === '123e4567-e89b-42d3-a456-426614174000' # => true
+      #   _ID === 'la6m1dv00000gv25zp9ru12g'             # => true
+      #
+      # @return [Domainic::Type::UnionType] the created type
+      def _ID: () -> UnionType
+
+      # Creates a nilable UnionType of IntegerType, UUIDType, and CUIDType
+      #
+      # @example
+      #   _ID === 1234567890                             # => true
+      #   _ID === '123e4567-e89b-42d3-a456-426614174000' # => true
+      #   _ID === 'la6m1dv00000gv25zp9ru12g'             # => true
+      #   _ID === nil                                    # => true
+      #
+      # @return [Domainic::Type::UnionType] the created type
+      def _ID?: () -> UnionType
+
       # Create an InstanceType instance.
       #
       # @example
@@ -203,7 +299,7 @@ module Domainic
       #
       # @param options [Hash] additional configuration options
       #
-      # @return [Domainic::Type::UnionType] the created type (Integer or NilClass)
+      # @return [Domainic::Type::UnionType] the created type (InstanceType or NilClass)
       def _Instance?: (**__todo__ options) -> UnionType
 
       alias _Record? _Instance?
@@ -299,6 +395,31 @@ module Domainic
 
       alias _Interned? _Symbol?
 
+      # Creates a UUIDType instance
+      #
+      # @example
+      #   type = _UUID.v4_compact
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::UUIDType] the created type
+      def _UUID: (**__todo__ options) -> UUIDType
+
+      alias _Uuid _UUID
+
+      # Creates a nilable UUIDType instance.
+      #
+      # @example
+      #   _UUID? === '123e4567-e89b-42d3-a456-426614174000' # => true
+      #   _UUID? === nil                                    # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::UnionType] the created type (UUIDType or NilClass)
+      def _UUID?: (**__todo__ options) -> UnionType
+
+      alias _Uuid? _UUID?
+
       # Creates a UnionType instance.
       #
       # Allows combining multiple types into a single union type.
@@ -314,6 +435,33 @@ module Domainic
 
       alias _Either _Union
 
+      # Creates a URIType instance.
+      #
+      # URIType restricts values to valid URIs.
+      #
+      # @example
+      #   type = _URI.having_scheme('https')
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::URIType] the created type
+      def _Uri: (**__todo__ options) -> URIType
+
+      alias _Url _Uri
+
+      # Creates a nilable URIType instance.
+      #
+      # @example
+      #   _Uri?.validate("https://example.com") # => true
+      #   _Uri?.validate(nil)                   # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::UnionType] the created type (URIType or NilClass)
+      def _Uri?: (**__todo__ options) -> UnionType
+
+      alias _Url? _Uri?
+
       # Creates a VoidType instance.
       #
       # Represents an operation that returns no value.

data/sig/domainic/type/types/identifier/cuid_type.rbs

@@ -0,0 +1,110 @@
+module Domainic
+  module Type
+    # A type for validating CUIDs according to official specifications
+    #
+    # This type provides comprehensive CUID validation following the official
+    # CUID specifications. It supports both v1 and v2 formats, with proper
+    # format-specific validation.
+    #
+    # Key features:
+    # - CUID v1 validation (25 characters, c-prefix)
+    # - CUID v2 validation (variable length 14-24 chars)
+    # - Length validation
+    # - Character set validation
+    #
+    # @example Basic usage
+    #   type = CUIDType.new
+    #   type.validate("ch72gsb320000udocl363eofy")  # => true
+    #   type.validate("invalid")                     # => false
+    #
+    # @example With version constraints
+    #   type = CUIDType.new.being_version(2)
+    #   type.validate("clh3am1f30000udocbhqg4151")  # => true
+    #
+    # @author {https://aaronmallen.me Aaron Allen}
+    # @since 0.1.0
+    class CUIDType
+      extend Behavior::ClassMethods
+
+      include Behavior
+
+      # Contains CUID validation regular expressions and version-specific modules
+      #
+      # This module provides validation patterns for both CUID v1 and v2 formats,
+      # following the official specification.
+      #
+      # @since 0.1.0
+      module CUID
+        # Regular expression for CUID v1 format
+        #
+        # Validates CUIDs in v1 format: c-prefix + 24 lowercase alphanumeric chars
+        # Example: "ch72gsb320000udocl363eofy"
+        #
+        # @since 0.1.0
+        V1_REGEXP: Regexp
+
+        # Regular expression for CUID v2 format
+        #
+        # Validates CUIDs in v2 format: k-p prefix + 13-23 lowercase alphanumeric chars
+        # Example: "clh3am1f30000udocbhqg4151"
+        #
+        # @since 0.1.0
+        V2_REGEXP: Regexp
+
+        # Regular expression for any valid CUID (v1 or v2)
+        ALL_REGEXP: Regexp
+      end
+
+      # Constrain CUID to specific version
+      #
+      # Creates a constraint ensuring the CUID matches a specific version (1 or 2).
+      #
+      # @example
+      #   type.being_version(1)
+      #   type.validate("ch72gsb320000udocl363eofy")  # => true
+      #
+      # @param version [Integer] CUID version (1 or 2)
+      # @return [self] self for method chaining
+      # @raise [ArgumentError] if version is neither 1 nor 2
+      def being_version: (Integer version) -> self
+
+      alias version being_version
+
+      # Constrain CUID to Version 1
+      #
+      # Creates a constraint ensuring the CUID is a Version 1 CUID.
+      # Version 1 CUIDs are 25 characters long and start with 'c'.
+      #
+      # @example
+      #   type.being_version_one
+      #   type.validate("ch72gsb320000udocl363eofy")  # => true
+      #
+      # @return [self] self for method chaining
+      def being_version_one: () -> self
+
+      alias being_v1 being_version_one
+
+      alias v1 being_version_one
+
+      alias version_one being_version_one
+
+      # Constrain CUID to Version 2
+      #
+      # Creates a constraint ensuring the CUID is a Version 2 CUID.
+      # Version 2 CUIDs are 14-24 characters and start with k-p.
+      #
+      # @example
+      #   type.being_version_two
+      #   type.validate("clh3am1f30000udocbhqg4151")  # => true
+      #
+      # @return [self] self for method chaining
+      def being_version_two: () -> self
+
+      alias being_v2 being_version_two
+
+      alias v2 being_version_two
+
+      alias version_two being_version_two
+    end
+  end
+end