Gecko [ beriskala.com ]

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

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

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