class RBS::Types::UntypedFunction

Function type without type checking arguments

Attributes

return_type [R] t

Public Class Methods

(return_type: t) → void

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1254
def initialize(return_type:)
  @return_type = return_type
end

Public Instance Methods

== (other)

(untyped) → bool

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1336
def ==(other)
  other.is_a?(UntypedFunction) && other.return_type == return_type
end

Also aliased as: eql?, eql?

each_param (&block)

() { (Function::Param) → void } → void
() → Enumerator[Function::Param, void]

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1284
def each_param(&block)
  if block
    # noop
  else
    enum_for :each_param
  end
end

each_type () { |return_type| ... }

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

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1276
def each_type(&block)
  if block
    yield return_type
  else
    enum_for :each_type
  end
end

empty? ()

() → bool

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1312
def empty?
  true
end

eql? (other)

(untyped) → bool

Alias for: ==

free_variables (acc = Set.new)

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

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1258
def free_variables(acc = Set.new)
  return_type.free_variables(acc)
end

has_classish_type? ()

() → bool

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1320
def has_classish_type?
  return_type.has_classish_type?
end

has_self_type? ()

() → bool

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1316
def has_self_type?
  return_type.has_self_type?
end

hash ()

() → Integer

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1342
def hash
  self.class.hash ^ return_type.hash
end

map_type () { |return_type| ... }

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

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1262
def map_type(&block)
  if block
    update(return_type: yield(return_type))
  else
    enum_for :map_type
  end
end

map_type_name (&block)

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

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1270
def map_type_name(&block)
  UntypedFunction.new(
    return_type: return_type.map_type_name(&block)
  )
end

param_to_s ()

() → String

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1328
def param_to_s
  "?"
end

Returns ?

return_to_s ()

() → String

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1332
def return_to_s
  return_type.to_s(1)
end

Returns return_type.to_s(1)

sub (subst)

(Substitution) → UntypedFunction

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1298
def sub(subst)
  return self if subst.empty?

  map_type { _1.sub(subst) }
end

to_json (state = nil)

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1292
def to_json(state = nil)
  {
    return_type: return_type
  }.to_json(state)
end

update (return_type: self.return_type)

(?return_type: t) → UntypedFunction

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1308
def update(return_type: self.return_type)
  UntypedFunction.new(return_type: return_type)
end

with_nonreturn_void? ()

() → bool

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1324
def with_nonreturn_void?
  false
end

with_return_type (ty)

(t) → UntypedFunction

Source

# File vendor/bundle/ruby/4.0.0/gems/rbs-4.0.3/lib/rbs/types.rb, line 1304
def with_return_type(ty)
  update(return_type: ty)
end