mypy.types.UninhabitedType

class documentation

class UninhabitedType(ProperType): (source)

This type has no members.

This type is the bottom type. With strict Optional checking, it is the only common subtype between all other types, which allows meet to be well defined. Without strict Optional checking, NoneType fills this role.

In general, for any type T:: join(UninhabitedType, T) = T meet(UninhabitedType, T) = UninhabitedType is_subtype(UninhabitedType, T) = True

Class Method	`deserialize`	Undocumented
Method	`__eq__`	Undocumented
Method	`__hash__`	Undocumented
Method	`__init__`	Undocumented
Method	`accept`	Undocumented
Method	`can_be_false_default`	Undocumented
Method	`can_be_true_default`	Undocumented
Method	`serialize`	Undocumented
Class Variable	`__slots__`	Undocumented
Instance Variable	`ambiguous`	Undocumented
Instance Variable	`is_noreturn`	Undocumented

Inherited from Type (via ProperType):

Method	`__repr__`	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)

overrides mypy.types.Type.deserialize

Undocumented

Parameters
data:`JsonDict`	Undocumented
Returns
`UninhabitedType`	Undocumented

def __eq__(self, other): (source)

Undocumented

Parameters
other:`object`	Undocumented
Returns
`bool`	Undocumented

def __hash__(self): (source)

Undocumented

Returns
`int`	Undocumented

def __init__(self, is_noreturn=False, line=-1, column=-1): (source)

overrides mypy.types.Type.__init__

Undocumented

Parameters
is_noreturn:`bool`	Undocumented
line:`int`	Undocumented
column:`int`	Undocumented

def accept(self, visitor): (source)

overrides mypy.types.Type.accept

Undocumented

Parameters
visitor:`TypeVisitor[T]`	Undocumented
Returns
`T`	Undocumented

def can_be_false_default(self): (source)

overrides mypy.types.Type.can_be_false_default

Undocumented

Returns
`bool`	Undocumented

def can_be_true_default(self): (source)

overrides mypy.types.Type.can_be_true_default

Undocumented

Returns
`bool`	Undocumented

def serialize(self): (source)

overrides mypy.types.Type.serialize

Undocumented

Returns
`JsonDict`	Undocumented

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

overrides mypy.types.ProperType.__slots__

Undocumented

ambiguous: bool = (source)

Undocumented

is_noreturn = (source)

Undocumented