module RBS::Types::_TypeBase - RDoc Documentation

each_type

() { (t) → void } → void
() → Enumerator[t, void]

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/sig/types.rbs, line 27
def each_type: () { (t) -> void } -> void
                   | () -> Enumerator[t, void]

Yields all direct sub types included in the type. It doesn’t yield the type itself.

parse("Hash[String, Array[Symbol]]").each_type do |ty|
  ...       # Yields String and Array[Symbol]
end

free_variables

(?Set[Symbol]) → Set[Symbol]

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/sig/types.rbs, line 9
def free_variables: (?Set[Symbol]) -> Set[Symbol]

Returns names of free variables of a type. You can pass a Set instance to add the free variables to the set to avoid Set object allocation.

has_classish_type?

() → bool

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/sig/types.rbs, line 50
def has_classish_type?: () -> bool

Returns true if it has instance or class types

has_self_type?

() → bool

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/sig/types.rbs, line 47
def has_self_type?: () -> bool

Returns true if it has self type

map_type_name

() { (TypeName, Location[untyped, untyped]?, t) → TypeName } → t

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/sig/types.rbs, line 16
def map_type_name: () { (TypeName, Location[untyped, untyped]?, t) -> TypeName } -> t

Maps type names included in the type and returns new instance of type.

sub

(Substitution) → t

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/sig/types.rbs, line 13
def sub: (Substitution) -> t

Receives a substitution and returns a new type applied the substitution.

to_s

(?Integer level) → String

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/sig/types.rbs, line 43
def to_s: (?Integer level) -> String

Returns a String representation. level is used internally.

parse("String").to_s               # => "String"
parse("String | Integer").to_s()   # => "String | Integer"
parse("String | Integer").to_s(1)  # => "(String | Integer)"

with_nonreturn_void?

() → bool

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/sig/types.rbs, line 57
def with_nonreturn_void?: () -> bool

Returns true if it has void types other than return position

The function return type is a return position (() -> void)
Generic parameter is a return position (Enumerator[Integer, void])