types 0.2.0 → 0.3.0

data/lib/types/decimal.rb

@@ -1,33 +1,25 @@
 # frozen_string_literal: true
 
-# Copyright, 2020, by Samuel G. D. Williams. <http://www.codeotaku.com>
-# 
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the "Software"), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-# 
-# The above copyright notice and this permission notice shall be included in
-# all copies or substantial portions of the Software.
-# 
-# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-# THE SOFTWARE.
+# Released under the MIT License.
+# Copyright, 2022-2025, by Samuel Williams.
 
-require_relative 'generic'
-
-require 'bigdecimal'
+require_relative "generic"
+require "bigdecimal"
 
 module Types
+	# Represents a decimal type using BigDecimal.
+	#
+	# ```ruby
+	# type = Types::Decimal
+	# type.parse("3.14") # => #<BigDecimal ...>
+	# ```
 	module Decimal
 		extend Generic
 		
+		# Parses the input as a BigDecimal.
+		# @parameter input [Object] The value to parse.
+		# @returns [BigDecimal] The parsed decimal value.
+		# @raises [ArgumentError] if the input cannot be converted to a BigDecimal.
 		def self.parse(input)
 			case input
 			when ::Float

data/lib/types/float.rb

@@ -1,33 +1,31 @@
 # frozen_string_literal: true
 
-# Copyright, 2020, by Samuel G. D. Williams. <http://www.codeotaku.com>
-# 
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the "Software"), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-# 
-# The above copyright notice and this permission notice shall be included in
-# all copies or substantial portions of the Software.
-# 
-# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-# THE SOFTWARE.
+# Released under the MIT License.
+# Copyright, 2022-2025, by Samuel Williams.
 
-require_relative 'generic'
+require_relative "generic"
 
 module Types
+	# Represents a floating point type.
+	#
+	# ```ruby
+	# type = Types::Float
+	# type.parse("3.14") # => 3.14
+	# ```
 	module Float
 		extend Generic
 		
+		# Parses the input as a float.
+		# @parameter input [Object] The value to parse.
+		# @returns [Float] The parsed float value.
+		# @raises [ArgumentError] if the input cannot be converted to a float.
 		def self.parse(input)
 			Float(input)
 		end
+		
+		# @returns [String] the RBS type string, e.g. `Float`.
+		def self.to_rbs
+			"Float"
+		end
 	end
 end

data/lib/types/generic.rb

@@ -1,43 +1,38 @@
 # frozen_string_literal: true
 
-# Copyright, 2020, by Samuel G. D. Williams. <http://www.codeotaku.com>
-# 
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the "Software"), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-# 
-# The above copyright notice and this permission notice shall be included in
-# all copies or substantial portions of the Software.
-# 
-# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-# THE SOFTWARE.
+# Released under the MIT License.
+# Copyright, 2022-2025, by Samuel Williams.
 
-require_relative 'any'
+require_relative "any"
 
 module Types
 	# An extension module which allows constructing `Any` types using the `|` operator.
+	#
+	# ```ruby
+	# type = Types::String | Types::Integer
+	# ```
 	module Generic
 		# Create an instance of `Any` with the arguments as types.
 		# @parameter other [Type] the alternative type to match.
+		# @returns [Any] a new {Any} type representing the union.
 		def | other
 			Any.new([self, other])
 		end
 		
-		# Whether a type contains nested types or not.
+		# @returns [String] the RBS representation of this type as a string.
+		# By default, this is the same as to_s, but can be overridden by composite types.
+		def to_rbs
+			to_s
+		end
+		
+		# @returns [Boolean] whether a type contains nested types or not.
 		def composite?
 			false
 		end
 		
+		# @returns [String] the string representation of the type.
 		def to_s
-			self.name.rpartition('::').last
+			self.name.rpartition("::").last
 		end
 	end
 end

data/lib/types/hash.rb

@@ -1,40 +1,36 @@
 # frozen_string_literal: true
 
-# Copyright, 2020, by Samuel G. D. Williams. <http://www.codeotaku.com>
-# 
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the "Software"), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-# 
-# The above copyright notice and this permission notice shall be included in
-# all copies or substantial portions of the Software.
-# 
-# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-# THE SOFTWARE.
+# Released under the MIT License.
+# Copyright, 2022-2025, by Samuel Williams.
 
-require_relative 'generic'
+require_relative "generic"
 
 module Types
+	# Represents a hash type with key and value types.
+	#
+	# ```ruby
+	# type = Types::Hash(Types::String, Types::Integer)
+	# type.parse({"foo" => "42"}) # => {"foo" => 42}
+	# ```
 	class Hash
 		include Generic
 		
