# frozen_string_literal: true
# typed: true

module T::Types
  class TypedRange < TypedEnumerable
    def underlying_class
      Range
    end

    # overrides Base
    def name
      "T::Range[#{type.name}]"
    end

    # overrides Base
    def recursively_valid?(obj)
      obj.is_a?(Range) && super
    end

    # overrides Base
    def valid?(obj)
      obj.is_a?(Range)
    end

    def new(...)
      Range.new(...)
    end

    class Untyped < TypedRange
      def initialize
        super(T::Types::Untyped::Private::INSTANCE)
      end

      def valid?(obj)
        obj.is_a?(Range)
      end
    end
  end
end
