erg/compiler/erg_compiler/lib/pystd/datetime.d.er
Shunsuke Shibayama f99c788b85 Add datetime
2022-10-21 10:58:21 +09:00

11 lines
337 B
Python

.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