+		# @parameter key_type [Type] The type of the hash keys.
+		# @parameter value_type [Type] The type of the hash values.
 		def initialize(key_type, value_type)
 			@key_type = key_type
 			@value_type = value_type
 		end
 		
+		# @returns [Boolean] true if this is a composite type.
 		def composite?
 			true
 		end
 		
+		# Parses the input as a hash with the specified key and value types.
+		# @parameter input [Object] The value to parse.
+		# @returns [Hash] The parsed hash.
+		# @raises [ArgumentError] if the input cannot be converted to a hash.
 		def parse(input)
 			case input
 			when ::String
@@ -46,10 +42,16 @@ module Types
 			end
 		end
 		
+		# @returns [String] the string representation of the hash type.
 		def to_s
 			"Hash(#{@key_type}, #{@value_type})"
 		end
 		
+		# @returns [String] the RBS type string, e.g. `{ String => Integer }`.
+		def to_rbs
+			"{ #{@key_type.to_rbs} => #{@value_type.to_rbs} }"
+		end
+		
 		private
 		
 		def parse_string(input)
@@ -61,6 +63,10 @@ module Types
 		end
 	end
 	
+	# Constructs a {Hash} type from the given key and value types.
+	# @parameter key_type [Type] The type of the hash keys.
+	# @parameter value_type [Type] The type of the hash values.
+	# @returns [Hash] a new {Hash} type.
 	def self.Hash(key_type, value_type)
 		Hash.new(key_type, value_type)
 	end

data/lib/types/integer.rb

@@ -1,33 +1,31 @@
 # frozen_string_literal: true
 
-# Copyright, 2020, by Samuel G. D. Williams. <http://www.codeotaku.com>
-# 
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the "Software"), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-# 
-# The above copyright notice and this permission notice shall be included in
-# all copies or substantial portions of the Software.
-# 
-# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-# THE SOFTWARE.
+# Released under the MIT License.
+# Copyright, 2022-2025, by Samuel Williams.
 
-require_relative 'generic'
+require_relative "generic"
 
 module Types
+	# Represents an integer type.
+	#
+	# ```ruby
+	# type = Types::Integer
+	# type.parse("42") # => 42
+	# ```
 	module Integer
 		extend Generic
 		
+		# Parses the input as an integer.
+		# @parameter input [Object] The value to parse.
+		# @returns [Integer] The parsed integer value.
+		# @raises [ArgumentError] if the input cannot be converted to an integer.
 		def self.parse(input)
 			Integer(input)
 		end
+		
+		# @returns [String] the RBS type string, e.g. `Integer`.
+		def self.to_rbs
+			"Integer"
+		end
 	end
 end

data/lib/types/interface.rb

@@ -0,0 +1,100 @@
+# frozen_string_literal: true
+
+# Released under the MIT License.
+# Copyright, 2024-2025, by Samuel Williams.
+
+require_relative "generic"
+require_relative "method"
+require_relative "any"
+
+module Types
+	# Represents an interface type, defined by required method names.
+	#
+	# ```ruby
+	# type = Types::Interface(
+	# 	foo: Method.new(Any, returns: Any),
+	# 	bar: Method.new(Any, returns: Any)
+	# )
+	# type.valid?(obj) # => true if obj responds to :foo and :bar
+	# ```
+	class Interface
+		extend Generic
+		
+		# @parameter methods [Array(Symbol)] The required method names.
+		def initialize(methods)
+			@methods = methods
+		end
+		
+		# @returns [Array(Symbol)] The required method names.
+		attr :methods
+		
+		# @returns [Boolean] true if this is a composite type.
+		def composite?
+			true
+		end
+		
+		# @returns [String] the string representation of the interface type.
+		def to_s
+			buffer = ::String.new
+			
+			buffer << "Interface("
+			
+			if @methods&.any?
+				first = true
+				@methods.each do |name, method|
+					if first
+						first = false
+					else
+						buffer << ", "
+					end
+					
+					buffer << "#{name}: #{method}"
+				end
+			end
+			
+			buffer << ")"
+			
+			return buffer
+		end
+		
+		# Checks if the given instance responds to all required methods.
+		# @parameter instance [Object] The object to check.
+		# @returns [Boolean] true if the instance responds to all methods.
+		def valid?(instance)
+			@methods.all? do |name, method|
+				instance.respond_to?(name)
+			end
+		end
+		
+		# Parses the input as an object and checks if it matches the interface.
+		# @parameter input [Object] The value to parse.
+		# @returns [Object] the input if it matches the interface.
+		# @raises [ArgumentError] if the input does not match the interface.
+		def parse(input)
+			case input
+			when ::String
+				instance = eval(input)
+			else
+				instance = input
+			end
+			
+			if valid?(instance)
+				return instance
+			else
+				raise ArgumentError, "Cannot coerce #{input.inspect} into #{self}!"
+			end
+		end
+	end
+	
+	# Constructs an {Interface} type from the given method names.
+	# @parameter methods [Array(Symbol)] The required method names.
+	# @returns [Interface] a new {Interface} type.
+	def self.Interface(*names, **methods)
+		# This is a deprecated way to create an interfaces with names only. Ideally, we actually need to know the methods.
+		names.each do |name|
+			methods[name.to_sym] = Method.new(Any(), [], Any())
+		end
+		
+		Interface.new(methods)
+	end
+end

