Gecko [ v3.cesa.co.za ]

Linux cesa-www-main 6.1.0-49-cloud-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.174-1 (2026-05-26) x86_64
Apache/2.4.68 (Debian)
Server IP : 10.218.0.2 & Your IP : 216.73.216.28
Domains : Cant Read [ /etc/named.conf ]
User : www-data

Name	Size	Permission	Date
annotate	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
collection	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
ancestor_builder.rbs	5.3 KB	-rw-r--r--	2022-04-12 11:11
ancestor_graph.rbs	1.27 KB	-rw-r--r--	2022-04-12 11:11
annotation.rbs	554 B	-rw-r--r--	2022-04-12 11:11
buffer.rbs	659 B	-rw-r--r--	2022-04-12 11:11
builtin_names.rbs	813 B	-rw-r--r--	2022-04-12 11:11
char_scanner.rbs	158 B	-rw-r--r--	2022-04-12 11:11
cli.rbs	1.86 KB	-rw-r--r--	2022-04-12 11:11
collection.rbs	41 B	-rw-r--r--	2022-04-12 11:11
comment.rbs	495 B	-rw-r--r--	2022-04-12 11:11
constant.rbs	502 B	-rw-r--r--	2022-04-12 11:11
constant_table.rbs	1.1 KB	-rw-r--r--	2022-04-12 11:11
declarations.rbs	6.79 KB	-rw-r--r--	2022-04-12 11:11
definition.rbs	4.86 KB	-rw-r--r--	2022-04-12 11:11
definition_builder.rbs	3.46 KB	-rw-r--r--	2022-04-12 11:11
environment.rbs	4.21 KB	-rw-r--r--	2022-04-12 11:11
environment_loader.rbs	3.79 KB	-rw-r--r--	2022-04-12 11:11
environment_walker.rbs	1.79 KB	-rw-r--r--	2022-04-12 11:11
errors.rbs	7.93 KB	-rw-r--r--	2022-04-12 11:11
location.rbs	3.22 KB	-rw-r--r--	2022-04-12 11:11
locator.rbs	1.52 KB	-rw-r--r--	2022-04-12 11:11
members.rbs	6.58 KB	-rw-r--r--	2022-04-12 11:11
method_builder.rbs	2.86 KB	-rw-r--r--	2022-04-12 11:11
method_types.rbs	1.55 KB	-rw-r--r--	2022-04-12 11:11
namespace.rbs	3.26 KB	-rw-r--r--	2022-04-12 11:11
parser.rbs	892 B	-rw-r--r--	2022-04-12 11:11
polyfill.rbs	2.01 KB	-rw-r--r--	2022-04-12 11:11
rbs.rbs	341 B	-rw-r--r--	2022-04-12 11:11
repository.rbs	2.41 KB	-rw-r--r--	2022-04-12 11:11
substitution.rbs	1.38 KB	-rw-r--r--	2022-04-12 11:11
type_alias_dependency.rbs	585 B	-rw-r--r--	2022-04-12 11:11
type_alias_regularity.rbs	2.89 KB	-rw-r--r--	2022-04-12 11:11
type_name_resolver.rbs	618 B	-rw-r--r--	2022-04-12 11:11
type_param.rbs	2.16 KB	-rw-r--r--	2022-04-12 11:11
typename.rbs	2.03 KB	-rw-r--r--	2022-04-12 11:11
types.rbs	11.25 KB	-rw-r--r--	2022-04-12 11:11
util.rbs	128 B	-rw-r--r--	2022-04-12 11:11
validator.rbs	1.8 KB	-rw-r--r--	2022-04-12 11:11
variance_calculator.rbs	2.56 KB	-rw-r--r--	2022-04-12 11:11
vendorer.rbs	1.43 KB	-rw-r--r--	2022-04-12 11:11
version.rbs	33 B	-rw-r--r--	2022-04-12 11:11
writer.rbs	1.08 KB	-rw-r--r--	2022-04-12 11:11

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