types 0.2.0 → 0.4.0

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(&: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/named.rb

@@ -0,0 +1,106 @@
+# frozen_string_literal: true
+
+# Released under the MIT License.
+# Copyright, 2025, by Samuel Williams.
+
+require_relative "generic"
+
+module Types
+	# Represents a named type that may not be defined yet.
+	#
+	# ```ruby
+	# type = Types::Named("CustomType")
+	# type.parse(value) # => value (pass-through)
+	# ```
+	class Named < Module
+		include Generic
+		
+		# Initialize with a type name.
+		# @parameter name [String] The name of the type.
+		def initialize(name)
+			@name = name
+		end
+		
+		# @returns [String] The name of the type.
+		attr :name
+		
+		# @returns [Boolean] whether the type is absolute.
+		def absolute?
+			@name.start_with?("::")
+		end
+		
+		# @returns [Boolean] whether the type is relative.
+		def relative?
+			!absolute?
+		end
+		
+		# Parses the input by passing it through unchanged.
+		# @parameter input [Object] The value to parse.
+		# @returns [Object] The input value unchanged.
+		def parse(input)
+			if resolved = self.resolve
+				if resolved.respond_to?(:load)
+					return resolved.load(input)
+				elsif resolved.respond_to?(:parse)
+					return resolved.parse(input)
+				else
+					raise ArgumentError, "Type #{@name} does not implement .load or .parse!"
+				end
+			else
+				raise ArgumentError, "Unknown type: #{@name}"
+			end
+		end
+		
+		# Resolves the named type to the actual Ruby type if it exists.
+		# @returns [Class | Module | Nil] The resolved Ruby type or nil if not found.
+		def resolve
+			Object.const_get(@name)
+		rescue NameError
+			nil
+		end
+		
+		# @returns [String] the RBS type string using the name.
+		def to_rbs
+			@name
+		end
+		
+		# @returns [String] the string representation of the named type.
+		def to_s
+			@name
+		end
+		
+		def inspect
+			"<#{self.class} #{@name}>"
+		end
+		
+		# @returns [Boolean] true if other is a Named type with the same name.
+		def == other
+			other.is_a?(Named) && @name == other.name
+		end
+		
+		# @returns [Integer] hash code based on the name.
+		def hash
+			@name.hash
+		end
+		
+		# @returns [Boolean] whether this type is composite.
+		def composite?
+			false
+		end
+		
+		# Handles missing constants by creating nested Named types.
+		# This allows parsing of nested type signatures like Foo::Bar.
+		# @parameter name [Symbol] The name of the missing constant.
+		# @returns [Named] A Named type representing the nested unknown type.
+		def const_missing(name)
+			Named.new("#{@name}::#{name}")
+		end
+	end
+	
+	# Constructs a {Named} type with the given name.
+	# @parameter name [String] The name of the type.
+	# @returns [Named] a new {Named} type.
+	def self.Named(name)
+		Named.new(name)
+	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,16 @@ 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
+		
+		# Resolves to the actual Ruby NilClass.
+		# @returns [Class] The NilClass.
+		def self.resolve
+			::NilClass
+		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

data/lib/types/string.rb

@@ -1,33 +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 string type.
+	#
+	# ```ruby
+	# type = Types::String
+	# type.parse(42) # => "42"
+	# ```
 	module String
 		extend Generic
 		
+		# Parses the input as a string.
+		# @parameter input [Object] The value to parse.
+		# @returns [String] The parsed string value.
 		def self.parse(input)
 			input.to_s
 		end
+		
+		# @returns [String] the RBS type string, e.g. `String`.
+		def self.to_rbs
+			"String"
+		end
+		
+		# Resolves to the actual Ruby String class.
+		# @returns [Class] The String class.
+		def self.resolve
+			::String
+		end
 	end
 end

data/lib/types/symbol.rb

@@ -1,33 +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 symbol type.
+	#
+	# ```ruby
+	# type = Types::Symbol
+	# type.parse("foo") # => :foo
+	# ```
 	module Symbol
 		extend Generic
 		
+		# Parses the input as a symbol.
+		# @parameter input [Object] The value to parse.
+		# @returns [Symbol] The parsed symbol value.
 		def self.parse(input)
 			input.to_sym
 		end
+		
+		# @returns [String] the RBS type string, e.g. `Symbol`.
+		def self.to_rbs
+			"Symbol"
+		end
+		
+		# Resolves to the actual Ruby Symbol class.
+		# @returns [Class] The Symbol class.
+		def self.resolve
+			::Symbol
+		end
 	end
 end

data/lib/types/tuple.rb

@@ -1,42 +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 'json'
+require_relative "generic"
+require "json"
 
 module Types
+	# Represents a tuple type with specific item types.
+	#
+	# ```ruby
+	# type = Types::Tuple(Types::String, Types::Integer)
+	# type.parse(["foo", "42"]) # => ["foo", 42]
+	# ```
 	class Tuple
 		include Generic
 		
+		# @parameter item_types [Array(Type)] The types of the tuple elements.
 		def initialize(item_types)
 			@item_types = item_types
 		end
 		
+		# @returns [Array(Type)] The types of the tuple elements.
 		attr :item_types
 		
+		# @returns [Boolean] true if this is a composite type.
 		def composite?
 			true
 		end
 		
+		# Parses the input as a tuple with the specified item types.
+		# @parameter input [Object] The value to parse.
+		# @returns [Array] The parsed tuple.
+		# @raises [ArgumentError] if the input cannot be converted to a tuple.
 		def parse(input)
 			case input
 			when ::String
@@ -48,10 +44,22 @@ module Types
 			end
 		end
 		
+		# Resolves to the actual Ruby Array class, since there is no direct support for tuples in Ruby.
+		# @returns [Class] The Array class.
+		def resolve
+			::Array
+		end
+		
+		# @returns [String] the string representation of the tuple type.
 		def to_s
 			"Tuple(#{@item_types.join(', ')})"
 		end
 		
+		# @returns [String] the RBS type string, e.g. `[String, Integer]`.
+		def to_rbs
+			"[#{@item_types.map(&:to_rbs).join(', ')}]"
+		end
+		
 		private
 		
 		def parse_string(input)
@@ -63,6 +71,9 @@ module Types
 		end
 	end
 	
+	# Constructs a {Tuple} type from the given item types.
+	# @parameter item_types [Array(Type)] The types of the tuple elements.
+	# @returns [Tuple] a new {Tuple} type.
 	def self.Tuple(*item_types)
 		Tuple.new(item_types)
 	end

data/lib/types/version.rb

@@ -1,25 +1,8 @@
 # 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.
 
 module Types
-	VERSION = "0.2.0"
+	VERSION = "0.4.0"
 end

data/lib/types.rb

@@ -1,52 +1,66 @@
 # 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 'types/version'
+require_relative "types/version"
 
-require_relative 'types/any'
-require_relative 'types/array'
-require_relative 'types/block'
-require_relative 'types/boolean'
-require_relative 'types/class'
-require_relative 'types/decimal'
-require_relative 'types/float'
-require_relative 'types/hash'
-require_relative 'types/integer'
-require_relative 'types/lambda'
-require_relative 'types/method'
-require_relative 'types/nil'
-require_relative 'types/numeric'
-require_relative 'types/string'
-require_relative 'types/symbol'
-require_relative 'types/tuple'
+require_relative "types/any"
+require_relative "types/array"
+require_relative "types/block"
+require_relative "types/boolean"
+require_relative "types/class"
+require_relative "types/decimal"
+require_relative "types/float"
+require_relative "types/hash"
+require_relative "types/integer"
+require_relative "types/interface"
+require_relative "types/lambda"
+require_relative "types/method"
+require_relative "types/named"
+require_relative "types/nil"
+require_relative "types/numeric"
+require_relative "types/string"
+require_relative "types/symbol"
+require_relative "types/tuple"
 
+# @namespace
 module Types
-	VALID_SIGNATURE = /\A[a-zA-Z\(\):, |]+\z/
+	# The main module for the types library.
+	#
+	# Provides parsing and construction of type signatures.
+	#
+	# ```ruby
+	# Types.parse("Array(String)") # => Types::Array(Types::String)
+	# ```
+	VALID_SIGNATURE = /\A[a-zA-Z0-9\(\):,_|\s]+\z/
 	
+	# Parses a type signature string and returns the corresponding type instance.
+	# @parameter signature [String] The type signature to parse.
+	# @returns [Object] The type instance.
+	# @raises [ArgumentError] if the signature is invalid.
 	def self.parse(signature)
 		if signature =~ VALID_SIGNATURE
-			eval(signature, binding)
+			# Replace leading :: with Top:: to handle absolute type paths
+			normalized_signature = signature.gsub(/(?<=\A|\W)::/, "TOP::")
+			eval(normalized_signature, binding)
 		else
 			raise ArgumentError, "Invalid type signature: #{signature.inspect}!"
 		end
 	end
+	
+	# Handles absolute type paths by creating absolute Named types for unknown types.
+	module TOP
+		def self.const_missing(name)
+			Named.new("::#{name}")
+		end
+	end
+	
+	# Handles missing constants by creating Named types for unknown types.
+	# This allows parsing of type signatures with unknown types.
+	# @parameter name [Symbol] The name of the missing constant.
+	# @returns [Named] A Named type representing the unknown type.
+	def self.const_missing(name)
+		Named(name.to_s)
+	end
 end

data/license.md

@@ -0,0 +1,21 @@
+# MIT License
+
+Copyright, 2022-2025, by Samuel Williams.  
+
+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.