mypy.types.PartialType

class documentation

class PartialType(ProperType): (source)

Type such as List[?] where type arguments are unknown, or partial None type.

These are used for inferring types in multiphase initialization such as this:

x = [] # x gets a partial type List[?], as item type is unknown x.append(1) # partial type gets replaced with normal type List[int]

Or with None:

x = None # x gets a partial type None if c:

x = 1 # Infer actual type int for x

Inherited from Type (via ProperType):

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

def __init__(self, type, var, value_type=None): (source)

overrides mypy.types.Type.__init__

Undocumented

Parameters
type:`Optional[mypy.nodes.TypeInfo]`	Undocumented
var:`mypy.nodes.Var`	Undocumented
value_type:`Optional[Instance]`	Undocumented

def accept(self, visitor): (source)

overrides mypy.types.Type.accept

Undocumented

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

overrides mypy.types.ProperType.__slots__

Undocumented

Undocumented

value_type = (source)

Undocumented

Undocumented