perf: add missing types, cause they gona be accessing many times

Author: initdc

lib/rs/option.rb

@@ -52,6 +52,8 @@ def unwrap_or_else(&block)
 end
 
 class Some < Rs::Option
+  attr_reader :type
+
   def self.[](type, &block)
     if !type.is_a?(Class)
       raise TypeError.new(type)
@@ -70,11 +72,11 @@ def self.[](type, &block)
   end
 
   def inspect
-    "Some[#{@value.class}] { #{@value.inspect} }"
+    "Some[#{@type}] { #{@value.inspect} }"
   end
 
   def ==(other)
-    other.is_a?(Some) && @value == other.unwrap && @value.class == other.unwrap.class
+    other.is_a?(Some) && @value == other.unwrap && @type == other.type
   end
 
   def initialize(value)
@@ -83,6 +85,7 @@ def initialize(value)
     end
 
     @value = value
+    @type = value.class
   end
 end
 

lib/rs/result.rb

@@ -36,11 +36,11 @@ def is_err_and(&block)
     end
 
     def ok
-      is_ok ? Some[@value.class] { @value } : None[@value_type]
+      is_ok ? Some[@value_type] { @value } : None[@value_type]
     end
 
     def err
-      is_err ? Some[@error.class] { @error } : None[@error_type]
+      is_err ? Some[@error_type] { @error } : None[@error_type]
     end
 
     def expect(msg)
@@ -70,6 +70,7 @@ def unwrap_err
 end
 
 class Ok < Rs::Result
+  attr_accessor :value_type
   attr_accessor :error_type
 
   def self.[](value_type, error_type, &block)
@@ -96,11 +97,11 @@ def self.[](value_type, error_type, &block)
   end
 
   def inspect
-    "Ok[#{@value.class}, #{@error_type}] { #{@value.inspect} }"
+    "Ok[#{@value_type}, #{@error_type}] { #{@value.inspect} }"
   end
 
   def ==(other)
-    other.is_a?(Ok) && @value == other.unwrap && @value.class == other.unwrap.class && @error_type == other.error_type
+    other.is_a?(Ok) && @value == other.unwrap && @value_type == other.value_type && @error_type == other.error_type
   end
 
   def initialize(value)
@@ -109,12 +110,14 @@ def initialize(value)
     end
 
     @value = value
+    @value_type = value.class
     @error_type = Class
   end
 end
 
 class Err < Rs::Result
   attr_accessor :value_type
+  attr_accessor :error_type
 
   def self.[](value_type, error_type, &block)
     if !value_type.is_a?(Class) || !error_type.is_a?(Class)
@@ -140,11 +143,11 @@ def self.[](value_type, error_type, &block)
   end
 
   def inspect
-    "Err[#{@value_type}, #{@error.class}] { #{@error.inspect} }"
+    "Err[#{@value_type}, #{@error_type}] { #{@error.inspect} }"
   end
 
   def ==(other)
-    other.is_a?(Err) && @error == other.unwrap_err && @error.class == other.unwrap_err.class && @value_type == other.value_type
+    other.is_a?(Err) && @error == other.unwrap_err && @value_type == other.value_type && @error_type == other.error_type
   end
 
   def initialize(error)
@@ -153,6 +156,7 @@ def initialize(error)
     end
 
     @error = error
+    @error_type = error.class
     @value_type = Class
   end
 end