class documentation

Type that refers to a type variable.

Class Method deserialize Undocumented
Static Method new_unification_variable Undocumented
Method __eq__ Undocumented
Method __hash__ Undocumented
Method __init__ Undocumented
Method accept Undocumented
Method copy_modified Undocumented
Method serialize Undocumented
Class Variable __slots__ Undocumented
Instance Variable values Undocumented
Instance Variable variance Undocumented

Inherited from TypeVarLikeType:

Instance Variable fullname Undocumented
Instance Variable id Undocumented
Instance Variable name Undocumented
Instance Variable upper_bound Undocumented

Inherited from Type (via TypeVarLikeType, ProperType):

Method __repr__ Undocumented
Method can_be_false.setter Undocumented
Method can_be_false_default Undocumented
Method can_be_true.setter Undocumented
Method can_be_true_default Undocumented
Method is_singleton_type Undocumented
Property can_be_false Undocumented
Property can_be_true Undocumented
Instance Variable _can_be_false Undocumented
Instance Variable _can_be_true Undocumented

Inherited from Context (via TypeVarLikeType, ProperType, Type):

Method set_line If target is a node, pull line (and column) information into this node. If column is specified, this will override any column information coming from a node.
Instance Variable column Undocumented
Instance Variable end_column Undocumented
Instance Variable end_line Undocumented
Instance Variable line Undocumented
@classmethod
def deserialize(cls, data: JsonDict) -> TypeVarType: (source)
@staticmethod
def new_unification_variable(old: TypeVarType) -> TypeVarType: (source)

Undocumented

def __eq__(self, other: object) -> bool: (source)

Undocumented

def __hash__(self) -> int: (source)

Undocumented

def __init__(self, name: str, fullname: str, id: TypeVarId|int, values: list[Type], upper_bound: Type, variance: int = INVARIANT, line: int = -1, column: int = -1): (source)

Undocumented

def accept(self, visitor: TypeVisitor[T]) -> T: (source)

Undocumented

def copy_modified(self, values: Bogus[list[Type]] = _dummy, upper_bound: Bogus[Type] = _dummy, id: Bogus[TypeVarId|int] = _dummy, line: int = _dummy_int, column: int = _dummy_int) -> TypeVarType: (source)

Undocumented

def serialize(self) -> JsonDict: (source)

Undocumented

__slots__: tuple[str, ...] = (source)

Undocumented

Undocumented

variance = (source)

Undocumented