domainic-type 0.1.0.alpha.3.2.0 → 0.1.0.alpha.3.4.0

data/lib/domainic/type/definitions.rb

@@ -77,6 +77,36 @@ module Domainic
       end
       alias _List? _Array?
 
+      # Creates a BigDecimalType instance.
+      #
+      # @example
+      #   type = _BigDecimal
+      #   type.validate(BigDecimal('123.45')) # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::BigDecimalType] the created type
+      # @rbs (**__todo__ options) -> BigDecimalType
+      def _BigDecimal(**options)
+        require 'domainic/type/types/core_extended/big_decimal_type'
+        Domainic::Type::BigDecimalType.new(**options)
+      end
+
+      # Creates a nilable BigDecimalType instance.
+      #
+      # @example
+      #   type = _BigDecimal?
+      #   type.validate(BigDecimal('123.45')) # => true
+      #   type.validate(nil)                  # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::UnionType] the created type (BigDecimal or NilClass)
+      # @rbs (**__todo__ options) -> UnionType
+      def _BigDecimal?(**options)
+        _Nilable(_BigDecimal(**options))
+      end
+
       # Creates a Boolean type.
       #
       # Represents a union of TrueClass and FalseClass.
@@ -133,6 +163,35 @@ module Domainic
       end
       alias _Cuid? _CUID?
 
+      # Creates a ComplexType instance.
+      #
+      # @example
+      #   type = _Complex
+      #   type.validate(Complex(1, 2)) # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::ComplexType] the created type
+      # @rbs (**__todo__ options) -> ComplexType
+      def _Complex(**options)
+        require 'domainic/type/types/core/complex_type'
+        Domainic::Type::ComplexType.new(**options)
+      end
+
+      # Creates a nilable ComplexType instance.
+      #
+      # @example
+      #   type = _Complex?
+      #   type.validate(Complex(1, 2)) # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::UnionType] the created type (Complex or NilClass)
+      # @rbs (**__todo__ options) -> UnionType
+      def _Complex?(**options)
+        _Nilable(_Complex(**options))
+      end
+
       # Creates a DateType instance.
       #
       # DateType restricts values to valid `Date` objects.
@@ -195,6 +254,39 @@ module Domainic
         _Nilable(_DateTime(**options))
       end
 
+      # Creates a DateTimeStringType instance.
+      #
+      # DateTimeStringType restricts values to valid date-time strings.
+      #
+      # @example
+      #   type = _DateTimeString
+      #   type.validate('2024-01-01T12:00:00Z') # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::DateTimeStringType] the created type
+      # @rbs (**__todo__ options) -> DateTimeStringType
+      def _DateTimeString(**options)
+        require 'domainic/type/types/datetime/date_time_string_type'
+        Domainic::Type::DateTimeStringType.new(**options)
+      end
+      alias _DateString _DateTimeString
+
+      # Creates a nilable DateTimeStringType instance.
+      #
+      # @example
+      #   _DateTimeString? === '2024-01-01T12:00:00Z' # => true
+      #   _DateTimeString? === nil                    # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::UnionType] the created type (DateTimeStringType or NilClass)
+      # @rbs (**__todo__ options) -> UnionType
+      def _DateTimeString?(**options)
+        _Nilable(_DateTimeString(**options))
+      end
+      alias _DateString? _DateTimeString?
+
       # Creates a DuckType instance.
       #
       # DuckType allows specifying behavior based on method availability.
@@ -477,6 +569,95 @@ module Domainic
       end
       alias _Nullable _Nilable
 
