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

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

@@ -0,0 +1,50 @@
+# frozen_string_literal: true
+
+require 'domainic/type/behavior'
+require 'domainic/type/behavior/date_time_behavior'
+
+module Domainic
+  module Type
+    # A type for validating Unix timestamps (seconds since the Unix epoch).
+    #
+    # This type ensures the value is an `Integer` representing a valid Unix
+    # timestamp. It integrates with `DateTimeBehavior` to provide a rich set of
+    # validation capabilities, including chronological constraints and range checks.
+    #
+    # Key features:
+    # - Ensures the value is an `Integer` representing a Unix timestamp.
+    # - Supports chronological relationship constraints (e.g., before, after).
+    # - Provides range, equality, and nilable checks.
+    #
+    # @example Basic usage
+    #   type = TimestampType.new
+    #   type.validate(Time.now.to_i)             # => true
+    #   type.validate(Date.today.to_time.to_i)   # => true
+    #   type.validate('invalid')                 # => false
+    #
+    # @example Range validation
+    #   type = TimestampType.new
+    #     .being_between(Time.now.to_i, (Time.now + 3600).to_i)
+    #   type.validate((Time.now + 1800).to_i)    # => true
+    #   type.validate((Time.now + 7200).to_i)    # => false
+    #
+    # @example Historical timestamps
+    #   type = TimestampType.new
+    #   type.validate(-1234567890)               # => true (date before 1970-01-01)
+    #
+    # @example Nilable timestamp
+    #   nilable_type = _Nilable(TimestampType.new)
+    #   nilable_type.validate(nil)               # => true
+    #
+    # @author {https://aaronmallen.me Aaron Allen}
+    # @since 0.1.0
+    class TimestampType
+      # @rbs! extend Behavior::ClassMethods
+
+      include Behavior
+      include Behavior::DateTimeBehavior
+
+      intrinsically_constrain :self, :type, Integer, abort_on_failure: true, description: :not_described
+    end
+  end
+end

data/sig/domainic/type/accessors.rbs

@@ -1,11 +1,11 @@
 module Domainic
   module Type
-    type accessor = :abs | :begin | :chars | :class | :count | :end | :entries | :first | :keys | :last | :length | :self | :size | :values
+    type accessor = :abs | :begin | :chars | :class | :count | :end | :entries | :first | :keys | :last | :length | :real | :self | :size | :values
 
     # A list of valid access methods that can be used to retrieve values for constraint validation.
     # These methods represent common Ruby interfaces for accessing collection sizes, ranges, and values.
     #
-    # - :abs                       - For absolute values
+    # - :abs, :real                - For absolute values
     # - :begin, :end               - For Range-like objects
     # - :class                     - For type checking
     # - :count, :length, :size     - For measuring collections

data/sig/domainic/type/behavior/date_time_behavior.rbs

@@ -24,73 +24,85 @@ module Domainic
       # @author {https://aaronmallen.me Aaron Allen}
       # @since 0.1.0
       module DateTimeBehavior
-        TO_DATETIME_COERCER: Proc
+        # The supported date/time patterns for parsing date/time strings
+        #
+        # @note This list is ordered from most specific to least specific to ensure that the most specific patterns are
+        #  tried first. This is important because some patterns are more lenient than others and may match a wider range
+        #  of input strings.
+        #
+        # @return [Array<String>] the supported date/time patterns
+        DATETIME_PATTERNS: Array[String]
+
+        # Coerce a value to a Date, DateTime, or Time object
+        #
+        # @return [Proc] a lambda that coerces a value to a Date, DateTime, or Time object
+        TO_DATETIME_COERCER: ^(Date | DateTime | Integer | String | Time value) -> (Date | DateTime | Time)
 
         # Parse arguments for being_between
         #
         # @note this in my opinion is better than polluting the namespace of the including class even with a private
         #   method. This way, the method is only available within the module itself. See {#being_between}.
         #
