mypy.types.UninhabitedType

class documentation

class UninhabitedType(ProperType): (source)

View In Hierarchy

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
Method can_be_false.setter Undocumented
Method can_be_true.setter Undocumented
Method is_singleton_type Undocumented
Property can_be_false Undocumented
Property can_be_true Undocumented
Instance Variable _can_be_false Undocumented
Instance Variable _can_be_true Undocumented

Inherited from Context (via ProperType, Type):

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_column Undocumented
Instance Variable end_line Undocumented
Instance Variable line Undocumented
@classmethod
def deserialize(cls, data: JsonDict) -> UninhabitedType: (source)
overrides mypy.types.Type.deserialize

Undocumented

def __eq__(self, other: object) -> bool: (source)

Undocumented

def __hash__(self) -> int: (source)

Undocumented

def __init__(self, is_noreturn: bool = False, line: int = -1, column: int = -1): (source)
overrides mypy.types.Type.__init__

Undocumented

def accept(self, visitor: TypeVisitor[T]) -> T: (source)
overrides mypy.types.Type.accept

Undocumented

def can_be_false_default(self) -> bool: (source)
overrides mypy.types.Type.can_be_false_default

Undocumented

def can_be_true_default(self) -> bool: (source)
overrides mypy.types.Type.can_be_true_default

Undocumented

def serialize(self) -> JsonDict: (source)
overrides mypy.types.Type.serialize

Undocumented

__slots__: tuple[str, ...] = (source)
overrides mypy.types.ProperType.__slots__

Undocumented

ambiguous: bool = (source)

Undocumented

is_noreturn = (source)

Undocumented