mypy.nodes.TypeVarExpr

class documentation

class TypeVarExpr(TypeVarLikeExpr): (source)

Type variable expression TypeVar(...). This is also used to represent type variables in symbol tables. A type variable is not valid as a type unless bound in a TypeVarLikeScope. That happens within: 1. a generic class that uses the type variable as a type argument or 2. a generic function that refers to the type variable in its signature.

Class Method	`deserialize`	Undocumented
Method	`__init__`	Undocumented
Method	`accept`	Undocumented
Method	`serialize`	Undocumented
Class Variable	`__match_args__`	Undocumented
Class Variable	`__slots__`	Undocumented
Instance Variable	`values`	Undocumented

Inherited from TypeVarLikeExpr:

Instance Variable	`upper_bound`	Undocumented
Instance Variable	`variance`	Undocumented
Property	`fullname`	Undocumented
Property	`name`	Undocumented
Instance Variable	`_fullname`	Undocumented
Instance Variable	`_name`	Undocumented

Inherited from Node (via TypeVarLikeExpr, SymbolNode, Expression):

Method __str__ Undocumented

Inherited from Context (via TypeVarLikeExpr, SymbolNode, Expression, Node):

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) -> TypeVarExpr: (source) ¶

overrides mypy.nodes.SymbolNode.deserialize

Undocumented

def __init__(self, name: str, fullname: str, values: list[mypy.types.Type], upper_bound: mypy.types.Type, variance: int = INVARIANT): (source) ¶

overrides mypy.nodes.TypeVarLikeExpr.__init__

Undocumented

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

overrides mypy.nodes.Expression.accept

Undocumented

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

overrides mypy.nodes.SymbolNode.serialize

Undocumented

__match_args__: tuple[str, ...] = (source) ¶

Undocumented

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

overrides mypy.nodes.TypeVarLikeExpr.__slots__

Undocumented

values = (source) ¶

Undocumented