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
  # 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::VarianceCaluculator::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