-        # @param after [Date, DateTime, String, Time, nil] minimum size value from positional args
-        # @param before [Date, DateTime, String, Time, nil] maximum size value from positional args
+        # @param after [Date, DateTime, Integer, String, Time, nil] minimum size value from positional args
+        # @param before [Date, DateTime, Integer, String, Time, nil] maximum size value from positional args
         # @param options [Hash] keyword arguments containing after/before values
         #
         # @raise [ArgumentError] if minimum or maximum value can't be determined
-        # @return [Array<Date, DateTime, String, Time, nil>] parsed [after, before] values
-        private def self.parse_being_between_arguments!: ((Date | DateTime | String | Time)? after, (Date | DateTime | String | Time)? before, Hash[Symbol, (Date | DateTime | String | Time)?] options) -> Array[(Date | DateTime | String | Time)?]
+        # @return [Array<Date, DateTime, Integer, String, Time, nil>] parsed [after, before] values
+        private def self.parse_being_between_arguments!: ((Date | DateTime | Integer | String | Time)? after, (Date | DateTime | Integer | String | Time)? before, Hash[Symbol, (Date | DateTime | Integer | String | Time)?] options) -> Array[(Date | DateTime | Integer | String | Time)?]
 
         # Raise appropriate ArgumentError for being_between
         #
         # @param original_caller [Array<String>] caller stack for error
-        # @param after [Date, DateTime, String, Time, nil] after value from positional args
-        # @param before [Date, DateTime, String, Time, nil] before value from positional args
+        # @param after [Date, DateTime, Integer, String, Time, nil] after value from positional args
+        # @param before [Date, DateTime, Integer, String, Time, nil] before value from positional args
         # @param options [Hash] keyword arguments containing after/before values
         #
         # @raise [ArgumentError] with appropriate message
         # @return [void]
-        private def self.raise_being_between_argument_error!: (Array[String] original_caller, (Date | DateTime | String | Time)? after, (Date | DateTime | String | Time)? before, Hash[Symbol, (Date | DateTime | String | Time)?] options) -> void
+        private def self.raise_being_between_argument_error!: (Array[String] original_caller, (Date | DateTime | Integer | String | Time)? after, (Date | DateTime | Integer | String | Time)? before, Hash[Symbol, (Date | DateTime | Integer | String | Time)?] options) -> void
 
         # Constrain the value to be chronologically after a given date/time
         #
-        # @param other [Date, DateTime, String, Time] the date/time to compare against
+        # @param other [Date, DateTime, Integer, String, Time] the date/time to compare against
         # @return [self] self for method chaining
-        def being_after: (Date | DateTime | String | Time other) -> Behavior
+        def being_after: (Date | DateTime | Integer | String | Time other) -> Behavior
 
         alias after being_after
 
         # Constrain the value to be chronologically before a given date/time
         #
-        # @param other [Date, DateTime, String, Time] the date/time to compare against
+        # @param other [Date, DateTime, Integer, String, Time] the date/time to compare against
         # @return [self] self for method chaining
-        def being_before: (Date | DateTime | String | Time other) -> Behavior
+        def being_before: (Date | DateTime | Integer | String | Time other) -> Behavior
 
         alias before being_before
 
         # Constrain the value to be chronologically between two date/times
         #
-        # @param after [Date, DateTime, String, Time] the earliest allowed date/time
-        # @param before [Date, DateTime, String, Time] the latest allowed date/time
+        # @param after [Date, DateTime, Integer, String, Time] the earliest allowed date/time
+        # @param before [Date, DateTime, Integer, String, Time] the latest allowed date/time
         # @param options [Hash] alternative way to specify after/before via keywords
-        # @option options [Date, DateTime, String, Time] :after earliest allowed date/time
-        # @option options [Date, DateTime, String, Time] :before latest allowed date/time
+        # @option options [Date, DateTime, Integer, String, Time] :after earliest allowed date/time
+        # @option options [Date, DateTime, Integer, String, Time] :before latest allowed date/time
         # @return [self] self for method chaining
-        def being_between: (Date | DateTime | String | Time after, Date | DateTime | String | Time before) -> Behavior
+        def being_between: (Date | DateTime | Integer | String | Time after, Date | DateTime | Integer | String | Time before) -> Behavior
 
         alias between being_between
 
         # Constrain the value to be exactly equal to a given date/time
         #
