Class: Yoda::Model::TypeExpressions::Base Abstract

Inherits:

Object

• Object
• Yoda::Model::TypeExpressions::Base

Defined in:

lib/yoda/model/type_expressions/base.rb

Overview

This class is abstract.

Direct Known Subclasses

AnyType, DuckType, FunctionType, GenericType, InstanceType, ModuleType, SelfType, SequenceType, UnionType, UnknownType, ValueType, VoidType

Instance Method Summary

• #==(another) ⇒ Object
• #change_root(new_lexical_context) ⇒ Base abstract
• #map {|_self| ... } ⇒ Base
• #resolve(registry) ⇒ Array<Store::Objects::Base> abstract
• #to_rbs_type(env) ⇒ RBS::Types::Bases::Base, ... abstract
• #to_s ⇒ String abstract

Instance Method Details

#==(another) ⇒ Object

# File 'lib/yoda/model/type_expressions/base.rb', line 6

def ==(another)
  eql?(another)
end

#change_root(new_lexical_context) ⇒ Base

This method is abstract.

Parameters:

• new_lexical_context (LexicalContext)

Returns:

• (Base)

# File 'lib/yoda/model/type_expressions/base.rb', line 13

def change_root(new_lexical_context)
  fail NotImplementedError
end

#map {|_self| ... } ⇒ Base

Yields:

• (_self)

Yield Parameters:

• _self (Yoda::Model::TypeExpressions::Base) —

  the object that the method was called on

Returns:

• (Base)

# File 'lib/yoda/model/type_expressions/base.rb', line 38

def map
  yield self
end

#resolve(registry) ⇒ Array<Store::Objects::Base>

This method is abstract.

Parameters:

• registry (Registry)

Returns:

• (Array<Store::Objects::Base>)

# File 'lib/yoda/model/type_expressions/base.rb', line 20

def resolve(registry)
  fail NotImplementedError
end

#to_rbs_type(env) ⇒ RBS::Types::Bases::Base, ...

This method is abstract.

Parameters:

• env (Environment)

Returns:

• (RBS::Types::Bases::Base, RBS::Types::Variable, RBS::Types::ClassSingleton, RBS::Types::Interface, RBS::Types::ClassInstance, RBS::Types::Alias, RBS::Types::Tuple, RBS::Types::Record, RBS::Types::Optional, RBS::Types::Union, RBS::Types::Intersection, RBS::Types::Function, RBS::Types::Block, RBS::Types::Proc, RBS::Types::Literal)

# File 'lib/yoda/model/type_expressions/base.rb', line 33

def to_rbs_type(env)
  fail NotImplementedError
end

#to_s ⇒ String

This method is abstract.

Returns:

• (String)

# File 'lib/yoda/model/type_expressions/base.rb', line 26

def to_s
  fail NotImplementedError
end