+      # Creates a RangeType instance.
+      #
+      # @example
+      #   type = _Range
+      #   type.validate(1..10) # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::RangeType] the created type
+      # @rbs (**__todo__ options) -> RangeType
+      def _Range(**options)
+        require 'domainic/type/types/core/range_type'
+        Domainic::Type::RangeType.new(**options)
+      end
+
+      # Creates a nilable RangeType instance.
+      #
+      # @example
+      #   type = _Range?
+      #   type.validate(1..10) # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::UnionType] the created type (Range or NilClass)
+      # @rbs (**__todo__ options) -> UnionType
+      def _Range?(**options)
+        _Nilable(_Range(**options))
+      end
+
+      # Creates a RationalType instance.
+      #
+      # @example
+      #   type = _Rational
+      #   type.validate(Rational(1, 2)) # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::RationalType] the created type
+      # @rbs (**__todo__ options) -> RationalType
+      def _Rational(**options)
+        require 'domainic/type/types/core/rational_type'
+        Domainic::Type::RationalType.new(**options)
+      end
+
+      # Creates a nilable RationalType instance.
+      #
+      # @example
+      #   type = _Rational?
+      #   type.validate(Rational(1, 2)) # => true
+      #   type.validate(nil)            # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::UnionType] the created type (Rational or NilClass)
+      # @rbs (**__todo__ options) -> UnionType
+      def _Rational?(**options)
+        _Nilable(_Rational(**options))
+      end
+
+      # Creates a SetType instance.
+      #
+      # @example
+      #   type = _Set
+      #   type.validate(Set[1, 2, 3]) # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::SetType] the created type
+      # @rbs (**__todo__ options) -> SetType
+      def _Set(**options)
+        require 'domainic/type/types/core_extended/set_type'
+        Domainic::Type::SetType.new(**options)
+      end
+
+      # Creates a nilable SetType instance.
+      #
+      # @example
+      #   type = _Set?
+      #   type.validate(Set[1, 2, 3]) # => true
+      #   type.validate(nil)          # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::UnionType] the created type (Set or NilClass)
+      # @rbs (**__todo__ options) -> UnionType
+      def _Set?(**options)
+        _Nilable(_Set(**options))
+      end
+
       # Creates a StringType instance.
       #
       # @example
@@ -568,6 +749,37 @@ module Domainic
         _Nilable(_Time(**options))
       end
 
+      # Creates a TimestampType instance.
+      #
+      # TimestampType restricts values to valid timestamps.
+      #
+      # @example
+      #   type = _Timestamp
+      #   type.validate(1640995200) # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::TimestampType] the created type
+      # @rbs (**__todo__ options) -> TimestampType
+      def _Timestamp(**options)
+        require 'domainic/type/types/datetime/timestamp_type'
+        Domainic::Type::TimestampType.new(**options)
+      end
+
+      # Creates a nilable TimestampType instance.
+      #
+      # @example
+      #   _Timestamp? === 1640995200 # => true
+      #   _Timestamp? === nil        # => true
+      #
+      # @param options [Hash] additional configuration options
+      #
+      # @return [Domainic::Type::UnionType] the created type (TimestampType or NilClass)
+      # @rbs (**__todo__ options) -> UnionType
+      def _Timestamp?(**options)
+        _Nilable(_Timestamp(**options))
+      end
+
       # Creates a URIType instance.
       #
       # URIType restricts values to valid URIs.

data/lib/domainic/type/types/core/complex_type.rb

