language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-29 12:24:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add datetime

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-21 10:58:21 +09:00
parent e31d109b32
commit f99c788b85
4 changed files with 49 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

11
compiler/erg_compiler/lib/pystd/datetime.d.er Normal file
View file

@ -0,0 +1,11 @@
.Date = 'date': ClassType
.Date.today!: () => .Date
.Date.min: .Date
.Date.max: .Date
.Time = 'time': ClassType
.DateTime = 'dateTime': ClassType
.DateTime.today!: () => .DateTime
.DateTime.now!: (tz := .TZInfo or NoneType) => .DateTime
.TimeDelta = 'timedelta': ClassType
.TZInfo = 'tzinfo': ClassType
.TimeZone = 'timezone': ClassType