Class: Tapioca::TypeVariableModule
- Extended by:
- T::Sig
- Defined in:
- lib/tapioca/sorbet_ext/generic_name_patch.rb
Overview
This is subclassing from ‘Module` so that instances of this type will be modules. The reason why we want that is because that means those instances will automatically get bound to the constant names they are assigned to by Ruby. As a result, we don’t need to do any matching of constants to type variables to bind their names, Ruby will do that automatically for us and we get the ‘name` method for free from `Module`.
Defined Under Namespace
Classes: Type
Instance Attribute Summary collapse
-
#type ⇒ Object
readonly
Returns the value of attribute type.
Instance Method Summary collapse
- #coerce_to_type_variable ⇒ Object
- #fixed? ⇒ Boolean
-
#initialize(context, type, variance, fixed, lower, upper, bounds_proc) ⇒ TypeVariableModule
constructor
A new instance of TypeVariableModule.
- #name ⇒ Object
- #serialize ⇒ Object
Methods inherited from Module
#autoload, #autoload_without_tapioca
Constructor Details
#initialize(context, type, variance, fixed, lower, upper, bounds_proc) ⇒ TypeVariableModule
Returns a new instance of TypeVariableModule.
177 178 179 180 181 182 183 184 185 186 187 188 |
# File 'lib/tapioca/sorbet_ext/generic_name_patch.rb', line 177 def initialize(context, type, variance, fixed, lower, upper, bounds_proc) @context = context @type = type @variance = variance @bounds_proc = if bounds_proc bounds_proc else build_bounds_proc(fixed, lower, upper) end super() end |
Instance Attribute Details
#type ⇒ Object (readonly)
Returns the value of attribute type.
163 164 165 |
# File 'lib/tapioca/sorbet_ext/generic_name_patch.rb', line 163 def type @type end |
Instance Method Details
#coerce_to_type_variable ⇒ Object
231 232 233 |
# File 'lib/tapioca/sorbet_ext/generic_name_patch.rb', line 231 def coerce_to_type_variable TypeVariable.new(name, @variance) end |
#fixed? ⇒ Boolean
211 212 213 |
# File 'lib/tapioca/sorbet_ext/generic_name_patch.rb', line 211 def fixed? bounds.key?(:fixed) end |
#name ⇒ Object
192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 |
# File 'lib/tapioca/sorbet_ext/generic_name_patch.rb', line 192 def name constant_name = super # This is a hack to work around modules under anonymous modules not having # names in 2.7: https://bugs.ruby-lang.org/issues/14895 # # This happens when a type variable is declared under `class << self`, for # example. # # The workaround is to give the parent context a name, at which point, our # module gets bound to a name under that name, as well. unless constant_name constant_name = with_bound_name_pre_3_0 { super } end constant_name&.split("::")&.last end |
#serialize ⇒ Object
216 217 218 219 220 221 222 223 224 225 226 227 228 |
# File 'lib/tapioca/sorbet_ext/generic_name_patch.rb', line 216 def serialize fixed = bounds[:fixed].to_s if fixed? lower = bounds[:lower].to_s if bounds.key?(:lower) upper = bounds[:upper].to_s if bounds.key?(:upper) RBIHelper.serialize_type_variable( @type.serialize, @variance, fixed, upper, lower, ) end |