@@ -0,0 +1,122 @@
+# frozen_string_literal: true
+
+require 'domainic/type/behavior'
+require 'domainic/type/behavior/numeric_behavior'
+
+module Domainic
+  module Type
+    # A type for validating and constraining `Complex` numbers.
+    #
+    # This type extends `NumericBehavior` to provide a fluent interface for numeric-specific validations such as
+    # polarity and divisibility checks.
+    #
+    # @example Validating a `Complex` value
+    #   type = Domainic::Type::ComplexType.new
+    #   type.validate!(Complex(3, 4)) # => true
+    #
+    # @example Enforcing constraints
+    #   type = Domainic::Type::ComplexType.new
+    #   type.being_positive.validate!(Complex(42, 0)) # => raises TypeError
+    #
+    # @author {https://aaronmallen.me Aaron Allen}
+    # @since 0.1.0
+    class ComplexType
+      # @rbs! extend Behavior::ClassMethods
+
+      include Behavior
+      include Behavior::NumericBehavior
+
+      intrinsically_constrain :self, :type, Complex, abort_on_failure: true, description: :not_described
+
+      # Constrain the Complex real to be divisible by a given divisor.
+      #
+      # @param arguments [Array<Numeric>] a list of arguments, typically one divisor
+      # @param options [Hash] additional options such as tolerance for floating-point checks
+      # @option options [Numeric] :divisor the divisor to check for divisibility
+      # @option options [Numeric] :tolerance the tolerance for floating-point checks
+      #
+      # @return [self] the current instance for chaining
+      # @rbs (*Numeric arguments, ?divisor: Numeric, ?tolerance: Numeric) -> Behavior
+      def being_divisible_by(*arguments, **options)
+        if arguments.size > 1 || (arguments.empty? && !options.key?(:divisor))
+          raise ArgumentError, "wrong number of arguments (given #{arguments.size}, expected 1)"
+        end
+
+        divisor = arguments.first || options[:divisor]
+        constrain :real, :divisibility, divisor, description: 'being', **options.except(:divisor)
+      end
+      alias being_multiple_of being_divisible_by
+      alias divisible_by being_divisible_by
+      alias multiple_of being_divisible_by
+
+      # Constrain the Complex real to be even.
+      #
+      # @return [self] the current instance for chaining
+      # @rbs () -> Behavior
+      def being_even
+        # @type self: Object & Behavior
+        constrain :real, :parity, :even, description: 'being'
+      end
+      alias even being_even
+      alias not_being_odd being_even
+
+      # Constrain the Complex real to be negative.
+      #
+      # @return [self] the current instance for chaining
+      # @rbs () -> Behavior
+      def being_negative
+        # @type self: Object & Behavior
+        constrain :real, :polarity, :negative, description: 'being'
+      end
+      alias negative being_negative
+      alias not_being_positive being_negative
+
+      # Constrain the Complex real value to be odd.
+      #
+      # @return [self] the current instance for chaining
+      # @rbs () -> Behavior
+      def being_odd
+        # @type self: Object & Behavior
+        constrain :real, :parity, :odd, description: 'being'
+      end
+      alias odd being_odd
+      alias not_being_even being_odd
+
+      # Constrain the Complex real to be positive.
+      #
+      # @return [self] the current instance for chaining
+      # @rbs () -> Behavior
+      def being_positive
+        # @type self: Object & Behavior
+        constrain :real, :polarity, :positive, description: 'being'
+      end
+      alias positive being_positive
+      alias not_being_negative being_positive
+
+      # Constrain the Complex real to not be divisible by a specific divisor.
+      #
+      # @note the divisor MUST be provided as an argument or in the options Hash.
+      #
+      # @param arguments [Array<Numeric>] a list of arguments, typically one divisor
+      # @param options [Hash] additional options such as tolerance for floating-point checks
+      # @option options [Numeric] :divisor the divisor to check for divisibility
+      # @option options [Numeric] :tolerance the tolerance for floating-point checks
+      #
+      # @return [self] the current instance for chaining
+      # @rbs (*Numeric arguments, ?divisor: Numeric, ?tolerance: Numeric) -> Behavior
+      def not_being_divisible_by(*arguments, **options)
+        if arguments.size > 1 || (arguments.empty? && !options.key?(:divisor))
+          raise ArgumentError, "wrong number of arguments (given #{arguments.size}, expected 1)"
+        end
+
+        # @type self: Object & Behavior
+        divisor = arguments.first || options[:divisor]
+        divisible_by = @constraints.prepare :self, :divisibility, divisor, **options.except(:divisor)
+        constrain :real, :not, divisible_by, concerning: :divisibility, description: 'being'
+      end
+      alias not_being_multiple_of not_being_divisible_by
+      alias not_divisible_by not_being_divisible_by
+      alias not_multiple_of not_being_divisible_by
+    end
+  end
+end

data/lib/domainic/type/types/core/range_type.rb