-        # @param other [Date, DateTime, String, Time] the date/time to compare against
+        # @param other [Date, DateTime, Integer, String, Time] the date/time to compare against
         # @return [self] self for method chaining
-        def being_equal_to: (Date | DateTime | String | Time other) -> Behavior
+        def being_equal_to: (Date | DateTime | Integer | String | Time other) -> Behavior
 
         alias at being_equal_to
 
         # Constrain the value to be chronologically on or after a given date/time
         #
-        # @param other [Date, DateTime, String, Time] the date/time to compare against
+        # @param other [Date, DateTime, Integer, String, Time] the date/time to compare against
         # @return [self] self for method chaining
-        def being_on_or_after: (Date | DateTime | String | Time other) -> Behavior
+        def being_on_or_after: (Date | DateTime | Integer | String | Time other) -> Behavior
 
         alias at_or_after being_on_or_after
 
@@ -100,9 +112,9 @@ module Domainic
 
         # Constrain the value to be chronologically on or before a given date/time
         #
-        # @param other [Date, DateTime, String, Time] the date/time to compare against
+        # @param other [Date, DateTime, Integer, String, Time] the date/time to compare against
         # @return [self] self for method chaining
-        def being_on_or_before: (Date | DateTime | String | Time other) -> Behavior
+        def being_on_or_before: (Date | DateTime | Integer | String | Time other) -> Behavior
 
         alias at_or_before being_on_or_before
 

data/sig/domainic/type/behavior.rbs

@@ -125,6 +125,15 @@ module Domainic
       # @return [void]
       def initialize: (**untyped) -> void
 
+      # Add a custom constraint to this type.
+      #
+      # @param proc [Proc] the constraint to add
+      # @param accessor [Type::Accessor] the accessor to constrain
+      # @param options [Hash{Symbol => Object}] additional constraint options
+      #
+      # @return [self] for chaining constraints
+      def satisfies: (Proc proc, ?accessor: Type::accessor, **untyped options) -> Behavior
+
       # Convert the type to a String representation.
       #
       # @return [String] The type as a String

data/sig/domainic/type/constraint/constraints/predicate_constraint.rbs

@@ -0,0 +1,56 @@
+module Domainic
+  module Type
+    module Constraint
+      # A constraint for validating values using a custom predicate function.
+      #
+      # This constraint allows for custom validation logic through a Proc that returns
+      # a boolean value. It enables users to create arbitrary validation rules when
+      # the built-in constraints don't cover their specific needs.
+      #
+      # @example Basic usage
+      #   constraint = PredicateConstraint.new(:self, ->(x) { x > 0 })
+      #   constraint.satisfied?(1)   # => true
+      #   constraint.satisfied?(-1)  # => false
+      #
+      # @example With custom violation description
+      #   constraint = PredicateConstraint.new(:self, ->(x) { x > 0 }, violation_description: 'not greater than zero')
+      #   constraint.satisfied?(-1)  # => false
+      #   constraint.short_violation_description  # => "not greater than zero"
+      #
+      # @author {https://aaronmallen.me Aaron Allen}
+      # @since 0.1.0
+      class PredicateConstraint
+        type expected = ^(untyped value) -> bool
+
+        type options = { ?violation_description: String }
+
+        include Behavior[expected, untyped, options]
+
+        # Get a description of what the constraint expects.
+        #
+        # @note This constraint type does not provide a description as predicates are arbitrary.
+        #
+        # @return [String] an empty string
+        def short_description: ...
+
+        # Get a description of why the predicate validation failed.
+        #
+        # @return [String] the custom violation description if provided
+        def short_violation_description: ...
+
+        # Check if the value satisfies the predicate function.
+        #
+        # @return [Boolean] true if the predicate returns true
+        def satisfies_constraint?: ...
+
+        # Validate that the expectation is a Proc.
+        #
+        # @param expectation [Object] the expectation to validate
+        #
+        # @raise [ArgumentError] if the expectation is not a Proc
+        # @return [void]
+        def validate_expectation!: ...
+      end
+    end
+  end
+end

