Gecko [ beriskala.com ]

Name	Size	Permission	Date
annotate	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
cli	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
collection	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
prototype	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
rdoc	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
resolver	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
shims	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
test	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
unit_test	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
ancestor_builder.rbs	7.61 KB	-rw-r--r--	2026-04-07 16:50
ancestor_graph.rbs	2.12 KB	-rw-r--r--	2026-04-07 16:50
annotation.rbs	556 B	-rw-r--r--	2026-04-07 16:50
buffer.rbs	718 B	-rw-r--r--	2026-04-07 16:50
builtin_names.rbs	847 B	-rw-r--r--	2026-04-07 16:50
cli.rbs	2.23 KB	-rw-r--r--	2026-04-07 16:50
collection.rbs	41 B	-rw-r--r--	2026-04-07 16:50
comment.rbs	495 B	-rw-r--r--	2026-04-07 16:50
constant.rbs	465 B	-rw-r--r--	2026-04-07 16:50
declarations.rbs	8.22 KB	-rw-r--r--	2026-04-07 16:50
definition.rbs	5.67 KB	-rw-r--r--	2026-04-07 16:50
definition_builder.rbs	5.86 KB	-rw-r--r--	2026-04-07 16:50
diff.rbs	1.42 KB	-rw-r--r--	2026-04-07 16:50
directives.rbs	1.34 KB	-rw-r--r--	2026-04-07 16:50
environment.rbs	8.9 KB	-rw-r--r--	2026-04-07 16:50
environment_loader.rbs	3.76 KB	-rw-r--r--	2026-04-07 16:50
environment_walker.rbs	1.79 KB	-rw-r--r--	2026-04-07 16:50
errors.rbs	11.48 KB	-rw-r--r--	2026-04-07 16:50
factory.rbs	77 B	-rw-r--r--	2026-04-07 16:50
file_finder.rbs	1.27 KB	-rw-r--r--	2026-04-07 16:50
location.rbs	3.23 KB	-rw-r--r--	2026-04-07 16:50
locator.rbs	1.98 KB	-rw-r--r--	2026-04-07 16:50
manifest.yaml	115 B	-rw-r--r--	2026-04-07 16:50
members.rbs	7.71 KB	-rw-r--r--	2026-04-07 16:50
method_builder.rbs	3.17 KB	-rw-r--r--	2026-04-07 16:50
method_types.rbs	1.64 KB	-rw-r--r--	2026-04-07 16:50
namespace.rbs	3.48 KB	-rw-r--r--	2026-04-07 16:50
parser.rbs	3.72 KB	-rw-r--r--	2026-04-07 16:50
rbs.rbs	394 B	-rw-r--r--	2026-04-07 16:50
repository.rbs	2.42 KB	-rw-r--r--	2026-04-07 16:50
sorter.rbs	1.78 KB	-rw-r--r--	2026-04-07 16:50
substitution.rbs	1.47 KB	-rw-r--r--	2026-04-07 16:50
subtractor.rbs	1.77 KB	-rw-r--r--	2026-04-07 16:50
test.rbs	1.83 KB	-rw-r--r--	2026-04-07 16:50
type_alias_dependency.rbs	1.56 KB	-rw-r--r--	2026-04-07 16:50
type_alias_regularity.rbs	3.1 KB	-rw-r--r--	2026-04-07 16:50
type_param.rbs	3.62 KB	-rw-r--r--	2026-04-07 16:50
typename.rbs	2.25 KB	-rw-r--r--	2026-04-07 16:50
types.rbs	14.24 KB	-rw-r--r--	2026-04-07 16:50
use_map.rbs	736 B	-rw-r--r--	2026-04-07 16:50
util.rbs	128 B	-rw-r--r--	2026-04-07 16:50
validator.rbs	2.16 KB	-rw-r--r--	2026-04-07 16:50
variance_calculator.rbs	2.61 KB	-rw-r--r--	2026-04-07 16:50
vendorer.rbs	1.44 KB	-rw-r--r--	2026-04-07 16:50
version.rbs	33 B	-rw-r--r--	2026-04-07 16:50
visitor.rbs	1.57 KB	-rw-r--r--	2026-04-07 16:50
writer.rbs	3.04 KB	-rw-r--r--	2026-04-07 16:50

Rename

module RBS
  # Calculate the use variances of type variables in declaration.
  #
  # ```rb
  # calculator = VarianceCalculator.new(builder: builder)
  #
  # # Calculates variances in a method type
  # result = calculator.in_method_type(method_type: method_type, variables: variables)
  #
  # # Calculates variances in a inheritance/mixin/...
  # result = calculator.in_inherit(name: name, args: args, variables: variables)
  #
  # # Calculates variances in a type alias
  # result = calculator.in_type_alias(name: name, args: args, variables: variables)
  # ```
  #
  # See `RBS::VarianceCalculator::Result` for information recorded in the `Result` object.
  #
  class VarianceCalculator
    type variance = :unused | :covariant | :contravariant | :invariant

# Result contains the set of type variables and it's variance in a occurrence.
    #
    # ```rb
    # # Enumerates recorded type variables
    # result.each do |name, variance|
    #   # name is the name of a type variable
    #   # variance is one of :unused | :covariant | :contravariant | :invariant
    # end
    # ```
    #
    # You can test with `compatible?` method if the type variable occurrences are compatible with specified (annotated) variance.
    #
    # ```rb
    # # When T is declared as `out T`
    # result.compatible?(:T, with_annotation: :covariant)
    #
    # # When T is declared as `in T`
    # result.compatible?(:T, with_annotation: :contravariant)
    #
    # # When T is declared as `T`
    # result.compatible?(:T, with_annotation: :invariant)
    # ```
    #
    class Result
      attr_reader result: Hash[Symbol, variance]

def initialize: (variables: Array[Symbol]) -> void

def covariant: (Symbol) -> void

def contravariant: (Symbol) -> void

def invariant: (Symbol) -> void

def each: () { ([Symbol, variance]) -> void } -> void

def include?: (Symbol) -> bool

def compatible?: (Symbol, with_annotation: variance) -> bool

def incompatible?: (Array[AST::TypeParam]) -> Set[Symbol]?
    end

attr_reader builder: DefinitionBuilder

def initialize: (builder: DefinitionBuilder) -> void

def env: () -> Environment

def in_method_type: (method_type: MethodType, variables: Array[Symbol]) -> Result

def in_inherit: (name: TypeName, args: Array[Types::t], variables: Array[Symbol]) -> Result

# The type name must be normalized
    #
    def in_type_alias: (name: TypeName) -> Result

private

def type: (Types::t, result: Result, context: variance) -> void

def function: (Types::function, result: Result, context: variance) -> void

def negate: (variance) -> variance
  end
end