Prototype Literal::Array

lib/literal.rb

@@ -18,6 +18,8 @@ module Literal
 	autoload :Flags16, "literal/flags"
 	autoload :Flags32, "literal/flags"
 	autoload :Flags64, "literal/flags"
+	autoload :Array, "literal/array"
+	autoload :ArrayGeneric, "literal/array"
 
 	# Errors
 	autoload :Error, "literal/errors/error"
@@ -30,6 +32,10 @@ def self.Enum(type)
 		end
 	end
 
+	def self.Array(type)
+		Literal::ArrayGeneric.new(type)
+	end
+
 	def self.check(actual:, expected:)
 		if expected === actual
 			true

lib/literal/array.rb

@@ -0,0 +1,51 @@
+# frozen_string_literal: true
+
+class Literal::ArrayGeneric
+	def initialize(type)
+		@type = type
+	end
+
+	def new(*value)
+		Literal::Array.new(@type, value)
+	end
+
+	alias_method :[], :new
+
+	def ===(value)
+		Literal::Array === value && @type == value.__type__
+	end
+end
+
+class Literal::Array
+	def initialize(type, value)
+		unless Array === value && value.all?(type)
+			raise
+		end
+
+		@__type__ = type
+		@__value__ = value
+	end
+
+	attr_reader :__type__
+
+	def each(...)
+		@__value__.each(...)
+	end
+
+	def map(type, &)
+		Literal::Array.new(type, @__value__.map(&))
+	end
+
+	def [](index)
+		@__value__[index]
+	end
+
+	def <<(value)
+		unless @__type__ === value
+			raise
+		end
+
+		@__value__ << value
+		self
+	end
+end

test/array.test.rb

@@ -0,0 +1,14 @@
+# frozen_string_literal: true
+
+test "Array" do
+	array = Literal::Array(Integer).new(1, 2, 3)
+
+	expect(array[0]) == 1
+	expect(array.map(String, &:to_s)[0]) == "1"
+
+	expect { array << "1" }.to_raise
+	expect { array << 1 }.not_to_raise
+
+	assert Literal::Array(Integer) === array
+	refute Literal::Array(String) === array
+end