Module: Yoda::Typing::Types::RbsTypeWrapperInterface

Included in:
InstanceType, SingletonType, Type
Defined in:
lib/yoda/typing/types/rbs_type_wrapper_interface.rb

Instance Method Summary collapse

Instance Method Details

#environment ⇒ Model::Environment

This method is abstract.

Returns:



7
8
9
 
# File 'lib/yoda/typing/types/rbs_type_wrapper_interface.rb', line 7

def environment
  fail NotImplementedError
end

#instance_type ⇒ Type

This method is abstract.

Returns:



25
26
27
 
# File 'lib/yoda/typing/types/rbs_type_wrapper_interface.rb', line 25

def instance_type
  fail NotImplemetedError
end

#rbs_type ⇒ RBS::Types::t

This method is abstract.

Returns:

  • (RBS::Types::t) 


13
14
15
 
# File 'lib/yoda/typing/types/rbs_type_wrapper_interface.rb', line 13

def rbs_type
  fail NotImplementedError
end

#singleton_type ⇒ Type

This method is abstract.

Returns:



31
32
33
 
# File 'lib/yoda/typing/types/rbs_type_wrapper_interface.rb', line 31

def singleton_type
  fail NotImplemetedError
end

#to_s ⇒ String

This method is abstract.

Returns:

  • (String) 


37
38
39
 
# File 'lib/yoda/typing/types/rbs_type_wrapper_interface.rb', line 37

def to_s
  fail NotImplemetedError
end

#value ⇒ Model::Values::Base

This method is abstract.

Returns:



19
20
21
 
# File 'lib/yoda/typing/types/rbs_type_wrapper_interface.rb', line 19

def value
  fail NotImplemetedError
end