literal 1.5.0 → 1.7.0

data/lib/literal/value.rb

@@ -0,0 +1,65 @@
+# frozen_string_literal: true
+
+class Literal::Value
+	def self.to_proc
+		-> (value) { new(value) }
+	end
+
+	def self.[](value)
+		new(value)
+	end
+
+	def self.from_pack(payload)
+		object = allocate
+		object.marshal_load(payload)
+		object
+	end
+
+	# Takes a list of method names and delegates them to the underlying value.
+	def self.delegate(*methods)
+		methods.each do |method_name|
+			class_eval(<<~RUBY, __FILE__, __LINE__ + 1)
+				# frozen_string_literal: true
+
+				def #{method_name}(...)
+					@value.#{method_name}(...)
+				end
+			RUBY
+		end
+	end
+
+	def initialize(value)
+		Literal.check(value, __type__)
+		@value = value
+		freeze
+	end
+
+	attr_reader :value
+
+	def inspect
+		"#{self.class.name}(#{value.inspect})"
+	end
+
+	def ===(other)
+		self.class === other && @value == other.value
+	end
+
+	alias_method :==, :===
+
+	def as_pack
+		marshal_dump
+	end
+
+	def marshal_load(payload)
+		_version, value, was_frozen = payload
+
+		@value = value
+		freeze if was_frozen
+	end
+
+	def marshal_dump
+		[1, @value, frozen?].freeze
+	end
+
+	freeze
+end

data/lib/literal/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Literal
-	VERSION = "1.5.0"
+	VERSION = "1.7.0"
 end

data/lib/literal.rb

@@ -1,33 +1,55 @@
 # frozen_string_literal: true
 
+require "zeitwerk"
+require_relative "literal/version"
+
 module Literal
-	autoload :Array, "literal/array"
-	autoload :Data, "literal/data"
-	autoload :DataProperty, "literal/data_property"
-	autoload :DataStructure, "literal/data_structure"
-	autoload :Enum, "literal/enum"
-	autoload :Flags, "literal/flags"
-	autoload :Flags16, "literal/flags"
-	autoload :Flags32, "literal/flags"
-	autoload :Flags64, "literal/flags"
-	autoload :Flags8, "literal/flags"
-	autoload :Hash, "literal/hash"
-	autoload :Null, "literal/null"
-	autoload :Object, "literal/object"
-	autoload :Properties, "literal/properties"
-	autoload :Property, "literal/property"
-	autoload :Set, "literal/set"
-	autoload :Struct, "literal/struct"
-	autoload :Type, "literal/type"
-	autoload :Types, "literal/types"
-	autoload :Tuple, "literal/tuple"
-
-	# Errors
-	autoload :Error, "literal/errors/error"
-	autoload :TypeError, "literal/errors/type_error"
-	autoload :ArgumentError, "literal/errors/argument_error"
-
-	autoload :TRANSFORMS, "literal/transforms"
+	Loader = Zeitwerk::Loader.for_gem.tap do |loader|
+		loader.inflector.inflect(
+			"json_data_type" => "JSONDataType"
+		)
+
+		loader.collapse("#{__dir__}/literal/flags")
+		loader.collapse("#{__dir__}/literal/errors")
+
+		loader.setup
+	end
+
+	def self.Value(*args, **kwargs, &block)
+		value_class = Class.new(Literal::Value)
+
+		type = Literal::Types._Constraint(*args, **kwargs)
+		value_class.define_method(:__type__) { type }
+
+		if subtype?(type, Integer)
+			value_class.alias_method :to_i, :value
+		elsif subtype?(type, String)
+			value_class.alias_method :to_s, :value
+			value_class.alias_method :to_str, :value
+		elsif subtype?(type, Array)
+			value_class.alias_method :to_a, :value
+			value_class.alias_method :to_ary, :value
+		elsif subtype?(type, Hash)
+			value_class.alias_method :to_h, :value
+		elsif subtype?(type, Float)
+			value_class.alias_method :to_f, :value
+		elsif subtype?(type, Set)
+			value_class.alias_method :to_set, :value
+		end
+
+		value_class.class_eval(&block) if block
+		value_class.freeze
+	end
+
+	def self.Delegator(*args, **kwargs, &block)
+		delegator_class = Class.new(Literal::Delegator)
+
+		type = Literal::Types._Constraint(*args, **kwargs)
+		delegator_class.define_method(:__type__) { type }
+
+		delegator_class.class_eval(&block) if block
+		delegator_class.freeze
+	end
 
 	def self.Enum(type)
 		Class.new(Literal::Enum) do
