Gecko [ v3.cesa.co.za ]

Name	Size	Permission	Date
annotate	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
ast	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
collection	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
definition_builder	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
parser_compat	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
prototype	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
test	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
ancestor_graph.rb	2.47 KB	-rw-r--r--	2022-04-12 11:11
annotate.rb	157 B	-rw-r--r--	2022-04-12 11:11
buffer.rb	1 KB	-rw-r--r--	2022-04-12 11:11
builtin_names.rb	1.59 KB	-rw-r--r--	2022-04-12 11:11
char_scanner.rb	292 B	-rw-r--r--	2022-04-12 11:11
cli.rb	27.19 KB	-rw-r--r--	2022-04-12 11:11
collection.rb	295 B	-rw-r--r--	2022-04-12 11:11
constant.rb	461 B	-rw-r--r--	2022-04-12 11:11
constant_table.rb	5.04 KB	-rw-r--r--	2022-04-12 11:11
definition.rb	9.47 KB	-rw-r--r--	2022-04-12 11:11
definition_builder.rb	32.63 KB	-rw-r--r--	2022-04-12 11:11
environment.rb	15.26 KB	-rw-r--r--	2022-04-12 11:11
environment_loader.rb	3.32 KB	-rw-r--r--	2022-04-12 11:11
environment_walker.rb	4.2 KB	-rw-r--r--	2022-04-12 11:11
errors.rb	11.68 KB	-rw-r--r--	2022-04-12 11:11
factory.rb	301 B	-rw-r--r--	2022-04-12 11:11
location_aux.rb	2.73 KB	-rw-r--r--	2022-04-12 11:11
locator.rb	5.39 KB	-rw-r--r--	2022-04-12 11:11
method_type.rb	2.65 KB	-rw-r--r--	2022-04-12 11:11
namespace.rb	2.12 KB	-rw-r--r--	2022-04-12 11:11
parser_aux.rb	1.3 KB	-rw-r--r--	2022-04-12 11:11
repository.rb	2.83 KB	-rw-r--r--	2022-04-12 11:11
substitution.rb	1.23 KB	-rw-r--r--	2022-04-12 11:11
test.rb	2.57 KB	-rw-r--r--	2022-04-12 11:11
type_alias_dependency.rb	2.82 KB	-rw-r--r--	2022-04-12 11:11
type_alias_regularity.rb	3.14 KB	-rw-r--r--	2022-04-12 11:11
type_name.rb	1.63 KB	-rw-r--r--	2022-04-12 11:11
type_name_resolver.rb	1.56 KB	-rw-r--r--	2022-04-12 11:11
types.rb	27.19 KB	-rw-r--r--	2022-04-12 11:11
validator.rb	4.6 KB	-rw-r--r--	2022-04-12 11:11
variance_calculator.rb	4.45 KB	-rw-r--r--	2022-04-12 11:11
vendorer.rb	2.03 KB	-rw-r--r--	2022-04-12 11:11
version.rb	35 B	-rw-r--r--	2022-04-12 11:11
writer.rb	7.91 KB	-rw-r--r--	2022-04-12 11:11

Rename

module RBS
  class MethodType
    attr_reader :type_params
    attr_reader :type
    attr_reader :block
    attr_reader :location

def initialize(type_params:, type:, block:, location:)
      @type_params = type_params
      @type = type
      @block = block
      @location = location
    end

def ==(other)
      other.is_a?(MethodType) &&
        other.type_params == type_params &&
        other.type == type &&
        other.block == block
    end

def to_json(state = _ = nil)
      {
        type_params: type_params,
        type: type,
        block: block,
        location: location
      }.to_json(state)
    end

def sub(s)
      sub = s.without(*type_param_names)

self.class.new(
        type_params: type_params.map do |param|
          param.map_type do |bound|
            bound.map_type {|ty| ty.sub(sub) }
          end
        end,
        type: type.sub(sub),
        block: block&.sub(sub),
        location: location
      )
    end

def update(type_params: self.type_params, type: self.type, block: self.block, location: self.location)
      self.class.new(
        type_params: type_params,
        type: type,
        block: block,
        location: location
      )
    end

def free_variables(set = Set.new)
      type.free_variables(set)
      block&.type&.free_variables(set)
      set.subtract(type_param_names)
    end

def map_type(&block)
      self.class.new(
        type_params: type_params,
        type: type.map_type(&block),
        block: self.block&.yield_self do |b|
          Types::Block.new(type: b.type.map_type(&block), required: b.required)
        end,
        location: location
      )
    end

def map_type_bound(&block)
      if type_params.empty?
        self
      else
        self.update(
          type_params: type_params.map {|param|
            param.map_type(&block)
          }
        )
      end
    end

def each_type(&block)
      if block
        type.each_type(&block)
        self.block&.yield_self do |b|
          b.type.each_type(&block)
        end
      else
        enum_for :each_type
      end
    end

def to_s
      s = case
          when (b = block) && b.required
            "(#{type.param_to_s}) { (#{b.type.param_to_s}) -> #{b.type.return_to_s} } -> #{type.return_to_s}"
          when b = block
            "(#{type.param_to_s}) ?{ (#{b.type.param_to_s}) -> #{b.type.return_to_s} } -> #{type.return_to_s}"
          else
            "(#{type.param_to_s}) -> #{type.return_to_s}"
          end

if type_params.empty?
        s
      else
        "[#{type_params.join(", ")}] #{s}"
      end
    end

def type_param_names
      type_params.map(&:name)
    end
  end
end