@@ -0,0 +1,47 @@
+# frozen_string_literal: true
+
+require 'domainic/type/behavior'
+require 'domainic/type/behavior/enumerable_behavior'
+
+module Domainic
+  module Type
+    # A type for validating `Range` objects with comprehensive constraints.
+    #
+    # This class allows flexible validation of ranges, supporting type checks,
+    # inclusion/exclusion of values, and range-specific behaviors such as bounds validation.
+    # It integrates with `EnumerableBehavior` for enumerable-style validations
+    # (e.g., size constraints, element presence).
+    #
+    # Key features:
+    # - Ensures the value is a `Range`.
+    # - Supports constraints for range boundaries (`begin` and `end`).
+    # - Provides validations for inclusion and exclusion of values.
+    # - Leverages `EnumerableBehavior` for size and collection-style constraints.
+    #
+    # @example Basic usage
+    #   type = RangeType.new
+    #   type.having_bounds(1, 10)         # Validates range bounds (inclusive or exclusive).
+    #   type.containing(5)               # Ensures value is within the range.
+    #   type.not_containing(15)          # Ensures value is not within the range.
+    #
+    # @example Integration with EnumerableBehavior
+    #   type = RangeType.new
+    #   type.having_size(10)             # Validates size (total elements in the range).
+    #   type.containing_exactly(3, 7)    # Validates specific values within the range.
+    #
+    # @example Flexible boundaries
+    #   type = RangeType.new
+    #   type.having_bounds(1, 10, exclusive: true)  # Upper and lower bounds are exclusive.
+    #
+    # @author {https://aaronmallen.me Aaron Allen}
+    # @since 0.1.0
+    class RangeType
+      # @rbs! extend Behavior::ClassMethods
+
+      include Behavior
+      include Behavior::EnumerableBehavior
+
+      intrinsically_constrain :self, :type, Range, abort_on_failure: true, description: :not_described
+    end
+  end
+end

data/lib/domainic/type/types/core/rational_type.rb

@@ -0,0 +1,38 @@
+# frozen_string_literal: true
+
+require 'domainic/type/behavior'
+require 'domainic/type/behavior/numeric_behavior'
+
+module Domainic
+  module Type
+    # A type for validating Rational numbers.
+    #
+    # This type ensures values are of type `Rational` and supports a range of
+    # constraints for numerical validation, such as positivity, negativity,
+    # and divisibility. It integrates with `NumericBehavior` to provide a
+    # consistent and fluent interface for numeric constraints.
+    #
+    # @example Validating a positive Rational number
+    #   type = Domainic::Type::RationalType.new
+    #   type.being_positive.validate!(Rational(3, 4)) # => true
+    #
+    # @example Validating divisibility
+    #   type = Domainic::Type::RationalType.new
+    #   type.being_divisible_by(1).validate!(Rational(3, 1)) # => true
+    #
+    # @example Using constraints with chaining
+    #   type = Domainic::Type::RationalType.new
+    #   type.being_greater_than(0).being_less_than(1).validate!(Rational(1, 2)) # => true
+    #
+    # @author {https://aaronmallen.me Aaron Allen}
+    # @since 0.1.0
+    class RationalType
+      # @rbs! extend Behavior::ClassMethods
+
+      include Behavior
+      include Behavior::NumericBehavior
+
+      intrinsically_constrain :self, :type, Rational, abort_on_failure: true, description: :not_described
+    end
+  end
+end

data/lib/domainic/type/types/core_extended/big_decimal_type.rb

@@ -0,0 +1,34 @@
+# frozen_string_literal: true
+
+require 'bigdecimal'
+require 'domainic/type/behavior'
+require 'domainic/type/behavior/numeric_behavior'
+
+module Domainic
+  module Type
+    # A type for validating and constraining `BigDecimal` objects.
+    #
+    # This type extends `NumericBehavior` to provide a fluent interface for numeric-specific validations such as being
+    # positive, being within a range, or satisfying divisibility rules.
+    #
+    # @example Validating a `BigDecimal` value
+    #   type = Domainic::Type::BigDecimalType.new
+    #   type.validate!(BigDecimal('3.14')) # => true
+    #
+    # @example Enforcing constraints
+    #   type = Domainic::Type::BigDecimalType.new
+    #   type.being_positive.validate!(BigDecimal('42')) # => true
+    #   type.being_positive.validate!(BigDecimal('-42')) # raises TypeError
+    #
+    # @author {https://aaronmallen.me Aaron Allen}
+    # @since 0.1.0
+    class BigDecimalType
+      # @rbs! extend Behavior::ClassMethods
+
+      include Behavior
+      include Behavior::NumericBehavior
+
+      intrinsically_constrain :self, :type, BigDecimal, abort_on_failure: true, description: :not_described
+    end
+  end
+end

data/lib/domainic/type/types/core_extended/set_type.rb

