types 0.1.3 → 0.2.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 220aa1748f5f534bf7f658baf0aa65a07b699c97ae8267cf4e5da08e2958159b
+  data.tar.gz: 9693de18eaf9afb2960cae708589869ef66f6be626db835cb24dffd56664ba93
+SHA512:
+  metadata.gz: 9a29b004b8e2a61e8f1e56b8fe7e698b36bdaa4f155920b0eae6ad7f64ee974fdb1491703be3b82b583b93fa0bc926a3c4cd888b684fd1dc983c1107365685d6
+  data.tar.gz: 2b7fbe1429c936cb15ffe8854aaab3aa4f7f9079db008453815bb2ff45d5e4bdf854753984be6e5e1533d281a171eb5880e4698db5ea58ae0812c6167a7ac2fb

data/lib/types/any.rb

@@ -0,0 +1,87 @@
+# 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.
+
+module Types
+	# An ordered list of types. The first type to match the input is used.
+	#
+	#	```ruby
+	#	type = Bake::Types::Any(Bake::Types::String, Bake::Types::Integer)
+	#	```
+	#
+	class Any
+		# Initialize the instance with an array of types.
+		# @parameter types [Array] the array of types.
+		def initialize(types)
+			@types = types
+		end
+		
+		# Create a copy of the current instance with the other type appended.
+		# @parameter other [Type] the type instance to append.
+		def | other
+			self.class.new([*@types, other])
+		end
+		
+		# Whether any of the listed types is a composite type.
+		# @returns [Boolean] true if any of the listed types is `composite?`.
+		def composite?
+			@types.any?{|type| type.composite?}
+		end
+		
+		# Parse an input string, trying the listed types in order, returning the first one which doesn't raise an exception.
+		# @parameter input [String] the input to parse, e.g. `"5"`.
+		def parse(input)
+			@types.each do |type|
+				return type.parse(input)
+			rescue => error
+				last_error = error
+			end
+			
+			if last_error
+				raise last_error
+			else
+				raise ArgumentError, "Unable to parse input #{input.inspect}!"
+			end
+		end
+		
+		# As a class type, accepts any value.
+		def self.parse(value)
+			value
+		end
+		
+		# Generate a readable string representation of the listed types.
+		def to_s
+			"#{@types.join(' | ')}"
+		end
+	end
+	
+	# A type constructor.
+	#
+	#	```ruby
+	#	Any(Integer, String)
+	#	```
+	#
+	# See [Any.initialize](#Bake::Types::Any::initialize).
+	#
+	def self.Any(*types)
+		Any.new(types)
+	end
+end

data/lib/types/array.rb

@@ -0,0 +1,70 @@
+# 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.
+
+require_relative 'generic'
+
+module Types
+	class Array
+		include Generic
+		
+		def initialize(item_type)
+			@item_type = item_type
+		end
+		
+		def composite?
+			true
+		end
+		
+		def map(values)
+			values.map{|value| @item_type.parse(value)}
+		end
+		
+		def parse(input)
+			case input
+			when ::String
+				return parse_values(parse_string(input))
+			when ::Array
+				return parse_values(input)
+			else
+				raise ArgumentError, "Cannot coerce #{input.inspect} into Array!"
+			end
+		end
+		
+		def to_s
+			"Array(#{@item_type})"
+		end
+		
+		private
+		
+		def parse_string(input)
+			::JSON.parse("[#{input}]")
+		end
+		
+		def parse_values(input)
+			input.map{|value, index| @item_type.parse(value)}
+		end
+	end
+	
+	def self.Array(item_type = Any)
+		Array.new(item_type)
+	end
+end

data/lib/types/block.rb

@@ -0,0 +1,53 @@
+# 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.
+
+require_relative 'method'
+
+module Types
+	class Block
+		include Generic
+		
+		def initialize(argument_types, return_type)
+			@argument_types = argument_types
+			@return_type = return_type
+		end
+		
+		attr :argument_types
+		attr :return_type
+		
+		def composite?
+			true
+		end
+		
+		def to_s
+			if @return_type
+				"Block(#{@argument_types.join(', ')}, returns: #{@return_type})"
+			else
+				"Block(#{@argument_types.join(', ')})"
+			end
+		end
+	end
+	
+	def self.Block(*argument_types, returns: nil)
+		Block.new(argument_types, returns)
+	end
+end

data/lib/types/boolean.rb

@@ -0,0 +1,39 @@
+# 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.
+
+require_relative 'generic'
+
+module Types
+	module Boolean
+		extend Generic
+		
+		def self.parse(input)
+			if input =~ /t(rue)?|y(es)?/i
+				return true
+			elsif input =~ /f(alse)?|n(o)?/i
+				return false
+			else
+				raise ArgumentError, "Cannot coerce #{input.inspect} into Boolean!"
+			end
+		end
+	end
+end

data/lib/types/class.rb

@@ -0,0 +1,68 @@
+# 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.
+
+require_relative 'generic'
+
+module Types
+	class Class
+		extend Generic
+		include Generic
+		
+		def initialize(base)
+			@base = base
+		end
+		
+		attr :base
+		
+		def composite?
+			true
+		end
+		
+		def parse(input)
+			klass = Object.const_get(input)
+			
+			if @base and !klass.ancestors.include?(@base)
+				raise ArgumentError, "Class #{klass} is not a subclass of #{@base}!"
+			end
+			
+			return klass
+		end
+		
+		def self.composite?
+			false
+		end
+		
+		def self.parse(input)
+			klass = Object.const_get(input)
+			
+			if !klass.is_a?(::Class)
+				raise ArgumentError, "Class #{klass} is not a Class!"
+			end
+			
+			return klass
+		end
+	end
+	
+	def self.Class(base = Object)
+		Class.new(base)
+	end
+end

