Gecko [ gandhischool.edu.np ]

Name	Size	Permission
ast	[ DIR ]	drwxr-xr-x
definition_builder	[ DIR ]	drwxr-xr-x
prototype	[ DIR ]	drwxr-xr-x
test	[ DIR ]	drwxr-xr-x
buffer.rb	890 B	-rw-r--r--
builtin_names.rb	1.56 KB	-rw-r--r--
cli.rb	21.91 KB	-rw-r--r--
constant.rb	461 B	-rw-r--r--
constant_table.rb	4.89 KB	-rw-r--r--
definition.rb	9.17 KB	-rw-r--r--
definition_builder.rb	29.39 KB	-rw-r--r--
environment.rb	13.72 KB	-rw-r--r--
environment_loader.rb	3.06 KB	-rw-r--r--
environment_walker.rb	4.11 KB	-rw-r--r--
errors.rb	8.66 KB	-rw-r--r--
factory.rb	301 B	-rw-r--r--
location.rb	2.31 KB	-rw-r--r--
method_type.rb	2.15 KB	-rw-r--r--
namespace.rb	2.12 KB	-rw-r--r--
parser.rb	95.03 KB	-rw-r--r--
parser.y	45.51 KB	-rw-r--r--
repository.rb	2.64 KB	-rw-r--r--
substitution.rb	1.23 KB	-rw-r--r--
test.rb	2.57 KB	-rw-r--r--
type_name.rb	1.61 KB	-rw-r--r--
type_name_resolver.rb	1.56 KB	-rw-r--r--
types.rb	25.19 KB	-rw-r--r--
validator.rb	1.76 KB	-rw-r--r--
variance_calculator.rb	3.89 KB	-rw-r--r--
vendorer.rb	2.03 KB	-rw-r--r--
version.rb	35 B	-rw-r--r--
writer.rb	8.12 KB	-rw-r--r--

Name

Size

Permission

Action

ast

[ DIR ]

drwxr-xr-x

definition_builder

[ DIR ]

drwxr-xr-x

prototype

[ DIR ]

drwxr-xr-x

test

[ DIR ]

drwxr-xr-x

buffer.rb

890 B

-rw-r--r--

builtin_names.rb

1.56 KB

-rw-r--r--

cli.rb

21.91 KB

-rw-r--r--

constant.rb

461 B

-rw-r--r--

constant_table.rb

4.89 KB

-rw-r--r--

definition.rb

9.17 KB

-rw-r--r--

definition_builder.rb

29.39 KB

-rw-r--r--

environment.rb

13.72 KB

-rw-r--r--

environment_loader.rb

3.06 KB

-rw-r--r--

environment_walker.rb

4.11 KB

-rw-r--r--

errors.rb

8.66 KB

-rw-r--r--

factory.rb

301 B

-rw-r--r--

location.rb

2.31 KB

-rw-r--r--

method_type.rb

2.15 KB

-rw-r--r--

namespace.rb

2.12 KB

-rw-r--r--

parser.rb

95.03 KB

-rw-r--r--

parser.y

45.51 KB

-rw-r--r--

repository.rb

2.64 KB

-rw-r--r--

substitution.rb

1.23 KB

-rw-r--r--

test.rb

2.57 KB

-rw-r--r--

type_name.rb

1.61 KB

-rw-r--r--

type_name_resolver.rb

1.56 KB

-rw-r--r--

types.rb

25.19 KB

-rw-r--r--

validator.rb

1.76 KB

-rw-r--r--

variance_calculator.rb

3.89 KB

-rw-r--r--

vendorer.rb

2.03 KB

-rw-r--r--

version.rb

35 B

-rw-r--r--

writer.rb

8.12 KB

-rw-r--r--

Code Editor : method_type.rb

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(*a)
      {
        type_params: type_params,
        type: type,
        block: block,
        location: location
      }.to_json(*a)
    end

def sub(s)
      s.without(*type_params).yield_self do |sub|
        map_type do |ty|
          ty.sub(sub)
        end
      end
    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_params)
    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 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
  end
end

${this.title}

Code Editor : method_type.rb