Gecko [ www.beriskala.com ]

Name	Size	Permission	Date
annotate	[ DIR ]	drwxr-xr-x	2026-05-01 04:20
collection	[ DIR ]	drwxr-xr-x	2026-05-01 04:20
prototype	[ DIR ]	drwxr-xr-x	2026-05-01 04:20
rdoc	[ DIR ]	drwxr-xr-x	2026-05-01 04:20
resolver	[ DIR ]	drwxr-xr-x	2026-05-01 04:20
shims	[ DIR ]	drwxr-xr-x	2026-05-01 04:20
ancestor_builder.rbs	7.36 KB	-rw-r--r--	2025-04-28 21:06
ancestor_graph.rbs	1.27 KB	-rw-r--r--	2025-04-28 21:06
annotation.rbs	556 B	-rw-r--r--	2025-04-28 21:06
buffer.rbs	718 B	-rw-r--r--	2025-04-28 21:06
builtin_names.rbs	847 B	-rw-r--r--	2025-04-28 21:06
cli.rbs	2.15 KB	-rw-r--r--	2025-04-28 21:06
collection.rbs	41 B	-rw-r--r--	2025-04-28 21:06
comment.rbs	495 B	-rw-r--r--	2025-04-28 21:06
constant.rbs	502 B	-rw-r--r--	2025-04-28 21:06
constant_table.rbs	1.1 KB	-rw-r--r--	2025-04-28 21:06
declarations.rbs	6.79 KB	-rw-r--r--	2025-04-28 21:06
definition.rbs	5.06 KB	-rw-r--r--	2025-04-28 21:06
definition_builder.rbs	5.48 KB	-rw-r--r--	2025-04-28 21:06
environment.rbs	4.27 KB	-rw-r--r--	2025-04-28 21:06
environment_loader.rbs	3.83 KB	-rw-r--r--	2025-04-28 21:06
environment_walker.rbs	1.79 KB	-rw-r--r--	2025-04-28 21:06
errors.rbs	7.93 KB	-rw-r--r--	2025-04-28 21:06
factory.rbs	77 B	-rw-r--r--	2025-04-28 21:06
location.rbs	3.3 KB	-rw-r--r--	2025-04-28 21:06
locator.rbs	1.62 KB	-rw-r--r--	2025-04-28 21:06
manifest.yaml	148 B	-rw-r--r--	2025-04-28 21:06
members.rbs	7.05 KB	-rw-r--r--	2025-04-28 21:06
method_builder.rbs	3.17 KB	-rw-r--r--	2025-04-28 21:06
method_types.rbs	1.55 KB	-rw-r--r--	2025-04-28 21:06
namespace.rbs	3.46 KB	-rw-r--r--	2025-04-28 21:06
parser.rbs	892 B	-rw-r--r--	2025-04-28 21:06
rbs.rbs	384 B	-rw-r--r--	2025-04-28 21:06
repository.rbs	2.41 KB	-rw-r--r--	2025-04-28 21:06
shims.rbs	1.34 KB	-rw-r--r--	2025-04-28 21:06
sorter.rbs	499 B	-rw-r--r--	2025-04-28 21:06
substitution.rbs	1.38 KB	-rw-r--r--	2025-04-28 21:06
type_alias_dependency.rbs	585 B	-rw-r--r--	2025-04-28 21:06
type_alias_regularity.rbs	2.89 KB	-rw-r--r--	2025-04-28 21:06
type_name_resolver.rbs	618 B	-rw-r--r--	2025-04-28 21:06
type_param.rbs	2.16 KB	-rw-r--r--	2025-04-28 21:06
typename.rbs	2.11 KB	-rw-r--r--	2025-04-28 21:06
types.rbs	11.57 KB	-rw-r--r--	2025-04-28 21:06
util.rbs	128 B	-rw-r--r--	2025-04-28 21:06
validator.rbs	1.93 KB	-rw-r--r--	2025-04-28 21:06
variance_calculator.rbs	2.56 KB	-rw-r--r--	2025-04-28 21:06
vendorer.rbs	1.44 KB	-rw-r--r--	2025-04-28 21:06
version.rbs	33 B	-rw-r--r--	2025-04-28 21:06
writer.rbs	2.91 KB	-rw-r--r--	2025-04-28 21:06

Rename

class Base
      end

interface _WithMember
        def members: () -> Array[untyped]
      end

module NestedDeclarationHelper : _WithMember
        def each_member: () { (Members::t) -> void } -> void
                       | () -> Enumerator[Members::t, void]

def each_decl: () { (t) -> void } -> void
                     | () -> Enumerator[t, void]
      end

module MixinHelper : _WithMember
        type mixin_member = Members::Include | Members::Extend | Members::Prepend

@mixins: Array[mixin_member]

def each_mixin: () { (mixin_member) -> void } -> void
                      | () -> Enumerator[mixin_member, void]
      end

class Class < Base
        class Super
          # String
          # ^^^^^^  name
          #
          # Array[String]
          # ^^^^^         name
          #      ^^^^^^^^ args
          #
          type loc = Location[:name, :args]