data/lib/types/decimal.rb

@@ -0,0 +1,40 @@
+# 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.
+
+require_relative 'generic'
+
+require 'bigdecimal'
+
+module Types
+	module Decimal
+		extend Generic
+		
+		def self.parse(input)
+			case input
+			when ::Float
+				BigDecimal(input, ::Float::DIG+1)
+			else
+				BigDecimal(input)
+			end
+		end
+	end
+end

data/lib/types/float.rb

@@ -0,0 +1,33 @@
+# 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.
+
+require_relative 'generic'
+
+module Types
+	module Float
+		extend Generic
+		
+		def self.parse(input)
+			Float(input)
+		end
+	end
+end

data/lib/types/generic.rb

@@ -0,0 +1,43 @@
+# 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.
+
+require_relative 'any'
+
+module Types
+	# An extension module which allows constructing `Any` types using the `|` operator.
+	module Generic
+		# Create an instance of `Any` with the arguments as types.
+		# @parameter other [Type] the alternative type to match.
+		def | other
+			Any.new([self, other])
+		end
+		
+		# Whether a type contains nested types or not.
+		def composite?
+			false
+		end
+		
+		def to_s
+			self.name.rpartition('::').last
+		end
+	end
+end

data/lib/types/hash.rb

@@ -0,0 +1,67 @@
+# 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.
+
+require_relative 'generic'
+
+module Types
+	class Hash
+		include Generic
+		
+		def initialize(key_type, value_type)
+			@key_type = key_type
+			@value_type = value_type
+		end
+		
+		def composite?
+			true
+		end
+		
+		def parse(input)
+			case input
+			when ::String
+				return parse_values(parse_string(input))
+			when ::Hash
+				return parse_values(input)
+			else
+				raise ArgumentError, "Cannot coerce #{input.inspect} into Hash!"
+			end
+		end
+		
+		def to_s
+			"Hash(#{@key_type}, #{@value_type})"
+		end
+		
+		private
+		
+		def parse_string(input)
+			::JSON.parse("{#{input}}")
+		end
+		
+		def parse_values(input)
+			input.map{|key, value| [@key_type.parse(key), @value_type.parse(value)]}.to_h
+		end
+	end
+	
+	def self.Hash(key_type, value_type)
+		Hash.new(key_type, value_type)
+	end
+end

data/lib/types/integer.rb

@@ -0,0 +1,33 @@
+# 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.
+
+require_relative 'generic'
+
+module Types
+	module Integer
+		extend Generic
+		
+		def self.parse(input)
+			Integer(input)
+		end
+	end
+end

data/lib/types/lambda.rb

@@ -0,0 +1,65 @@
+# 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.
+
+require_relative 'generic'
+
+module Types
+	# A lambda that represents a function (or callable object).
+	class Lambda
+		include Generic
+		
+		def initialize(argument_types, return_type)
+			@argument_types = argument_types
+			@return_type = return_type
+		end
+		
+		attr :argument_types
+		attr :return_type
+		
+		def composite?
+			true
+		end
+		
+		def to_s
+			if @return_type
+				"Lambda(#{@argument_types.join(', ')}, returns: #{@return_type})"
+			else
+				"Lambda(#{@argument_types.join(', ')})"
+			end
+		end
+		
+		def parse(input)
+			case input
+			when ::String
+				eval("lambda{#{input}}", TOPLEVEL_BINDING)
+			when ::Proc
+				input
+			else
+				raise ArgumentError, "Cannot coerce #{input.inpsect} into Lambda!"
+			end
+		end
+	end
+	
+	def self.Lambda(*argument_types, returns: nil)
+		Lambda.new(argument_types, returns)
+	end
+end

data/lib/types/method.rb

@@ -0,0 +1,77 @@
+# 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.
+
+require_relative 'generic'
+
+module Types
+	# A method type attached to a receiver type.
+	class Method
+		include Generic
+		
+		def initialize(receiver_type, argument_types, return_type)
+			@receiver_type = receiver_type
+			@argument_types = argument_types
+			@return_type = return_type
+		end
+		
+		attr :receiver_type
+		attr :argument_types
+		attr :return_type
+		
+		def composite?
+			true
+		end
+		
+		def to_s
+			buffer = ::String.new
+			
+			if @argument_types&.any?
+				buffer << "Method(#{@receiver_type}, #{@argument_types.join(', ')}"
+			else
+				buffer << "Method(#{@receiver_type}, "
+			end
+			
+			if @return_type
+				buffer << "returns: #{@return_type})"
+			else
+				buffer << ")"
+			end
+			
+			return buffer
+		end
+		
+		def parse(input)
+			case input
+			when ::String
+				receiver_type.instance_method(input)
+			when ::Proc
+				input
+			else
+				raise ArgumentError, "Cannot coerce #{input.inpsect} into Method!"
+			end
+		end
+	end
+	
+	def self.Method(receiver_type, *argument_types, returns: nil)
+		Method.new(receiver_type, argument_types, returns)
+	end
+end