data/lib/types/lambda.rb

@@ -1,44 +1,38 @@
 # frozen_string_literal: true
 
-# Copyright, 2020, by Samuel G. D. Williams. <http://www.codeotaku.com>
-# 
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the "Software"), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-# 
-# The above copyright notice and this permission notice shall be included in
-# all copies or substantial portions of the Software.
-# 
-# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-# THE SOFTWARE.
+# Released under the MIT License.
+# Copyright, 2022-2025, by Samuel Williams.
 
-require_relative 'generic'
+require_relative "generic"
 
 module Types
-	# A lambda that represents a function (or callable object).
+	# Represents a lambda (function) type with argument and return types.
+	#
+	# ```ruby
+	# type = Types::Lambda(Types::String, Types::Integer, returns: Types::String)
+	# type.to_s # => "Lambda(String, Integer, returns: String)"
+	# ```
 	class Lambda
 		include Generic
 		
+		# @parameter argument_types [Array(Type)] The types of the lambda arguments.
+		# @parameter return_type [Type | Nil] The return type of the lambda.
 		def initialize(argument_types, return_type)
 			@argument_types = argument_types
 			@return_type = return_type
 		end
 		
+		# @returns [Array(Type)] The types of the lambda arguments.
 		attr :argument_types
+		# @returns [Type | Nil] The return type of the lambda.
 		attr :return_type
 		
+		# @returns [Boolean] true if this is a composite type.
 		def composite?
 			true
 		end
 		
+		# @returns [String] the string representation of the lambda type.
 		def to_s
 			if @return_type
 				"Lambda(#{@argument_types.join(', ')}, returns: #{@return_type})"
@@ -47,6 +41,10 @@ module Types
 			end
 		end
 		
+		# Parses the input as a lambda/proc.
+		# @parameter input [Object] The value to parse.
+		# @returns [Proc] the parsed lambda/proc.
+		# @raises [ArgumentError] if the input cannot be converted to a lambda.
 		def parse(input)
 			case input
 			when ::String
@@ -59,6 +57,10 @@ module Types
 		end
 	end
 	
+	# Constructs a {Lambda} type from the given argument and return types.
+	# @parameter argument_types [Array(Type)] The types of the lambda arguments.
+	# @parameter returns [Type | Nil] The return type of the lambda.
+	# @returns [Lambda] a new {Lambda} type.
 	def self.Lambda(*argument_types, returns: nil)
 		Lambda.new(argument_types, returns)
 	end

data/lib/types/method.rb

@@ -1,46 +1,42 @@
 # frozen_string_literal: true
 
-# Copyright, 2020, by Samuel G. D. Williams. <http://www.codeotaku.com>
-# 
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the "Software"), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-# 
-# The above copyright notice and this permission notice shall be included in
-# all copies or substantial portions of the Software.
-# 
-# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-# THE SOFTWARE.
+# Released under the MIT License.
+# Copyright, 2022-2025, by Samuel Williams.
 
-require_relative 'generic'
+require_relative "generic"
 
 module Types
-	# A method type attached to a receiver type.
+	# Represents a method type attached to a receiver type.
+	#
+	# ```ruby
+	# type = Types::Method(Types::String, Types::Integer, returns: Types::String)
+	# type.to_s # => "Method(String, Integer, returns: String)"
+	# ```
 	class Method
 		include Generic
 		
+		# @parameter receiver_type [Type] The type of the receiver.
+		# @parameter argument_types [Array(Type)] The types of the method arguments.
+		# @parameter return_type [Type | Nil] The return type of the method.
 		def initialize(receiver_type, argument_types, return_type)
 			@receiver_type = receiver_type
 			@argument_types = argument_types
 			@return_type = return_type
 		end
 		