@@ -51,27 +73,50 @@ module Literal
 		Literal::Tuple::Generic.new(*types)
 	end
 
-	def self.check(actual:, expected:)
-		if expected === actual
+	def self.Brand(...)
+		Literal::Brand.new(...)
+	end
+
+	def self.check(value, type)
+		if type === value
 			true
 		else
-			context = Literal::TypeError::Context.new(expected:, actual:)
-			expected.record_literal_type_errors(context) if expected.respond_to?(:record_literal_type_errors)
+			context = Literal::TypeError::Context.new(expected: type, actual: value)
+			type.record_literal_type_errors(context) if type.respond_to?(:record_literal_type_errors)
 			yield context if block_given?
 			raise Literal::TypeError.new(context:)
 		end
 	end
 
-	def self.subtype?(type, of:)
-		type = type.block.call if Types::DeferredType === type
+	def self.subtype?(type, supertype)
+		subtype = type
+
+		subtype = subtype.block.call if Types::DeferredType === subtype
+
+		return true if supertype == subtype
 
-		(of == type) || case of
+		case supertype
 		when Literal::Type
-			of >= type
+			supertype >= subtype
 		when Module
-			(Module === type) ? of >= type : false
+			case subtype
+			when Module
+				supertype >= subtype
+			when Numeric
+				Numeric >= supertype
+			when String
+				String >= supertype
+			when Symbol
+				Symbol >= supertype
+			when ::Array
+				::Array >= supertype
+			when ::Hash
+				::Hash >= supertype
+			else
+				false
+			end
 		when Range
-			of.cover?(type)
+			supertype.cover?(subtype)
 		else
 			false
 		end

metadata

@@ -1,14 +1,28 @@
 --- !ruby/object:Gem::Specification
 name: literal
 version: !ruby/object:Gem::Version
-  version: 1.5.0
+  version: 1.7.0
 platform: ruby
 authors:
 - Joel Drapper
 bindir: bin
 cert_chain: []
-date: 2025-01-17 00:00:00.000000000 Z
-dependencies: []
+date: 1980-01-02 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: zeitwerk
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
 description: Enums, properties, generics, structured objects and runtime type checking.
 email:
 - joel@drapper.me
@@ -22,13 +36,17 @@ files:
 - lib/literal/array.rb
 - lib/literal/data.rb
 - lib/literal/data_structure.rb
-- lib/literal/deferred_type.rb
+- lib/literal/delegator.rb
 - lib/literal/enum.rb
 - lib/literal/errors/argument_error.rb
 - lib/literal/errors/error.rb
 - lib/literal/errors/type_error.rb
 - lib/literal/failure.rb
 - lib/literal/flags.rb
+- lib/literal/flags/flags_16.rb
+- lib/literal/flags/flags_32.rb
+- lib/literal/flags/flags_64.rb
+- lib/literal/flags/flags_8.rb
 - lib/literal/hash.rb
 - lib/literal/null.rb
 - lib/literal/object.rb
@@ -55,6 +73,7 @@ files:
 - lib/literal/types/boolean_type.rb
 - lib/literal/types/class_type.rb
 - lib/literal/types/constraint_type.rb
+- lib/literal/types/deferred_type.rb
 - lib/literal/types/descendant_type.rb
 - lib/literal/types/enumerable_type.rb
 - lib/literal/types/falsy_type.rb
@@ -67,12 +86,14 @@ files:
 - lib/literal/types/never_type.rb
 - lib/literal/types/nilable_type.rb
 - lib/literal/types/not_type.rb
+- lib/literal/types/predicate_type.rb
 - lib/literal/types/range_type.rb
 - lib/literal/types/set_type.rb
 - lib/literal/types/truthy_type.rb
 - lib/literal/types/tuple_type.rb
 - lib/literal/types/union_type.rb
 - lib/literal/types/void_type.rb
+- lib/literal/value.rb
 - lib/literal/version.rb
 homepage: https://literal.fun
 licenses:
@@ -97,7 +118,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.6.2
+rubygems_version: 3.6.7
 specification_version: 4
 summary: Enums, properties, generics, structured objects and runtime type checking.
 test_files: []