Update RBI files for tapioca.
This commit is contained in:
parent
cb71c1d7f7
commit
12dfa1fbd2
@ -75,8 +75,17 @@ class RBI::Tree < ::RBI::NodeWithComments
|
|||||||
sig { params(constant: ::Module, block: T.nilable(T.proc.params(scope: ::RBI::Scope).void)).void }
|
sig { params(constant: ::Module, block: T.nilable(T.proc.params(scope: ::RBI::Scope).void)).void }
|
||||||
def create_path(constant, &block); end
|
def create_path(constant, &block); end
|
||||||
|
|
||||||
sig { params(name: ::String, value: ::String).void }
|
sig do
|
||||||
def create_type_member(name, value: T.unsafe(nil)); end
|
params(
|
||||||
|
name: ::String,
|
||||||
|
type: ::String,
|
||||||
|
variance: ::Symbol,
|
||||||
|
fixed: T.nilable(::String),
|
||||||
|
upper: T.nilable(::String),
|
||||||
|
lower: T.nilable(::String)
|
||||||
|
).void
|
||||||
|
end
|
||||||
|
def create_type_variable(name, type:, variance: T.unsafe(nil), fixed: T.unsafe(nil), upper: T.unsafe(nil), lower: T.unsafe(nil)); end
|
||||||
|
|
||||||
sig { params(annotation: ::String).void }
|
sig { params(annotation: ::String).void }
|
||||||
def deannotate!(annotation); end
|
def deannotate!(annotation); end
|
||||||
@ -142,8 +151,8 @@ RBI::VERSION = T.let(T.unsafe(nil), String)
|
|||||||
|
|
||||||
module T::Generic::TypeStoragePatch
|
module T::Generic::TypeStoragePatch
|
||||||
def [](*types); end
|
def [](*types); end
|
||||||
def type_member(variance = T.unsafe(nil), fixed: T.unsafe(nil), lower: T.unsafe(nil), upper: T.unsafe(nil)); end
|
def type_member(variance = T.unsafe(nil), fixed: T.unsafe(nil), lower: T.unsafe(nil), upper: T.unsafe(nil), &blk); end
|
||||||
def type_template(variance = T.unsafe(nil), fixed: T.unsafe(nil), lower: T.unsafe(nil), upper: T.unsafe(nil)); end
|
def type_template(variance = T.unsafe(nil), fixed: T.unsafe(nil), lower: T.unsafe(nil), upper: T.unsafe(nil), &blk); end
|
||||||
end
|
end
|
||||||
|
|
||||||
module T::Types::Simple::GenericPatch
|
module T::Types::Simple::GenericPatch
|
||||||
@ -1375,7 +1384,12 @@ module Tapioca::Runtime::Reflection
|
|||||||
sig { params(constant: ::Module).returns(T::Array[::Symbol]) }
|
sig { params(constant: ::Module).returns(T::Array[::Symbol]) }
|
||||||
def constants_of(constant); end
|
def constants_of(constant); end
|
||||||
|
|
||||||
sig { type_parameters(:U).params(klass: T.type_parameter(:U)).returns(T::Array[T.type_parameter(:U)]) }
|
sig do
|
||||||
|
type_parameters(:U)
|
||||||
|
.params(
|
||||||
|
klass: T.all(::Class, T.type_parameter(:U))
|
||||||
|
).returns(T::Array[T.type_parameter(:U)])
|
||||||
|
end
|
||||||
def descendants_of(klass); end
|
def descendants_of(klass); end
|
||||||
|
|
||||||
sig { params(constant: ::Module).returns(T::Array[::Module]) }
|
sig { params(constant: ::Module).returns(T::Array[::Module]) }
|
||||||
@ -1639,6 +1653,23 @@ class Tapioca::TypeVariable < ::T::Types::TypeVariable
|
|||||||
def name; end
|
def name; end
|
||||||
end
|
end
|
||||||
|
|
||||||
|
module Tapioca::TypeVariableHelper
|
||||||
|
extend ::Tapioca::SorbetHelper
|
||||||
|
|
||||||
|
class << self
|
||||||
|
sig do
|
||||||
|
params(
|
||||||
|
type: ::String,
|
||||||
|
variance: ::Symbol,
|
||||||
|
fixed: T.nilable(::String),
|
||||||
|
upper: T.nilable(::String),
|
||||||
|
lower: T.nilable(::String)
|
||||||
|
).returns(::String)
|
||||||
|
end
|
||||||
|
def serialize_type_variable(type, variance, fixed, upper, lower); end
|
||||||
|
end
|
||||||
|
end
|
||||||
|
|
||||||
class Tapioca::TypeVariableModule < ::Module
|
class Tapioca::TypeVariableModule < ::Module
|
||||||
sig do
|
sig do
|
||||||
params(
|
params(
|
||||||
@ -1650,7 +1681,7 @@ class Tapioca::TypeVariableModule < ::Module
|
|||||||
upper: T.untyped
|
upper: T.untyped
|
||||||
).void
|
).void
|
||||||
end
|
end
|
||||||
def initialize(context, type, variance, fixed, lower, upper); end
|
def initialize(context, type, variance, fixed: T.unsafe(nil), lower: T.unsafe(nil), upper: T.unsafe(nil)); end
|
||||||
|
|
||||||
sig { returns(::Tapioca::TypeVariable) }
|
sig { returns(::Tapioca::TypeVariable) }
|
||||||
def coerce_to_type_variable; end
|
def coerce_to_type_variable; end
|
||||||
Loading…
x
Reference in New Issue
Block a user