Class: RBS::Types::Bases::Instance

Inherits:

Base

• Object
• Base
• RBS::Types::Bases::Instance

Defined in:

lib/rbs/types.rb,
sig/types.rbs

Instance Attribute Summary

Attributes inherited from Base

#location

Instance Method Summary

• #sub(s) ⇒ t

Methods inherited from Base

#==, #has_classish_type?, #has_self_type?, #hash, #initialize, #to_json, #to_s, #with_nonreturn_void?

Methods included from NoTypeName

#map_type_name

Methods included from EmptyEachType

#each_type, #map_type

Methods included from NoFreeVariables

#free_variables

Methods included from _TypeBase

#each_type, #free_variables, #has_classish_type?, #has_self_type?, #map_type_name, #to_s, #with_nonreturn_void?

Constructor Details

This class inherits a constructor from RBS::Types::Bases::Base

Instance Method Details

#sub(s) ⇒ t

Parameters:

• sub (Substitution)

Returns:

• (t)

# File 'lib/rbs/types.rb', line 126

def sub(s)
  s.apply(self)
end