@@ -0,0 +1,34 @@
+# frozen_string_literal: true
+
+require 'domainic/type/behavior'
+require 'domainic/type/behavior/enumerable_behavior'
+require 'set'
+
+module Domainic
+  module Type
+    # A type for validating and constraining `Set` objects.
+    #
+    # This type extends `EnumerableBehavior` to support validations and constraints
+    # such as being empty, containing specific elements, or having a minimum or maximum count.
+    #
+    # @example Validating a `Set` object
+    #   type = Domainic::Type::SetType.new
+    #   type.validate!(Set.new([1, 2, 3])) # => true
+    #
+    # @example Enforcing constraints
+    #   type = Domainic::Type::SetType.new
+    #   type.being_empty.validate!(Set.new) # => true
+    #   type.being_empty.validate!(Set.new([1])) # raises TypeError
+    #
+    # @author {https://aaronmallen.me Aaron Allen}
+    # @since 0.1.0
+    class SetType
+      # @rbs! extend Behavior::ClassMethods
+
+      include Behavior
+      include Behavior::EnumerableBehavior
+
+      intrinsically_constrain :self, :type, Set, abort_on_failure: true, description: :not_described
+    end
+  end
+end

data/lib/domainic/type/types/datetime/date_time_string_type.rb

@@ -0,0 +1,156 @@
+# frozen_string_literal: true
+
+require 'domainic/type/behavior'
+require 'domainic/type/behavior/date_time_behavior'
+
+module Domainic
+  module Type
+    # A type for validating and constraining strings to match various datetime formats.
+    #
+    # This class includes behaviors for handling datetime constraints and ensures that
+    # a string matches one of the predefined datetime formats (e.g., ISO 8601, RFC2822).
+    #
+    # @example Validating American format
+    #   type = Domainic::Type::DateTimeStringType.new
+    #   type.having_american_format.validate!("01/31/2024")
+    #
+    # @example Validating ISO 8601 format
+    #   type = Domainic::Type::DateTimeStringType.new
+    #   type.having_iso8601_format.validate!("2024-01-01T12:00:00Z")
+    #
+    # @example Validating RFC2822 format
+    #   type = Domainic::Type::DateTimeStringType.new
+    #   type.having_rfc2822_format.validate!("Thu, 31 Jan 2024 13:30:00 +0000")
+    #
+    # @author {https://aaronmallen.me Aaron Allen}
+    # @since 0.1.0
+    class DateTimeStringType
+      # @rbs! extend Behavior::ClassMethods
+
+      include Behavior
+      include Behavior::DateTimeBehavior
+
+      # The `Format` module provides a set of regular expressions for validating
+      # various datetime formats, including ISO 8601, RFC2822, American, European,
+      # full month names, abbreviated month names, and 12-hour clock formats.
+      #
+      # @author {https://aaronmallen.me Aaron Allen}
+      # @since 0.1.0
+      module Format
+        # Matches ISO 8601 datetime formats, including:
+        # - `2024-01-01T12:00:00.000+00:00`
+        # - `2024-01-01T12:00:00+00:00`
+        # - `2024-01-01T12:00:00.000`
+        # - `2024-01-01T12:00:00`
+        # - `20240101T120000+0000` (basic format)
+        # @return [Regexp]
+        ISO8601 = /\A\d{4}-\d{2}-\d{2}(?:T\d{2}:\d{2}:\d{2}(?:\.\d+)?(?:Z|[-+]\d{2}:?\d{2})?)?\z/ #: Regexp
+
+        # Matches RFC2822 datetime formats, including:
+        # - `Thu, 31 Jan 2024 13:30:00 +0000`
+        # - `31 Jan 2024 13:30:00 +0000`
+        # @return [Regexp]
+        RFC2822 = /\A
+          (?:                                                                     # Optional day of the week
+            (?:Mon|Tue|Wed|Thu|Fri|Sat|Sun),\s+
+          )?
+          \d{1,2}\s+                                                              # Day of the month
+          (?:Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec)\s+                  # Month
+          \d{2,4}\s+                                                              # Year
+          \d{2}:\d{2}                                                             # Time in HH:MM
+          (?::\d{2})?                                                             # Optional seconds
+          \s+                                                                     # Space
+          (?:                                                                     # Time zone
+            [+-]\d{4} |                                                           # Offset (e.g., +0000)
+            GMT | UTC                                                             # Literal GMT or UTC
+          )
+        \z/x #: Regexp
+
+        # Matches American-style dates with optional time in 12-hour or 24-hour formats, including:
+        # - `01/31/2024`
+        # - `01/31/2024 12:30:00`
+        # - `01/31/2024 12:30 PM`
+        # @return [Regexp]
+        AMERICAN = %r{\A\d{1,2}/\d{1,2}/\d{2,4}(?: \d{1,2}:\d{1,2}(?::\d{1,2})?(?:\s*[AaPp][Mm])?)?\z} #: Regexp
+
+        # Matches European-style dates with optional time in 24-hour format, including:
+        # - `31.01.2024`
+        # - `31.01.2024 12:30:00`
+        # @return [Regexp]
+        EUROPEAN = /\A\d{1,2}\.\d{1,2}\.\d{2,4}(?: \d{1,2}:\d{2}(?::\d{2})?)?\z/ #: Regexp
+
+        # Matches datetime formats with full month names, including:
+        # - `January 31, 2024 12:00:00`
+        # - `January 31, 2024 12:00`
+        # @return [Regexp]
+        FULL_MONTH_NAME = /\A
+          (?:                                                                      # Full month name
+            (?:January|February|March|April|May|June|July|August|September|October|November|December)
+          )\s+\d{1,2},\s+\d{4}(?:\s+\d{1,2}:\d{2}(?::\d{2})?)?
+        \z/x #: Regexp
+
+        # Matches datetime formats with abbreviated month names, including:
+        # - `Jan 31, 2024 12:00:00`
+        # - `Jan 31, 2024 12:00`
+        # @return [Regexp]
+        ABBREVIATED_MONTH_NAME = /\A
+          \d{1,2}\s+(?:Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec),\s+\d{4}(?:\s+\d{1,2}:\d{2}(?::\d{2})?)?
+        \z/x #: Regexp
+
+        # Matches datetime formats using a 12-hour clock with AM/PM, including:
+        # - `2024-01-01 01:30:00 PM`
+        # - `2024-01-01 01:30 PM`
+        # @return [Regexp]
+        TWELVE_HOUR_FORMAT = /\A\d{4}-\d{2}-\d{2}\s+\d{1,2}:\d{2}(?::\d{2})?\s+[APap][Mm]\z/x #: Regexp
+      end
+      private_constant :Format
+
+      intrinsically_constrain :self, :type, String, abort_on_failure: true, description: :not_described
+      intrinsically_constrain :self, :match_pattern,
+                              Regexp.union(Format.constants.map { |name| Format.const_get(name) }),
+                              abort_on_failure: true, concerning: :format, description: :not_described
+
+      # Constrain the type to match American-style datetime formats.
+      #
+      # @return [self] self for method chaining
+      # @rbs () -> self
+      def having_american_format
+        constrain :self, :match_pattern, Format::AMERICAN, concerning: :format
+      end
+      alias american having_american_format
+      alias having_us_format having_american_format
+      alias us_format having_american_format
+
+      # Constrain the type to match European-style datetime formats.
+      #
+      # @return [self] self for method chaining
+      # @rbs () -> self
+      def having_european_format
+        constrain :self, :match_pattern, Format::EUROPEAN, concerning: :format
+      end
+      alias european having_european_format
+      alias having_eu_format having_european_format
+      alias eu_format having_european_format
+
+      # Constrain the type to match ISO 8601 datetime formats.
+      #
+      # @return [self] self for method chaining
+      # @rbs () -> self
+      def having_iso8601_format
+        constrain :self, :match_pattern, Format::ISO8601, concerning: :format
+      end
+      alias iso8601 having_iso8601_format
+      alias iso8601_format having_iso8601_format
+
+      # Constrain the type to match RFC2822 datetime formats.
+      #
+      # @return [self] self for method chaining
+      # @rbs () -> self
+      def having_rfc2822_format
+        constrain :self, :match_pattern, Format::RFC2822, concerning: :format
+      end
+      alias rfc2822 having_rfc2822_format
+      alias rfc2822_format having_rfc2822_format
+    end
+  end
+end