data/sig/domainic/type/definitions.rbs

@@ -64,6 +64,29 @@ module Domainic
 
       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
+      def _BigDecimal: (**__todo__ options) -> BigDecimalType
+
+      # 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)
+      def _BigDecimal?: (**__todo__ options) -> UnionType
+
       # Creates a Boolean type.
       #
       # Represents a union of TrueClass and FalseClass.
@@ -111,6 +134,28 @@ module Domainic
 
       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
+      def _Complex: (**__todo__ options) -> ComplexType
+
+      # 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)
+      def _Complex?: (**__todo__ options) -> UnionType
+
       # Creates a DateType instance.
       #
       # DateType restricts values to valid `Date` objects.
@@ -159,6 +204,34 @@ module Domainic
       # @return [Domainic::Type::UnionType] the created type (DateTimeType or NilClass)
       def _DateTime?: (**__todo__ options) -> UnionType
 
+      # 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
+      def _DateTimeString: (**__todo__ options) -> DateTimeStringType
+
+      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)
+      def _DateTimeString?: (**__todo__ options) -> UnionType
+
+      alias _DateString? _DateTimeString?
+
       # Creates a DuckType instance.
       #
       # DuckType allows specifying behavior based on method availability.
@@ -395,6 +468,74 @@ module Domainic
 
       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
+      def _Range: (**__todo__ options) -> RangeType
+
+      # 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)
+      def _Range?: (**__todo__ options) -> UnionType
+
+      # 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
+      def _Rational: (**__todo__ options) -> RationalType
+
+      # 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)
+      def _Rational?: (**__todo__ options) -> UnionType
+
+      # 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
+      def _Set: (**__todo__ options) -> SetType
+
+      # 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)
+      def _Set?: (**__todo__ options) -> UnionType
+
       # Creates a StringType instance.
       #
       # @example
@@ -467,6 +608,30 @@ module Domainic
       # @return [Domainic::Type::UnionType] the created type (TimeType or NilClass)
       def _Time?: (**__todo__ options) -> UnionType
 
+      # 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
+      def _Timestamp: (**__todo__ options) -> TimestampType
+
+      # 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)
+      def _Timestamp?: (**__todo__ options) -> UnionType
+
       # Creates a URIType instance.
       #
       # URIType restricts values to valid URIs.

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

@@ -0,0 +1,96 @@
+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
+      extend Behavior::ClassMethods
+
+      include Behavior
+
+      include Behavior::NumericBehavior
+
+      # 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
+      def being_divisible_by: (*Numeric arguments, ?divisor: Numeric, ?tolerance: Numeric) -> Behavior
+
+      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
+      def being_even: () -> Behavior
+
+      alias even being_even
+
+      alias not_being_odd being_even
+
+      # Constrain the Complex real to be negative.
+      #
+      # @return [self] the current instance for chaining
+      def being_negative: () -> Behavior
+
+      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
+      def being_odd: () -> Behavior
+
+      alias odd being_odd
+
+      alias not_being_even being_odd
+
+      # Constrain the Complex real to be positive.
+      #
+      # @return [self] the current instance for chaining
+      def being_positive: () -> Behavior
+
+      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
+      def not_being_divisible_by: (*Numeric arguments, ?divisor: Numeric, ?tolerance: Numeric) -> Behavior
+
+      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/sig/domainic/type/types/core/range_type.rbs

@@ -0,0 +1,41 @@
+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
+      extend Behavior::ClassMethods
+
+      include Behavior
+
+      include Behavior::EnumerableBehavior
+    end
+  end
+end

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

@@ -0,0 +1,32 @@
+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
+      extend Behavior::ClassMethods
+
+      include Behavior
+
+      include Behavior::NumericBehavior
+    end
+  end
+end

data/sig/domainic/type/types/core_extended/big_decimal_type.rbs

@@ -0,0 +1,27 @@
+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
+      extend Behavior::ClassMethods
+
+      include Behavior
+
+      include Behavior::NumericBehavior
+    end
+  end
+end