Gecko [ v3.cesa.co.za ]

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
  module AST
    class TypeParam
      # Key
      # ^^^ name
      #
      # unchecked out Elem < _ToJson
      # ^^^^^^^^^                    unchecked
      #           ^^^                variance
      #               ^^^^           name
      #                    ^^^^^^^^^ upper_bound
      type loc = Location[:name, :variance | :unchecked | :upper_bound]

type variance = :invariant | :covariant | :contravariant

type bound = Types::ClassInstance | Types::ClassSingleton | Types::Interface

attr_reader name: Symbol
      attr_reader variance: variance
      attr_reader location: loc?

attr_reader upper_bound: bound?

def initialize: (name: Symbol, variance: variance, upper_bound: bound?, location: loc?) -> void

include _ToJson

def ==: (untyped) -> bool

def eql?: (untyped) -> bool

def hash: () -> Integer

@unchecked: bool

def unchecked!: (?boolish) -> self

def unchecked?: () -> bool

def map_type: () { (bound) -> bound } -> TypeParam

# Helper function to resolve _class instance types_ to _type variables_.
      #
      # We need this step because RBS language has an identical syntax for both unqualified class instance types and type variables.
      # `String` may be an instance of `::String` class or type variable depending on the list of bound type variables.
      #
      # So, we need second pass to parse the following generics parameter declaration.
      #
      # ```rbs
      # class Foo[X < _Each[Y], Y]
      #                   # ^ We want this `Y` to be a type variable.
      # end
      # ```
      #
      def self.resolve_variables: (Array[TypeParam]) -> void

def self.subst_var: (Set[Symbol], Types::t) -> Types::t

# Rename type parameter name.
      #
      # The renaming cannot be done separately because a set of `TypeParam` decls may be mutual recursive.
      #
      # Example:
      #
      # * Renaming `A -> X, B -> Y`
      # * Input `[A, B < _Pushable[A]]`
      # * Result `[X, Y < _Pushable[X]]`
      #
      def self.rename: (Array[TypeParam], new_names: Array[Symbol]) -> Array[TypeParam]

def to_s: () -> String
    end
  end
end