+		# @returns [Type] The type of the receiver.
 		attr :receiver_type
+		# @returns [Array(Type)] The types of the method arguments.
 		attr :argument_types
+		# @returns [Type | Nil] The return type of the method.
 		attr :return_type
 		
+		# @returns [Boolean] true if this is a composite type.
 		def composite?
 			true
 		end
 		
+		# @returns [String] the string representation of the method type.
 		def to_s
 			buffer = ::String.new
 			
@@ -59,6 +55,18 @@ module Types
 			return buffer
 		end
 		
+		# @returns [String] the RBS type string, e.g. `Method[Receiver, (Args) -> Return]`.
+		def to_rbs
+			argument_types = @argument_types.map {|t| t.to_rbs}.join(", ")
+			return_type = @return_type ? @return_type.to_rbs : "void"
+			
+			return "Method[#{@receiver_type}, (#{argument_types}) -> #{return_type}]"
+		end
+		
+		# Parses the input as a method or proc.
+		# @parameter input [Object] The value to parse.
+		# @returns [UnboundMethod, Proc] the parsed method or proc.
+		# @raises [ArgumentError] if the input cannot be converted to a method.
 		def parse(input)
 			case input
 			when ::String
@@ -71,7 +79,12 @@ module Types
 		end
 	end
 	
+	# Constructs a {Method} type from the given receiver, argument, and return types.
+	# @parameter receiver_type [Type] The type of the receiver.
+	# @parameter argument_types [Array(Type)] The types of the method arguments.
+	# @parameter returns [Type | Nil] The return type of the method.
+	# @returns [Method] a new {Method} type.
 	def self.Method(receiver_type, *argument_types, returns: nil)
 		Method.new(receiver_type, argument_types, returns)
 	end
-end
+end

data/lib/types/nil.rb

@@ -1,31 +1,24 @@
 # frozen_string_literal: true
 
-# Copyright, 2020, by Samuel G. D. Williams. <http://www.codeotaku.com>
-# 
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the "Software"), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-# 
-# The above copyright notice and this permission notice shall be included in
-# all copies or substantial portions of the Software.
-# 
-# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-# THE SOFTWARE.
+# Released under the MIT License.
+# Copyright, 2022-2025, by Samuel Williams.
 
-require_relative 'generic'
+require_relative "generic"
 
 module Types
+	# Represents the nil type.
+	#
+	# ```ruby
+	# type = Types::Nil
+	# type.parse("nil") # => nil
+	# ```
 	module Nil
 		extend Generic
 		
+		# Parses the input as nil if it matches.
+		# @parameter input [Object] The value to parse.
+		# @returns [NilClass] nil if the input matches.
+		# @raises [ArgumentError] if the input cannot be converted to nil.
 		def self.parse(input)
 			if input =~ /nil|null/i
 				return nil
@@ -33,5 +26,10 @@ module Types
 				raise ArgumentError, "Cannot coerce #{input.inspect} into Nil!"
 			end
 		end
+		
+		# @returns [String] the RBS type string, e.g. `nil`.
+		def self.to_rbs
+			"nil"
+		end
 	end
 end

data/lib/types/numeric.rb

@@ -1,31 +1,24 @@
 # frozen_string_literal: true
 
-# Copyright, 2020, by Samuel G. D. Williams. <http://www.codeotaku.com>
-# 
-# Permission is hereby granted, free of charge, to any person obtaining a copy
-# of this software and associated documentation files (the "Software"), to deal
-# in the Software without restriction, including without limitation the rights
-# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, subject to the following conditions:
-# 
-# The above copyright notice and this permission notice shall be included in
-# all copies or substantial portions of the Software.
-# 
-# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-# THE SOFTWARE.
+# Released under the MIT License.
+# Copyright, 2022-2025, by Samuel Williams.
 
-require_relative 'generic'
+require_relative "generic"
 
 module Types
+	# Represents a numeric type (integer or float).
+	#
+	# ```ruby
+	# type = Types::Numeric
+	# type.parse("42")   # => 42
+	# type.parse("3.14") # => 3.14
+	# ```
 	module Numeric
 		extend Generic
 		
+		# Parses the input as a numeric value (integer or float).
+		# @parameter input [Object] The value to parse.
+		# @returns [Numeric] The parsed numeric value.
 		def self.parse(input)
 			case input
 			when Numeric then input