language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-02 21:44:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: add StyledStr::destyle

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-10-11 21:27:32 +09:00
parent e1adb8d118
commit f6144b29a2
2 changed files with 36 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

11
crates/erg_compiler/lib/pystd/zoneinfo.d.er
View file

@ -1,9 +1,18 @@
.available_zones: Set Str, _
.available_timezones: () -> Set(Str, _)
.reset_tzpath!: (to := Sequence(Str) or PathLike) => NoneType
.TZPATH: [Str; _]
.ZoneInfoNotFoundError: ClassType
.ZoneInfoNotFoundError <: Exception
.InvalidTZPathWarning: ClassType
.InvalidTZPathWarning <: Warning
.ZoneInfo: ClassType
.ZoneInfo.
key: Str
__call__: (key: Str) -> .ZoneInfo
from_file: (fobj: FileLike, key := Str) -> .ZoneInfo
no_cache: (key: Str) -> .ZoneInfo
clear_cache!: () => NoneType
__str__: (self: .ZoneInfo) -> Str