Class: TypedRb::Types::Polymorphism::ExistentialTypeVariable

Inherits:
TypeVariable show all
Defined in:
lib/typed/types/polymorphism/existential_type_variable.rb

Instance Attribute Summary collapse

Attributes inherited from TypeVariable

#bound, #lower_bound, #name, #node, #upper_bound, #variable

Instance Method Summary collapse

Methods inherited from TypeVariable

#add_constraint, #add_message_constraint, #apply_bindings, #bind, #bound_to_generic?, #check_type, #clean_dynamic_bindings, #clone, #compatible?, #constraints, #either?, #fully_bound?, #initialize, #stack_jump?, #to_s, #to_wildcard!, #unbind, #wildcard?

Constructor Details

This class inherits a constructor from TypedRb::Types::Polymorphism::TypeVariable

Instance Attribute Details

#module_type ⇒ Object

Returns the value of attribute module_type.



6
7
8
 
# File 'lib/typed/types/polymorphism/existential_type_variable.rb', line 6

def module_type
  @module_type
end

Instance Method Details

#find_var_type(var) ⇒ Object 



7
8
9
 
# File 'lib/typed/types/polymorphism/existential_type_variable.rb', line 7

def find_var_type(var)
  module_type.find_var_type(var)
end