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
  # Namespace instance represents a _prefix of module names_.
  #
  #    vvvvvvvvvvvvvv  TypeName
  #    RBS::Namespace
  #    ^^^^^           Namespace
  #
  #    vvvvvvvvvv    TypeName
  #    RBS::Types
  #    ^^^^^         Namespace
  #
  #    vvvvvvvvvvvvvvvvv    TypeName
  #    RBS::Types::Union
  #    ^^^^^^^^^^^^         Namespace
  #
  # Note that `Namespace` is an RBS specific concept and there is no corresponding concept in Ruby.
  #
  # There are _absolute_ and _relative_ namespaces.
  #
  #    Namespace(::RBS::)         # Absolute namespace
  #    Namespace(  RBS::)         # Relative namespace
  #
  # It also defines two special namespaces.
  #
  #    ::              # _Root_ namespace
  #                    # _Empty_ namespace
  #
  class Namespace
    attr_reader path: Array[Symbol]

def initialize: (path: Array[Symbol], absolute: boolish) -> void

# Returns new _empty_ namespace.
    def self.empty: () -> Namespace

# Returns new _root_ namespace.
    def self.root: () -> Namespace

# Concat two namespaces.
    #
    #   Namespace("Foo::") + Namespace("Bar::")   # => Foo::Bar::
    #   Namespace("::Foo::") + Namespace("Bar::") # => ::Foo::Bar::
    #
    # If `other` is an absolute namespace, it returns `other`.
    #
    #   Namespace("Foo::") + Namespace("::Bar::")  # =>  ::Bar::
    #
    def +: (Namespace other) -> Namespace

# Add one path component to self.
    #
    #   Namespace("Foo::").append(:Bar) # => Namespace("Foo::Bar::")
    def append: (Symbol component) -> Namespace

# Returns parent namespace.
    # Raises error there is no parent namespace.
    #
    #    Namespace("::A").parent    # => Namespace("::")
    #    Namespace("::").parent     # raises error
    #    Namespace("A::B").parent   # => Namespace("A")
    def parent: () -> Namespace

# Returns true if self is absolute namespace.
    def absolute?: () -> bool

# Returns true if self is relative namespace.
    def relative?: () -> bool

# Returns absolute namespace.
    #
    #    Namespace("A").absolute!      # => Namespace("::A")
    #    Namespace("::A").absolute!    # => Namespace("::A")
    #
    def absolute!: () -> Namespace

# Returns _relative_ namespace.
    #
    def relative!: () -> Namespace

def empty?: () -> bool

# Equality is defined by its structure.
    #
    def ==: (untyped other) -> bool

alias eql? ==

# Hash is defined based on its structure.
    #
    def hash: () -> Integer

# Returns a pair of parent namespace and a symbol of last component.
    #
    #    Namespace("::A::B::C").split    # => [Namespace("::A::B::"), :C]
    #
    def split: () -> [Namespace, Symbol]?

def to_s: () -> String

# Construct a type name which points to the same name type.
    #
    def to_type_name: () -> TypeName

def self.parse: (String string) -> Namespace

# Iterate over Namespace for each element in ascending order.
    #
    # ```
    # Namespace.parse("::A::B::C").ascend {|ns| p ns }
    #   => ::A::B::C
    #   => ::A::B
    #   => ::A
    #   => ::(root)
    # ```
    def ascend: () { (Namespace) -> void } -> void
              | () -> Enumerator[Namespace, void]
  end
end

module Kernel
  # Parses given string and returns Namespace.
  #
  def Namespace: (String) -> RBS::Namespace
end