aspartik.utils.typing
class Comparable:
class Comparable(Protocol): abstractmethod def __lt__(self, other) -> bool: ... abstractmethod def __le__(self, other) -> bool: ... abstractmethod def __eq__(self, other) -> bool: ... abstractmethod def __ne__(self, other) -> bool: ... abstractmethod def __gt__(self, other) -> bool: ... abstractmethod def __ge__(self, other) -> bool: ...#
Base class for protocol classes.
Protocol classes are defined as::
class Proto(Protocol):
def meth(self) -> int:
...
Such classes are primarily used with static type checkers that recognize structural subtyping (static duck-typing).
For example::
class C:
def meth(self) -> int:
return 0
def func(x: Proto) -> int:
return x.meth()
func(C()) # Passes static type check
See PEP 544 for details. Protocol classes decorated with @typing.runtime_checkable act as simple-minded runtime protocols that check only the presence of given attributes, ignoring their type signatures. Protocol classes can be generic, they are defined as::
class GenProto[T](Protocol):
def meth(self) -> T:
...
class SimpleSequence:
class SimpleSequence[T](Protocol): abstractmethod def __len__(self) -> int: ... abstractmethod def __getitem__(self, i: int) -> T: ... abstractmethod def __setitem__(self, i: int, value: T): ...#
Base class for protocol classes.
Protocol classes are defined as::
class Proto(Protocol):
def meth(self) -> int:
...
Such classes are primarily used with static type checkers that recognize structural subtyping (static duck-typing).
For example::
class C:
def meth(self) -> int:
return 0
def func(x: Proto) -> int:
return x.meth()
func(C()) # Passes static type check
See PEP 544 for details. Protocol classes decorated with @typing.runtime_checkable act as simple-minded runtime protocols that check only the presence of given attributes, ignoring their type signatures. Protocol classes can be generic, they are defined as::
class GenProto[T](Protocol):
def meth(self) -> T:
...