Searched refs:contravariant (Results 1 – 10 of 10) sorted by relevance
| /external/python/cpython3/Lib/ |
| D | typing.py | 722 def __init__(self, bound, covariant, contravariant): argument
726 if covariant and contravariant:
729 self.__contravariant__ = bool(contravariant)
802 covariant=False, contravariant=False): argument
804 super().__init__(bound, covariant, contravariant)
924 def __init__(self, name, *, bound=None, covariant=False, contravariant=False): argument
926 super().__init__(bound, covariant, contravariant)
2080 T_contra = TypeVar('T_contra', contravariant=True) # Ditto contravariant.
|
| /external/clang/test/SemaObjC/ |
| D | comptypes-legal.m | 34 …s this (it has some fiarly new support for covariant return types and contravariant argument types…
|
| D | parameterized_classes.m | 355 @interface Variance1<__contravariant X, // expected-error{{contravariant type parameter 'X' conflic…
356 … expected-error{{covariant type parameter 'Y' conflicts with previous contravariant type parameter…
361 @interface Variance2<__contravariant T, // expected-error{{contravariant type parameter 'T' conflic…
362 … expected-error{{invariant type parameter 'U' conflicts with previous contravariant type parameter…
|
| D | kindof.m | 352 // Other covariant and contravariant conversions still not permitted.
|
| /external/python/typing/typing_extensions/src/ |
| D | typing_extensions.py | 143 T_contra = typing.TypeVar('T_contra', contravariant=True) # Ditto contravariant.
1154 def __init__(self, name, *, bound=None, covariant=False, contravariant=False): argument
1158 self.__contravariant__ = bool(contravariant)
|
| D | test_typing_extensions.py | 2095 P_contra = ParamSpec('P_contra', contravariant=True)
2183 P_contra = ParamSpec('P_contra', contravariant=True)
|
| /external/python/setuptools/setuptools/_vendor/ |
| D | typing_extensions.py | 123 T_contra = typing.TypeVar('T_contra', contravariant=True) # Ditto contravariant.
1672 def __init__(self, name, *, bound=None, covariant=False, contravariant=False): argument
1676 self.__contravariant__ = bool(contravariant)
|
| /external/python/typing/typing_extensions/ |
| D | __init__.py | 184 T_contra = typing.TypeVar('T_contra', contravariant=True) # Ditto contravariant.
1824 def __init__(self, name, *, bound=None, covariant=False, contravariant=False): argument
1828 self.__contravariant__ = bool(contravariant)
|
| /external/python/cpython3/Doc/library/ |
| D | typing.rst | 1110 Type variables may be marked covariant or contravariant by passing
1111 ``covariant=True`` or ``contravariant=True``. See :pep:`484` for more
1118 .. class:: ParamSpec(name, *, bound=None, covariant=False, contravariant=False)
1182 ``contravariant=True`` can be used to declare covariant or contravariant
|
| /external/python/cpython3/Lib/test/ |
| D | test_typing.py | 212 T_contra = TypeVar('T_contra', contravariant=True)
248 TypeVar('T', covariant=True, contravariant=True)
|