VimPlug/typeshed
1
0
Fork 0
mirror of https://github.com/davidhalter/typeshed.git synced 2025-12-08 04:54:47 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Remove Year/Month/Day/Week type aliases

Browse Source
This commit is contained in:
Lorenzo Bolla
2016-02-24 22:38:32 +00:00
parent 12d348fe67
commit fb4910ed6d
2 changed files with 78 additions and 87 deletions
Download Patch File Download Diff File Expand all files Collapse all files

82
stdlib/2.7/calendar.pyi
View File

@@ -1,61 +1,57 @@
from typing import Any, Iterable, Optional, Tuple
import datetime
YearType = int
MonthType = int
DayType = int
WeekdayType = int
LocaleType = Tuple[Optional[str], Optional[str]]
class IllegalMonthError(ValueError):
def __init__(self, month: MonthType) -> None: ...
def __init__(self, month: int) -> None: ...
def __str__(self) -> str: ...
class IllegalWeekdayError(ValueError):
def __init__(self, weekday: WeekdayType) -> None: ...
def __init__(self, weekday: int) -> None: ...
def __str__(self) -> str: ...
def isleap(year: YearType) -> bool: ...
def leapdays(y1: YearType, y2: YearType) -> int: ...
def weekday(year: YearType, month: MonthType, day: DayType) -> WeekdayType: ...
def monthrange(year: YearType, month: MonthType) -> Tuple[WeekdayType, int]: ...
def isleap(year: int) -> bool: ...
def leapdays(y1: int, y2: int) -> int: ...
def weekday(year: int, month: int, day: int) -> int: ...
def monthrange(year: int, month: int) -> Tuple[int, int]: ...
class Calendar(object):
def __init__(self, firstweekday: WeekdayType = 0) -> None: ...
def getfirstweekday(self) -> WeekdayType: ...
def setfirstweekday(self, firstweekday: WeekdayType) -> None: ...
def iterweekdays(self) -> Iterable[WeekdayType]: ...
def itermonthdates(self, year: YearType, month: MonthType) -> Iterable[datetime.date]: ...
def itermonthdays2(self, year: YearType, month: MonthType) -> Iterable[Tuple[DayType, WeekdayType]]: ...
def itermonthdays(self, year: YearType, month: MonthType) -> Iterable[DayType]: ...
def monthdatescalendar(self, year: YearType, month: MonthType) -> List[List[datetime.date]]: ...
def monthdays2calendar(self, year: YearType, month: MonthType) -> List[List[Tuple[DayType, WeekdayType]]]: ...
def monthdayscalendar(self, year: YearType, month: MonthType) -> List[List[DayType]]: ...
def yeardatescalendar(self, year: YearType, width: int = 3) -> List[List[DayType]]: ...
def yeardays2calendar(self, year: YearType, width: int = 3) -> List[List[Tuple[DayType, WeekdayType]]]: ...
def yeardayscalendar(self, year: YearType, width: int = 3) -> List[List[DayType]]: ...
def __init__(self, firstweekday: int = 0) -> None: ...
def getfirstweekday(self) -> int: ...
def setfirstweekday(self, firstweekday: int) -> None: ...
def iterweekdays(self) -> Iterable[int]: ...
def itermonthdates(self, year: int, month: int) -> Iterable[datetime.date]: ...
def itermonthdays2(self, year: int, month: int) -> Iterable[Tuple[int, int]]: ...
def itermonthdays(self, year: int, month: int) -> Iterable[int]: ...
def monthdatescalendar(self, year: int, month: int) -> List[List[datetime.date]]: ...
def monthdays2calendar(self, year: int, month: int) -> List[List[Tuple[int, int]]]: ...
def monthdayscalendar(self, year: int, month: int) -> List[List[int]]: ...
def yeardatescalendar(self, year: int, width: int = 3) -> List[List[int]]: ...
def yeardays2calendar(self, year: int, width: int = 3) -> List[List[Tuple[int, int]]]: ...
def yeardayscalendar(self, year: int, width: int = 3) -> List[List[int]]: ...
class TextCalendar(Calendar):
def prweek(self, theweek: int, width: int) -> None: ...
def formatday(self, day: DayType, weekday: WeekdayType, width: int) -> str: ...
def formatday(self, day: int, weekday: int, width: int) -> str: ...
def formatweek(self, theweek: int, width: int) -> str: ...
def formatweekday(self, day: DayType, width: int) -> str: ...
def formatweekday(self, day: int, width: int) -> str: ...
def formatweekheader(self, width: int) -> str: ...
def formatmonthname(self, theyear: YearType, themonth: MonthType, width: int, withyear: bool = ...) -> str: ...
def prmonth(self, theyear: YearType, themonth: MonthType, w: Any=0, l: Any = 0) -> None: ...
def formatmonth(self, theyear: YearType, themonth: MonthType, w: int = 0, l: int = 0) -> str: ...
def formatyear(self, theyear: YearType, w: int = 2, l: int = 1, c: int = 6, m: int = 3) -> str: ...
def pryear(self, theyear: YearType, w: Any = 0, l: Any = 0, c: Any = 6, m: Any = 3) -> None: ...
def formatmonthname(self, theyear: int, themonth: int, width: int, withyear: bool = ...) -> str: ...
def prmonth(self, theyear: int, themonth: int, w: Any=0, l: Any = 0) -> None: ...
def formatmonth(self, theyear: int, themonth: int, w: int = 0, l: int = 0) -> str: ...
def formatyear(self, theyear: int, w: int = 2, l: int = 1, c: int = 6, m: int = 3) -> str: ...
def pryear(self, theyear: int, w: Any = 0, l: Any = 0, c: Any = 6, m: Any = 3) -> None: ...
class HTMLCalendar(Calendar):
def formatday(self, day: DayType, weekday: WeekdayType) -> str: ...
def formatday(self, day: int, weekday: int) -> str: ...
def formatweek(self, theweek: int) -> str: ...
def formatweekday(self, day: DayType) -> str: ...
def formatweekday(self, day: int) -> str: ...
def formatweekheader(self) -> str: ...
def formatmonthname(self, theyear: YearType, themonth: MonthType, withyear: bool = ...) -> str: ...
def formatmonth(self, theyear: YearType, themonth: MonthType, withyear: bool = ...) -> str: ...
def formatyear(self, theyear: YearType, width: int = 3) -> str: ...
def formatyearpage(self, theyear: YearType, width: int = 3, css: Optional[str] = 'calendar.css', encoding: Optional[str] = ...) -> str: ...
def formatmonthname(self, theyear: int, themonth: int, withyear: bool = ...) -> str: ...
def formatmonth(self, theyear: int, themonth: int, withyear: bool = ...) -> str: ...
def formatyear(self, theyear: int, width: int = 3) -> str: ...
def formatyearpage(self, theyear: int, width: int = 3, css: Optional[str] = 'calendar.css', encoding: Optional[str] = ...) -> str: ...
class TimeEncoding:
def __init__(self, locale: LocaleType) -> None: ...
@@ -63,17 +59,17 @@ class TimeEncoding:
def __exit__(self, *args) -> None: ...
class LocaleTextCalendar(TextCalendar):
def __init__(self, firstweekday: WeekdayType = 0, locale: Optional[LocaleType] = ...) -> None: ...
def formatweekday(self, day: DayType, width: int) -> str: ...
def formatmonthname(self, theyear: YearType, themonth: MonthType, width: int, withyear: bool = ...) -> str: ...
def __init__(self, firstweekday: int = 0, locale: Optional[LocaleType] = ...) -> None: ...
def formatweekday(self, day: int, width: int) -> str: ...
def formatmonthname(self, theyear: int, themonth: int, width: int, withyear: bool = ...) -> str: ...
class LocaleHTMLCalendar(HTMLCalendar):
def __init__(self, firstweekday: WeekdayType = 0, locale: Optional[LocaleType] = ...) -> None: ...
def formatweekday(self, day: DayType) -> str: ...
def formatmonthname(self, theyear: YearType, themonth: MonthType, withyear: bool = ...) -> str: ...
def __init__(self, firstweekday: int = 0, locale: Optional[LocaleType] = ...) -> None: ...
def formatweekday(self, day: int) -> str: ...
def formatmonthname(self, theyear: int, themonth: int, withyear: bool = ...) -> str: ...
c = ... # type: TextCalendar
def setfirstweekday(firstweekday: WeekdayType) -> None: ...
def setfirstweekday(firstweekday: int) -> None: ...
def format(cols: int, colwidth: int = ..., spacing: int = ...) -> str: ...
def formatstring(cols: int, colwidth: int = ..., spacing: int = ...) -> str: ...
def timegm(tuple: Tuple[int]) -> int: ...

