2015-07-29 15:10:02 -05:00
|
|
|
from typing import List, TypeVar, Union, Callable, Tuple
|
|
|
|
|
|
|
|
from numbers import Integral
|
|
|
|
|
|
|
|
|
|
|
|
def f0(x: int, y: Integral) -> None:
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
|
|
|
def f1(x: List[int]) -> List[int]:
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
|
|
|
T = TypeVar('T')
|
|
|
|
T_co = TypeVar('T_co', covariant=True)
|
|
|
|
T_contra = TypeVar('T_contra', contravariant=True)
|
|
|
|
|
|
|
|
|
|
|
|
def f2(x: List[T], y: List[T_co], z: T) -> List[T_contra]:
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
|
|
|
def f3(x: Union[str, Integral]) -> None:
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
|
|
|
MyStr = str
|
|
|
|
|
|
|
|
|
|
|
|
def f4(x: 'MyStr', y: MyStr) -> None:
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
|
|
|
def f5(x: int, *, y: str, z: str) -> None:
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
2016-04-09 09:35:32 -05:00
|
|
|
def f6(x: int, *args, y: str, z: str) -> None:
|
2015-07-29 15:10:02 -05:00
|
|
|
pass
|
|
|
|
|
|
|
|
|
2016-04-09 09:35:32 -05:00
|
|
|
def f7(x: int = None, y: dict = {}) -> None:
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
|
|
|
def f8(x: Callable[[int, str], int]) -> None:
|
2015-07-29 15:10:02 -05:00
|
|
|
# See https://github.com/ambv/typehinting/issues/149 for Callable[..., int]
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
2016-04-09 09:24:34 -05:00
|
|
|
def f9(x: Callable) -> None:
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
|
|
|
def f10(x: Tuple[int, str], y: Tuple[int, ...]) -> None:
|
2015-07-29 15:10:02 -05:00
|
|
|
pass
|
2016-07-29 05:27:00 -05:00
|
|
|
|
|
|
|
|
|
|
|
class CustomAnnotation:
|
|
|
|
def __repr__(self):
|
|
|
|
return 'CustomAnnotation'
|
|
|
|
|
2016-04-09 09:24:34 -05:00
|
|
|
|
|
|
|
def f11(x: CustomAnnotation(), y: 123) -> None:
|
2016-07-29 05:27:00 -05:00
|
|
|
pass
|