mypy.tvar_scope.TypeVarLikeScope

class documentation

class TypeVarLikeScope: (source)

Scope that holds bindings for type variables and parameter specifications.

Node fullname -> TypeVarLikeType.

Method	`__init__`	Initializer for TypeVarLikeScope
Method	`__str__`	Undocumented
Method	`allow_binding`	Undocumented
Method	`bind_existing`	Undocumented
Method	`bind_new`	Undocumented
Method	`class_frame`	A new scope frame for binding a class. Prohibits this class's tvars
Method	`get_binding`	Undocumented
Method	`get_function_scope`	Get the nearest parent that's a function scope, not a class scope
Method	`method_frame`	A new scope frame for binding a method
Instance Variable	`class_id`	Undocumented
Instance Variable	`func_id`	Undocumented
Instance Variable	`is_class_scope`	Undocumented
Instance Variable	`parent`	Undocumented
Instance Variable	`prohibited`	Undocumented
Instance Variable	`scope`	Undocumented

def __init__(self, parent=None, is_class_scope=False, prohibited=None): (source)

Initializer for TypeVarLikeScope

Parameters:: parent: the outer scope for this scope is_class_scope: True if this represents a generic class prohibited: Type variables that aren't strictly in scope exactly,

but can't be bound because they're part of an outer class's scope.

Parameters
parent:`Optional[TypeVarLikeScope]`	Undocumented
is_class_scope:`bool`	Undocumented
prohibited:`Optional[TypeVarLikeScope]`	Undocumented

def __str__(self): (source)

Undocumented

Returns
`str`	Undocumented

def allow_binding(self, fullname): (source)

Undocumented

def bind_existing(self, tvar_def): (source)

Undocumented

Parameters
tvar_def:`TypeVarLikeType`	Undocumented

def bind_new(self, name, tvar_expr): (source)

Undocumented

def class_frame(self): (source)

A new scope frame for binding a class. Prohibits this class's tvars

Returns
`TypeVarLikeScope`	Undocumented

def get_binding(self, item): (source)

Undocumented

Parameters
item:`Union[str, SymbolTableNode]`	Undocumented
Returns
`Optional[TypeVarLikeType]`	Undocumented

def get_function_scope(self): (source)

Get the nearest parent that's a function scope, not a class scope

Returns
`Optional[TypeVarLikeScope]`	Undocumented

def method_frame(self): (source)

A new scope frame for binding a method

Returns
`TypeVarLikeScope`	Undocumented

class_id = (source)

Undocumented

Undocumented

is_class_scope = (source)

Undocumented

Undocumented

prohibited = (source)

Undocumented

scope: Dict[str, TypeVarLikeType] = (source)

Undocumented