class Instance(ProperType): (source)
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 |
mypy.types.Type.__init__
Undocumented
Parameters | |
typ:mypy.nodes.TypeInfo | Undocumented |
args:Sequence[ | Undocumented |
line:int | Undocumented |
column:int | Undocumented |
erased:bool | Undocumented |
last_known_value:Optional[ | Undocumented |
mypy.types.Type.accept
Undocumented
Parameters | |
visitor:TypeVisitor[ | Undocumented |
Returns | |
T | Undocumented |