Gecko [ tsuru-no-tsurugi.tokyo ]

Linux tsuru-no-tsurugi 5.15.0-186-generic #196-Ubuntu SMP Sat Jun 20 16:09:34 UTC 2026 x86_64
Apache/2.4.52 (Ubuntu)
Server IP : 192.168.0.18 & Your IP : 216.73.216.68
Domains : Cant Read [ /etc/named.conf ]
User : www-data

Name	Size	Permission	Date
ancestor_builder.rbs	5.22 KB	-rw-r--r--	2021-07-07 19:08
annotation.rbs	536 B	-rw-r--r--	2021-07-07 19:08
buffer.rbs	659 B	-rw-r--r--	2021-07-07 19:08
builtin_names.rbs	795 B	-rw-r--r--	2021-07-07 19:08
cli.rbs	1.81 KB	-rw-r--r--	2021-07-07 19:08
comment.rbs	547 B	-rw-r--r--	2021-07-07 19:08
constant.rbs	502 B	-rw-r--r--	2021-07-07 19:08
constant_table.rbs	1.09 KB	-rw-r--r--	2021-07-07 19:08
declarations.rbs	5.39 KB	-rw-r--r--	2021-07-07 19:08
definition.rbs	4.43 KB	-rw-r--r--	2021-07-07 19:08
definition_builder.rbs	2.27 KB	-rw-r--r--	2021-07-07 19:08
environment.rbs	3.03 KB	-rw-r--r--	2021-07-07 19:08
environment_loader.rbs	3.65 KB	-rw-r--r--	2021-07-07 19:08
errors.rbs	5.12 KB	-rw-r--r--	2021-07-07 19:08
location.rbs	1.18 KB	-rw-r--r--	2021-07-07 19:08
members.rbs	4.2 KB	-rw-r--r--	2021-07-07 19:08
method_builder.rbs	2.78 KB	-rw-r--r--	2021-07-07 19:08
method_types.rbs	823 B	-rw-r--r--	2021-07-07 19:08
namespace.rbs	3.25 KB	-rw-r--r--	2021-07-07 19:08
parser.rbs	907 B	-rw-r--r--	2021-07-07 19:08
polyfill.rbs	847 B	-rw-r--r--	2021-07-07 19:08
rbs.rbs	283 B	-rw-r--r--	2021-07-07 19:08
repository.rbs	2.27 KB	-rw-r--r--	2021-07-07 19:08
substitution.rbs	1.38 KB	-rw-r--r--	2021-07-07 19:08
type_name_resolver.rbs	618 B	-rw-r--r--	2021-07-07 19:08
typename.rbs	2.05 KB	-rw-r--r--	2021-07-07 19:08
types.rbs	9.08 KB	-rw-r--r--	2021-07-07 19:08
util.rbs	193 B	-rw-r--r--	2021-07-07 19:08
validator.rbs	380 B	-rw-r--r--	2021-07-07 19:08
variance_calculator.rbs	927 B	-rw-r--r--	2021-07-07 19:08
vendorer.rbs	1.43 KB	-rw-r--r--	2021-07-07 19:08
version.rbs	33 B	-rw-r--r--	2021-07-07 19:08
writer.rbs	1005 B	-rw-r--r--	2021-07-07 19:08

Rename

module RBS
  # Substitution from type variables to types.
  #
  # The substitution construction is in _destructive_ manner.
  #
  #    sub = Substitution.new
  #    sub.add(from: :A, to: type1)
  #    sub.add(from: :B, to: type2)
  #    sub.instance_type = type3
  #
  class Substitution
    # A hash containing mapping from type variable name to type.
    attr_reader mapping: Hash[Symbol, Types::t]

# The result of applying this substitution to `instance` type.
    # `nil` maps to `instance` type itself.
    attr_accessor instance_type: Types::t?

def initialize: () -> void

# Add mapping to this substitution.
    # Overwrites the previous mapping if same `from` is given.
    def add: (from: Symbol, to: Types::t) -> void

# Utility method to construct a substitution.
    # Raises an error when `variables.size != types.size`.
    # `instance_type` defaults to `nil`.
    #
    # Yields types in `types` and the block value is used if block is given.
    #
    def self.build: (Array[Symbol] variables, Array[Types::t] types, ?instance_type: Types::t?) ?{ (Types::t) -> Types::t } -> instance

# Applies the substitution to given type.
    def apply: (Types::t) -> Types::t

# Returns a substitution without variables given in `vars`.
    def without: (*Symbol vars) -> Substitution

# Returns true if given substitution is identity.
    def empty?: () -> bool
  end
end