attr_reader name: TypeName
          attr_reader args: Array[Types::t]
          attr_reader location: loc?

def initialize: (name: TypeName, args: Array[Types::t], location: loc?) -> void

include _HashEqual
          include _ToJson
        end

type member = Members::t | t

# class Foo end
        # ^^^^^         keyword
        #       ^^^     name
        #           ^^^ end
        #
        # class Foo[A] < String end
        # ^^^^^                     keyword
        #       ^^^                 name
        #          ^^^              type_params
        #              ^            lt
        #                       ^^^ end
        #
        type loc = Location[:keyword | :name | :end, :type_params | :lt]

include NestedDeclarationHelper
        include MixinHelper

attr_reader name: TypeName
        attr_reader type_params: Array[TypeParam]
        attr_reader members: Array[member]
        attr_reader super_class: Super?
        attr_reader annotations: Array[Annotation]
        attr_reader location: loc?
        attr_reader comment: Comment?

def initialize: (name: TypeName, type_params: Array[TypeParam], members: Array[member], super_class: Super?, annotations: Array[Annotation], location: loc?, comment: Comment?) -> void

include _HashEqual
        include _ToJson
      end

class Module < Base
        class Self
          # _Each[String]
          # ^^^^^         name
          #      ^^^^^^^^ args
          #
          type loc = Location[:name, :args]

attr_reader name: TypeName
          attr_reader args: Array[Types::t]
          attr_reader location: loc?

def initialize: (name: TypeName, args: Array[Types::t], location: loc?) -> void

include _HashEqual
          include _ToJson

def to_s: () -> String
        end

type member = Members::t | t

# module Foo end
        # ^^^^^^         keyword
        #        ^^^     name
        #            ^^^ end
        #
        # module Foo[A] : BasicObject end
        # ^^^^^^                          keyword
        #        ^^^                      name
        #           ^^^                   type_params
        #               ^                 colon
        #                 ^^^^^^^^^^^     self_types
        #                             ^^^ end
        #
        type loc = Location[:keyword | :name | :end, :type_params | :colon | :self_types]

include NestedDeclarationHelper
        include MixinHelper

attr_reader name: TypeName
        attr_reader type_params: Array[TypeParam]
        attr_reader members: Array[member]
        attr_reader location: loc?
        attr_reader annotations: Array[Annotation]
        attr_reader self_types: Array[Self]
        attr_reader comment: Comment?

def initialize: (name: TypeName, type_params: Array[TypeParam], members: Array[member], location: loc?, annotations: Array[Annotation], self_types: Array[Self], comment: Comment?) -> void

include _HashEqual
        include _ToJson
      end

class Interface
        type member = Members::t

# interface _Foo end
        # ^^^^^^^^^          keyword
        #           ^^^^     name
        #                ^^^ end
        #
        # interface _Bar[A, B] end
        # ^^^^^^^^^                keyword
        #           ^^^^           name
        #               ^^^^^^     type_params
        #                      ^^^ end
        #
        type loc = Location[:name | :keyword | :end, :type_params]

attr_reader name: TypeName
        attr_reader type_params: Array[TypeParam]
        attr_reader members: Array[member]
        attr_reader annotations: Array[Annotation]
        attr_reader location: loc?
        attr_reader comment: Comment?

def initialize: (name: TypeName, type_params: Array[TypeParam], members: Array[member], annotations: Array[Annotation], location: loc?, comment: Comment?) -> void

include MixinHelper

include _HashEqual
        include _ToJson
      end

class Alias < Base
        # type loc[T] = Location[T, bot]
        # ^^^^                            keyword
        #      ^^^                        name
        #         ^^^                     type_params
        #             ^                      eq
        #
        type loc = Location[:keyword | :name | :eq, :type_params]

attr_reader name: TypeName
        attr_reader type_params: Array[TypeParam]
        attr_reader type: Types::t
        attr_reader annotations: Array[Annotation]
        attr_reader location: loc?
        attr_reader comment: Comment?

def initialize: (name: TypeName, type_params: Array[TypeParam], type: Types::t, annotations: Array[Annotation], location: loc?, comment: Comment?) -> void

include _HashEqual
        include _ToJson
      end

class Constant < Base
        # VERSION: String
        # ^^^^^^^         name
        #        ^        colon
        #
        type loc = Location[:name | :colon, bot]

attr_reader name: TypeName
        attr_reader type: Types::t
        attr_reader location: loc?
        attr_reader comment: Comment?

def initialize: (name: TypeName, type: Types::t, location: loc?, comment: Comment?) -> void

include _HashEqual
        include _ToJson
      end

class Global < Base
        # $SIZE: String
        # ^^^^^         name
        #      ^        colon
        #
        type loc = Location[:name | :colon, bot]

attr_reader name: Symbol
        attr_reader type: Types::t
        attr_reader location: loc?
        attr_reader comment: Comment?

def initialize: (name: Symbol, type: Types::t, location: loc?, comment: Comment?) -> void

include _HashEqual
        include _ToJson
      end
    end
  end
end