83
stdlib/3/calendar.pyi
View File

@@ -1,62 +1,57 @@
from typing import Any, Iterable, Optional, Tuple
import datetime
YearType = int
MonthType = int
DayType = int
WeekdayType = int
LocaleType = Tuple[Optional[str], Optional[str]]
class IllegalMonthError(ValueError):
def __init__(self, month: MonthType) -> None: ...
def __init__(self, month: int) -> None: ...
def __str__(self) -> str: ...
class IllegalWeekdayError(ValueError):
def __init__(self, weekday: WeekdayType) -> None: ...
def __init__(self, weekday: int) -> None: ...
def __str__(self) -> str: ...
def isleap(year: YearType) -> bool: ...
def leapdays(y1: YearType, y2: YearType) -> int: ...
def weekday(year: YearType, month: MonthType, day: DayType) -> WeekdayType: ...
def monthrange(year: YearType, month: MonthType) -> Tuple[WeekdayType, int]: ...
def isleap(year: int) -> bool: ...
def leapdays(y1: int, y2: int) -> int: ...
def weekday(year: int, month: int, day: int) -> int: ...
def monthrange(year: int, month: int) -> Tuple[int, int]: ...
class Calendar(object):
def __init__(self, firstweekday: WeekdayType = 0) -> None: ...
def getfirstweekday(self) -> WeekdayType: ...
def setfirstweekday(self, firstweekday: WeekdayType) -> None: ...
def iterweekdays(self) -> Iterable[WeekdayType]: ...
def itermonthdates(self, year: YearType, month: MonthType) -> Iterable[datetime.date]: ...
def itermonthdays2(self, year: YearType, month: MonthType) -> Iterable[Tuple[DayType, WeekdayType]]: ...
def itermonthdays(self, year: YearType, month: MonthType) -> Iterable[DayType]: ...
def monthdatescalendar(self, year: YearType, month: MonthType) -> List[List[datetime.date]]: ...
def monthdays2calendar(self, year: YearType, month: MonthType) -> List[List[Tuple[DayType, WeekdayType]]]: ...
def monthdayscalendar(self, year: YearType, month: MonthType) -> List[List[DayType]]: ...
def yeardatescalendar(self, year: YearType, width: int = 3) -> List[List[DayType]]: ...
def yeardays2calendar(self, year: YearType, width: int = 3) -> List[List[Tuple[DayType, WeekdayType]]]: ...
def yeardayscalendar(self, year: YearType, width: int = 3) -> List[List[DayType]]: ...
def __init__(self, firstweekday: int = 0) -> None: ...
def getfirstweekday(self) -> int: ...
def setfirstweekday(self, firstweekday: int) -> None: ...
def iterweekdays(self) -> Iterable[int]: ...
def itermonthdates(self, year: int, month: int) -> Iterable[datetime.date]: ...
def itermonthdays2(self, year: int, month: int) -> Iterable[Tuple[int, int]]: ...
def itermonthdays(self, year: int, month: int) -> Iterable[int]: ...
def monthdatescalendar(self, year: int, month: int) -> List[List[datetime.date]]: ...
def monthdays2calendar(self, year: int, month: int) -> List[List[Tuple[int, int]]]: ...
def monthdayscalendar(self, year: int, month: int) -> List[List[int]]: ...
def yeardatescalendar(self, year: int, width: int = 3) -> List[List[int]]: ...
def yeardays2calendar(self, year: int, width: int = 3) -> List[List[Tuple[int, int]]]: ...
def yeardayscalendar(self, year: int, width: int = 3) -> List[List[int]]: ...
class TextCalendar(Calendar):
def prweek(self, theweek: int, width: int) -> None: ...
def formatday(self, day: DayType, weekday: WeekdayType, width: int) -> str: ...
def formatday(self, day: int, weekday: int, width: int) -> str: ...
def formatweek(self, theweek: int, width: int) -> str: ...
def formatweekday(self, day: DayType, width: int) -> str: ...
def formatweekday(self, day: int, width: int) -> str: ...
def formatweekheader(self, width: int) -> str: ...
def formatmonthname(self, theyear: YearType, themonth: MonthType, width: int, withyear: bool = ...) -> str: ...
def prmonth(self, theyear: YearType, themonth: MonthType, w: Any=0, l: Any = 0) -> None: ...
def formatmonth(self, theyear: YearType, themonth: MonthType, w: int = 0, l: int = 0) -> str: ...
def formatyear(self, theyear: YearType, w: int = 2, l: int = 1, c: int = 6, m: int = 3) -> str: ...
def pryear(self, theyear: YearType, w: Any = 0, l: Any = 0, c: Any = 6, m: Any = 3) -> None: ...
def formatmonthname(self, theyear: int, themonth: int, width: int, withyear: bool = ...) -> str: ...
def prmonth(self, theyear: int, themonth: int, w: Any=0, l: Any = 0) -> None: ...
def formatmonth(self, theyear: int, themonth: int, w: int = 0, l: int = 0) -> str: ...
def formatyear(self, theyear: int, w: int = 2, l: int = 1, c: int = 6, m: int = 3) -> str: ...
def pryear(self, theyear: int, w: Any = 0, l: Any = 0, c: Any = 6, m: Any = 3) -> None: ...
class HTMLCalendar(Calendar):
def formatday(self, day: DayType, weekday: WeekdayType) -> str: ...
def formatday(self, day: int, weekday: int) -> str: ...
def formatweek(self, theweek: int) -> str: ...
def formatweekday(self, day: DayType) -> str: ...
def formatweekday(self, day: int) -> str: ...
def formatweekheader(self) -> str: ...
def formatmonthname(self, theyear: YearType, themonth: MonthType, withyear: bool = ...) -> str: ...
def formatmonth(self, theyear: YearType, themonth: MonthType, withyear: bool = ...) -> str: ...
def formatyear(self, theyear: YearType, width: int = 3) -> str: ...
def formatyearpage(self, theyear: YearType, width: int = 3, css: Optional[str] = 'calendar.css', encoding: Optional[str] = ...) -> str: ...
def formatmonthname(self, theyear: int, themonth: int, withyear: bool = ...) -> str: ...
def formatmonth(self, theyear: int, themonth: int, withyear: bool = ...) -> str: ...
def formatyear(self, theyear: int, width: int = 3) -> str: ...
def formatyearpage(self, theyear: int, width: int = 3, css: Optional[str] = 'calendar.css', encoding: Optional[str] = ...) -> str: ...
class different_locale:
def __init__(self, locale: LocaleType) -> None: ...
@@ -64,17 +59,17 @@ class different_locale:
def __exit__(self, *args) -> None: ...
class LocaleTextCalendar(TextCalendar):
def __init__(self, firstweekday: WeekdayType = 0, locale: Optional[LocaleType] = ...) -> None: ...
def formatweekday(self, day: DayType, width: int) -> str: ...
def formatmonthname(self, theyear: YearType, themonth: MonthType, width: int, withyear: bool = ...) -> str: ...
def __init__(self, firstweekday: int = 0, locale: Optional[LocaleType] = ...) -> None: ...
def formatweekday(self, day: int, width: int) -> str: ...
def formatmonthname(self, theyear: int, themonth: int, width: int, withyear: bool = ...) -> str: ...
class LocaleHTMLCalendar(HTMLCalendar):
def __init__(self, firstweekday: WeekdayType = 0, locale: Optional[LocaleType] = ...) -> None: ...
def formatweekday(self, day: DayType) -> str: ...
def formatmonthname(self, theyear: YearType, themonth: MonthType, withyear: bool = ...) -> str: ...
def __init__(self, firstweekday: int = 0, locale: Optional[LocaleType] = ...) -> None: ...
def formatweekday(self, day: int) -> str: ...
def formatmonthname(self, theyear: int, themonth: int, withyear: bool = ...) -> str: ...
c = ... # type: TextCalendar
def setfirstweekday(firstweekday: WeekdayType) -> None: ...
def setfirstweekday(firstweekday: int) -> None: ...
def format(cols: int, colwidth: int = ..., spacing: int = ...) -> str: ...
def formatstring(cols: int, colwidth: int = ..., spacing: int = ...) -> str: ...
def timegm(tuple: Tuple[int]) -> int: ...