class RBS::Types::UntypedFunction - rbs: Ruby Standard Library Documentation

# class RBS::Types::UntypedFunction

### Attributes

return_type[R]

### Public Class Methods

new(return_type:) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1215
    def initialize(return_type:)
      @return_type = return_type
    end

### Public Instance Methods

==(other) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1295
    def ==(other)
      other.is_a?(UntypedFunction) && other.return_type == return_type
    end

Also aliased as: eql?
each_param(&block) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1245
    def each_param(&block)
      if block
        # noop
      else
        enum_for :each_param
      end
    end

each_type() { |return_type| ... } click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1237
    def each_type(&block)
      if block
        yield return_type
      else
        enum_for :each_type
      end
    end

empty?() click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1271
    def empty?
      true
    end

eql?(other)
Alias for: ==
free_variables(acc = Set.new) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1219
    def free_variables(acc = Set.new)
      return_type.free_variables(acc)
    end

has_classish_type?() click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1279
    def has_classish_type?
      return_type.has_classish_type?
    end

has_self_type?() click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1275
    def has_self_type?
      return_type.has_self_type?
    end

hash() click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1301
    def hash
      self.class.hash ^ return_type.hash
    end

map_type() { |return_type| ... } click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1223
    def map_type(&block)
      if block
        update(return_type: yield(return_type))
      else
        enum_for :map_type
      end
    end

map_type_name(&block) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1231
    def map_type_name(&block)
      UntypedFunction.new(
        return_type: return_type.map_type_name(&block)
      )
    end

param_to_s() click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1287
    def param_to_s
      "?"
    end

return_to_s() click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1291
    def return_to_s
      return_type.to_s(1)
    end

sub(subst) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1259
    def sub(subst)
      map_type { _1.sub(subst) }
    end

to_json(state = _ = nil) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1253
    def to_json(state = _ = nil)
      {
        return_type: return_type
      }.to_json(state)
    end

update(return_type: self.return_type) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1267
    def update(return_type: self.return_type)
      UntypedFunction.new(return_type: return_type)
    end

with_nonreturn_void?() click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1283
    def with_nonreturn_void?
      false
    end

with_return_type(ty) click to toggle source

    # File rbs-3.8.0/lib/rbs/types.rb, line 1263
    def with_return_type(ty)
      update(return_type: ty)
    end