Skip to content

bagof.hints.typevars.inv

Invariant TypeVars.

An invariant parameter ignores the subtype relation of its argument: even though bool is a subtype of int, Box[bool] is neither usable where Box[int] is expected nor the other way round. This is the only sound variance when the parameter appears in both input and output positions, as it does for anything mutable.

Invariance is the default for tx.TypeVar, so these are declared without a variance keyword.

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', bound=tx.Hashable)

An invariant TypeVar for hashable objects (with a compact name).

T module-attribute 

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

An invariant TypeVar (with a compact name).

OBJECT module-attribute 

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

An invariant TypeVar for objects.

TYPE module-attribute 

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

An invariant TypeVar for types.

NONE module-attribute 

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

An invariant TypeVar for None values.

STR module-attribute 

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

An invariant TypeVar for strings.

BYTES module-attribute 

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

An invariant TypeVar for bytes.

BOOL module-attribute 

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

An invariant TypeVar for booleans.

INT module-attribute 

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

An invariant TypeVar for (builtin) ints.

FLOAT module-attribute 

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

An invariant TypeVar for (builtin) floats.

COMPLEX module-attribute 

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

An invariant TypeVar for (builtin) complex numbers.

INTEGRAL module-attribute 

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

An invariant TypeVar for integral numbers.

REAL module-attribute 

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

An invariant TypeVar for real numbers.

NUMBER module-attribute 

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

An invariant TypeVar for numeric values.

CONTAINER module-attribute 

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

An invariant TypeVar for containers.

HASHABLE module-attribute 

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

An invariant TypeVar for hashable objects.

ITERABLE module-attribute 

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

An invariant TypeVar for iterables.

ITERATOR module-attribute 

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

An invariant TypeVar for iterators.

REVERSIBLE module-attribute 

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

An invariant TypeVar for reversibles.

GENERATOR module-attribute 

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

An invariant TypeVar for generators.

SIZED module-attribute 

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

An invariant TypeVar for sized objects.

COLLECTION module-attribute 

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

An invariant TypeVar for collections.

SEQUENCE module-attribute 

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

An invariant TypeVar for sequences.

MUTABLE_SEQUENCE module-attribute 

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

An invariant TypeVar for mutable sequences.

SET module-attribute 

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

An invariant TypeVar for sets.

MUTABLE_SET module-attribute 

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

An invariant TypeVar for mutable sets.

MAPPING module-attribute 

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

An invariant TypeVar for mappings.

MUTABLE_MAPPING module-attribute 

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

An invariant TypeVar for mutable mappings.

AWAITABLE module-attribute 

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

An invariant TypeVar for awaitables.

BUFFER module-attribute 

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

An invariant TypeVar for buffers.

LIST module-attribute 

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

An invariant TypeVar for lists.

TUPLE module-attribute 

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

An invariant TypeVar for tuples.

DICT module-attribute 

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

An invariant TypeVar for dictionaries.