Skip to content

bagof.hints.typevars.co

Covariant TypeVars.

A covariant parameter preserves the subtype relation of its argument: since bool is a subtype of int, Producer[bool] is a subtype of Producer[int] and is usable wherever the latter is expected. That is only sound when the parameter appears in output ("producer") positions alone -- return types, read-only attributes. A generic class that also takes the parameter as an input must use an invariant TypeVar instead.

Every TypeVar here carries an upper bound (not a set of value constraints), so it can be solved for any subtype of that bound, and never for an unrelated type.

Attributes

K module-attribute 

K = tx.TypeVar('K', covariant=True, bound=tx.Hashable)

A covariant TypeVar for hashable objects (with a compact name).

T module-attribute 

T = tx.TypeVar('T', covariant=True, default=tx.Any)

A covariant TypeVar (with a compact name).

OBJECT module-attribute 

OBJECT = tx.TypeVar('OBJECT', covariant=True, bound=object)

A covariant TypeVar for objects.

TYPE module-attribute 

TYPE = tx.TypeVar('TYPE', covariant=True, bound=type)

A covariant TypeVar for types.

NONE module-attribute 

NONE = tx.TypeVar('NONE', covariant=True, bound=NoneType)

A covariant TypeVar for None values.

STR module-attribute 

STR = tx.TypeVar('STR', covariant=True, bound=str)

A covariant TypeVar for strings.

BYTES module-attribute 

BYTES = tx.TypeVar('BYTES', covariant=True, bound=bytes)

A covariant TypeVar for bytes.

BOOL module-attribute 

BOOL = tx.TypeVar('BOOL', covariant=True, bound=bool)

A covariant TypeVar for booleans.

INT module-attribute 

INT = tx.TypeVar('INT', covariant=True, bound=int)

A covariant TypeVar for (builtin) ints.

FLOAT module-attribute 

FLOAT = tx.TypeVar('FLOAT', covariant=True, bound=float)

A covariant TypeVar for (builtin) floats.

COMPLEX module-attribute 

COMPLEX = tx.TypeVar('COMPLEX', covariant=True, bound=complex)

A covariant TypeVar for (builtin) complex numbers.

INTEGRAL module-attribute 

INTEGRAL = tx.TypeVar('INTEGRAL', covariant=True, bound=numbers.Integral)

A covariant TypeVar for integral numbers.

REAL module-attribute 

REAL = tx.TypeVar('REAL', covariant=True, bound=numbers.Real)

A covariant TypeVar for real numbers.

NUMBER module-attribute 

NUMBER = tx.TypeVar('NUMBER', covariant=True, bound=numbers.Number)

A covariant TypeVar for numeric values.

CONTAINER module-attribute 

CONTAINER = tx.TypeVar('CONTAINER', covariant=True, bound=tx.Container[tx.Any])

A covariant TypeVar for containers.

HASHABLE module-attribute 

HASHABLE = tx.TypeVar('HASHABLE', covariant=True, bound=tx.Hashable)

A covariant TypeVar for hashable objects.

ITERABLE module-attribute 

ITERABLE = tx.TypeVar('ITERABLE', covariant=True, bound=tx.Iterable[tx.Any])

A covariant TypeVar for iterables.

ITERATOR module-attribute 

ITERATOR = tx.TypeVar('ITERATOR', covariant=True, bound=tx.Iterator[tx.Any])

A covariant TypeVar for iterators.

REVERSIBLE module-attribute 

REVERSIBLE = tx.TypeVar('REVERSIBLE', covariant=True, bound=tx.Reversible[tx.Any])

A covariant TypeVar for reversibles.

GENERATOR module-attribute 

GENERATOR = tx.TypeVar('GENERATOR', covariant=True, bound=tx.Generator[tx.Any, tx.Any, tx.Any])

A covariant TypeVar for generators.

SIZED module-attribute 

SIZED = tx.TypeVar('SIZED', covariant=True, bound=tx.Sized)

A covariant TypeVar for sized objects.

COLLECTION module-attribute 

COLLECTION = tx.TypeVar('COLLECTION', covariant=True, bound=tx.Collection[tx.Any])

A covariant TypeVar for collections.

SEQUENCE module-attribute 

SEQUENCE = tx.TypeVar('SEQUENCE', covariant=True, bound=tx.Sequence[tx.Any])

A covariant TypeVar for sequences.

MUTABLE_SEQUENCE module-attribute 

MUTABLE_SEQUENCE = tx.TypeVar('MUTABLE_SEQUENCE', covariant=True, bound=tx.MutableSequence[tx.Any])

A covariant TypeVar for mutable sequences.

SET module-attribute 

SET = tx.TypeVar('SET', covariant=True, bound=tx.Set[tx.Any])

A covariant TypeVar for sets.

MUTABLE_SET module-attribute 

MUTABLE_SET = tx.TypeVar('MUTABLE_SET', covariant=True, bound=tx.MutableSet[tx.Any])

A covariant TypeVar for mutable sets.

MAPPING module-attribute 

MAPPING = tx.TypeVar('MAPPING', covariant=True, bound=tx.Mapping[tx.Any, tx.Any])

A covariant TypeVar for mappings.

MUTABLE_MAPPING module-attribute 

MUTABLE_MAPPING = tx.TypeVar('MUTABLE_MAPPING', covariant=True, bound=tx.MutableMapping[tx.Any, tx.Any])

A covariant TypeVar for mutable mappings.

AWAITABLE module-attribute 

AWAITABLE = tx.TypeVar('AWAITABLE', covariant=True, bound=tx.Awaitable[tx.Any])

A covariant TypeVar for awaitables.

BUFFER module-attribute 

BUFFER = tx.TypeVar('BUFFER', covariant=True, bound=tx.Buffer)

A covariant TypeVar for buffers.

LIST module-attribute 

LIST = tx.TypeVar('LIST', covariant=True, bound=tx.List[tx.Any])

A covariant TypeVar for lists.

TUPLE module-attribute 

TUPLE = tx.TypeVar('TUPLE', covariant=True, bound=tx.Tuple[tx.Any, ...])

A covariant TypeVar for tuples.

DICT module-attribute 

DICT = tx.TypeVar('DICT', covariant=True, bound=tx.Dict[tx.Any, tx.Any])

A covariant TypeVar for dictionaries.