Class: Tapioca::TypeVariableModule

Inherits:
Module
  • Object
show all
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

Instance Method Summary collapse

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

Returns:

  • (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