egttools.plotting.simplex2d.TypeVar

class TypeVar(name, *constraints, bound=None, covariant=False, contravariant=False)

Bases: _Final, _Immutable

Type variable.

Usage:

T = TypeVar('T')  # Can be anything
A = TypeVar('A', str, bytes)  # Must be str or bytes

Type variables exist primarily for the benefit of static type checkers. They serve as the parameters for generic types as well as for generic function definitions. See class Generic for more information on generic types. Generic functions work as follows:

def repeat(x: T, n: int) -> List[T]:

‘’’Return a list containing n references to x.’’’ return [x]*n

def longest(x: A, y: A) -> A:

‘’’Return the longest of two strings.’’’ return x if len(x) >= len(y) else y

The latter example’s signature is essentially the overloading of (str, str) -> str and (bytes, bytes) -> bytes. Also note that if the arguments are instances of some subclass of str, the return type is still plain str.

At runtime, isinstance(x, T) and issubclass(C, T) will raise TypeError.

Type variables defined with covariant=True or contravariant=True can be used to declare covariant or contravariant generic types. See PEP 484 for more details. By default generic types are invariant in all type variables.

Type variables can be introspected. e.g.:

T.__name__ == ‘T’ T.__constraints__ == () T.__covariant__ == False T.__contravariant__ = False A.__constraints__ == (str, bytes)

Note that only type variables defined in global scope can be pickled.

Methods

__copy__()

__deepcopy__(memo)

__init__(name, *constraints, bound=None, covariant=False, contravariant=False)

classmethod __init_subclass__(*args, **kwds)

This method is called when a class is subclassed.

The default implementation does nothing. It may be overridden to extend subclasses.

__reduce__()

Helper for pickle.

__repr__()

Return repr(self).

__bound__

__constraints__

__contravariant__

__covariant__

__name__

__slots__ = ('__name__', '__bound__', '__constraints__', '__covariant__', '__contravariant__')