class documentation

class Instance(ProperType): (source)

View In Hierarchy

An instance type of form C[T1, ..., Tn].

The list of type variables may be empty.

Class Method deserialize Undocumented
Method __eq__ Undocumented
Method __hash__ Undocumented
Method __init__ Undocumented
Method accept Undocumented
Method copy​_modified Undocumented
Method has​_readable​_member Undocumented
Method serialize Undocumented
Class Variable __slots__ Undocumented
Instance Variable args Undocumented
Instance Variable erased Undocumented
Instance Variable invalid Undocumented
Instance Variable last​_known​_value Undocumented
Instance Variable type Undocumented
Instance Variable type​_ref Undocumented

Inherited from Type (via ProperType):

Method __repr__ Undocumented
Method can​_be​_false​_default Undocumented
Method can​_be​_true​_default Undocumented
Instance Variable can​_be​_false Undocumented
Instance Variable can​_be​_true Undocumented

Inherited from Context (via ProperType, Type):

Method get​_column Don't use. Use x.column.
Method get​_line Don't use. Use x.line.
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​_line Undocumented
Instance Variable line Undocumented
@classmethod
def deserialize(cls, data): (source)

Undocumented

Parameters
data:Union[JsonDict, str]Undocumented
Returns
InstanceUndocumented
def __eq__(self, other): (source)

Undocumented

Parameters
other:objectUndocumented
Returns
boolUndocumented
def __hash__(self): (source)

Undocumented

Returns
intUndocumented
def __init__(self, typ, args, line=-1, column=-1, erased=False, last_known_value=None): (source)

Undocumented

Parameters
typ:mypy.nodes.TypeInfoUndocumented
args:Sequence[Type]Undocumented
line:intUndocumented
column:intUndocumented
erased:boolUndocumented
last​_known​_value:Optional[LiteralType]Undocumented
def accept(self, visitor): (source)

Undocumented

Parameters
visitor:TypeVisitor[T]Undocumented
Returns
TUndocumented
def copy_modified(self, *, args=_dummy, erased=_dummy, last_known_value=_dummy): (source)

Undocumented

Parameters
args:Bogus[List[Type]]Undocumented
erased:Bogus[bool]Undocumented
last​_known​_value:Bogus[Optional[LiteralType]]Undocumented
Returns
InstanceUndocumented
def has_readable_member(self, name): (source)

Undocumented

Parameters
name:strUndocumented
Returns
boolUndocumented
def serialize(self): (source)

Undocumented

Returns
Union[JsonDict, str]Undocumented
__slots__: tuple[str, ...] = (source)

Undocumented

args = (source)

Undocumented

erased = (source)

Undocumented

invalid: bool = (source)

Undocumented

last_known_value = (source)

Undocumented

type = (source)

Undocumented

type_ref: Optional[str] = (source)

Undocumented