ꦫꦣꦺꦤ꧀ꦄꦤ꧀ꦠꦱꦺꦤ

PATH: opt / alt / ruby34 / share / gems / gems / rbs-3.8.0 / sig

module RBS
  # Substitution from type variables to types.
  #
  # The substitution construction is in _destructive_ manner.
  #
  #    sub = Substitution.new
  #    sub.add(from: :A, to: type1)
  #    sub.add(from: :B, to: type2)
  #    sub.instance_type = type3
  #
  class Substitution
    # A hash containing mapping from type variable name to type.
    attr_reader mapping: Hash[Symbol, Types::t]

# The result of applying this substitution to `instance` type.
    # `nil` maps to `instance` type itself.
    attr_accessor instance_type: Types::t?

def initialize: () -> void

# Add mapping to this substitution.
    # Overwrites the previous mapping if same `from` is given.
    def add: (from: Symbol, to: Types::t) -> void

# Utility method to construct a substitution.
    # Raises an error when `variables.size != types.size`.
    # `instance_type` defaults to `nil`.
    #
    # Yields types in `types` and the block value is used if block is given.
    #
    def self.build: (Array[Symbol] variables, Array[Types::t] types, ?instance_type: Types::t?) ?{ (Types::t) -> Types::t } -> instance

# Applies the substitution to given type.
    def apply: (Types::t) -> Types::t

# Returns a substitution without variables given in `vars`.
    def without: (*Symbol vars) -> Substitution

# Returns true if given substitution is identity.
    def empty?: () -> bool

alias [] apply

# (s1 + s2)[t] == s2[s1[t]]
    # 
    def +: (Substitution) -> Substitution
  end
end

[-] collection.rbs [edit]
[-] sorter.rbs [edit]
[-] subtractor.rbs [edit]
[-] rbs.rbs [edit]
[-] comment.rbs [edit]
[-] test.rbs [edit]
[+] resolver
[-] vendorer.rbs [edit]
[-] method_builder.rbs [edit]
[-] environment_loader.rbs [edit]
[-] substitution.rbs [edit]
[+] prototype
[-] validator.rbs [edit]
[-] locator.rbs [edit]
[+] cli
[-] version.rbs [edit]
[-] environment.rbs [edit]
[-] builtin_names.rbs [edit]
[-] directives.rbs [edit]
[+] unit_test
[-] method_types.rbs [edit]
[-] file_finder.rbs [edit]
[-] diff.rbs [edit]
[-] annotation.rbs [edit]
[-] errors.rbs [edit]
[-] definition.rbs [edit]
[-] definition_builder.rbs [edit]
[-] parser.rbs [edit]
[-] util.rbs [edit]
[-] type_alias_regularity.rbs [edit]
[+] annotate
[-] factory.rbs [edit]
[-] ancestor_graph.rbs [edit]
[-] typename.rbs [edit]
[+] collection
[-] types.rbs [edit]
[-] writer.rbs [edit]
[+] ..
[-] visitor.rbs [edit]
[-] type_alias_dependency.rbs [edit]
[+] test
[-] manifest.yaml [edit]
[-] buffer.rbs [edit]
[-] cli.rbs [edit]
[-] location.rbs [edit]
[-] namespace.rbs [edit]
[-] use_map.rbs [edit]
[+] rdoc
[-] environment_walker.rbs [edit]
[-] type_param.rbs [edit]
[-] declarations.rbs [edit]
[-] members.rbs [edit]
[-] ancestor_builder.rbs [edit]
[-] variance_calculator.rbs [edit]
[-] constant.rbs [edit]
[-] repository.rbs [edit]
[+] shims